[clang] [Clang] Re-land Overflow Pattern Exclusions (PR #104889)
Justin Stitt via cfe-commits
cfe-commits at lists.llvm.org
Wed Aug 21 11:01:58 PDT 2024
================
@@ -0,0 +1,63 @@
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fsanitize=signed-integer-overflow,unsigned-integer-overflow -fsanitize-undefined-ignore-overflow-pattern=all %s -emit-llvm -o - | FileCheck %s
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fsanitize=signed-integer-overflow,unsigned-integer-overflow -fsanitize-undefined-ignore-overflow-pattern=all -fwrapv %s -emit-llvm -o - | FileCheck %s
+
+// Check for potential false positives from patterns that _almost_ match classic overflow-dependent or overflow-prone code patterns
+extern unsigned a, b, c;
+extern int u, v, w;
----------------
JustinStitt wrote:
u, v, and we are unused. Removing them in a follow-up PR (also touching-up documentation).
Thanks
https://github.com/llvm/llvm-project/pull/104889
More information about the cfe-commits
mailing list