diff options
| author | Richard Biener <rguenther@suse.de> | 2017-12-04 08:26:18 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-12-04 08:26:18 +0000 |
| commit | 5d66d3f151eab82a39fc89b6f0b973b529f6b3cb (patch) | |
| tree | cedb6d1ccfdc6069517ce5037708ed64e7b2c6fc /gcc/graphite-scop-detection.c | |
| parent | b6ecbf313bff50f4f6d3ea645cddc0a9976eb623 (diff) | |
| download | gcc-5d66d3f151eab82a39fc89b6f0b973b529f6b3cb.zip gcc-5d66d3f151eab82a39fc89b6f0b973b529f6b3cb.tar.gz gcc-5d66d3f151eab82a39fc89b6f0b973b529f6b3cb.tar.bz2 | |
re PR tree-optimization/83238 ([graphite] ICE in graphite_can_represent_scev, at graphite-scop-detection.c:971)
2017-12-04 Richard Biener <rguenther@suse.de>
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
Diffstat (limited to 'gcc/graphite-scop-detection.c')
| -rw-r--r-- | gcc/graphite-scop-detection.c | 3 |
1 files changed, 1 insertions, 2 deletions
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 |