adc402bf3d
A significant number of our tests in C accidentally use functions without prototypes. This patch converts the function signatures to have a prototype for the situations where the test is not specific to K&R C declarations. e.g., void func(); becomes void func(void); This is the eleventh batch of tests being updated (there are a significant number of other tests left to be updated).
27 lines
1.4 KiB
C
27 lines
1.4 KiB
C
// Verify that ignorelist sections correctly select sanitizers to apply ignorelist entries to.
|
|
//
|
|
// 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=UNSANITIZED
|
|
// 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=UNSANITIZED
|
|
// 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=UNSANITIZED
|
|
// 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=UNSANITIZED
|
|
//
|
|
// 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=SANITIZED
|
|
|
|
unsigned i;
|
|
|
|
// SANITIZED: @overflow
|
|
// UNSANITIZED: @overflow
|
|
unsigned overflow(void) {
|
|
// SANITIZED: call {{.*}}void @__ubsan
|
|
// UNSANITIZED-NOT: call {{.*}}void @__ubsan
|
|
return i * 37;
|
|
}
|
|
|
|
// SANITIZED: @cfi
|
|
// UNSANITIZED: @cfi
|
|
void cfi(void (*fp)(void)) {
|
|
// SANITIZED: llvm.type.test
|
|
// UNSANITIZED-NOT: llvm.type.test
|
|
fp();
|
|
}
|