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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
