This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] noclobber & noescape annotations for function arguments
Hi,
On Fri, 16 Apr 2010, Toon Moene wrote:
> > On 16 April 2010 11:26, Richard Guenther <rguenther@suse.de> wrote:
>
> > > > - const = only read
> > > > - output = only (always?) written, *T is dead on entry
> >
> > Isn't this similar to the intent() attribute in Fortran?
>
> Shhh ! They're thinking they're coming up with something really
> revolutionary.
How do you think did we come up with several of those annotations? Not by
looking at C :-) (but rather by trying to ensure that the middle end can
support guarantees given by certain languages)
> Next time you know they'll propose to annotate variables that are
> pointed to with the __target attribute ...
That's _exactly_ why we invented DECL_RESTRICTED_P ;-) You see, we aren't
entirely focused on C only ;)
Ciao,
Michael.