| 1 | // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | struct X { }; |
|---|
| 4 | |
|---|
| 5 | template<typename T> T& lvalue(); |
|---|
| 6 | template<typename T> T&& xvalue(); |
|---|
| 7 | template<typename T> T prvalue(); |
|---|
| 8 | |
|---|
| 9 | // In a .* expression whose object expression is an rvalue, the |
|---|
| 10 | // program is ill-formed if the second operand is a pointer to member |
|---|
| 11 | // function with ref-qualifier &. In a ->* expression or in a .* |
|---|
| 12 | // expression whose object expression is an lvalue, the program is |
|---|
| 13 | // ill-formed if the second operand is a pointer to member function |
|---|
| 14 | // with ref-qualifier &&. |
|---|
| 15 | void test(X *xp, int (X::*pmf)(int), int (X::*l_pmf)(int) &, |
|---|
| 16 | int (X::*r_pmf)(int) &&) { |
|---|
| 17 | // No ref-qualifier. |
|---|
| 18 | (lvalue<X>().*pmf)(17); |
|---|
| 19 | (xvalue<X>().*pmf)(17); |
|---|
| 20 | (prvalue<X>().*pmf)(17); |
|---|
| 21 | (xp->*pmf)(17); |
|---|
| 22 | |
|---|
| 23 | // Lvalue ref-qualifier. |
|---|
| 24 | (lvalue<X>().*l_pmf)(17); |
|---|
| 25 | (xvalue<X>().*l_pmf)(17); // expected-error-re{{pointer-to-member function type 'int (X::*)(int){{( __attribute__\(\(thiscall\)\))?}} &' can only be called on an lvalue}} |
|---|
| 26 | (prvalue<X>().*l_pmf)(17); // expected-error-re{{pointer-to-member function type 'int (X::*)(int){{( __attribute__\(\(thiscall\)\))?}} &' can only be called on an lvalue}} |
|---|
| 27 | (xp->*l_pmf)(17); |
|---|
| 28 | |
|---|
| 29 | // Rvalue ref-qualifier. |
|---|
| 30 | (lvalue<X>().*r_pmf)(17); // expected-error-re{{pointer-to-member function type 'int (X::*)(int){{( __attribute__\(\(thiscall\)\))?}} &&' can only be called on an rvalue}} |
|---|
| 31 | (xvalue<X>().*r_pmf)(17); |
|---|
| 32 | (prvalue<X>().*r_pmf)(17); |
|---|
| 33 | (xp->*r_pmf)(17); // expected-error-re{{pointer-to-member function type 'int (X::*)(int){{( __attribute__\(\(thiscall\)\))?}} &&' can only be called on an rvalue}} |
|---|
| 34 | } |
|---|
| 35 | |
|---|