http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55270
--- Comment #12 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-01-29 09:38:59 UTC --- (In reply to comment #11) > I'll test an alternative patch. FYI, I've tried this one: --- a/gcc/loop-init.c +++ b/gcc/loop-init.c @@ -57,6 +57,7 @@ loop_optimizer_init (unsigned flags) /* Ensure that the dominators are computed, like flow_loops_find does. */ calculate_dominance_info (CDI_DOMINATORS); + fix_loop_structure (NULL); #ifdef ENABLE_CHECKING verify_loop_structure (); it cures this ICE, and was even successfully regtested.