35 lines · cpp
1// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s2 3struct X { };4 5template<typename T> T& lvalue();6template<typename T> T&& xvalue();7template<typename T> T prvalue();8 9// In a .* expression whose object expression is an rvalue, the10// program is ill-formed if the second operand is a pointer to member11// function with ref-qualifier &. In a ->* expression or in a .*12// expression whose object expression is an lvalue, the program is13// ill-formed if the second operand is a pointer to member function14// with ref-qualifier &&.15void 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