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