projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c25898) | patch
PR tree-optimization/59124 (bogus -Warray-bounds warning)
authorPatrick Palka <ppalka@gcc.gnu.org>
Wed, 30 Mar 2016 00:55:00 +0000 (00:55 +0000)
committerPatrick Palka <ppalka@gcc.gnu.org>
Wed, 30 Mar 2016 00:55:00 +0000 (00:55 +0000)
commitd014a712e039ee0068b8b11a4c78a09e0c26454b
treec62d92a46009aa3e890d1bcfa8cb3f9dc035396btree
parent3c258984f4ecbe279b224a03f1c135ae4fa65c40commit | diff
PR tree-optimization/59124 (bogus -Warray-bounds warning)

gcc/ChangeLog:

PR tree-optimization/59124
* tree-vrp.c (register_edge_assert_for_2): For NAME != CST1
where NAME = A +- CST2 add the assertion A != (CST1 -+ CST2).

gcc/testsuite/ChangeLog:

PR tree-optimization/59124
* gcc.dg/Warray-bounds-19.c: New test.

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