https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87192
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |msebor at gcc dot gnu.org
Component|c |middle-end
Resolution|--- |FIXED
Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot
gnu.org
Target Milestone|--- |10.0
--- Comment #9 from Martin Sebor <msebor at gcc dot gnu.org> ---
GCC 10.0 (since r277728) issues the following warning for the test case:
$ cat pr87192.c && gcc -O2 -S -Wall pr87192.c
void bar(void *);
void foo()
{
struct {
int a[10];
} s;
bar(s.a+12);
}
pr87192.c: In function ‘foo’:
pr87192.c:8:5: warning: array subscript 12 is outside array bounds of ‘struct
<anonymous>[1]’ [-Warray-bounds]
8 | bar(s.a+12);
| ^~~~~~~~~~~
pr87192.c:7:7: note: while referencing ‘s’
7 | } s;
| ^
