https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111715
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Ever confirmed|0 |1 Last reconfirmed| |2023-10-06 Status|UNCONFIRMED |ASSIGNED --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 56069 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56069&action=edit more aggressive TBAA, prototype patch This is a prototype patch to get_alias_set to recognize a proper tail of the access path on the object we have punned to. I'm not sure it will work out this way. For better understanding a smaller testcase is required.