http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54838
--- Comment #17 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-12-14 16:37:39 UTC --- Now I don't know why we'd need that hunk, the code for handling latch/header is just above it, only loop->latch is NULL, because there are more of them. Sorry for the noise, I'll be looking into it over the weekend.