https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91571
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- ao_ref_init_from_ptr_and_size is supposed to be used to set up aliasing when you only know the pointer to the start of an area plus the access size. If you have an actual access you can derive TBAA info from then use ao_ref_init instead. That TBAA is disabled for ao_ref_init_from_ptr_and_size is on purpose and required for correctness.