[cfe-dev] Ownership attribute for malloc etc. checking

[Andrew McGregor]

I think the checker itself is general enough to handle this... if we find
one attached to an argument, we could just generate the index in the
attribute parser.

Hmm, but which is cleaner and clearer... have the checker know that
arguments might be attributed as well, or have the parser push attributes
from arguments onto the function?  The latter is probably less code, but
might be rather obscure.  On the other hand, that whole attribute parser is
pretty obscure, and is full of 'fixme's saying it deserves redesigned.

BTW, all the private replies are unintentional, I'm getting used to some new
mail clients at present.

Andrew

On Tue, Jun 29, 2010 at 1:09 PM, Jeffrey Yasskin <jyasskin at google.com>wrote:

> On Mon, Jun 28, 2010 at 6:03 PM, Jordy Rose <jediknil at belkadan.com> wrote:
> >
> > A few last comments (along with what Ted had to say). Also, I second
> being
> > able to put the attributes on the arguments themselves. (Why didn't the
> GCC
> > people do nonnull like that?)
>
> FWIW, Andrew replied privately to me with,
>
> "I agree, but so far as I can see that is not possible presently."
>
> which strikes me as a good reason not to do it until Sean's done
> making it possible.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20100629/4c820ecf/attachment.html>