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

[Jordy Rose]

On Tue, 13 Jul 2010 11:33:18 +1200, 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?

Without reading your patch (I'm off on vacation and may or may not get to
look at it) do you mean *it = malloc(42)? That should already work.