1 // RUN: %clang_cc1 -triple x86_64-linux -std=c++98 %s -pedantic-errors -emit-llvm -o - | FileCheck %s --implicit-check-not " call "
2 // RUN: %clang_cc1 -triple x86_64-linux -std=c++11 %s -pedantic-errors -emit-llvm -o - | FileCheck %s --implicit-check-not " call "
3 // RUN: %clang_cc1 -triple x86_64-linux -std=c++14 %s -pedantic-errors -emit-llvm -o - | FileCheck %s --implicit-check-not " call "
4 // RUN: %clang_cc1 -triple x86_64-linux -std=c++1z %s -pedantic-errors -emit-llvm -o - | FileCheck %s --implicit-check-not " call "
5 
6 // dr118: yes
7 
8 struct S {
9   virtual void f();
10 };
11 void (S::*pmf)();
12 
13 // CHECK-LABEL: define {{.*}} @_Z1g
14 void g(S *sp) {
15   // CHECK: call void %
16   sp->f();        // 1: polymorphic
17   // CHECK: call void @
18   sp->S::f();     // 2: non-polymorphic
19   // CHECK: call void @
20   (sp->S::f)();   // 3: non-polymorphic
21   // CHECK: call void %
22   (sp->*pmf)();   // 4: polymorphic
23   // CHECK: call void %
24   (sp->*&S::f)(); // 5: polymorphic
25 }
26 
27