[cfe-dev] Annotating a realloc-equivalent?

[Bruce Stephens]

On Thu, Apr 18, 2013 at 11:22 PM, Jordan Rose <jordan_rose at apple.com> wrote:

> Interesting. I don't think we've ever tried to stack ownership attributes,
> but this makes plenty of sense. Please file a bug with a standalone test
> case, though I can't promise we'll get to it any time soon. Meanwhile, you
> can disable the "unix.MismatchedDeallocator" checker until this is fixed.
>


OK, I've done that. As Anna noted, actually this produces too many false
positives anyway.

I think what I hoped is that the annotations would let me tie in to the
existing malloc warnings (which
would allow me to usefully annotate other functions which I know return
allocated memory which
ought to be freed) but in fact it's using a quite different checker which
(for our codebase) is too noisy to
be useful.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130419/f7ac1545/attachment.html>