[cfe-dev] [Bug 7772] analyzer reports leaks when data is added to hash table or linked list

[bruce.r.stephens at gmail.com]

bruce.r.stephens-Re5JQEeQqe8AvxtiuMwx3w at public.gmane.org writes:

[...]

> (PKCS#11 has a different pattern it uses for returning vectors of
> unknown length which might be a useful test of annotation
> expressiveness.  The functions take something like a char* and a
> size_t*.

Now I think about it that's a lousy example since the API itself doesn't
do any allocation or deallocation (that's the whole point).  So it's
probably a test of some kind of annotation expressiveness, but not of
the proposed malloc-related annotations (IIUC).

[...]