http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51712
--- Comment #9 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2012-05-03 23:13:22 UTC --- The second testcase is fixed now. The original testcase is much harder, but I have a patch that follows the idea in comment #7. Let's see how it goes...