diff options
| -rw-r--r-- | clang/docs/UndefinedBehaviorSanitizer.rst | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/clang/docs/UndefinedBehaviorSanitizer.rst b/clang/docs/UndefinedBehaviorSanitizer.rst index 09ee78f5876..7ff7be93184 100644 --- a/clang/docs/UndefinedBehaviorSanitizer.rst +++ b/clang/docs/UndefinedBehaviorSanitizer.rst @@ -117,7 +117,9 @@ Available checks are: - ``-fsanitize=unreachable``: If control flow reaches ``__builtin_unreachable``. - ``-fsanitize=unsigned-integer-overflow``: Unsigned integer - overflows. + overflows. Note that unlike signed integer overflow, unsigned integer + is not undefined behavior. However, while it has well-defined semantics, + it is often unintentional, so UBSan offers to catch it. - ``-fsanitize=vla-bound``: A variable-length array whose bound does not evaluate to a positive value. - ``-fsanitize=vptr``: Use of an object whose vptr indicates that |
