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

[Ted Kremenek]

On Jul 12, 2010, at 4:33 PM, Andrew McGregor <andrewmcgr at gmail.com> wrote:

> The remaining issue is still that void foo(void ** it) {it=malloc(42);} warns.  How would I check for assignment to a pointee of an argument in PreVisitBind?

I can better answer this question if I knew your desired semantics.  Does it have to do with 'it' being a 'void**', that it is a function parameter, or both?