diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-11-26 10:19:30 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-11-26 10:19:30 +0100 |
| commit | 751a243337660bfb64bb0a6ded40688e9c3c7cf6 (patch) | |
| tree | cb24767045d31e52a5520172e38c0d6fccfa4be2 /gcc/tree-vrp.c | |
| parent | d42f26c16c36e5e137bf4e6d0ec09ed32fbe6c90 (diff) | |
| download | gcc-751a243337660bfb64bb0a6ded40688e9c3c7cf6.tar.gz | |
re PR tree-optimization/54471 (FAIL: gcc.dg/sms-8.c execution test)
PR tree-optimization/54471
* tree-vrp.c (extract_range_from_binary_expr_1): For MULT_EXPR,
don't canonicalize range if min2 is zero.
* gcc.dg/tree-ssa/vrp86.c: New test.
* gcc.c-torture/execute/pr54471.c: New test.
From-SVN: r193806
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 7f3e082446a..c9e4e313692 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2653,7 +2653,7 @@ extract_range_from_binary_expr_1 (value_range_t *vr, if (TYPE_UNSIGNED (expr_type)) { double_int min2 = size - min0; - if (min2.cmp (max0, true) < 0) + if (!min2.is_zero () && min2.cmp (max0, true) < 0) { min0 = -min2; max0 -= size; @@ -2661,7 +2661,7 @@ extract_range_from_binary_expr_1 (value_range_t *vr, } min2 = size - min1; - if (min2.cmp (max1, true) < 0) + if (!min2.is_zero () && min2.cmp (max1, true) < 0) { min1 = -min2; max1 -= size; |