On Fri, 15 Nov 2024, Jₑₙₛ Gustedt wrote: > Hello Richard, > > On Fri, 15 Nov 2024 15:00:44 +0100 (CET), Richard Biener wrote: > > > fnspec was originally introduced for PTA, but 'I' and 'U' given the > > pointers escape, do not help PTA, as soon as pointers escape all > > (most) bets are lost. > > > > So where and how exactly do you plan to use those? They seems to be > > directed at redundancy elimination? > > During the discussion with Honza it occured to me that maybe gcc > doesn't yet use the full potential of `restrict`-qualified pointers to > `const`-qualified base.
Could be - we have difficulties in applying 'restrict' to any pointer that's not the formal parameter of a function as the formal definition relies on properties of the language we cannot recover. Richard. > Thanks > Jₑₙₛ > > > -- Richard Biener <rguent...@suse.de> SUSE Software Solutions Germany GmbH, Frankenstrasse 146, 90461 Nuernberg, Germany; GF: Ivo Totev, Andrew McDonald, Werner Knoblich; (HRB 36809, AG Nuernberg)
