<div dir="ltr">-Wnonnull already warns when it is known at compiler time that a null is used in these places.  Nick will know if Clang marks parameters and return values as non-null for optimization purposes.</div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Tue, Jul 1, 2014 at 5:04 PM, Chandler Carruth <span dir="ltr"><<a href="mailto:chandlerc@google.com" target="_blank">chandlerc@google.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jul 1, 2014 at 4:35 PM, Alexey Samsonov <span dir="ltr"><<a href="mailto:vonosmas@gmail.com" target="_blank">vonosmas@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Sorry for delay.</div><div><br></div>+Richard<div><br></div><div>I think we are interested in adding these checks to Clang. I'll try to take a look at how hard it is to implement them in the frontend (it shouldn't be so), and then work on landing your patch into compiler-rt. Thanks!</div>

</blockquote></div><br>+1, these would be awesome. Richard Trieu and Nick Lewycky might be able to help with this as well as he has been working on related warnings and such.</div></div>
</blockquote></div><br></div>