| John McCall | 3155f57 | 2010-04-09 19:03:51 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s | 
| Anders Carlsson | 733d77f | 2009-03-27 06:03:27 +0000 | [diff] [blame] | 2 | namespace T1 { | 
|  | 3 |  | 
|  | 4 | class A { }; | 
| John McCall | 5b0829a | 2010-02-10 09:31:12 +0000 | [diff] [blame] | 5 | class B : private A { }; // expected-note {{declared private here}} | 
| Anders Carlsson | 733d77f | 2009-03-27 06:03:27 +0000 | [diff] [blame] | 6 |  | 
|  | 7 | void f(B* b) { | 
| John McCall | 85f9055 | 2010-03-10 11:27:22 +0000 | [diff] [blame] | 8 | A *a = b; // expected-error{{cannot cast 'T1::B' to its private base class 'T1::A'}} | 
| Anders Carlsson | 733d77f | 2009-03-27 06:03:27 +0000 | [diff] [blame] | 9 | } | 
|  | 10 |  | 
|  | 11 | } | 
|  | 12 |  | 
|  | 13 | namespace T2 { | 
|  | 14 |  | 
|  | 15 | class A { }; | 
| John McCall | 5b0829a | 2010-02-10 09:31:12 +0000 | [diff] [blame] | 16 | class B : A { }; // expected-note {{implicitly declared private here}} | 
| Anders Carlsson | 733d77f | 2009-03-27 06:03:27 +0000 | [diff] [blame] | 17 |  | 
|  | 18 | void f(B* b) { | 
| John McCall | 85f9055 | 2010-03-10 11:27:22 +0000 | [diff] [blame] | 19 | A *a = b; // expected-error {{cannot cast 'T2::B' to its private base class 'T2::A'}} | 
| Anders Carlsson | 733d77f | 2009-03-27 06:03:27 +0000 | [diff] [blame] | 20 | } | 
|  | 21 |  | 
|  | 22 | } | 
|  | 23 |  | 
|  | 24 | namespace T3 { | 
|  | 25 |  | 
|  | 26 | class A { }; | 
|  | 27 | class B : public A { }; | 
|  | 28 |  | 
|  | 29 | void f(B* b) { | 
|  | 30 | A *a = b; | 
|  | 31 | } | 
|  | 32 |  | 
|  | 33 | } | 
|  | 34 |  | 
|  | 35 | namespace T4 { | 
|  | 36 |  | 
|  | 37 | class A {}; | 
|  | 38 |  | 
|  | 39 | class B : private virtual A {}; | 
|  | 40 | class C : public virtual A {}; | 
|  | 41 |  | 
|  | 42 | class D : public B, public C {}; | 
|  | 43 |  | 
|  | 44 | void f(D *d) { | 
|  | 45 | // This takes the D->C->B->A path. | 
|  | 46 | A *a = d; | 
|  | 47 | } | 
|  | 48 |  | 
|  | 49 | } | 
| Anders Carlsson | af06b97 | 2009-03-27 19:01:12 +0000 | [diff] [blame] | 50 |  | 
|  | 51 | namespace T5 { | 
|  | 52 | class A {}; | 
|  | 53 |  | 
|  | 54 | class B : private A { | 
|  | 55 | void f(B *b) { | 
|  | 56 | A *a = b; | 
|  | 57 | } | 
|  | 58 | }; | 
|  | 59 | } | 
|  | 60 |  | 
|  | 61 | namespace T6 { | 
|  | 62 | class C; | 
|  | 63 |  | 
| Douglas Gregor | ed2540d | 2010-05-28 04:34:55 +0000 | [diff] [blame] | 64 | class A {}; // expected-note{{member is declared here}} | 
| Anders Carlsson | af06b97 | 2009-03-27 19:01:12 +0000 | [diff] [blame] | 65 |  | 
| John McCall | a332b95 | 2010-03-18 23:49:19 +0000 | [diff] [blame] | 66 | class B : private A { // expected-note {{declared private here}} expected-note {{constrained by private inheritance here}} | 
| Anders Carlsson | af06b97 | 2009-03-27 19:01:12 +0000 | [diff] [blame] | 67 | void f(C* c); | 
|  | 68 | }; | 
|  | 69 |  | 
|  | 70 | class C : public B { | 
|  | 71 | void f(C *c) { | 
| John McCall | a332b95 | 2010-03-18 23:49:19 +0000 | [diff] [blame] | 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'}} | 
| Anders Carlsson | af06b97 | 2009-03-27 19:01:12 +0000 | [diff] [blame] | 74 | } | 
|  | 75 | }; | 
|  | 76 |  | 
|  | 77 | void B::f(C *c) { | 
|  | 78 | A *a = c; | 
|  | 79 | } | 
|  | 80 | } | 
| John McCall | 5b0829a | 2010-02-10 09:31:12 +0000 | [diff] [blame] | 81 |  | 
|  | 82 | namespace 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 |  |