https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125796
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
OK, so we're placing a base
<var_decl 0x7ffff69d6e40 s
type <array_type 0x7ffff69c9348
...
align:16
...
align:256
but in the end get_object_alignment (MEM <struct S[16]> [(struct S
*)&s][_2].a[_3]) is still 16 and thus correct. We are not changing the
fact that 's' is aligned 256, nor that the dereference accesses a
structure type aligned to 16.
So what's the issue SMT points out?