diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2017-04-19 19:27:09 +0000 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2017-04-19 13:27:09 -0600 |
| commit | fe1e7d0e9b7479f13b84670ac3b56cf5244d877c (patch) | |
| tree | e92d2d185b565e9dbbadd2eab3b245262ecb273f /gcc/tree-vrp.c | |
| parent | 52744dd73c677f0fcbf80249af7b4163f72c3326 (diff) | |
| download | gcc-fe1e7d0e9b7479f13b84670ac3b56cf5244d877c.zip gcc-fe1e7d0e9b7479f13b84670ac3b56cf5244d877c.tar.gz gcc-fe1e7d0e9b7479f13b84670ac3b56cf5244d877c.tar.bz2 | |
re PR tree-optimization/80426 (wrong manipulation of range based on INT_MIN)
PR tree-optimization/80426
* tree-vrp.c (extract_range_from_binary_expr_1): For an additive
operation on symbolic operands, also compute the overflow for the
invariant part when the operation degenerates into a negation.
PR tree-optimization/80426
* gcc.c-torture/execute/20170419-1.c: New test.
Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r247007
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 30 |
1 files changed, 28 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 6d802de..697cd88 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2461,7 +2461,20 @@ extract_range_from_binary_expr_1 (value_range *vr, else if (min_op0) wmin = min_op0; else if (min_op1) - wmin = minus_p ? wi::neg (min_op1) : min_op1; + { + if (minus_p) + { + wmin = wi::neg (min_op1); + + /* Check for overflow. */ + if (sgn == SIGNED && wi::neg_p (min_op1) && wi::neg_p (wmin)) + min_ovf = 1; + else if (sgn == UNSIGNED && wi::ne_p (min_op1, 0)) + min_ovf = -1; + } + else + wmin = min_op1; + } else wmin = wi::shwi (0, prec); @@ -2489,7 +2502,20 @@ extract_range_from_binary_expr_1 (value_range *vr, else if (max_op0) wmax = max_op0; else if (max_op1) - wmax = minus_p ? wi::neg (max_op1) : max_op1; + { + if (minus_p) + { + wmax = wi::neg (max_op1); + + /* Check for overflow. */ + if (sgn == SIGNED && wi::neg_p (max_op1) && wi::neg_p (wmax)) + max_ovf = 1; + else if (sgn == UNSIGNED && wi::ne_p (max_op1, 0)) + max_ovf = -1; + } + else + wmax = max_op1; + } else wmax = wi::shwi (0, prec); |