If you look at the comment history, you&#x27;ll find I have recently argued why you don&#x27;t want warnings for these kinds of things. But I agree with Regehr et al.&#x27;s proposal for a Friendly C, <a href="http:&#x2F;&#x2F;blog.regehr.org&#x2F;archives&#x2F;1180" rel="nofollow">http:&#x2F;&#x2F;blog.regehr.org&#x2F;archives&#x2F;1180</a>, which would disallow optimizing way those null-pointer checks. Any attempt for myself to justify why would just restate, poorly, what Regehr and company already state in that post and the ones linked to from it.<p>I think it&#x27;s worth noting that some critical code, such as the Linux kernel, already opts out of such optimizations because they&#x27;ve been bitten by it in the past. My previous post talks about that.