<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Aug 5, 2013, at 10:38 , John McCall <<a href="mailto:rjmccall@apple.com">rjmccall@apple.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><meta http-equiv="Content-Type" content="text/html charset=windows-1252"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">On Aug 5, 2013, at 9:09 AM, Jordan Rose <<a href="mailto:jordan_rose@apple.com">jordan_rose@apple.com</a>> wrote:<br><div><blockquote type="cite"><div style="font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: 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;">delete nullptr / delete 0 is entirely legal in C++. Can you please take that back out?<br></div></blockquote><div><br></div>An analysis which points out that what’s being deleted is *always* null would</div><div>probably be useful, but I assume that would require different logic.</div></div></blockquote><br></div><div>Yes...unfortunately the analyzer is not great at proving something true along <i>all</i> paths that lead to a particular statement, instead of just <i>one</i> path.</div><div><br></div><div>Jordan</div><br></body></html>