https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103223

--- Comment #6 from Martin Jambor <jamborm at gcc dot gnu.org> ---
(In reply to Martin Sebor from comment #5)
> I replied earlier on gcc-patches: I've always intended the access attribute
> to eventually benefit optimization so please feel free (and encouraged :) to
> use it
> for that purpose.  The idea behind it was not just to catch bugs but also to
> enable optimizations based on the expectation that those bugs will have been
> fixed.  (This has to be done carefully since the attribute is also
> implicitly added in contexts where relying on it wouldn't correct for
> optimization; the attirbute API makes it possible to distinguish these
> cases.)
> 
> By dropping the attribute in IPA passes we would not only give up on
> detecting the bugs the IPA transformations expose but also on the
> optimization opportunities they might open up.

Right.  Can you please help us write code that creates access attribute from
another one after parameters at given indices are dropped?

Reply via email to