projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d1fe91) | patch
re PR tree-optimization/64130 (vrp: handle non zero constant divided by range cannot...
authorKugan Vivekanandarajah <kuganv@linaro.org>
Mon, 29 Jun 2015 00:15:41 +0000 (00:15 +0000)
committerKugan Vivekanandarajah <kugan@gcc.gnu.org>
Mon, 29 Jun 2015 00:15:41 +0000 (00:15 +0000)
commitc44b2a4fb3522252f5aa044fb4c2ef6c7809c92b
tree6ddf08cb993b1fa6c3529b9a573caabf1b9ac656tree
parent1d1fe91a75df474462fdb46b921e0d20ef655864commit | diff
re PR tree-optimization/64130 (vrp: handle non zero constant divided by range cannot be zero.)

gcc/ChangeLog:

2015-06-29  Kugan Vivekanandarajah  <kuganv@linaro.org>

PR middle-end/64130
* tree-vrp.c (extract_range_from_binary_expr_1): For unsigned
division, compute max and min when value ranges for dividend and
divisor are available.

gcc/testsuite/ChangeLog:

2015-06-29  Kugan Vivekanandarajah  <kuganv@linaro.org>

PR middle-end/64130
* gcc.dg/tree-ssa/pr64130.c: New test.

From-SVN: r225108
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/pr64130.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history