[Bug c/54554] Undetected use of uninitialized variable

[manu at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54554

--- Comment #5 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-01-04 12:49:39 UTC ---
(In reply to comment #4)
> Still even without knowing that a "may be used uninitialized" warning can be
> issued in any case.

GCC does not warn if it can prove that the code is never executed. But it
doesn't even try to prove that without optimization enabled, so it doesn't
warn. Otherwise, it would warn for obvious things like:

int d;
if (0) return d;

and people will complain.