<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Apr 19, 2013, at 2:45 AM, Anton Yartsev <<a href="mailto:anton.yartsev@gmail.com">anton.yartsev@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">On 29.03.2013 4:00, Anna Zaks wrote:<br><blockquote type="cite">I've committed the new callback. Looks like no email was sent out.. So just look at r178310.<br></blockquote>+static bool retTrue(const RefState *RS) {<br>+ return true;<br>+}<br>+<br>+static bool checkIfNewOrNewArrayFamily(const RefState *RS) {<br>+ return (RS->getAllocationFamily() == AF_CXXNewArray ||<br>+ RS->getAllocationFamily() == AF_CXXNew);<br>+}<br>...........<br>+ if (RS->isAllocated() && CheckRefState(RS))<br> State = State->remove<RegionState>(sym);<br> }<br> }<br><br>Anna, could you, please, clarify why we only process C++ families on const escape here?<br><br></div></blockquote><br>Because we assume that the user can call 'delete' on a const pointer, but cannot call 'free' on it.</div><div><br><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">--<span class="Apple-converted-space"> </span><br>Anton</div></blockquote></div><br></body></html>