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.