[PATCH] noclobber & noescape annotations for function arguments

[Michael Matz]

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.