[Bug tree-optimization/60165] "may be used uninitialized" warning with -O3 but not with -O2

[manu at gcc dot gnu.org]

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.