https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86177
Eric Gallager <egallager at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |egallager at gcc dot gnu.org
--- Comment #8 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to Jonathan Wakely from comment #7)
> Lots of functions have such requirements and make it the caller's
> responsibility to meet those requirements.
>
> GCC is not a static analyser, you can't expect warnings about every possible
> bug in your code.
Well, it has a static analyzer *now*...
