http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52983
--- Comment #4 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2012-04-30 12:15:44 UTC --- Created attachment 27267 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27267 Proposed patch to fix the problem (testing) Here's the patch. It's much larger than needed, but since a number of people have suggested moving debug insn-related stuff to a separate file, I did it.