projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 959ded6) | patch
re PR tree-optimization/88301 (Optimization regression with undefined unsigned overflow)
authorRichard Biener <rguenther@suse.de>
Mon, 3 Dec 2018 13:38:20 +0000 (13:38 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Mon, 3 Dec 2018 13:38:20 +0000 (13:38 +0000)
commit476a31b55b5471262b567bb00fe8f9f04417a11e
tree2281c5a802997ea1eca1085ce6fda9c08b5a7a4atree
parent959ded615c23a9595c7965f9373c578d2cb4afa3commit | diff
re PR tree-optimization/88301 (Optimization regression with undefined unsigned overflow)

2018-12-03  Richard Biener  <rguenther@suse.de>

PR tree-optimization/88301
* tree-vrp.c (register_edge_assert_for_2): Handle conversions
that do not change the value by registering the same assert
for the operand.

* gcc.dg/tree-ssa/evrp13.c: New testcase.

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