[clang] Sanitizer: Support -fwrapv with -fsanitize=signed-integer-overflow (PR #82432)

Justin Stitt via cfe-commits cfe-commits at lists.llvm.org
Tue Feb 20 14:38:39 PST 2024


================
@@ -399,6 +399,9 @@ Moved checkers
 Sanitizers
 ----------
 
+- ``-fsanitize=signed-integer-overflow`` now instruments signed arithmetic even
+  when ``-fwrapv`` is enabled. Previously, only division checks were enabled.
----------------
JustinStitt wrote:

Doesn't `-fno-sanitizer-signed-integer-overflow` already work? I did some [testing in godbolt](https://godbolt.org/z/oWdxvzs4P) and I am able to toggle this sanitizer on/off.

https://github.com/llvm/llvm-project/pull/82432


More information about the cfe-commits mailing list