https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119070
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
E.g. in C23 it is in 6.5.6/9
"If the pointer operand and the result do not point to elements of the same
array object or one past the last element of the array object, the behavior is
undefined."
That is violated here,
&global_0.f_2_0
points at the start of the &global_0 object, while (unsigned char
*)&global_0.f_2_0 - 0x2000 doesn't point into the same object.
