http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56574
--- Comment #1 from Mark Rustad <mark.d.rustad at intel dot com> 2013-03-08 19:24:27 UTC --- It also appears that incorrect code is generated in cases where the warning is produced. That incorrect code was referencing the uninitialized value. So the warning is consistent with the code generated, but the code is wrong.