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 ;)
