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.