From 5d66d3f151eab82a39fc89b6f0b973b529f6b3cb Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 4 Dec 2017 08:26:18 +0000 Subject: re PR tree-optimization/83238 ([graphite] ICE in graphite_can_represent_scev, at graphite-scop-detection.c:971) 2017-12-04 Richard Biener PR tree-optimization/83238 * graphite-scop-detection.c (scop_detection::merge_sese): Make code match comment, rejecting invalid SESE regions. * gcc.dg/graphite/pr83238.c: New testcase. From-SVN: r255375 --- gcc/graphite-scop-detection.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'gcc/graphite-scop-detection.c') diff --git a/gcc/graphite-scop-detection.c b/gcc/graphite-scop-detection.c index 0f09c13..3d854a1 100644 --- a/gcc/graphite-scop-detection.c +++ b/gcc/graphite-scop-detection.c @@ -570,8 +570,7 @@ scop_detection::merge_sese (sese_l first, sese_l second) const 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 -- cgit v1.1