[clang] 9eccc14 - [docs][clang] Add extra information inside -fsanitize=unsigned-shift-base for UndefinedBehaviorSanitizer

[via cfe-commits]

Author: aabhinavg
Date: 2023-03-31T09:35:15+05:30
New Revision: 9eccc145aa957e56846f1587e543eb6310a404ae

URL: https://github.com/llvm/llvm-project/commit/9eccc145aa957e56846f1587e543eb6310a404ae
DIFF: https://github.com/llvm/llvm-project/commit/9eccc145aa957e56846f1587e543eb6310a404ae.diff

LOG: [docs][clang] Add extra information inside -fsanitize=unsigned-shift-base for UndefinedBehaviorSanitizer

Close: #60712

Reviewed By: MaskRay

Differential Revision: https://reviews.llvm.org/D146947

Added: 
    

Modified: 
    clang/docs/UndefinedBehaviorSanitizer.rst

Removed: 
    


################################################################################
diff  --git a/clang/docs/UndefinedBehaviorSanitizer.rst b/clang/docs/UndefinedBehaviorSanitizer.rst
index a6fac18239ae..ce705ad653e4 100644
--- a/clang/docs/UndefinedBehaviorSanitizer.rst
+++ b/clang/docs/UndefinedBehaviorSanitizer.rst
@@ -157,7 +157,8 @@ Available checks are:
      ``-fsanitize=shift-exponent`` to check only left-hand side or
      right-hand side of shift operation, respectively.
   -  ``-fsanitize=unsigned-shift-base``: check that an unsigned left-hand side of
-     a left shift operation doesn't overflow.
+     a left shift operation doesn't overflow. Issues caught by this sanitizer are 
+     not undefined behavior, but are often unintentional.
   -  ``-fsanitize=signed-integer-overflow``: Signed integer overflow, where the
      result of a signed integer computation cannot be represented in its type.
      This includes all the checks covered by ``-ftrapv``, as well as checks for