https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69989
--- Comment #11 from Jeffrey A. Law <law at redhat dot com> --- The last proposal (clear LOOPS_NEED_FIXUP) is a possibility. I can poke at that a bit, but I really wonder if it'd be better for gcc-7 and for gcc-6 if we should just use localized fixups rather than trying to detect in the CFG manipulation bits. I think the big question here is how do we want the CFG manipulations to interact with loop structures in the long term. And it's not just edge removal that can turn an irreducible loop into a natural loop -- that can happen with block/edge duplication as well.