diff options
author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-04-19 19:27:09 +0000 |
---|---|---|
committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-04-19 19:27:09 +0000 |
commit | 4a1b62d7e52b583fe234819be8ee9ba211b3f375 (patch) | |
tree | e92d2d185b565e9dbbadd2eab3b245262ecb273f /gcc/ChangeLog | |
parent | dad18bfe5469570a123140c6d0c52927449e09c1 (diff) | |
download | gcc-4a1b62d7e52b583fe234819be8ee9ba211b3f375.tar.gz |
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
Diffstat (limited to 'gcc/ChangeLog')
-rw-r--r-- | gcc/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6b17e9a8b87..de76f8a83f4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2017-04-19 Eric Botcazou <ebotcazou@adacore.com> + Jakub Jelinek <jakub@redhat.com> + + 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. + 2017-04-19 Jakub Jelinek <jakub@redhat.com> PR debug/80461 |