[clang] bdc1296 - [NFC] Ubsan a few corner cases for `=sanitize` (#140855)
via cfe-commits
cfe-commits at lists.llvm.org
Wed May 21 03:42:28 PDT 2025
Author: Vitaly Buka
Date: 2025-05-21T06:42:25-04:00
New Revision: bdc1296de4cdccfba001416f96ce42b63082220a
URL: https://github.com/llvm/llvm-project/commit/bdc1296de4cdccfba001416f96ce42b63082220a
DIFF: https://github.com/llvm/llvm-project/commit/bdc1296de4cdccfba001416f96ce42b63082220a.diff
LOG: [NFC] Ubsan a few corner cases for `=sanitize` (#140855)
Added:
Modified:
clang/test/CodeGen/ubsan-src-ignorelist-category.test
Removed:
################################################################################
diff --git a/clang/test/CodeGen/ubsan-src-ignorelist-category.test b/clang/test/CodeGen/ubsan-src-ignorelist-category.test
index 556b17d7b6ad9..2f196fb126fe7 100644
--- a/clang/test/CodeGen/ubsan-src-ignorelist-category.test
+++ b/clang/test/CodeGen/ubsan-src-ignorelist-category.test
@@ -8,6 +8,8 @@
// RUN: %clang_cc1 -triple x86_64-linux-gnu -fsanitize=signed-integer-overflow -fsanitize-ignorelist=%t/src.ignorelist.contradict2 -emit-llvm %t/test1.c -o - | FileCheck %s --check-prefixes=CHECK1,IGNORE
// RUN: %clang_cc1 -triple x86_64-linux-gnu -fsanitize=signed-integer-overflow -fsanitize-ignorelist=%t/src.ignorelist.contradict3 -emit-llvm %t/test1.c -o - | FileCheck %s --check-prefixes=CHECK1,IGNORE
// RUN: %clang_cc1 -triple x86_64-linux-gnu -fsanitize=signed-integer-overflow -fsanitize-ignorelist=%t/src.ignorelist.contradict4 -emit-llvm %t/test1.c -o - | FileCheck %s --check-prefixes=CHECK1,IGNORE
+// RUN: %clang_cc1 -triple x86_64-linux-gnu -fsanitize=signed-integer-overflow -fsanitize-ignorelist=%t/src.ignorelist.contradict5 -emit-llvm %t/test1.c -o - | FileCheck %s --check-prefixes=CHECK1,IGNORE
+// RUN: %clang_cc1 -triple x86_64-linux-gnu -fsanitize=signed-integer-overflow -fsanitize-ignorelist=%t/src.ignorelist.contradict6 -emit-llvm %t/test1.c -o - | FileCheck %s --check-prefixes=CHECK1,IGNORE
// Verify ubsan only emits checks for files in the allowlist
@@ -38,6 +40,18 @@ src:*/test1.c=sanitize
src:*/test1.c
src:*/test1.c=sanitize
+//--- src.ignorelist.contradict5
+src:*
+src:*/te*t1.c
+src:*/tes*1.c=sanitize
+src:*/test1.c
+
+//--- src.ignorelist.contradict6
+src:*
+src:*/tes*1.c=sanitize
+src:*/te*t1.c
+src:*/t*st1.c=sanitize
+
//--- test1.c
// CHECK1-LABEL: define dso_local i32 @add
int add(int a, int b) {
More information about the cfe-commits
mailing list