<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, May 9, 2014 at 1:05 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"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div class="">On Fri, May 9, 2014 at 10:55 AM, Reid Kleckner <span dir="ltr"><<a href="mailto:rnk@google.com" target="_blank">rnk@google.com</a>></span> wrote:<br>
</div><div class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir="ltr">They are exposed:<div><a href="http://clang.llvm.org/docs/LanguageExtensions.html#checked-arithmetic-builtins" target="_blank">http://clang.llvm.org/docs/LanguageExtensions.html#checked-arithmetic-builtins</a><br>

</div><div>
<br></div><div>... but that's not indexed by Google.  Maybe this is the problem?</div><div><a href="http://clang.llvm.org/robots.txt" target="_blank">http://clang.llvm.org/robots.txt</a>:</div><div><div>User-agent: *</div>

<div>Disallow: </div></div></div></blockquote><div><br></div></div><div>That's an 'allow everything' robots.txt. The results are there; try searching for: "__builtin_uadd_overflow" clang</div></div>
</div></div></blockquote><div><br></div><div>Yeah, I was pretty sure I was crazy.  I guess LanguageExtensions.html is just ranked very, very poorly. </div></div></div></div>