[PATCH] Function annotations for noclobber/noescape arguments

Jan Hubicka hubicka@ucw.cz
Tue Apr 6 13:57:00 GMT 2010

> > 
> > ... hmm and this for sure will require updating in ipa-sra and clonning ;)
> > I guess other parameter wide attributes we have are safe here since we process
> > them fully before early optimizations, right?
> Hmm.  I guess we are just lucky that usually bodies are not available
> for functions with annotated args.  Thus the easiest fix is to simply
> disregard the fnspec attribute in that case (or even throw it away).
> There's more detailed information available in that case anyway.

Well, I guess there will always be cases where user will be able to specify more
than compiler to autodetect.

Do you already have code to autodetect those (as part of ipa-pta) or shall I
look into update ipa-pure-const to do so? 
(I guess current ipa-pta implementation is anyway not ready for -O2 right?)

> Richard.

More information about the Gcc-patches mailing list