http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56526
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-03-06 07:03:23 UTC --- Maybe-uninitialized warnings have tons of known false positives, while the predicated analysis can handle the simplest cases, it can't handle anything more complicated. As this isn't a usable testcase, requires LTO to reproduce, I don't think it is worth keeping it open.