projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38f50ab) | patch
re PR tree-optimization/71433 (-Warray-bounds false positive with -O2)
authorRichard Biener <rguenther@suse.de>
Fri, 27 Jan 2017 12:30:43 +0000 (12:30 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 27 Jan 2017 12:30:43 +0000 (12:30 +0000)
commitb002f3b9e12252f53332575d01cc8765d6fbf59f
tree0990a8ec2839c1b7a30c2eb4a0a97dbb5d9c3a8etree
parent38f50ab65ae67aa9896ca7a18a80d77b4648a0b0commit | diff
re PR tree-optimization/71433 (-Warray-bounds false positive with -O2)

2017-01-27  Richard Biener  <rguenther@suse.de>

PR tree-optimization/71433
* tree-vrp.c (register_new_assert_for): Revert earlier changes.
(compare_assert_loc): New function.
(process_assert_insertions): Sort and optimize assert locations
to remove duplicates and push down identical assertions on
edges to their destination block.

* gcc.dg/Warray-bounds-21.c: New testcase.

From-SVN: r244974
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/Warray-bounds-21.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history