https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57111
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Martin Sebor from comment #11) > It detects the bug in the test case in comment #0 but only with optimization > (to see through inlined calls) and with -Wsystem-headers. This seems like a warning that should not be suppressed in system headers. Diagnostic pragmas could be added to system headers to suppress false positives.