https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102681
--- Comment #16 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #15) > We totally missed the jump threading of 3->5->7 path and the 4->5->8 path. FAIL: path through PHI in bb8 (incoming bb:6) crosses loop But but, it does not exactly cross the loop as 5 (6) is not part of the loop but rather just 8.