| commit | 4a1b62d7e52b583fe234819be8ee9ba211b3f375 | |
| author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 19 Apr 2017 19:27:09 +0000 (19 19:27 +0000) | ||
| committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 19 Apr 2017 19:27:09 +0000 (19 19:27 +0000) | ||
| tree | e92d2d185b565e9dbbadd2eab3b245262ecb273f | treesnapshot (tar.gz zip) |
| parent | dad18bfe5469570a123140c6d0c52927449e09c1 | commitdiff |
PR tree-optimization/80426
* tree-vrp.c (extract_range_from_binary_expr_1): For an additive
operation on symbolic operands, also compute the overflow for the
invariant part when the operation degenerates into a negation.
PR tree-optimization/80426
* gcc.c-torture/execute/20170419-1.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247007 138bc75d-0d04-0410-961f-82ee72b054a4
* tree-vrp.c (extract_range_from_binary_expr_1): For an additive
operation on symbolic operands, also compute the overflow for the
invariant part when the operation degenerates into a negation.
PR tree-optimization/80426
* gcc.c-torture/execute/20170419-1.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247007 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/gcc.c-torture/execute/20170429-1.c | [new file with mode: 0644] | blob |
| gcc/tree-vrp.c | diffblobblamehistory |