
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On Dec 5, 2011, at 9:27 PM, Jeffrey Yasskin wrote:</div><blockquote type="cite"><div><blockquote type="cite"><font class="Apple-style-span" color="#000000"><br></font></blockquote><blockquote type="cite">Do you think it would be reasonable to still emit a warning here, but<br></blockquote><blockquote type="cite">categorize it differently in the places where we are less certain that the<br></blockquote><blockquote type="cite">issue is a null dereference?<br></blockquote><br>Yes, sorry, I wasn't as clear as I should have been. The warning was<br>obnoxious only because it asserted that a possibly-null pointer was<br>definitely being dereferenced, when it meant that either a<br>possibly-null pointer was being dereferenced OR there was a redundant<br>check, and it always hid the location of the possibly-redundant check.<br>I would value getting the "redundant check or null dereference"<br>warning in my own code: I just want the analyzer to be honest about<br>what it's finding and not make overly-certain claims based on dodgy<br>assumptions.<br><br>Jeffrey<br></div></blockquote></div><br><div>Makes perfect sense.</div></body></html>