http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56290
Aldy Hernandez <aldyh at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |DUPLICATE --- Comment #5 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2013-02-13 17:16:12 UTC --- Duplicate. I even confirmed that Jakub's untested patch for 56265 fixes the problem. *** This bug has been marked as a duplicate of bug 56265 ***