From 9eccc145aa957e56846f1587e543eb6310a404ae Mon Sep 17 00:00:00 2001 From: aabhinavg Date: Fri, 31 Mar 2023 09:32:52 +0530 Subject: [PATCH] [docs][clang] Add extra information inside -fsanitize=unsigned-shift-base for UndefinedBehaviorSanitizer Close: #60712 Reviewed By: MaskRay Differential Revision: https://reviews.llvm.org/D146947 --- clang/docs/UndefinedBehaviorSanitizer.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/clang/docs/UndefinedBehaviorSanitizer.rst b/clang/docs/UndefinedBehaviorSanitizer.rst index a6fac18..ce705ad 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 -- 2.7.4