https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83238
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Testing obvious patch (make code match comment): Index: gcc/graphite-scop-detection.c =================================================================== --- gcc/graphite-scop-detection.c (revision 255309) +++ gcc/graphite-scop-detection.c (working copy) @@ -570,8 +570,7 @@ scop_detection::merge_sese (sese_l first which post-dominates dom, until it stabilizes. Also, ENTRY->SRC and EXIT->DEST should be in the same loop nest. */ if (!dominated_by_p (CDI_DOMINATORS, pdom, dom) - || loop_depth (entry->src->loop_father) - != loop_depth (exit->dest->loop_father)) + || entry->src->loop_father != exit->dest->loop_father) return invalid_sese; /* For now we just bail out when there is a loop exit in the region