]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4853ffd) | patch
backport: re PR tree-optimization/86231 (vrp_meet causes wrong-code)
authorJakub Jelinek <jakub@redhat.com>
Mon, 25 Jun 2018 17:53:50 +0000 (19:53 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Mon, 25 Jun 2018 17:53:50 +0000 (19:53 +0200)
commit3015efe258c945e50d370efe6ca7c708c7ef438e
treee7a9766ebf851a49ae18fa082fa4164ae07de18ftree
parent4853ffddf92a3766de28110f38d98e71840edda0commit | diff
backport: re PR tree-optimization/86231 (vrp_meet causes wrong-code)

Backported from mainline
2018-06-20  Jakub Jelinek  <jakub@redhat.com>

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: r262101
gcc/ChangeLog diff | blob | blame | history
gcc/testsuite/ChangeLog diff | blob | blame | 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 | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git