diff options
| author | Richard Biener <rguenther@suse.de> | 2015-04-16 12:03:11 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-04-16 12:03:11 +0000 |
| commit | f8269ad4a97c7a4c950fcf42de24d6f145037e7e (patch) | |
| tree | cf69ae8eeed6f2f7cfd0cbe284c8dd255c21717f /gcc/tree-ssa-ccp.c | |
| parent | 579cef8f39ea28afa93c2d84f959867a7caa1325 (diff) | |
| download | gcc-f8269ad4a97c7a4c950fcf42de24d6f145037e7e.zip gcc-f8269ad4a97c7a4c950fcf42de24d6f145037e7e.tar.gz gcc-f8269ad4a97c7a4c950fcf42de24d6f145037e7e.tar.bz2 | |
re PR tree-optimization/64277 (Incorrect warning "array subscript is above array bounds")
2015-04-16 Richard Biener <rguenther@suse.de>
PR tree-optimization/64277
* tree-vrp.c (check_array_ref): Fix anti-range handling,
simplify upper bound handling.
(search_for_addr_array): Simplify.
(check_array_bounds): Handle ADDR_EXPRs here.
(check_all_array_refs): Simplify.
* gcc.dg/Warray-bounds-14.c: New testcase.
* gcc.dg/Warray-bounds-15.c: Likewise.
* c-c++-common/ubsan/bounds-4.c: Disable -Warray-bounds.
* c-c++-common/ubsan/bounds-6.c: Likewise.
From-SVN: r222146
Diffstat (limited to 'gcc/tree-ssa-ccp.c')
0 files changed, 0 insertions, 0 deletions