[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
----------------
nickdesaulniers wrote:

We don't have to use `update_cc_test_checks`; it's nice when we can and when the test has many CHECK lines, but I suspect most of the CHECK lines in this test could be removed without significant loss in signal to noise ratio / coverage intended.

In that case, I'd simply check for the presence (or lack thereof) the calls to the builtins. The CHECKSIO-NOT checks look like what I'm talking about.  The CHECKSIW checks are checking way way more than we really care about.

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


More information about the cfe-commits mailing list