1// RUN: %clang_cc1 -fsyntax-only -verify %s
2namespace T1 {
3
4class A { };
5class B : private A { }; // expected-note {{declared private here}}
6
7void f(B* b) {
8  A *a = b; // expected-error{{cannot cast 'T1::B' to its private base class 'T1::A'}}
9}
10
11}
12
13namespace T2 {
14
15class A { };
16class B : A { }; // expected-note {{implicitly declared private here}}
17
18void f(B* b) {
19  A *a = b; // expected-error {{cannot cast 'T2::B' to its private base class 'T2::A'}}
20}
21
22}
23
24namespace T3 {
25
26class A { };
27class B : public A { };
28
29void f(B* b) {
30  A *a = b;
31}
32
33}
34
35namespace T4 {
36
37class A {};
38
39class B : private virtual A {};
40class C : public virtual A {};
41
42class D : public B, public C {};
43
44void f(D *d) {
45  // This takes the D->C->B->A path.
46  A *a = d;
47}
48
49}
50
51namespace T5 {
52  class A {};
53
54  class B : private A {
55    void f(B *b) {
56      A *a = b;
57    }
58  };
59}
60
61namespace T6 {
62  class C;
63
64  class A {}; // expected-note{{member is declared here}}
65
66  class B : private A { // expected-note {{declared private here}} expected-note {{constrained by private inheritance here}}
67    void f(C* c);
68  };
69
70  class C : public B {
71    void f(C *c) {
72      A* a = c; // expected-error {{cannot cast 'T6::C' to its private base class 'T6::A'}} \
73                // expected-error {{'A' is a private member of 'T6::A'}}
74    }
75  };
76
77  void B::f(C *c) {
78    A *a = c;
79  }
80}
81
82namespace T7 {
83  class A {};
84  class B : public A {};
85  class C : private B {
86    void f(C *c) {
87      A* a = c; // okay
88    }
89  };
90}
91
92