diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2012-08-22 14:29:23 +0200 |
|---|---|---|
| committer | Marc Glisse <glisse@gcc.gnu.org> | 2012-08-22 12:29:23 +0000 |
| commit | d9c6ca8570b1982b383455aa5d315bcac049145d (patch) | |
| tree | 8f08be5dd4e93dd2c8960068854763c63bfe24a4 /gcc/tree-vrp.c | |
| parent | 6f723d3319d8a656079b0509be4a249c0fbd955c (diff) | |
| download | gcc-d9c6ca8570b1982b383455aa5d315bcac049145d.zip gcc-d9c6ca8570b1982b383455aa5d315bcac049145d.tar.gz gcc-d9c6ca8570b1982b383455aa5d315bcac049145d.tar.bz2 | |
re PR tree-optimization/54317 (FAIL: c45532m c45532n c45532o c45532p)
2012-08-22 Marc Glisse <marc.glisse@inria.fr>
PR tree-optimization/54317
gcc/
* tree-vrp.c (extract_range_from_binary_expr_1): Test for
double_int overflow.
Remove dead tests.
gcc/testsuite/
* gcc.dg/tree-ssa/vrp79.c: New testcase.
From-SVN: r190591
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 0aa1dc7..f949e8b 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2474,18 +2474,21 @@ extract_range_from_binary_expr_1 (value_range_t *vr, { /* Min underflow or max overflow. The range kind changes to VR_ANTI_RANGE. */ + bool covers = false; double_int tem = tmin; gcc_assert ((min_ovf == -1 && max_ovf == 0) || (max_ovf == 1 && min_ovf == 0)); type = VR_ANTI_RANGE; tmin = double_int_add (tmax, double_int_one); + if (double_int_cmp (tmin, tmax, uns) < 0) + covers = true; tmax = double_int_add (tem, double_int_minus_one); + if (double_int_cmp (tmax, tem, uns) > 0) + covers = true; /* If the anti-range would cover nothing, drop to varying. Likewise if the anti-range bounds are outside of the types values. */ - if (double_int_cmp (tmin, tmax, uns) > 0 - || double_int_cmp (tmin, type_min, uns) < 0 - || double_int_cmp (tmax, type_max, uns) > 0) + if (covers || double_int_cmp (tmin, tmax, uns) > 0) { set_value_range_to_varying (vr); return; |