mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 11:35:51 -04:00
2eccdab308
Summary: This is the follow-up patch to D37924. This change refactors clang to use the the newly added section headers in SpecialCaseList to specify which sanitizers blacklists entries should apply to, like so: [cfi-vcall] fun:*bad_vcall* [cfi-derived-cast|cfi-unrelated-cast] fun:*bad_cast* The SanitizerSpecialCaseList class has been added to allow querying by SanitizerMask, and SanitizerBlacklist and its downstream users have been updated to provide that information. Old blacklists not using sections will continue to function identically since the blacklist entries will be placed into a '[*]' section by default matching against all sanitizers. Reviewers: pcc, kcc, eugenis, vsk Reviewed By: eugenis Subscribers: dberris, cfe-commits, mgorny Differential Revision: https://reviews.llvm.org/D37925 llvm-svn: 314171
42 lines
1.5 KiB
C++
42 lines
1.5 KiB
C++
// RUN: %clang_cc1 -triple %itanium_abi_triple -fvisibility hidden -fms-extensions -fsanitize=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOBL %s
|
|
|
|
// Check that blacklisting cfi and cfi-vcall work correctly
|
|
// RUN: echo "[cfi-vcall]" > %t.vcall.txt
|
|
// RUN: echo "type:std::*" >> %t.vcall.txt
|
|
// RUN: %clang_cc1 -triple %itanium_abi_triple -fvisibility hidden -fms-extensions -fsanitize=cfi-vcall -fsanitize-blacklist=%t.vcall.txt -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOSTD %s
|
|
//
|
|
// RUN: echo "[cfi]" > %t.cfi.txt
|
|
// RUN: echo "type:std::*" >> %t.cfi.txt
|
|
// RUN: %clang_cc1 -triple %itanium_abi_triple -fvisibility hidden -fms-extensions -fsanitize=cfi-vcall -fsanitize-blacklist=%t.cfi.txt -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOSTD %s
|
|
|
|
// Check that blacklisting non-vcall modes does not affect vcalls
|
|
// RUN: echo "[cfi-icall|cfi-nvcall|cfi-cast-strict|cfi-derived-cast|cfi-unrelated-cast]" > %t.other.txt
|
|
// RUN: echo "type:std::*" >> %t.other.txt
|
|
// RUN: %clang_cc1 -triple %itanium_abi_triple -fvisibility hidden -fms-extensions -fsanitize=cfi-vcall -fsanitize-blacklist=%t.other.txt -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOBL %s
|
|
|
|
struct S1 {
|
|
virtual void f();
|
|
};
|
|
|
|
namespace std {
|
|
|
|
struct S2 {
|
|
virtual void f();
|
|
};
|
|
|
|
}
|
|
|
|
// CHECK: define{{.*}}s1f
|
|
// NOBL: llvm.type.test
|
|
// NOSTD: llvm.type.test
|
|
void s1f(S1 *s1) {
|
|
s1->f();
|
|
}
|
|
|
|
// CHECK: define{{.*}}s2f
|
|
// NOBL: llvm.type.test
|
|
// NOSTD-NOT: llvm.type.test
|
|
void s2f(std::S2 *s2) {
|
|
s2->f();
|
|
}
|