On Fri, May 8, 2026 at 11:08 AM Basile STARYNKEVITCH <[email protected]> wrote: > > On Fri, 2026-05-08 at 09:55 +0200, Richard Biener wrote in > https://gcc.gnu.org/pipermail/gcc/2026-May/248123.html > > TBAA > > > What does TBAA means?
Type based alias analysis. ptr1 = *p1; ptr2 = *q2; when *p1 and *p2 have different pointer types we can disambiguate the two memory accesses. If they are both void *, we can't. Richrd. > > Thanks > -- > > Basile STARYNKEVITCH > <[email protected]> > 8 rue de la Faïencerie > http://starynkevitch.net/Basile/ > 92340 Bourg-la-Reine > https://github.com/bstarynk > France > https://github.com/RefPerSys/RefPerSys > https://orcid.org/0000-0003-0908-5250
