1 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-unknown-linux -fsanitize=cfi-mfcall -fsanitize-trap=cfi-mfcall -fvisibility hidden -emit-llvm -o - %s | FileCheck %s 2 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-unknown-linux -fsanitize=cfi-mfcall -fsanitize-trap=cfi-mfcall -fvisibility default -emit-llvm -o - %s | FileCheck --check-prefix=DEFAULT %s 3 // With -fwhole-program-vtables we should get the member function pointer type 4 // test, even without hidden visibility. 5 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-unknown-linux -fwhole-program-vtables -emit-llvm -o - %s | FileCheck %s --check-prefix=WPV 6 7 struct B1 {}; 8 struct B2 {}; 9 struct B3 : B2 {}; 10 struct S : B1, B3 {}; 11 12 // DEFAULT-NOT: llvm.type.test 13 // DEFAULT-NOT: llvm.public.type.test 14 15 void f(S *s, void (S::*p)()) { 16 // WPV: [[OFFSET:%.*]] = sub i64 {{.*}}, 1 17 // WPV: [[VFPTR:%.*]] = getelementptr i8, i8* %{{.*}}, i64 [[OFFSET]] 18 // WPV: [[TT:%.*]] = call i1 @llvm.public.type.test(i8* [[VFPTR]], metadata !"_ZTSM1SFvvE.virtual") 19 // CHECK: [[OFFSET:%.*]] = sub i64 {{.*}}, 1 20 // CHECK: [[VFPTR:%.*]] = getelementptr i8, i8* %{{.*}}, i64 [[OFFSET]] 21 // CHECK: [[TT:%.*]] = call i1 @llvm.type.test(i8* [[VFPTR]], metadata !"_ZTSM1SFvvE.virtual") 22 // CHECK: br i1 [[TT]], label {{.*}}, label %[[TRAP1:[^,]*]] 23 24 // CHECK: [[TRAP1]]: 25 // CHECK-NEXT: llvm.ubsantrap 26 27 // CHECK: [[NVFPTR:%.*]] = bitcast void (%struct.S*)* {{.*}} to i8* 28 // CHECK: [[TT1:%.*]] = call i1 @llvm.type.test(i8* [[NVFPTR]], metadata !"_ZTSM2B1FvvE") 29 // CHECK: [[OR1:%.*]] = or i1 false, [[TT1]] 30 // CHECK: [[TT2:%.*]] = call i1 @llvm.type.test(i8* [[NVFPTR]], metadata !"_ZTSM2B2FvvE") 31 // CHECK: [[OR2:%.*]] = or i1 [[OR1]], [[TT2]] 32 // CHECK: br i1 [[OR2]], label {{.*}}, label %[[TRAP2:[^,]*]] 33 34 // CHECK: [[TRAP2]]: 35 // CHECK-NEXT: llvm.ubsantrap 36 (s->*p)(); 37 } 38