diff options
| author | Richard Biener <rguenther@suse.de> | 2022-05-25 11:49:03 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-05-27 11:42:31 +0200 |
| commit | e7c482b08076bb299742883c4ffd65b31e33200c (patch) | |
| tree | 976b5fa154ef456031e361eb4f0645d9c4050da9 /gcc/ada | |
| parent | e2f014fcefcd2ad56b31995329820bbd99072eae (diff) | |
| download | gcc-e7c482b08076bb299742883c4ffd65b31e33200c.zip gcc-e7c482b08076bb299742883c4ffd65b31e33200c.tar.gz gcc-e7c482b08076bb299742883c4ffd65b31e33200c.tar.bz2 | |
tree-optimization/105726 - adjust array bound heuristic
There's heuristic to detect ptr[1].a[...] out of bound accesses
reasoning that if ptr points to an array of aggregates a trailing
incomplete array has to have size zero. The following more
thoroughly constrains the cases this applies to avoid false
positive diagnostics.
2022-05-25 Richard Biener <rguenther@suse.de>
PR tree-optimization/105726
* gimple-ssa-warn-restrict.cc (builtin_memref::set_base_and_offset):
Constrain array-of-flexarray case more.
* g++.dg/warn/Warray-bounds-27.C: New testcase.
Diffstat (limited to 'gcc/ada')
0 files changed, 0 insertions, 0 deletions