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