http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43631
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-13 10:50:17 UTC --- Created attachment 28673 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28673 gcc48-pr43631.patch Is this what you meant? make check-gcc RUNTESTFLAGS=guality.exp doesn't ICE with it anymore with verify_flow_info (); at the beginning as well as end of variable_tracking_main. The notes are intentionally in between bbs, and it is assumed that the cfg doesn't change after var-tracking pass, otherwise targets should disable var-tracking at its standard spot and perform it at the end of machine reorg pass (as e.g. ia64 and a few other targets do).