p6-0x.cpp revision 6b4df91dc4ed4a3fc78587c49a3ed3df96b65d9c 
1// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s
2
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, 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 &&.
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{{pointer-to-member function type 'int (X::*)(int) &' can only be called on an lvalue}}
26  (prvalue<X>().*l_pmf)(17); // expected-error{{pointer-to-member function type 'int (X::*)(int) &' 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{{pointer-to-member function type 'int (X::*)(int) &&' 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{{pointer-to-member function type 'int (X::*)(int) &&' can only be called on an rvalue}}
34}
35