projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a642123) | patch
PR tree-optimization/59124 (bogus -Warray-bounds warning)
authorppalka <ppalka@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 30 Mar 2016 00:55:00 +0000 (00:55 +0000)
committerppalka <ppalka@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 30 Mar 2016 00:55:00 +0000 (00:55 +0000)
commitf56c7d3657c7a760ff8559a198d77e99c26c9ad9
treec62d92a46009aa3e890d1bcfa8cb3f9dc035396btree | snapshot
parenta64212333ae531c0aff524f3ef09df30a82c6404commit | 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@234544 138bc75d-0d04-0410-961f-82ee72b054a4
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
Domain: System / Toolchain;