[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