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.

Reply via email to