1 // RUN: %clang_cc1 -std=c++11 -triple %itanium_abi_triple -emit-llvm -fsanitize=null,vptr %s -o - | FileCheck %s
2
3 struct Base1 {
f1Base14 virtual void f1() {}
5 };
6
7 struct Base2 {
f1Base28 virtual void f1() {}
9 };
10
11 struct Derived1 final : Base1 {
f1Derived112 void f1() override {}
13 };
14
15 struct Derived2 final : Base1, Base2 {
f1Derived216 void f1() override {}
17 };
18
19 struct Derived3 : Base1 {
f1Derived320 void f1() override /* nofinal */ {}
21 };
22
23 struct Derived4 final : Base1 {
f1Derived424 void f1() override final {}
25 };
26
27 // CHECK: [[UBSAN_TI_DERIVED1_1:@[0-9]+]] = private unnamed_addr global {{.*}} i8* bitcast {{.*}} @_ZTI8Derived1 to i8*
28 // CHECK: [[UBSAN_TI_DERIVED2_1:@[0-9]+]] = private unnamed_addr global {{.*}} i8* bitcast {{.*}} @_ZTI8Derived2 to i8*
29 // CHECK: [[UBSAN_TI_DERIVED2_2:@[0-9]+]] = private unnamed_addr global {{.*}} i8* bitcast {{.*}} @_ZTI8Derived2 to i8*
30 // CHECK: [[UBSAN_TI_DERIVED3:@[0-9]+]] = private unnamed_addr global {{.*}} i8* bitcast {{.*}} @_ZTI8Derived3 to i8*
31 // CHECK: [[UBSAN_TI_BASE1:@[0-9]+]] = private unnamed_addr global {{.*}} i8* bitcast {{.*}} @_ZTI5Base1 to i8*
32 // CHECK: [[UBSAN_TI_DERIVED4_1:@[0-9]+]] = private unnamed_addr global {{.*}} i8* bitcast {{.*}} @_ZTI8Derived4 to i8*
33 // CHECK: [[UBSAN_TI_DERIVED4_2:@[0-9]+]] = private unnamed_addr global {{.*}} i8* bitcast {{.*}} @_ZTI8Derived4 to i8*
34
35 // CHECK-LABEL: define {{(dso_local )?}}void @_Z2t1v
t1()36 void t1() {
37 Derived1 d1;
38 static_cast<Base1 *>(&d1)->f1(); //< Devirt Base1::f1 to Derived1::f1.
39 // CHECK: %[[D1:[0-9]+]] = ptrtoint %struct.Derived1* %d1 to i{{[0-9]+}}, !nosanitize
40 // CHECK-NEXT: call void @__ubsan_handle_dynamic_type_cache{{[_a-z]*}}({{.*}} [[UBSAN_TI_DERIVED1_1]] {{.*}}, i{{[0-9]+}} %[[D1]]
41 }
42
43 // CHECK-LABEL: define {{(dso_local )?}}void @_Z2t2v
t2()44 void t2() {
45 Derived2 d2;
46 static_cast<Base1 *>(&d2)->f1(); //< Devirt Base1::f1 to Derived2::f1.
47 // CHECK: %[[D2_1:[0-9]+]] = ptrtoint %struct.Derived2* %d2 to i{{[0-9]+}}, !nosanitize
48 // CHECK-NEXT: call void @__ubsan_handle_dynamic_type_cache{{[_a-z]*}}({{.*}} [[UBSAN_TI_DERIVED2_1]] {{.*}}, i{{[0-9]+}} %[[D2_1]]
49 }
50
51 // CHECK-LABEL: define {{(dso_local )?}}void @_Z2t3v
t3()52 void t3() {
53 Derived2 d2;
54 static_cast<Base2 *>(&d2)->f1(); //< Devirt Base2::f1 to Derived2::f1.
55 // CHECK: %[[D2_2:[0-9]+]] = ptrtoint %struct.Derived2* %d2 to i{{[0-9]+}}, !nosanitize
56 // CHECK-NEXT: call void @__ubsan_handle_dynamic_type_cache{{[_a-z]*}}({{.*}} [[UBSAN_TI_DERIVED2_2]] {{.*}}, i{{[0-9]+}} %[[D2_2]]
57 }
58
59 // CHECK-LABEL: define {{(dso_local )?}}void @_Z2t4v
t4()60 void t4() {
61 Base1 p;
62 Derived3 *badp = static_cast<Derived3 *>(&p); //< Check that &p isa Derived3.
63 // CHECK: %[[P1:[0-9]+]] = ptrtoint %struct.Derived3* {{%[0-9]+}} to i{{[0-9]+}}, !nosanitize
64 // CHECK-NEXT: call void @__ubsan_handle_dynamic_type_cache{{[_a-z]*}}({{.*}} [[UBSAN_TI_DERIVED3]] {{.*}}, i{{[0-9]+}} %[[P1]]
65
66 static_cast<Base1 *>(badp)->f1(); //< No devirt, test 'badp isa Base1'.
67 // We were able to skip the null check on the first type check because 'p'
68 // is backed by an alloca. We can't skip the second null check because 'badp'
69 // is a (bitcast (load ...)).
70 // CHECK: call void @__ubsan_handle_type_mismatch
71 //
72 // CHECK: %[[BADP1:[0-9]+]] = ptrtoint %struct.Base1* {{%[0-9]+}} to i{{[0-9]+}}, !nosanitize
73 // CHECK-NEXT: call void @__ubsan_handle_dynamic_type_cache{{[_a-z]*}}({{.*}} [[UBSAN_TI_BASE1]] {{.*}}, i{{[0-9]+}} %[[BADP1]]
74 }
75
76 // CHECK-LABEL: define {{(dso_local )?}}void @_Z2t5v
t5()77 void t5() {
78 Base1 p;
79 Derived4 *badp = static_cast<Derived4 *>(&p); //< Check that &p isa Derived4.
80 // CHECK: %[[P1:[0-9]+]] = ptrtoint %struct.Derived4* {{%[0-9]+}} to i{{[0-9]+}}, !nosanitize
81 // CHECK-NEXT: call void @__ubsan_handle_dynamic_type_cache{{[_a-z]*}}({{.*}} [[UBSAN_TI_DERIVED4_1]] {{.*}}, i{{[0-9]+}} %[[P1]]
82
83 static_cast<Base1 *>(badp)->f1(); //< Devirt Base1::f1 to Derived4::f1.
84 // CHECK: call void @__ubsan_handle_type_mismatch
85 //
86 // CHECK: %[[BADP1:[0-9]+]] = ptrtoint %struct.Derived4* {{%[0-9]+}} to i{{[0-9]+}}, !nosanitize
87 // CHECK-NEXT: call void @__ubsan_handle_dynamic_type_cache{{[_a-z]*}}({{.*}} [[UBSAN_TI_DERIVED4_2]] {{.*}}, i{{[0-9]+}} %[[BADP1]]
88 }
89