https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41898
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Possibly related (implementation-wise) are ideas to handle array element contents field-sensitive but not elements, thus have for T p[10]; fields for members of 'T' but re-use the appropriate member for each array element of 'p'. This would support doing field-sensitive analysis for allocated storage and varinfo fields would "wrap around" the full variables size. One conservative subfield allocation strathegy for allocated storage is N pointers aligned to pointer alignment.
