[PATCH] D146947: [docs][clang] Add extra information inside -fsanitize=unsigned-shift-base for UndefinedBehaviorSanitizer
Tiwari Abhinav Ashok Kumar via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Mar 30 21:08:34 PDT 2023
This revision was automatically updated to reflect the committed changes.
Closed by commit rG9eccc145aa95: [docs][clang] Add extra information inside -fsanitize=unsigned-shift-base for… (authored by aabhinavg).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D146947/new/
https://reviews.llvm.org/D146947
Files:
clang/docs/UndefinedBehaviorSanitizer.rst
Index: clang/docs/UndefinedBehaviorSanitizer.rst
===================================================================
--- clang/docs/UndefinedBehaviorSanitizer.rst
+++ clang/docs/UndefinedBehaviorSanitizer.rst
@@ -157,7 +157,8 @@
``-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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D146947.509894.patch
Type: text/x-patch
Size: 868 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20230331/bce58698/attachment.bin>
More information about the cfe-commits
mailing list