http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60165
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu.org
--- Comment #11 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
(In reply to Marc Glisse from comment #9)
> A different optimization pass (CCP) seems to notice that the value returned
> is either 0 or something uninitialized and thus must be 0. Maybe there is an
> opportunity for a warning there (though again we need to make sure it won't
> cause too many false positives).
Actually this missed warning is the infamous PR18501.
