https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83060
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |msebor at gcc dot gnu.org --- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> --- Only pointer expressions that compute the value of a pointer that points to the same [sub]object or just past it are valid. The following is undefined whether or not there is padding between a.i and a.s: struct A { int i; int s[8]; } a; int *p = &a.s[-1];