diff options
author | Patrick Palka <ppalka@gcc.gnu.org> | 2016-03-30 00:55:00 +0000 |
---|---|---|
committer | Patrick Palka <ppalka@gcc.gnu.org> | 2016-03-30 00:55:00 +0000 |
commit | 216257dd6c4615866e0b7529914a514ea29326d2 (patch) | |
tree | c62d92a46009aa3e890d1bcfa8cb3f9dc035396b /Makefile.tpl | |
parent | 403a220bb6eade23bfde7f3055e03480373f55f4 (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: https://gcc.gnu.org/svn/gcc/trunk@234544 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'Makefile.tpl')
0 files changed, 0 insertions, 0 deletions