http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079
--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> 2012-11-02 16:46:54 UTC --- The patch cures a lot of false positives seen at -O3 bootstrap. The testcase here is not cured, I am looking into it.