<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jun 5, 2014 at 5:01 PM, Richard Smith <span dir="ltr"><<a href="mailto:richard@metafoo.co.uk" target="_blank">richard@metafoo.co.uk</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">LGTM with some minor diagnostic tweaks.<br>
<br>
================<br>
Comment at: include/clang/Basic/DiagnosticSemaKinds.td:2393<br>
@@ +2392,3 @@<br>
<div>+  "'this' pointer cannot be null in well-defined C++ code; pointer may be "<br>
</div>+  "assumed always converted to a true value">, InGroup<UndefinedBoolConversion>;<br>
+def warn_address_of_reference_bool_conversion : Warning<<br>
----------------<br>
"assumed to always convert to" would sound better to me.<br></blockquote><div><br></div><div>Looks like you didn't make this change prior to checkin?</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


Also,<br>
<div><br>
  assumed to always convert to 'true'<br>
<br>
</div>rather than<br>
<br>
  assumed to always convert to a true value<br>
<br>
to avoid people wondering what "a true value" is (cf. "a true Scotsman").<br>
<br>
Likewise I'd suggest putting the %select's below into single quotes.<br></blockquote><div><br></div><div>Likewise this one.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

================<br>
Comment at: include/clang/Basic/DiagnosticSemaKinds.td:2409<br>
@@ +2408,3 @@<br>
+  "reference cannot be bound to dereferenced null pointer in well-defined C++ "<br>
+  "code; comparison maybe be assumed to always evaluate to "<br>
<div>+  "%select{true|false}0">,<br>
</div>----------------<br>
Typo "maybe be" should be "may be"<br>
<br>
<a href="http://reviews.llvm.org/D3999" target="_blank">http://reviews.llvm.org/D3999</a><br>
<br>
<br>
</blockquote></div><br></div></div>