https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85741 Bug 85741 depends on bug 80776, which changed state.
Bug 80776 Summary: -Wformat-overflow false positive for %d on integer bounded by __builtin_unreachable https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80776 What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |NEW Resolution|FIXED |---
