| // RUN: %clang_cc1 -triple x86_64-unknown-linux -fexperimental-call-graph-section -disable-llvm-passes -emit-llvm -o - %s | FileCheck %s |
| |
| // Check that we do not generate callee_type metadata for indirect calls |
| // to functions with internal linkage (e.g., types in anonymous namespaces), |
| // as their type metadata identifiers are distinct MDNodes instead of |
| // generalized strings, which would fail the LLVM Verifier. |
| |
| namespace { |
| class a; |
| class b { |
| public: |
| virtual void c(a); |
| }; |
| class a { |
| public: |
| b &e; |
| void d() { e.c(*this); } |
| }; |
| |
| void b::c(a) {} |
| |
| void f() { |
| a *g = nullptr; |
| g->d(); |
| } |
| } // namespace |
| |
| void test() { |
| f(); |
| } |
| |
| // CHECK-LABEL: define {{.*}} void @{{.*}}1a1dEv |
| // CHECK: %[[VFN:.*]] = getelementptr inbounds ptr, ptr %{{.*}}, i{{[0-9]+}} 0 |
| // CHECK: %[[FP:.*]] = load ptr, ptr %[[VFN]], align {{[0-9]+}} |
| // CHECK: call void %[[FP]]({{.*}}) |
| // CHECK-NOT: !callee_type |
| // CHECK: ret void |
