diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2018-06-20 16:47:28 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2018-06-20 16:47:28 +0200 |
| commit | c81a5aecc58eb17bc951d0306945c029439b5fcb (patch) | |
| tree | ddb724171370d77ae98b9b99ae5b78b6e46b7346 /gcc/tree-vrp.c | |
| parent | 60f02f902170249d3a7fe763c10c1aa9375b1150 (diff) | |
| download | gcc-c81a5aecc58eb17bc951d0306945c029439b5fcb.zip gcc-c81a5aecc58eb17bc951d0306945c029439b5fcb.tar.gz gcc-c81a5aecc58eb17bc951d0306945c029439b5fcb.tar.bz2 | |
re PR tree-optimization/86231 (vrp_meet causes wrong-code)
PR tree-optimization/86231
* tree-vrp.c (union_ranges): For ( [ ) ] or ( )[ ] range and
anti-range don't overwrite *vr0min before using it to compute *vr0max.
* gcc.dg/tree-ssa/vrp119.c: New test.
* gcc.c-torture/execute/pr86231.c: New test.
From-SVN: r261805
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index fad25ed..7c67539 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -5922,9 +5922,9 @@ union_ranges (enum value_range_type *vr0type, if (TREE_CODE (*vr0min) == INTEGER_CST) { *vr0type = vr1type; - *vr0min = vr1min; *vr0max = int_const_binop (MINUS_EXPR, *vr0min, build_int_cst (TREE_TYPE (*vr0min), 1)); + *vr0min = vr1min; } else goto give_up; |