| 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 | |
|---|