27 lines · c
1// Verify that ignorelist sections correctly select sanitizers to apply ignorelist entries to.2//3// RUN: %clang_cc1 -fsanitize=unsigned-integer-overflow,cfi-icall -fsanitize-ignorelist=%S/Inputs/sanitizer-special-case-list.unsanitized1.txt -emit-llvm %s -o - | FileCheck %s --check-prefix=UNSANITIZED4// RUN: %clang_cc1 -fsanitize=unsigned-integer-overflow,cfi-icall -fsanitize-ignorelist=%S/Inputs/sanitizer-special-case-list.unsanitized2.txt -emit-llvm %s -o - | FileCheck %s --check-prefix=UNSANITIZED5// RUN: %clang_cc1 -fsanitize=unsigned-integer-overflow,cfi-icall -fsanitize-ignorelist=%S/Inputs/sanitizer-special-case-list.unsanitized3.txt -emit-llvm %s -o - | FileCheck %s --check-prefix=UNSANITIZED6// RUN: %clang_cc1 -fsanitize=unsigned-integer-overflow,cfi-icall -fsanitize-ignorelist=%S/Inputs/sanitizer-special-case-list.unsanitized4.txt -emit-llvm %s -o - | FileCheck %s --check-prefix=UNSANITIZED7//8// RUN: %clang_cc1 -fsanitize=unsigned-integer-overflow,cfi-icall -fsanitize-ignorelist=%S/Inputs/sanitizer-special-case-list.sanitized.txt -emit-llvm %s -o - | FileCheck %s --check-prefix=SANITIZED9 10unsigned i;11 12// SANITIZED: @overflow13// UNSANITIZED: @overflow14unsigned overflow(void) {15 // SANITIZED: call {{.*}}void @__ubsan16 // UNSANITIZED-NOT: call {{.*}}void @__ubsan17 return i * 37;18}19 20// SANITIZED: @cfi21// UNSANITIZED: @cfi22void cfi(void (*fp)(void)) {23 // SANITIZED: llvm.type.test24 // UNSANITIZED-NOT: llvm.type.test25 fp();26}27