13 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-linux -fsanitize=cfi-mfcall -fsanitize-trap=cfi-mfcall -fvisibility=hidden -emit-llvm -o - %s | FileCheck %s2 3struct S;4 5void f(S *s, void (S::*p)()) {6 // CHECK-NOT: llvm.type.test7 // CHECK: llvm.type.test{{.*}}!"_ZTSM1SFvvE.virtual"8 // CHECK-NOT: llvm.type.test9 (s->*p)();10}11 12// CHECK: declare i1 @llvm.type.test13