https://gcc.gnu.org/bugzilla/show_bug.cgi?id=27766 Bug 27766 depends on bug 32317, which changed state.
Bug 32317 Summary: [bounds checking] No warning on bad arguments with explicit interface https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32317 What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution|--- |WONTFIX