re PR tree-optimization/77291 (False positive for -Warray-bounds)
authorRichard Biener <rguenther@suse.de>
Mon, 18 Dec 2017 08:33:26 +0000 (08:33 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Mon, 18 Dec 2017 08:33:26 +0000 (08:33 +0000)
commit8c3563f392007b60a07d4c6d3c335355e19f3135
tree32629a20d90cf5322cdbb3af02b73c4748820461
parent040a4493a64b308366d1d2fcb5611143d90c3c6d
re PR tree-optimization/77291 (False positive for -Warray-bounds)

2017-12-18  Richard Biener  <rguenther@suse.de>

PR middle-end/77291
* tree.c (array_at_struct_end_p): Return true if the underlying
object has space for at least one element in excess of what
the array domain specifies.

* gcc.dg/Warray-bounds-26.c: New testcase.

From-SVN: r255775
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/Warray-bounds-26.c [new file with mode: 0644]
gcc/tree.c