http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46899
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> 2010-12-12 21:52:40 UTC --- >This output should not be possible No, it is possible because the value is undefined so both the if being false and the printout happening can happen.