https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71550
Jeffrey A. Law <law at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |law at redhat dot com Assignee|unassigned at gcc dot gnu.org |law at redhat dot com --- Comment #3 from Jeffrey A. Law <law at redhat dot com> --- I suspect this is a check that exists for the old style threader, but which is not in the backwards threader. Namely that when threading through a loop header, we have to verify that the final block in the path dominates the latch.