135 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-linux -fvisibility=hidden -std=c++11 -fsanitize=cfi-derived-cast -fsanitize-trap=cfi-derived-cast -emit-llvm -o - %s | FileCheck -check-prefix=CHECK-DCAST %s2// RUN: %clang_cc1 -triple x86_64-unknown-linux -fvisibility=hidden -std=c++11 -fsanitize=cfi-unrelated-cast -fsanitize-trap=cfi-unrelated-cast -emit-llvm -o - %s | FileCheck -check-prefix=CHECK-UCAST %s3// RUN: %clang_cc1 -triple x86_64-unknown-linux -fvisibility=hidden -std=c++11 -fsanitize=cfi-unrelated-cast,cfi-cast-strict -fsanitize-trap=cfi-unrelated-cast,cfi-cast-strict -emit-llvm -o - %s | FileCheck -check-prefix=CHECK-UCAST-STRICT %s4 5// In this test the main thing we are searching for is something like6// 'metadata !"1B"' where "1B" is the mangled name of the class we are7// casting to (or maybe its base class in non-strict mode).8 9struct A {10 virtual void f();11 int i() const;12};13 14struct B : A {15 virtual void f();16};17 18struct C : A {};19 20// CHECK-DCAST-LABEL: define hidden void @_Z3abpP1A21void abp(A *a) {22 // CHECK-DCAST: [[P:%[^ ]*]] = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1B")23 // CHECK-DCAST-NEXT: br i1 [[P]], label %[[CONTBB:[^ ]*]], label %[[TRAPBB:[^ ,]*]]24 25 // CHECK-DCAST: [[TRAPBB]]26 // CHECK-DCAST-NEXT: call void @llvm.ubsantrap(i8 2)27 // CHECK-DCAST-NEXT: unreachable28 29 // CHECK-DCAST: [[CONTBB]]30 // CHECK-DCAST: ret31 (void)static_cast<B*>(a);32}33 34// CHECK-DCAST-LABEL: define hidden void @_Z3abrR1A35void abr(A &a) {36 // CHECK-DCAST: [[P:%[^ ]*]] = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1B")37 // CHECK-DCAST-NEXT: br i1 [[P]], label %[[CONTBB:[^ ]*]], label %[[TRAPBB:[^ ,]*]]38 39 // CHECK-DCAST: [[TRAPBB]]40 // CHECK-DCAST-NEXT: call void @llvm.ubsantrap(i8 2)41 // CHECK-DCAST-NEXT: unreachable42 43 // CHECK-DCAST: [[CONTBB]]44 // CHECK-DCAST: ret45 (void)static_cast<B&>(a);46}47 48// CHECK-DCAST-LABEL: define hidden void @_Z4abrrO1A49void abrr(A &&a) {50 // CHECK-DCAST: [[P:%[^ ]*]] = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1B")51 // CHECK-DCAST-NEXT: br i1 [[P]], label %[[CONTBB:[^ ]*]], label %[[TRAPBB:[^ ,]*]]52 53 // CHECK-DCAST: [[TRAPBB]]54 // CHECK-DCAST-NEXT: call void @llvm.ubsantrap(i8 2)55 // CHECK-DCAST-NEXT: unreachable56 57 // CHECK-DCAST: [[CONTBB]]58 // CHECK-DCAST: ret59 (void)static_cast<B&&>(a);60}61 62// CHECK-UCAST-LABEL: define hidden void @_Z3vbpPv63void vbp(void *p) {64 // CHECK-UCAST: [[P:%[^ ]*]] = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1B")65 // CHECK-UCAST-NEXT: br i1 [[P]], label %[[CONTBB:[^ ]*]], label %[[TRAPBB:[^ ,]*]]66 67 // CHECK-UCAST: [[TRAPBB]]68 // CHECK-UCAST-NEXT: call void @llvm.ubsantrap(i8 2)69 // CHECK-UCAST-NEXT: unreachable70 71 // CHECK-UCAST: [[CONTBB]]72 // CHECK-UCAST: ret73 (void)static_cast<B*>(p);74}75 76// CHECK-UCAST-LABEL: define hidden void @_Z3vbrRc77void vbr(char &r) {78 // CHECK-UCAST: [[P:%[^ ]*]] = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1B")79 // CHECK-UCAST-NEXT: br i1 [[P]], label %[[CONTBB:[^ ]*]], label %[[TRAPBB:[^ ,]*]]80 81 // CHECK-UCAST: [[TRAPBB]]82 // CHECK-UCAST-NEXT: call void @llvm.ubsantrap(i8 2)83 // CHECK-UCAST-NEXT: unreachable84 85 // CHECK-UCAST: [[CONTBB]]86 // CHECK-UCAST: ret87 (void)reinterpret_cast<B&>(r);88}89 90// CHECK-UCAST-LABEL: define hidden void @_Z4vbrrOc91void vbrr(char &&r) {92 // CHECK-UCAST: [[P:%[^ ]*]] = call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1B")93 // CHECK-UCAST-NEXT: br i1 [[P]], label %[[CONTBB:[^ ]*]], label %[[TRAPBB:[^ ,]*]]94 95 // CHECK-UCAST: [[TRAPBB]]96 // CHECK-UCAST-NEXT: call void @llvm.ubsantrap(i8 2)97 // CHECK-UCAST-NEXT: unreachable98 99 // CHECK-UCAST: [[CONTBB]]100 // CHECK-UCAST: ret101 (void)reinterpret_cast<B&&>(r);102}103 104// CHECK-UCAST-LABEL: define hidden void @_Z3vcpPv105// CHECK-UCAST-STRICT-LABEL: define hidden void @_Z3vcpPv106void vcp(void *p) {107 // CHECK-UCAST: call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1A")108 // CHECK-UCAST-STRICT: call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1C")109 (void)static_cast<C*>(p);110}111 112// CHECK-UCAST-LABEL: define hidden void @_Z3bcpP1B113// CHECK-UCAST-STRICT-LABEL: define hidden void @_Z3bcpP1B114void bcp(B *p) {115 // CHECK-UCAST: call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1A")116 // CHECK-UCAST-STRICT: call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1C")117 (void)(C *)p;118}119 120// CHECK-UCAST-LABEL: define hidden void @_Z8bcp_callP1B121// CHECK-UCAST-STRICT-LABEL: define hidden void @_Z8bcp_callP1B122void bcp_call(B *p) {123 // CHECK-UCAST: call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1A")124 // CHECK-UCAST-STRICT: call i1 @llvm.type.test(ptr {{%[^ ]*}}, metadata !"_ZTS1C")125 ((C *)p)->f();126}127 128// CHECK-UCAST-LABEL: define hidden noundef i32 @_Z6a_callP1A129// CHECK-UCAST-STRICT-LABEL: define hidden noundef i32 @_Z6a_callP1A130int a_call(A *a) {131 // CHECK-UCAST-NOT: @llvm.type.test132 // CHECK-UCAST-STRICT-NOT: @llvm.type.test133 return a->i();134}135