diff options
| author | Richard Biener <rguenther@suse.de> | 2016-12-14 08:33:12 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-12-14 08:33:12 +0000 |
| commit | 253c0172bb2c525b784355d75ac484b03fa7273b (patch) | |
| tree | c0c0de27fbcdd70345b0d5501ec9f5177536e412 /gcc/tree-vrp.c | |
| parent | 803312a7609cb71b12fc5118c6ec892f9d1fa7bb (diff) | |
| download | gcc-253c0172bb2c525b784355d75ac484b03fa7273b.zip gcc-253c0172bb2c525b784355d75ac484b03fa7273b.tar.gz gcc-253c0172bb2c525b784355d75ac484b03fa7273b.tar.bz2 | |
re PR tree-optimization/78788 (ICE (segfault) on s390x-linux-gnu)
2016-12-14 Richard Biener <rguenther@suse.de>
PR tree-optimization/78788
* tree-vrp.c (set_value_range): Allow [-INF(OVF), +INF(OVF)].
(set_and_canonicalize_value_range): Do not drop the above to
VARYING.
* gcc.dg/torture/pr78788.c: New testcase.
From-SVN: r243631
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 600634d..3535d7a 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -365,10 +365,6 @@ set_value_range (value_range *vr, enum value_range_type t, tree min, cmp = compare_values (min, max); gcc_assert (cmp == 0 || cmp == -1 || cmp == -2); - - if (needs_overflow_infinity (TREE_TYPE (min))) - gcc_assert (!is_overflow_infinity (min) - || !is_overflow_infinity (max)); } if (flag_checking @@ -506,14 +502,9 @@ set_and_canonicalize_value_range (value_range *vr, enum value_range_type t, } } - /* Drop [-INF(OVF), +INF(OVF)] to varying. */ - if (needs_overflow_infinity (TREE_TYPE (min)) - && is_overflow_infinity (min) - && is_overflow_infinity (max)) - { - set_value_range_to_varying (vr); - return; - } + /* Do not drop [-INF(OVF), +INF(OVF)] to varying. (OVF) has to be sticky + to make sure VRP iteration terminates, otherwise we can get into + oscillations. */ set_value_range (vr, t, min, max, equiv); } |