2017-12-18 Richard Biener <rguenther@suse.de>
commit938b899a34a809f1a07382abbc31e5cef2b2c802
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 18 Dec 2017 08:33:26 +0000 (18 08:33 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 18 Dec 2017 08:33:26 +0000 (18 08:33 +0000)
tree32629a20d90cf5322cdbb3af02b73c4748820461
parentc51cfafa6425083a3061a4a33b8dcc7f4601f456
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@255775 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/Warray-bounds-26.c [new file with mode: 0644]
gcc/tree.c