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
