[clang] [compiler-rt] [Sanitizer] add signed-integer-wrap sanitizer (PR #80089)

Nick Desaulniers via cfe-commits cfe-commits at lists.llvm.org
Wed Jan 31 14:10:56 PST 2024


================
@@ -0,0 +1,77 @@
+// Check that -fsanitize=signed-integer-wrap instruments with -fwrapv
+// RUN: %clang_cc1 -fwrapv -triple x86_64-apple-darwin -emit-llvm -o - %s -fsanitize=signed-integer-wrap | FileCheck %s --check-prefix=CHECKSIW
+
+// Check that -fsanitize=signed-integer-overflow doesn't instrument with -fwrapv
+// RUN: %clang_cc1 -fwrapv -triple x86_64-apple-darwin -emit-llvm -o - %s -fsanitize=signed-integer-overflow | FileCheck %s --check-prefix=CHECKSIO
+
+extern volatile int a, b, c;
+
+// CHECKSIW-LABEL: define void @test_add_overflow
----------------
nickdesaulniers wrote:

The label check is something where `--check-prefixes=` (plural) makes sense. As written, you're only checking the label for the `-fsanitize=signed-integer-wrap` case, but not the `-fsanitize=signed-integer-overflow` case.

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


More information about the cfe-commits mailing list