https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89180 Bug 89180 depends on bug 107791, which changed state.
Bug 107791 Summary: Spurious -Wunused warning for artificial variable introduced for post contract https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107791 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
