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 | d014a712e039ee0068b8b11a4c78a09e0c26454b (patch) | |
| tree | c62d92a46009aa3e890d1bcfa8cb3f9dc035396b /gcc/hooks.c | |
| parent | 3c258984f4ecbe279b224a03f1c135ae4fa65c40 (diff) | |
| download | gcc-d014a712e039ee0068b8b11a4c78a09e0c26454b.zip gcc-d014a712e039ee0068b8b11a4c78a09e0c26454b.tar.gz gcc-d014a712e039ee0068b8b11a4c78a09e0c26454b.tar.bz2 | |
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
Diffstat (limited to 'gcc/hooks.c')
0 files changed, 0 insertions, 0 deletions