http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54838
--- Comment #16 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-12-14 16:14:58 UTC --- (The reason why we don't have a loop anymore is simply that the header doesn't have any incoming back edges after removing the latches. There of course may be other loops in the CFG.)