Re: GCC16 or 17: when is the pointed type relevant for emitted assembler code?

Richard Biener via Gcc <[email protected]> Fri, 8 May 2026 11:45:30 +0200

Newsgroups	gmane.comp.gcc.devel
Message-ID	<CAFiYyc25NugSNXrSOyzVTWfLWjFoAvtCk-yMcHp-qFUSRWnL2w@mail.gmail.com>

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