================
@@ -193,7 +193,14 @@ Available checks are:
signed division overflow (``INT_MIN/-1``), but not checks for
lossy implicit conversions performed before the computation
(see ``-fsanitize=implicit-conversion``). Both of these two issues are
- handled by ``-fsanitize=implicit-conversion`` group of checks.
+ handled by ``-fsanitize=implicit-conversion`` group of checks. Note that
+ ``-fwrapv`` implicitly disables instrumentation for much of the arithmetic
+ covered by ``-fsanitize=signed-integer-overflow``.
+ - ``-fsanitize=signed-integer-wrap``: Signed Integer wraparound, where the
----------------
vitalybuka wrote:
Can we refrase this differently?
Instead (or in addition) of reference to `signed-integer-overflow`, just
explain that it will detect?
https://github.com/llvm/llvm-project/pull/80089
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
