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.
