https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86940
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Aritz Erkiaga from comment #2)
> I don't know. Somehow it does know it when the testcase is compiled without
> any -O flags, but it not something trivial, and so I would not be surprised
> if GCC were not able to get that information.
Because without any -O option (aka -O0) GCC does not enable any flow based
uninitilization checking.
