blob: 7ef6f7778529bacccfd5116b2f5b5e78daa00800 (
plain) (
blame)
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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
class Base { // expected-error {{cannot define the implicit copy assignment operator for 'Base', because non-static reference member 'ref' can't use copy assignment operator}} \
// expected-warning{{class 'Base' does not declare any constructor to initialize its non-modifiable members}}
int &ref; // expected-note {{declared here}} \
// expected-note{{reference member 'ref' will never be initialized}}
};
class X : Base { // // expected-error {{cannot define the implicit copy assignment operator for 'X', because non-static const member 'cint' can't use copy assignment operator}} \
// expected-note{{assignment operator for 'Base' first required here}}
public:
X();
const int cint; // expected-note {{declared here}}
};
struct Y : X {
Y();
Y& operator=(const Y&);
Y& operator=(volatile Y&);
Y& operator=(const volatile Y&);
Y& operator=(Y&);
};
class Z : Y {};
Z z1;
Z z2;
// Test1
void f(X x, const X cx) {
x = cx; // expected-note{{assignment operator for 'X' first required here}}
x = cx;
z1 = z2;
}
// Test2
class T {};
T t1;
T t2;
void g() {
t1 = t2;
}
// Test3
class V {
public:
V();
V &operator = (V &b);
};
class W : V {};
W w1, w2;
void h() {
w1 = w2;
}
// Test4
class B1 {
public:
B1();
B1 &operator = (B1 b);
};
class D1 : B1 {};
D1 d1, d2;
void i() {
d1 = d2;
}
// Test5
class E1 { // expected-error{{cannot define the implicit copy assignment operator for 'E1', because non-static const member 'a' can't use copy assignment operator}}
public:
const int a; // expected-note{{declared here}}
E1() : a(0) {}
};
E1 e1, e2;
void j() {
e1 = e2; // expected-note{{assignment operator for 'E1' first required here}}
}
namespace ProtectedCheck {
struct X {
protected:
X &operator=(const X&); // expected-note{{declared protected here}}
};
struct Y : public X { };
void f(Y y) { y = y; }
struct Z { // expected-error{{'operator=' is a protected member of 'ProtectedCheck::X'}}
X x;
};
void f(Z z) { z = z; } // expected-note{{implicit copy assignment operator}}
}
namespace MultiplePaths {
struct X0 {
X0 &operator=(const X0&);
};
struct X1 : public virtual X0 { };
struct X2 : X0, X1 { };
void f(X2 x2) { x2 = x2; }
}
|
