Skip to content

Commit bdc1296

Browse files
authored
[NFC] Ubsan a few corner cases for =sanitize (#140855)
1 parent fd86e73 commit bdc1296

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

clang/test/CodeGen/ubsan-src-ignorelist-category.test

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@
88
// 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
99
// 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
1010
// 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
11+
// 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
12+
// 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
1113

1214

1315
// Verify ubsan only emits checks for files in the allowlist
@@ -38,6 +40,18 @@ src:*/test1.c=sanitize
3840
src:*/test1.c
3941
src:*/test1.c=sanitize
4042

43+
//--- src.ignorelist.contradict5
44+
src:*
45+
src:*/te*t1.c
46+
src:*/tes*1.c=sanitize
47+
src:*/test1.c
48+
49+
//--- src.ignorelist.contradict6
50+
src:*
51+
src:*/tes*1.c=sanitize
52+
src:*/te*t1.c
53+
src:*/t*st1.c=sanitize
54+
4155
//--- test1.c
4256
// CHECK1-LABEL: define dso_local i32 @add
4357
int add(int a, int b) {

0 commit comments

Comments
 (0)