[clang] [compiler-rt] [Sanitizer] add signed-integer-wrap sanitizer (PR #80089)
    Justin Stitt via llvm-commits 
    llvm-commits at lists.llvm.org
       
    Tue Feb 13 11:27:22 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
----------------
JustinStitt wrote:
My patch does not touch SIO but in my testing I wanted it to be clear that SIO and SIW behave differently when `-fwrapv` is enabled. The tests more or less show this difference .
https://github.com/llvm/llvm-project/pull/80089
    
    
More information about the llvm-commits
mailing list