<div dir="ltr">Looks like this broke <a href="http://lab.llvm.org:8011/builders/clang-sphinx-docs/builds/13793/steps/docs-clang-html/logs/stdio">http://lab.llvm.org:8011/builders/clang-sphinx-docs/builds/13793/steps/docs-clang-html/logs/stdio</a> <div><br></div><div><div>/home/llvmbb/llvm-build-dir/clang-sphinx-docs/llvm/src/tools/clang/docs/UndefinedBehaviorSanitizer.rst:96: WARNING: Bullet list ends without a blank line; unexpected unindent.</div></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Apr 25, 2016 at 3:21 PM, George Burgess IV via cfe-commits <span dir="ltr"><<a href="mailto:cfe-commits@lists.llvm.org" target="_blank">cfe-commits@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: gbiv<br>
Date: Mon Apr 25 14:21:45 2016<br>
New Revision: 267447<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=267447&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=267447&view=rev</a><br>
Log:<br>
[Docs] Clarify what the object-size sanitizer does.<br>
<br>
Currently, the UBSan docs make it sound like the object-size sanitizer<br>
will only detect out-of-bounds reads/writes. It also catches some<br>
operations that don't necessarily access memory (invalid downcasts,<br>
calls of methods on invalid pointers, ...). This patch adds a note<br>
about this behavior in the docs.<br>
<br>
<br>
Modified:<br>
    cfe/trunk/docs/UndefinedBehaviorSanitizer.rst<br>
<br>
Modified: cfe/trunk/docs/UndefinedBehaviorSanitizer.rst<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/docs/UndefinedBehaviorSanitizer.rst?rev=267447&r1=267446&r2=267447&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/docs/UndefinedBehaviorSanitizer.rst?rev=267447&r1=267446&r2=267447&view=diff</a><br>
==============================================================================<br>
--- cfe/trunk/docs/UndefinedBehaviorSanitizer.rst (original)<br>
+++ cfe/trunk/docs/UndefinedBehaviorSanitizer.rst Mon Apr 25 14:21:45 2016<br>
@@ -92,11 +92,14 @@ Available checks are:<br>
      parameter which is declared to never be null.<br>
   -  ``-fsanitize=null``: Use of a null pointer or creation of a null<br>
      reference.<br>
-  -  ``-fsanitize=object-size``: An attempt to use bytes which the<br>
-     optimizer can determine are not part of the object being<br>
-     accessed. The sizes of objects are determined using<br>
-     ``__builtin_object_size``, and consequently may be able to detect<br>
-     more problems at higher optimization levels.<br>
+  -  ``-fsanitize=object-size``: An attempt to potentially use bytes which<br>
+    the optimizer can determine are not part of the object being accessed.<br>
+    This will also detect some types of undefined behavior that may not<br>
+    directly access memory, but are provably incorrect given the size of<br>
+    the objects involved, such as invalid downcasts and calling methods on<br>
+    invalid pointers. These checks are made in terms of<br>
+    ``__builtin_object_size``, and consequently may be able to detect more<br>
+    problems at higher optimization levels.<br>
   -  ``-fsanitize=return``: In C++, reaching the end of a<br>
      value-returning function without returning a value.<br>
   -  ``-fsanitize=returns-nonnull-attribute``: Returning null pointer<br>
<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@lists.llvm.org">cfe-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits</a><br>
</blockquote></div><br></div>