<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jul 1, 2014 at 6:33 PM, Richard Trieu <span dir="ltr"><<a href="mailto:rtrieu@google.com" target="_blank">rtrieu@google.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">-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.</blockquote>
</div><br>The key would be to annotate them with non-null UBSan checks even if we aren't sufficiently confident to do so for the optimizer.</div></div>