blob: fa09ab48a15bc8f874498e2f9a1246b20bf67b09 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
// In a .* expression whose object expression is an rvalue, the program is
// ill-formed if the second operand is a pointer to member function with
// ref-qualifier &. In a .* expression whose object expression is an
// lvalue, the program is ill-formed if the second operand is a pointer to
// member function with ref-qualifier &&.
// { dg-require-effective-target c++11 }
struct A {
void f() &;
void g() &&;
void h();
};
void one()
{
A a;
void (A::*p)() & = &A::f;
(a.*p)();
(A().*p)(); // { dg-error "" }
p = &A::g; // { dg-error "" }
p = &A::h; // { dg-error "" }
void (A::*p2)() && = &A::g;
(A().*p2)();
(a.*p2)(); // { dg-error "" }
p2 = &A::f; // { dg-error "" }
p2 = &A::h; // { dg-error "" }
void (A::*p3)() = &A::h;
(a.*p3)();
(A().*p3)();
p3 = &A::f; // { dg-error "" }
p3 = &A::g; // { dg-error "" }
}
template <class T>
struct B {
void f() &;
void g() &&;
void h();
};
template <class T>
void two()
{
B<T> a;
void (B<T>::*p)() & = &B<T>::f;
(a.*p)();
(B<T>().*p)(); // { dg-error "" }
p = &B<T>::g; // { dg-error "" }
p = &B<T>::h; // { dg-error "" }
void (B<T>::*p2)() && = &B<T>::g;
(B<T>().*p2)();
(a.*p2)(); // { dg-error "" }
p2 = &B<T>::f; // { dg-error "" }
p2 = &B<T>::h; // { dg-error "" }
void (B<T>::*p3)() = &B<T>::h;
(a.*p3)();
(B<T>().*p3)();
p3 = &B<T>::f; // { dg-error "" }
p3 = &B<T>::g; // { dg-error "" }
}
int main()
{
one();
two<int>();
}
|
