https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113164
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2024-01-08
Ever confirmed|0 |1
CC| |hubicka at gcc dot gnu.org,
| |rguenth at gcc dot gnu.org
Status|UNCONFIRMED |NEW
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
This would rely on TBAA btw, with -fno-strict-aliasing we allow *a and *b
to overlap, aka
a = &b->b;
confirmed. I think we have all the bits in aliasing_component_refs_p and
friends, it just would need to be factored/wired up for addresses.
