https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83215
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- What I've wondered here is because we know the offset and size of the m->a access, even when the containing structure is TYPE_TYPELESS_STORAGE, we could prove that this offset/size in the structure doesn't and can't overlap with any area of the aggregate that has or could have TYPE_TYPELESS_STORAGE array, and ignore the TYPE_TYPELESS_STORAGE for that access.