[Bug tree-optimization/56349] ICE in create_preheader at cfgloopmanip.c:1525

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56349

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2013-02-18 09:40:39 UTC ---
The issue here is that we have an inner loop that has an exit edge that is
at the same time the latch edge for its outer loop (that is, its latch
does not belong to it - but we do not have LOOPS_HAVE_SIMPLE_LATCHES - yet).
In this case it seems that loop->latch may be not set, even if
we disambiguated loops with multiple latches.  We do not verify that
with disambiguated multiple latch loops we have ->latch set, which reveals
one bug in flow_loops_find.  Which transforms this bug into sth totally
different ;)