/* { dg-do compile } */ | |
/* { dg-options "-O2 -Warray-bounds" } */ | |
struct Rec { | |
unsigned char data[1]; // actually variable length | |
}; | |
union U { | |
unsigned char buf[42]; | |
struct Rec rec; | |
}; | |
int Load() | |
{ | |
union U u; | |
return u.rec.data[1]; /* { dg-bogus "array bound" } */ | |
} |