1 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s |
2 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
3 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++14 %s |
4 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
5 | |
6 | // C++'0x [class.friend] p1: |
7 | // A friend of a class is a function or class that is given permission to use |
8 | // the private and protected member names from the class. A class specifies |
9 | // its friends, if any, by way of friend declarations. Such declarations give |
10 | // special access rights to the friends, but they do not make the nominated |
11 | // friends members of the befriending class. |
12 | |
13 | struct S { static void f(); }; // expected-note 2 {{'S' declared here}} |
14 | S* g() { return 0; } // expected-note 2 {{'g' declared here}} |
15 | |
16 | struct X { |
17 | friend struct S; |
18 | friend S* g(); |
19 | }; |
20 | |
21 | void test1() { |
22 | S s; |
23 | g()->f(); |
24 | S::f(); |
25 | X::g(); // expected-error{{no member named 'g' in 'X'; did you mean simply 'g'?}} |
26 | X::S x_s; // expected-error{{no type named 'S' in 'X'; did you mean simply 'S'?}} |
27 | X x; |
28 | x.g(); // expected-error{{no member named 'g' in 'X'}} |
29 | } |
30 | |
31 | // Test that we recurse through namespaces to find already declared names, but |
32 | // new names are declared within the enclosing namespace. |
33 | namespace N { |
34 | struct X { |
35 | friend struct S; |
36 | friend S* g(); |
37 | |
38 | friend struct S2; |
39 | friend struct S2* g2(); |
40 | }; |
41 | |
42 | struct S2 { static void f2(); }; // expected-note 2 {{'S2' declared here}} |
43 | S2* g2() { return 0; } // expected-note 2 {{'g2' declared here}} |
44 | |
45 | void test() { |
46 | g()->f(); |
47 | S s; |
48 | S::f(); |
49 | X::g(); // expected-error{{no member named 'g' in 'N::X'; did you mean simply 'g'?}} |
50 | X::S x_s; // expected-error{{no type named 'S' in 'N::X'; did you mean simply 'S'?}} |
51 | X x; |
52 | x.g(); // expected-error{{no member named 'g' in 'N::X'}} |
53 | |
54 | g2(); |
55 | S2 s2; |
56 | ::g2(); // expected-error{{no member named 'g2' in the global namespace; did you mean simply 'g2'?}} |
57 | ::S2 g_s2; // expected-error{{no type named 'S2' in the global namespace; did you mean simply 'S2'?}} |
58 | X::g2(); // expected-error{{no member named 'g2' in 'N::X'; did you mean simply 'g2'?}} |
59 | X::S2 x_s2; // expected-error{{no type named 'S2' in 'N::X'; did you mean simply 'S2'?}} |
60 | x.g2(); // expected-error{{no member named 'g2' in 'N::X'}} |
61 | } |
62 | } |
63 | |
64 | namespace test0 { |
65 | class ClassFriend { |
66 | void test(); |
67 | }; |
68 | |
69 | class MemberFriend { |
70 | public: |
71 | void test(); |
72 | }; |
73 | |
74 | void declared_test(); |
75 | |
76 | class Class { |
77 | static void member(); // expected-note 2 {{declared private here}} |
78 | |
79 | friend class ClassFriend; |
80 | friend class UndeclaredClassFriend; |
81 | |
82 | friend void undeclared_test(); |
83 | friend void declared_test(); |
84 | friend void MemberFriend::test(); |
85 | }; |
86 | |
87 | void declared_test() { |
88 | Class::member(); |
89 | } |
90 | |
91 | void undeclared_test() { |
92 | Class::member(); |
93 | } |
94 | |
95 | void unfriended_test() { |
96 | Class::member(); // expected-error {{'member' is a private member of 'test0::Class'}} |
97 | } |
98 | |
99 | void ClassFriend::test() { |
100 | Class::member(); |
101 | } |
102 | |
103 | void MemberFriend::test() { |
104 | Class::member(); |
105 | } |
106 | |
107 | class UndeclaredClassFriend { |
108 | void test() { |
109 | Class::member(); |
110 | } |
111 | }; |
112 | |
113 | class ClassNonFriend { |
114 | void test() { |
115 | Class::member(); // expected-error {{'member' is a private member of 'test0::Class'}} |
116 | } |
117 | }; |
118 | } |
119 | |
120 | // Make sure that friends have access to inherited protected members. |
121 | namespace test2 { |
122 | struct X; |
123 | |
124 | class ilist_half_node { |
125 | friend struct ilist_walker_bad; |
126 | X *Prev; |
127 | protected: |
128 | X *getPrev() { return Prev; } // expected-note{{member is declared here}} |
129 | }; |
130 | |
131 | class ilist_node : private ilist_half_node { // expected-note {{declared private here}} expected-note {{constrained by private inheritance here}} |
132 | friend struct ilist_walker; |
133 | X *Next; |
134 | X *getNext() { return Next; } // expected-note {{declared private here}} |
135 | }; |
136 | |
137 | struct X : ilist_node {}; |
138 | |
139 | struct ilist_walker { |
140 | static X *getPrev(X *N) { return N->getPrev(); } |
141 | static X *getNext(X *N) { return N->getNext(); } |
142 | }; |
143 | |
144 | struct ilist_walker_bad { |
145 | static X *getPrev(X *N) { return N->getPrev(); } // \ |
146 | // expected-error {{'getPrev' is a private member of 'test2::ilist_half_node'}} \ |
147 | // expected-error {{cannot cast 'test2::X' to its private base class 'test2::ilist_half_node'}} |
148 | |
149 | static X *getNext(X *N) { return N->getNext(); } // \ |
150 | // expected-error {{'getNext' is a private member of 'test2::ilist_node'}} |
151 | }; |
152 | } |
153 | |
154 | namespace test3 { |
155 | class A { protected: int x; }; // expected-note {{declared protected here}} |
156 | |
157 | class B : public A { |
158 | friend int foo(B*); |
159 | }; |
160 | |
161 | int foo(B *p) { |
162 | return p->x; |
163 | } |
164 | |
165 | int foo(const B *p) { |
166 | return p->x; // expected-error {{'x' is a protected member of 'test3::A'}} |
167 | } |
168 | } |
169 | |
170 | namespace test3a { |
171 | class A { protected: int x; }; |
172 | |
173 | class B : public A { |
174 | friend int foo(B*); |
175 | }; |
176 | |
177 | int foo(B * const p) { |
178 | return p->x; |
179 | } |
180 | } |
181 | |
182 | namespace test4 { |
183 | template <class T> class Holder { |
184 | T object; |
185 | friend bool operator==(Holder &a, Holder &b) { |
186 | return a.object == b.object; // expected-error {{invalid operands to binary expression}} |
187 | } |
188 | }; |
189 | |
190 | struct Inequal {}; |
191 | bool test() { |
192 | Holder<Inequal> a, b; |
193 | return a == b; // expected-note {{requested here}} |
194 | } |
195 | } |
196 | |
197 | |
198 | // PR6174 |
199 | namespace test5 { |
200 | namespace ns { |
201 | class A; |
202 | } |
203 | |
204 | class ns::A { |
205 | private: int x; |
206 | friend class B; |
207 | }; |
208 | |
209 | namespace ns { |
210 | class B { |
211 | int test(A *p) { return p->x; } |
212 | }; |
213 | } |
214 | } |
215 | |
216 | // PR6207 |
217 | namespace test6 { |
218 | struct A {}; |
219 | |
220 | struct B { |
221 | friend |
222 | #if __cplusplus >= 201103L |
223 | constexpr |
224 | #endif |
225 | A::A(); |
226 | friend A::~A(); |
227 | friend |
228 | #if __cplusplus >= 201402L |
229 | constexpr |
230 | #endif |
231 | A &A::operator=(const A&); |
232 | }; |
233 | } |
234 | |
235 | namespace test7 { |
236 | template <class T> struct X { |
237 | X(); |
238 | ~X(); |
239 | void foo(); |
240 | void bar(); |
241 | }; |
242 | |
243 | class A { |
244 | friend void X<int>::foo(); |
245 | friend X<int>::X(); |
246 | friend |
247 | #if __cplusplus >= 201103L |
248 | constexpr |
249 | #endif |
250 | X<int>::X(const X&); |
251 | |
252 | private: |
253 | A(); // expected-note 2 {{declared private here}} |
254 | }; |
255 | |
256 | template<> void X<int>::foo() { |
257 | A a; |
258 | } |
259 | |
260 | template<> void X<int>::bar() { |
261 | A a; // expected-error {{calling a private constructor}} |
262 | } |
263 | |
264 | template<> X<int>::X() { |
265 | A a; |
266 | } |
267 | |
268 | template<> X<int>::~X() { |
269 | A a; // expected-error {{calling a private constructor}} |
270 | } |
271 | } |
272 | |
273 | // Return types, parameters and default arguments to friend functions. |
274 | namespace test8 { |
275 | class A { |
276 | typedef int I; // expected-note 4 {{declared private here}} |
277 | static const I x = 0; // expected-note {{implicitly declared private here}} |
278 | friend I f(I i); |
279 | template<typename T> friend I g(I i); |
280 | }; |
281 | |
282 | const A::I A::x; |
283 | A::I f(A::I i = A::x) {} |
284 | template<typename T> A::I g(A::I i) { |
285 | T t; |
286 | } |
287 | template A::I g<A::I>(A::I i); |
288 | |
289 | A::I f2(A::I i = A::x) {} // expected-error 3 {{is a private member of}} |
290 | template<typename T> A::I g2(A::I i) { // expected-error 2 {{is a private member of}} |
291 | T t; |
292 | } |
293 | template A::I g2<A::I>(A::I i); |
294 | } |
295 | |
296 | // PR6885 |
297 | namespace test9 { |
298 | class B { |
299 | friend class test9; |
300 | }; |
301 | } |
302 | |
303 | // PR7230 |
304 | namespace test10 { |
305 | extern "C" void test10_f(void); |
306 | extern "C" void test10_g(void); |
307 | |
308 | namespace NS { |
309 | class C { |
310 | void foo(void); // expected-note {{declared private here}} |
311 | friend void test10::test10_f(void); |
312 | }; |
313 | static C* bar; |
314 | } |
315 | |
316 | void test10_f(void) { |
317 | NS::bar->foo(); |
318 | } |
319 | |
320 | void test10_g(void) { |
321 | NS::bar->foo(); // expected-error {{private member}} |
322 | } |
323 | } |
324 | |
325 | // PR8705 |
326 | namespace test11 { |
327 | class A { |
328 | public: |
329 | void test0(int); |
330 | void test1(int); |
331 | void test2(int); |
332 | void test3(int); |
333 | }; |
334 | |
335 | class B { |
336 | typedef int private_type; // expected-note 2 {{implicitly declared private here}} |
337 | friend void A::test0(int); |
338 | friend void A::test1(int); |
339 | }; |
340 | |
341 | void A::test0(B::private_type x) {} |
342 | void A::test1(int x = B::private_type()) {} |
343 | void A::test2(B::private_type x) {} // expected-error {{'private_type' is a private member of 'test11::B'}} |
344 | void A::test3(int x = B::private_type()) {} // expected-error {{'private_type' is a private member of 'test11::B'}} |
345 | } |
346 | |
347 | |
348 | // PR9221 |
349 | namespace test12 { |
350 | struct A { |
351 | void foo(); |
352 | }; |
353 | class B : private A { |
354 | friend void A::foo(); |
355 | void *mem; |
356 | }; |
357 | void A::foo() { |
358 | void *var = static_cast<B*>(this)->mem; |
359 | } |
360 | } |
361 | |
362 | namespace PR9103 { |
363 | struct base { |
364 | protected: |
365 | static void foo(void) {} |
366 | }; |
367 | |
368 | struct cls: base { |
369 | friend void bar(void) { |
370 | base::foo(); |
371 | } |
372 | }; |
373 | } |
374 | |
375 | // PR13642. When computing the effective context, we were walking up |
376 | // the DC chain for the canonical decl, which is unfortunate if that's |
377 | // (e.g.) a friend declaration. |
378 | namespace test14 { |
379 | class A { |
380 | class B { // expected-note {{implicitly declared private here}} |
381 | static int i; |
382 | friend void c(); |
383 | }; |
384 | }; |
385 | |
386 | void c() { |
387 | A::B::i = 5; // expected-error {{'B' is a private member of 'test14::A'}} |
388 | } |
389 | } |
390 | |