diff options
| author | Richard Biener <rguenther@suse.de> | 2018-01-11 13:42:29 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-01-11 13:42:29 +0000 |
| commit | b0bd3e52c1b5b59bd416298ae0794342ec319d86 (patch) | |
| tree | b6b57883c1591658b34b98aae4e2bb2aaa9362d2 /gcc/tree-vrp.c | |
| parent | dc6401818b1509cf7617879b9c00bba5daba5c66 (diff) | |
| download | gcc-b0bd3e52c1b5b59bd416298ae0794342ec319d86.zip gcc-b0bd3e52c1b5b59bd416298ae0794342ec319d86.tar.gz gcc-b0bd3e52c1b5b59bd416298ae0794342ec319d86.tar.bz2 | |
re PR tree-optimization/83435 (ICE in set_value_range, at tree-vrp.c:211)
2018-01-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/83435
* graphite.c (canonicalize_loop_form): Ignore fake loop exit edges.
* graphite-scop-detection.c (scop_detection::get_sese): Likewise.
* tree-vrp.c (add_assert_info): Drop TREE_OVERFLOW if they appear.
* gcc.dg/graphite/pr83435.c: New testcase.
From-SVN: r256535
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 69762ab..3294bde 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2786,6 +2786,8 @@ add_assert_info (vec<assert_info> &asserts, assert_info info; info.comp_code = comp_code; info.name = name; + if (TREE_OVERFLOW_P (val)) + val = drop_tree_overflow (val); info.val = val; info.expr = expr; asserts.safe_push (info); |