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. Thanks Jₑₙₛ -- :: ICube :::::::::::::::::::::::::::::: deputy director :: :: Université de Strasbourg :::::::::::::::::::::: ICPS :: :: INRIA antenne de Strasbourg :::::::::::::::::: Camus :: :: INRIA PIQ program Strasbourg :::::::::: piq.inria.fr :: :: :::::::::::::::::::::::::::::::::::: ☎ +33 368854536 :: :: https://icube-icps.unistra.fr/index.php/Jens_Gustedt ::