| commit | 9854761c3445405b059767ae3ed645db49d4a7ed | |
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 3 Dec 2018 13:38:20 +0000 (3 13:38 +0000) | ||
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 3 Dec 2018 13:38:20 +0000 (3 13:38 +0000) | ||
| tree | 2281c5a802997ea1eca1085ce6fda9c08b5a7a4a | treesnapshot (tar.gz zip) |
| parent | 7f8a8b158fbdbcdc466c5b92b59fca0cd865c14c | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@266739 138bc75d-0d04-0410-961f-82ee72b054a4
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@266739 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/gcc.dg/tree-ssa/evrp13.c | [new file with mode: 0644] | blob |
| gcc/tree-vrp.c | diffblobblamehistory |