diff options
Diffstat (limited to 'test/CodeGenCXX/ubsan-vtable-checks.cpp')
| -rw-r--r-- | test/CodeGenCXX/ubsan-vtable-checks.cpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/test/CodeGenCXX/ubsan-vtable-checks.cpp b/test/CodeGenCXX/ubsan-vtable-checks.cpp index 090707c29d746..ec4a21a2b2b42 100644 --- a/test/CodeGenCXX/ubsan-vtable-checks.cpp +++ b/test/CodeGenCXX/ubsan-vtable-checks.cpp @@ -1,7 +1,7 @@ // RUN: %clang_cc1 -std=c++11 -triple x86_64-unknown-linux -emit-llvm -fsanitize=null %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-NULL --check-prefix=ITANIUM // RUN: %clang_cc1 -std=c++11 -triple x86_64-windows -emit-llvm -fsanitize=null %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-NULL --check-prefix=MSABI // RUN: %clang_cc1 -std=c++11 -triple x86_64-unknown-linux -emit-llvm -fsanitize=null,vptr %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-VPTR --check-prefix=ITANIUM -// RUN: %clang_cc1 -std=c++11 -triple x86_64-windows -emit-llvm -fsanitize=null,vptr %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-VPTR --check-prefix=MSABI +// RUN: %clang_cc1 -std=c++11 -triple x86_64-windows -emit-llvm -fsanitize=null,vptr %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-VPTR --check-prefix=MSABI --check-prefix=CHECK-VPTR-MS struct T { virtual ~T() {} virtual int v() { return 1; } @@ -14,8 +14,10 @@ struct U : T { U::~U() {} +// CHECK-VPTR-MS: @__ubsan_vptr_type_cache = external dso_local + // ITANIUM: define i32 @_Z5get_vP1T -// MSABI: define i32 @"\01?get_v +// MSABI: define dso_local i32 @"?get_v int get_v(T* t) { // First, we check that vtable is not loaded before a type check. // CHECK-NULL-NOT: load {{.*}} (%struct.T*{{.*}})**, {{.*}} (%struct.T*{{.*}})*** @@ -28,7 +30,7 @@ int get_v(T* t) { } // ITANIUM: define void @_Z9delete_itP1T -// MSABI: define void @"\01?delete_it +// MSABI: define dso_local void @"?delete_it void delete_it(T *t) { // First, we check that vtable is not loaded before a type check. // CHECK-VPTR-NOT: load {{.*}} (%struct.T*{{.*}})**, {{.*}} (%struct.T*{{.*}})*** @@ -40,7 +42,7 @@ void delete_it(T *t) { } // ITANIUM: define %struct.U* @_Z7dyncastP1T -// MSABI: define %struct.U* @"\01?dyncast +// MSABI: define dso_local %struct.U* @"?dyncast U* dyncast(T *t) { // First, we check that dynamic_cast is not called before a type check. // CHECK-VPTR-NOT: call i8* @__{{dynamic_cast|RTDynamicCast}} |