https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77291
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Mon Dec 18 08:33:26 2017 New Revision: 255775 URL: https://gcc.gnu.org/viewcvs?rev=255775&root=gcc&view=rev Log: 2017-12-18 Richard Biener <rguent...@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. Added: trunk/gcc/testsuite/gcc.dg/Warray-bounds-26.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree.c