[cfe-dev] Annotating a realloc-equivalent?
bruce.r.stephens at gmail.com
Fri Apr 19 03:59:23 PDT 2013
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
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev