On Apr 19, 2013, at 2:45 AM, Anton Yartsev <[email protected]> wrote:

> On 29.03.2013 4:00, Anna Zaks wrote:
>> I've committed the new callback. Looks like no email was sent out.. So just 
>> look at r178310.
> +static bool retTrue(const RefState *RS) {
> +  return true;
> +}
> +
> +static bool checkIfNewOrNewArrayFamily(const RefState *RS) {
> +  return (RS->getAllocationFamily() == AF_CXXNewArray ||
> +          RS->getAllocationFamily() == AF_CXXNew);
> +}
> ...........
> +      if (RS->isAllocated() && CheckRefState(RS))
>         State = State->remove<RegionState>(sym);
>     }
>   }
> 
> Anna, could you, please, clarify why we only process C++ families on const 
> escape here?
> 

Because we assume that the user can call 'delete' on a const pointer, but 
cannot call 'free' on it.

> -- 
> Anton

_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to