projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60f02f9) | patch
re PR tree-optimization/86231 (vrp_meet causes wrong-code)
authorJakub Jelinek <jakub@redhat.com>
Wed, 20 Jun 2018 14:47:28 +0000 (16:47 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Wed, 20 Jun 2018 14:47:28 +0000 (16:47 +0200)
commitc81a5aecc58eb17bc951d0306945c029439b5fcb
treeddb724171370d77ae98b9b99ae5b78b6e46b7346tree
parent60f02f902170249d3a7fe763c10c1aa9375b1150commit | diff
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
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.c-torture/execute/pr86231.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/vrp119.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history