https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68398 --- Comment #3 from Jeffrey A. Law <law at redhat dot com> --- Actually, it's not trying to prevent an irreducible loop, it's trying prevent creating a loop with several latches or subloops. So it's not as bad as I first thought.