projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a23e48d) | patch
re PR tree-optimization/71433 (-Warray-bounds false positive with -O2)
authorRichard Biener <rguenther@suse.de>
Tue, 17 Jan 2017 08:38:59 +0000 (08:38 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Tue, 17 Jan 2017 08:38:59 +0000 (08:38 +0000)
commit12314dc98976f0dc987ec8081e4672b76507e46e
treee122e9f887592491b3c316c026bf3457db280f07tree
parenta23e48df4514c4f40e832f196b1b50b1e5010bd2commit | diff
re PR tree-optimization/71433 (-Warray-bounds false positive with -O2)

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

PR tree-optimization/71433
* tree-vrp.c (register_new_assert_for): Merge same asserts
on all incoming edges.
(process_assert_insertions_for): Handle insertions at the
beginning of BBs.

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

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