1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include <cassert>
10 #include "support/timer.h"
11 
12 // This test explicitly tests dynamic cast with types that have inaccessible
13 // bases.
14 #if defined(__clang__)
15 #   pragma clang diagnostic ignored "-Winaccessible-base"
16 #elif defined(__GNUC__)
17 #   pragma GCC diagnostic ignored "-Winaccessible-base"
18 #endif
19 
20 namespace t1
21 {
22 
23 struct A1
24 {
25     char _[43981];
26     virtual ~A1() {}
27 
28     A1* getA1() {return this;}
29 };
30 
31 struct A2
32 {
33     char _[34981];
34     virtual ~A2() {}
35 
36     A2* getA2() {return this;}
37 };
38 
39 struct A3
40     : public virtual A1,
41       private A2
42 {
43     char _[93481];
44     virtual ~A3() {}
45 
46     A1* getA1() {return A1::getA1();}
47     A2* getA2() {return A2::getA2();}
48     A3* getA3() {return this;}
49 };
50 
51 struct A4
52     : public A3,
53       public A2
54 {
55     char _[13489];
56     virtual ~A4() {}
57 
58     t1::A1* getA1() {return A3::getA1();}
59     A2* getA2() {return A3::getA2();}
60     A3* getA3() {return A3::getA3();}
61     A4* getA4() {return this;}
62 };
63 
64 struct A5
65     : public A4,
66       public A3
67 {
68     char _[13489];
69     virtual ~A5() {}
70 
71     t1::A1* getA1() {return A4::getA1();}
72     A2* getA2() {return A4::getA2();}
73     A3* getA3() {return A4::getA3();}
74     A4* getA4() {return A4::getA4();}
75     A5* getA5() {return this;}
76 };
77 
78 void test()
79 {
80     A1 a1;
81     A2 a2;
82     A3 a3;
83     A4 a4;
84     A5 a5;
85 
86     assert(dynamic_cast<A1*>(a1.getA1()) == a1.getA1());
87     assert(dynamic_cast<A1*>(a2.getA2()) == 0);
88     assert(dynamic_cast<A1*>(a3.getA1()) == a3.getA1());
89     assert(dynamic_cast<A1*>(a3.getA2()) == 0);
90     assert(dynamic_cast<A1*>(a3.getA3()) == a3.getA1());
91     assert(dynamic_cast<A1*>(a4.getA1()) == a4.getA1());
92     assert(dynamic_cast<A1*>(a4.getA2()) == 0);
93     assert(dynamic_cast<A1*>(a4.getA3()) == a4.getA1());
94     assert(dynamic_cast<A1*>(a4.getA4()) == a4.getA1());
95     assert(dynamic_cast<A1*>(a5.getA1()) == a5.getA1());
96     assert(dynamic_cast<A1*>(a5.getA2()) == 0);
97     assert(dynamic_cast<A1*>(a5.getA3()) == a5.getA1());
98     assert(dynamic_cast<A1*>(a5.getA4()) == a5.getA1());
99     assert(dynamic_cast<A1*>(a5.getA5()) == a5.getA1());
100 
101     assert(dynamic_cast<A2*>(a1.getA1()) == 0);
102     assert(dynamic_cast<A2*>(a2.getA2()) == a2.getA2());
103     assert(dynamic_cast<A2*>(a3.getA1()) == 0);
104     assert(dynamic_cast<A2*>(a3.getA2()) == a3.getA2());
105 //    assert(dynamic_cast<A2*>(a3.getA3()) == 0);  // cast to private base
106     assert(dynamic_cast<A2*>(a4.getA1()) == 0);
107     assert(dynamic_cast<A2*>(a4.getA2()) == a4.getA2());
108 //    assert(dynamic_cast<A2*>(a4.getA3()) == 0);  // cast to private base
109 //    assert(dynamic_cast<A2*>(a4.getA4()) == 0);  // cast to ambiguous base
110     assert(dynamic_cast<A2*>(a5.getA1()) == 0);
111     assert(dynamic_cast<A2*>(a5.getA2()) == a5.getA2());
112 //    assert(dynamic_cast<A2*>(a5.getA3()) == 0);  // cast to private base
113 //    assert(dynamic_cast<A2*>(a5.getA4()) == 0);  // cast to ambiguous base
114 //    assert(dynamic_cast<A2*>(a5.getA5()) == 0);  // cast to ambiguous base
115 
116     assert(dynamic_cast<A3*>(a1.getA1()) == 0);
117     assert(dynamic_cast<A3*>(a2.getA2()) == 0);
118     assert(dynamic_cast<A3*>(a3.getA1()) == a3.getA3());
119     assert(dynamic_cast<A3*>(a3.getA2()) == 0);
120     assert(dynamic_cast<A3*>(a3.getA3()) == a3.getA3());
121     assert(dynamic_cast<A3*>(a4.getA1()) == a4.getA3());
122     assert(dynamic_cast<A3*>(a4.getA2()) == 0);
123     assert(dynamic_cast<A3*>(a4.getA3()) == a4.getA3());
124     assert(dynamic_cast<A3*>(a4.getA4()) == a4.getA3());
125     assert(dynamic_cast<A3*>(a5.getA1()) == 0);
126     assert(dynamic_cast<A3*>(a5.getA2()) == 0);
127     assert(dynamic_cast<A3*>(a5.getA3()) == a5.getA3());
128     assert(dynamic_cast<A3*>(a5.getA4()) == a5.getA3());
129 //    assert(dynamic_cast<A3*>(a5.getA5()) == 0);  // cast to ambiguous base
130 
131     assert(dynamic_cast<A4*>(a1.getA1()) == 0);
132     assert(dynamic_cast<A4*>(a2.getA2()) == 0);
133     assert(dynamic_cast<A4*>(a3.getA1()) == 0);
134     assert(dynamic_cast<A4*>(a3.getA2()) == 0);
135     assert(dynamic_cast<A4*>(a3.getA3()) == 0);
136     assert(dynamic_cast<A4*>(a4.getA1()) == a4.getA4());
137     assert(dynamic_cast<A4*>(a4.getA2()) == 0);
138     assert(dynamic_cast<A4*>(a4.getA3()) == a4.getA4());
139     assert(dynamic_cast<A4*>(a4.getA4()) == a4.getA4());
140     assert(dynamic_cast<A4*>(a5.getA1()) == a5.getA4());
141     assert(dynamic_cast<A4*>(a5.getA2()) == 0);
142     assert(dynamic_cast<A4*>(a5.getA3()) == a5.getA4());
143     assert(dynamic_cast<A4*>(a5.getA4()) == a5.getA4());
144     assert(dynamic_cast<A4*>(a5.getA5()) == a5.getA4());
145 
146     assert(dynamic_cast<A5*>(a1.getA1()) == 0);
147     assert(dynamic_cast<A5*>(a2.getA2()) == 0);
148     assert(dynamic_cast<A5*>(a3.getA1()) == 0);
149     assert(dynamic_cast<A5*>(a3.getA2()) == 0);
150     assert(dynamic_cast<A5*>(a3.getA3()) == 0);
151     assert(dynamic_cast<A5*>(a4.getA1()) == 0);
152     assert(dynamic_cast<A5*>(a4.getA2()) == 0);
153     assert(dynamic_cast<A5*>(a4.getA3()) == 0);
154     assert(dynamic_cast<A5*>(a4.getA4()) == 0);
155     assert(dynamic_cast<A5*>(a5.getA1()) == a5.getA5());
156     assert(dynamic_cast<A5*>(a5.getA2()) == 0);
157     assert(dynamic_cast<A5*>(a5.getA3()) == a5.getA5());
158     assert(dynamic_cast<A5*>(a5.getA4()) == a5.getA5());
159     assert(dynamic_cast<A5*>(a5.getA5()) == a5.getA5());
160 }
161 
162 }  // t1
163 
164 namespace t2
165 {
166 
167 struct A1
168 {
169     char _[43981];
170     virtual ~A1() {}
171 
172     A1* getA1() {return this;}
173 };
174 
175 struct A2
176 {
177     char _[34981];
178     virtual ~A2() {}
179 
180     A2* getA2() {return this;}
181 };
182 
183 struct A3
184     : public virtual A1,
185       public A2
186 {
187     char _[93481];
188     virtual ~A3() {}
189 
190     A1* getA1() {return A1::getA1();}
191     A2* getA2() {return A2::getA2();}
192     A3* getA3() {return this;}
193 };
194 
195 struct A4
196     : public A3,
197       public A2
198 {
199     char _[13489];
200     virtual ~A4() {}
201 
202     t2::A1* getA1() {return A3::getA1();}
203     A2* getA2() {return A3::getA2();}
204     A3* getA3() {return A3::getA3();}
205     A4* getA4() {return this;}
206 };
207 
208 struct A5
209     : public A4,
210       public A3
211 {
212     char _[13489];
213     virtual ~A5() {}
214 
215     t2::A1* getA1() {return A4::getA1();}
216     A2* getA2() {return A4::getA2();}
217     A3* getA3() {return A4::getA3();}
218     A4* getA4() {return A4::getA4();}
219     A5* getA5() {return this;}
220 };
221 
222 void test()
223 {
224     A1 a1;
225     A2 a2;
226     A3 a3;
227     A4 a4;
228     A5 a5;
229 
230     assert(dynamic_cast<A1*>(a1.getA1()) == a1.getA1());
231     assert(dynamic_cast<A1*>(a2.getA2()) == 0);
232     assert(dynamic_cast<A1*>(a3.getA1()) == a3.getA1());
233     assert(dynamic_cast<A1*>(a3.getA2()) == a3.getA1());
234     assert(dynamic_cast<A1*>(a3.getA3()) == a3.getA1());
235     assert(dynamic_cast<A1*>(a4.getA1()) == a4.getA1());
236     assert(dynamic_cast<A1*>(a4.getA2()) == a4.getA1());
237     assert(dynamic_cast<A1*>(a4.getA3()) == a4.getA1());
238     assert(dynamic_cast<A1*>(a4.getA4()) == a4.getA1());
239     assert(dynamic_cast<A1*>(a5.getA1()) == a5.getA1());
240     assert(dynamic_cast<A1*>(a5.getA2()) == a5.getA1());
241     assert(dynamic_cast<A1*>(a5.getA3()) == a5.getA1());
242     assert(dynamic_cast<A1*>(a5.getA4()) == a5.getA1());
243     assert(dynamic_cast<A1*>(a5.getA5()) == a5.getA1());
244 
245     assert(dynamic_cast<A2*>(a1.getA1()) == 0);
246     assert(dynamic_cast<A2*>(a2.getA2()) == a2.getA2());
247     assert(dynamic_cast<A2*>(a3.getA1()) == a3.getA2());
248     assert(dynamic_cast<A2*>(a3.getA2()) == a3.getA2());
249     assert(dynamic_cast<A2*>(a3.getA3()) == a3.getA2());
250     assert(dynamic_cast<A2*>(a4.getA1()) == 0);
251     assert(dynamic_cast<A2*>(a4.getA2()) == a4.getA2());
252     assert(dynamic_cast<A2*>(a4.getA3()) == a4.getA2());
253 //    assert(dynamic_cast<A2*>(a4.getA4()) == 0);  // cast to ambiguous base
254     assert(dynamic_cast<A2*>(a5.getA1()) == 0);
255     assert(dynamic_cast<A2*>(a5.getA2()) == a5.getA2());
256     assert(dynamic_cast<A2*>(a5.getA3()) == a5.getA2());
257 //    assert(dynamic_cast<A2*>(a5.getA4()) == 0);  // cast to ambiguous base
258 //    assert(dynamic_cast<A2*>(a5.getA5()) == 0);  // cast to ambiguous base
259 
260     assert(dynamic_cast<A3*>(a1.getA1()) == 0);
261     assert(dynamic_cast<A3*>(a2.getA2()) == 0);
262     assert(dynamic_cast<A3*>(a3.getA1()) == a3.getA3());
263     assert(dynamic_cast<A3*>(a3.getA2()) == a3.getA3());
264     assert(dynamic_cast<A3*>(a3.getA3()) == a3.getA3());
265     assert(dynamic_cast<A3*>(a4.getA1()) == a4.getA3());
266     assert(dynamic_cast<A3*>(a4.getA2()) == a4.getA3());
267     assert(dynamic_cast<A3*>(a4.getA3()) == a4.getA3());
268     assert(dynamic_cast<A3*>(a4.getA4()) == a4.getA3());
269     assert(dynamic_cast<A3*>(a5.getA1()) == 0);
270     assert(dynamic_cast<A3*>(a5.getA2()) == a5.getA3());
271     assert(dynamic_cast<A3*>(a5.getA3()) == a5.getA3());
272     assert(dynamic_cast<A3*>(a5.getA4()) == a5.getA3());
273 //    assert(dynamic_cast<A3*>(a5.getA5()) == 0);  // cast to ambiguous base
274 
275     assert(dynamic_cast<A4*>(a1.getA1()) == 0);
276     assert(dynamic_cast<A4*>(a2.getA2()) == 0);
277     assert(dynamic_cast<A4*>(a3.getA1()) == 0);
278     assert(dynamic_cast<A4*>(a3.getA2()) == 0);
279     assert(dynamic_cast<A4*>(a3.getA3()) == 0);
280     assert(dynamic_cast<A4*>(a4.getA1()) == a4.getA4());
281     assert(dynamic_cast<A4*>(a4.getA2()) == a4.getA4());
282     assert(dynamic_cast<A4*>(a4.getA3()) == a4.getA4());
283     assert(dynamic_cast<A4*>(a4.getA4()) == a4.getA4());
284     assert(dynamic_cast<A4*>(a5.getA1()) == a5.getA4());
285     assert(dynamic_cast<A4*>(a5.getA2()) == a5.getA4());
286     assert(dynamic_cast<A4*>(a5.getA3()) == a5.getA4());
287     assert(dynamic_cast<A4*>(a5.getA4()) == a5.getA4());
288     assert(dynamic_cast<A4*>(a5.getA5()) == a5.getA4());
289 
290     assert(dynamic_cast<A5*>(a1.getA1()) == 0);
291     assert(dynamic_cast<A5*>(a2.getA2()) == 0);
292     assert(dynamic_cast<A5*>(a3.getA1()) == 0);
293     assert(dynamic_cast<A5*>(a3.getA2()) == 0);
294     assert(dynamic_cast<A5*>(a3.getA3()) == 0);
295     assert(dynamic_cast<A5*>(a4.getA1()) == 0);
296     assert(dynamic_cast<A5*>(a4.getA2()) == 0);
297     assert(dynamic_cast<A5*>(a4.getA3()) == 0);
298     assert(dynamic_cast<A5*>(a4.getA4()) == 0);
299     assert(dynamic_cast<A5*>(a5.getA1()) == a5.getA5());
300     assert(dynamic_cast<A5*>(a5.getA2()) == a5.getA5());
301     assert(dynamic_cast<A5*>(a5.getA3()) == a5.getA5());
302     assert(dynamic_cast<A5*>(a5.getA4()) == a5.getA5());
303     assert(dynamic_cast<A5*>(a5.getA5()) == a5.getA5());
304 }
305 
306 }  // t2
307 
308 namespace t3
309 {
310 
311 struct A1
312 {
313     char _[43981];
314     virtual ~A1() {}
315 
316     A1* getA1() {return this;}
317 };
318 
319 struct A2
320 {
321     char _[34981];
322     virtual ~A2() {}
323 
324     A2* getA2() {return this;}
325 };
326 
327 struct A3
328     : public A1,
329       public virtual A2
330 {
331     char _[93481];
332     virtual ~A3() {}
333 
334     A1* getA1() {return A1::getA1();}
335     A2* getA2() {return A2::getA2();}
336     A3* getA3() {return this;}
337 };
338 
339 struct A4
340     : public A1,
341       public virtual A2
342 {
343     char _[13489];
344     virtual ~A4() {}
345 
346     A1* getA1() {return A1::getA1();}
347     A2* getA2() {return A2::getA2();}
348     A4* getA4() {return this;}
349 };
350 
351 struct A5
352     : public A3,
353       public A4
354 {
355     char _[41389];
356     virtual ~A5() {}
357 
358     A1* getA14() {return A4::getA1();}
359     A1* getA13() {return A3::getA1();}
360     A2* getA2() {return A4::getA2();}
361     A3* getA3() {return A3::getA3();}
362     A4* getA4() {return A4::getA4();}
363     A5* getA5() {return this;}
364 };
365 
366 void test()
367 {
368     A1 a1;
369     A2 a2;
370     A3 a3;
371     A4 a4;
372     A5 a5;
373 
374     assert(dynamic_cast<A1*>(a1.getA1()) == a1.getA1());
375     assert(dynamic_cast<A1*>(a2.getA2()) == 0);
376     assert(dynamic_cast<A1*>(a3.getA1()) == a3.getA1());
377     assert(dynamic_cast<A1*>(a3.getA2()) == a3.getA1());
378     assert(dynamic_cast<A1*>(a3.getA3()) == a3.getA1());
379     assert(dynamic_cast<A1*>(a4.getA1()) == a4.getA1());
380     assert(dynamic_cast<A1*>(a4.getA2()) == a4.getA1());
381     assert(dynamic_cast<A1*>(a4.getA4()) == a4.getA1());
382     assert(dynamic_cast<A1*>(a5.getA14()) == a5.getA14());
383     assert(dynamic_cast<A1*>(a5.getA13()) == a5.getA13());
384     assert(dynamic_cast<A1*>(a5.getA2()) == 0);
385     assert(dynamic_cast<A1*>(a5.getA3()) == a5.getA13());
386     assert(dynamic_cast<A1*>(a5.getA4()) == a5.getA14());
387 
388     assert(dynamic_cast<A2*>(a1.getA1()) == 0);
389     assert(dynamic_cast<A2*>(a2.getA2()) == a2.getA2());
390     assert(dynamic_cast<A2*>(a3.getA1()) == a3.getA2());
391     assert(dynamic_cast<A2*>(a3.getA2()) == a3.getA2());
392     assert(dynamic_cast<A2*>(a3.getA3()) == a3.getA2());
393     assert(dynamic_cast<A2*>(a4.getA1()) == a4.getA2());
394     assert(dynamic_cast<A2*>(a4.getA2()) == a4.getA2());
395     assert(dynamic_cast<A2*>(a4.getA4()) == a4.getA2());
396     assert(dynamic_cast<A2*>(a5.getA14()) == a5.getA2());
397     assert(dynamic_cast<A2*>(a5.getA13()) == a5.getA2());
398     assert(dynamic_cast<A2*>(a5.getA2()) == a5.getA2());
399     assert(dynamic_cast<A2*>(a5.getA3()) == a5.getA2());
400     assert(dynamic_cast<A2*>(a5.getA4()) == a5.getA2());
401     assert(dynamic_cast<A2*>(a5.getA5()) == a5.getA2());
402 
403     assert(dynamic_cast<A3*>(a1.getA1()) == 0);
404     assert(dynamic_cast<A3*>(a2.getA2()) == 0);
405     assert(dynamic_cast<A3*>(a3.getA1()) == a3.getA3());
406     assert(dynamic_cast<A3*>(a3.getA2()) == a3.getA3());
407     assert(dynamic_cast<A3*>(a3.getA3()) == a3.getA3());
408     assert(dynamic_cast<A3*>(a4.getA1()) == 0);
409     assert(dynamic_cast<A3*>(a4.getA2()) == 0);
410     assert(dynamic_cast<A3*>(a4.getA4()) == 0);
411     assert(dynamic_cast<A3*>(a5.getA14()) == a5.getA3());
412     assert(dynamic_cast<A3*>(a5.getA13()) == a5.getA3());
413     assert(dynamic_cast<A3*>(a5.getA2()) == a5.getA3());
414     assert(dynamic_cast<A3*>(a5.getA3()) == a5.getA3());
415     assert(dynamic_cast<A3*>(a5.getA4()) == a5.getA3());
416     assert(dynamic_cast<A3*>(a5.getA5()) == a5.getA3());
417 
418     assert(dynamic_cast<A4*>(a1.getA1()) == 0);
419     assert(dynamic_cast<A4*>(a2.getA2()) == 0);
420     assert(dynamic_cast<A4*>(a3.getA1()) == 0);
421     assert(dynamic_cast<A4*>(a3.getA2()) == 0);
422     assert(dynamic_cast<A4*>(a3.getA3()) == 0);
423     assert(dynamic_cast<A4*>(a4.getA1()) == a4.getA4());
424     assert(dynamic_cast<A4*>(a4.getA2()) == a4.getA4());
425     assert(dynamic_cast<A4*>(a4.getA4()) == a4.getA4());
426     assert(dynamic_cast<A4*>(a5.getA14()) == a5.getA4());
427     assert(dynamic_cast<A4*>(a5.getA13()) == a5.getA4());
428     assert(dynamic_cast<A4*>(a5.getA2()) == a5.getA4());
429     assert(dynamic_cast<A4*>(a5.getA3()) == a5.getA4());
430     assert(dynamic_cast<A4*>(a5.getA4()) == a5.getA4());
431     assert(dynamic_cast<A4*>(a5.getA5()) == a5.getA4());
432 
433     assert(dynamic_cast<A5*>(a1.getA1()) == 0);
434     assert(dynamic_cast<A5*>(a2.getA2()) == 0);
435     assert(dynamic_cast<A5*>(a3.getA1()) == 0);
436     assert(dynamic_cast<A5*>(a3.getA2()) == 0);
437     assert(dynamic_cast<A5*>(a3.getA3()) == 0);
438     assert(dynamic_cast<A5*>(a4.getA1()) == 0);
439     assert(dynamic_cast<A5*>(a4.getA2()) == 0);
440     assert(dynamic_cast<A5*>(a4.getA4()) == 0);
441     assert(dynamic_cast<A5*>(a5.getA14()) == a5.getA5());
442     assert(dynamic_cast<A5*>(a5.getA13()) == a5.getA5());
443     assert(dynamic_cast<A5*>(a5.getA2()) == a5.getA5());
444     assert(dynamic_cast<A5*>(a5.getA3()) == a5.getA5());
445     assert(dynamic_cast<A5*>(a5.getA4()) == a5.getA5());
446     assert(dynamic_cast<A5*>(a5.getA5()) == a5.getA5());
447 }
448 
449 }  // t3
450 
451 namespace t4
452 {
453 
454 struct A1
455 {
456     char _[43981];
457     virtual ~A1() {}
458 
459     A1* getA1() {return this;}
460 };
461 
462 struct A2
463 {
464     char _[34981];
465     virtual ~A2() {}
466 
467     A2* getA2() {return this;}
468 };
469 
470 struct A3
471     : protected A1,
472       public virtual A2
473 {
474     char _[93481];
475     virtual ~A3() {}
476 
477     A1* getA1() {return A1::getA1();}
478     A2* getA2() {return A2::getA2();}
479     A3* getA3() {return this;}
480 };
481 
482 struct A4
483     : public A1,
484       public virtual A2
485 {
486     char _[13489];
487     virtual ~A4() {}
488 
489     A1* getA1() {return A1::getA1();}
490     A2* getA2() {return A2::getA2();}
491     A4* getA4() {return this;}
492 };
493 
494 struct A5
495     : public A3,
496       public A4
497 {
498     char _[41389];
499     virtual ~A5() {}
500 
501     A1* getA14() {return A4::getA1();}
502     A1* getA13() {return A3::getA1();}
503     A2* getA2() {return A4::getA2();}
504     A3* getA3() {return A3::getA3();}
505     A4* getA4() {return A4::getA4();}
506     A5* getA5() {return this;}
507 };
508 
509 void test()
510 {
511     A1 a1;
512     A2 a2;
513     A3 a3;
514     A4 a4;
515     A5 a5;
516 
517     assert(dynamic_cast<A1*>(a1.getA1()) == a1.getA1());
518     assert(dynamic_cast<A1*>(a2.getA2()) == 0);
519     assert(dynamic_cast<A1*>(a3.getA1()) == a3.getA1());
520     assert(dynamic_cast<A1*>(a3.getA2()) == 0);
521 //    assert(dynamic_cast<A1*>(a3.getA3()) == a3.getA1());  // cast to protected base
522     assert(dynamic_cast<A1*>(a4.getA1()) == a4.getA1());
523     assert(dynamic_cast<A1*>(a4.getA2()) == a4.getA1());
524     assert(dynamic_cast<A1*>(a4.getA4()) == a4.getA1());
525     assert(dynamic_cast<A1*>(a5.getA14()) == a5.getA14());
526     assert(dynamic_cast<A1*>(a5.getA13()) == a5.getA13());
527     assert(dynamic_cast<A1*>(a5.getA2()) == 0);
528 //    assert(dynamic_cast<A1*>(a5.getA3()) == a5.getA13());  // cast to protected base
529     assert(dynamic_cast<A1*>(a5.getA4()) == a5.getA14());
530 
531     assert(dynamic_cast<A2*>(a1.getA1()) == 0);
532     assert(dynamic_cast<A2*>(a2.getA2()) == a2.getA2());
533     assert(dynamic_cast<A2*>(a3.getA1()) == 0);
534     assert(dynamic_cast<A2*>(a3.getA2()) == a3.getA2());
535     assert(dynamic_cast<A2*>(a3.getA3()) == a3.getA2());
536     assert(dynamic_cast<A2*>(a4.getA1()) == a4.getA2());
537     assert(dynamic_cast<A2*>(a4.getA2()) == a4.getA2());
538     assert(dynamic_cast<A2*>(a4.getA4()) == a4.getA2());
539     assert(dynamic_cast<A2*>(a5.getA14()) == a5.getA2());
540     assert(dynamic_cast<A2*>(a5.getA13()) == 0);
541     assert(dynamic_cast<A2*>(a5.getA2()) == a5.getA2());
542     assert(dynamic_cast<A2*>(a5.getA3()) == a5.getA2());
543     assert(dynamic_cast<A2*>(a5.getA4()) == a5.getA2());
544     assert(dynamic_cast<A2*>(a5.getA5()) == a5.getA2());
545 
546     assert(dynamic_cast<A3*>(a1.getA1()) == 0);
547     assert(dynamic_cast<A3*>(a2.getA2()) == 0);
548     assert(dynamic_cast<A3*>(a3.getA1()) == 0);
549     assert(dynamic_cast<A3*>(a3.getA2()) == a3.getA3());
550     assert(dynamic_cast<A3*>(a3.getA3()) == a3.getA3());
551     assert(dynamic_cast<A3*>(a4.getA1()) == 0);
552     assert(dynamic_cast<A3*>(a4.getA2()) == 0);
553     assert(dynamic_cast<A3*>(a4.getA4()) == 0);
554     assert(dynamic_cast<A3*>(a5.getA14()) == a5.getA3());
555     assert(dynamic_cast<A3*>(a5.getA13()) == 0);
556     assert(dynamic_cast<A3*>(a5.getA2()) == a5.getA3());
557     assert(dynamic_cast<A3*>(a5.getA3()) == a5.getA3());
558     assert(dynamic_cast<A3*>(a5.getA4()) == a5.getA3());
559     assert(dynamic_cast<A3*>(a5.getA5()) == a5.getA3());
560 
561     assert(dynamic_cast<A4*>(a1.getA1()) == 0);
562     assert(dynamic_cast<A4*>(a2.getA2()) == 0);
563     assert(dynamic_cast<A4*>(a3.getA1()) == 0);
564     assert(dynamic_cast<A4*>(a3.getA2()) == 0);
565     assert(dynamic_cast<A4*>(a3.getA3()) == 0);
566     assert(dynamic_cast<A4*>(a4.getA1()) == a4.getA4());
567     assert(dynamic_cast<A4*>(a4.getA2()) == a4.getA4());
568     assert(dynamic_cast<A4*>(a4.getA4()) == a4.getA4());
569     assert(dynamic_cast<A4*>(a5.getA14()) == a5.getA4());
570     assert(dynamic_cast<A4*>(a5.getA13()) == 0);
571     assert(dynamic_cast<A4*>(a5.getA2()) == a5.getA4());
572     assert(dynamic_cast<A4*>(a5.getA3()) == a5.getA4());
573     assert(dynamic_cast<A4*>(a5.getA4()) == a5.getA4());
574     assert(dynamic_cast<A4*>(a5.getA5()) == a5.getA4());
575 
576     assert(dynamic_cast<A5*>(a1.getA1()) == 0);
577     assert(dynamic_cast<A5*>(a2.getA2()) == 0);
578     assert(dynamic_cast<A5*>(a3.getA1()) == 0);
579     assert(dynamic_cast<A5*>(a3.getA2()) == 0);
580     assert(dynamic_cast<A5*>(a3.getA3()) == 0);
581     assert(dynamic_cast<A5*>(a4.getA1()) == 0);
582     assert(dynamic_cast<A5*>(a4.getA2()) == 0);
583     assert(dynamic_cast<A5*>(a4.getA4()) == 0);
584     assert(dynamic_cast<A5*>(a5.getA14()) == a5.getA5());
585     assert(dynamic_cast<A5*>(a5.getA13()) == 0);
586     assert(dynamic_cast<A5*>(a5.getA2()) == a5.getA5());
587     assert(dynamic_cast<A5*>(a5.getA3()) == a5.getA5());
588     assert(dynamic_cast<A5*>(a5.getA4()) == a5.getA5());
589     assert(dynamic_cast<A5*>(a5.getA5()) == a5.getA5());
590 }
591 
592 }  // t4
593 
594 namespace t5
595 {
596 
597 struct A1
598 {
599     char _[43981];
600     virtual ~A1() {}
601 
602     A1* getA1() {return this;}
603 };
604 
605 struct A2
606 {
607     char _[34981];
608     virtual ~A2() {}
609 
610     A2* getA2() {return this;}
611 };
612 
613 struct A3
614     : public A1,
615       protected virtual A2
616 {
617     char _[93481];
618     virtual ~A3() {}
619 
620     A1* getA1() {return A1::getA1();}
621     A2* getA2() {return A2::getA2();}
622     A3* getA3() {return this;}
623 };
624 
625 struct A4
626     : public A1,
627       public virtual A2
628 {
629     char _[13489];
630     virtual ~A4() {}
631 
632     A1* getA1() {return A1::getA1();}
633     A2* getA2() {return A2::getA2();}
634     A4* getA4() {return this;}
635 };
636 
637 struct A5
638     : public A3,
639       public A4
640 {
641     char _[41389];
642     virtual ~A5() {}
643 
644     A1* getA14() {return A4::getA1();}
645     A1* getA13() {return A3::getA1();}
646     A2* getA2() {return A4::getA2();}
647     A3* getA3() {return A3::getA3();}
648     A4* getA4() {return A4::getA4();}
649     A5* getA5() {return this;}
650 };
651 
652 void test()
653 {
654     A1 a1;
655     A2 a2;
656     A3 a3;
657     A4 a4;
658     A5 a5;
659 
660     assert(dynamic_cast<A1*>(a1.getA1()) == a1.getA1());
661     assert(dynamic_cast<A1*>(a2.getA2()) == 0);
662     assert(dynamic_cast<A1*>(a3.getA1()) == a3.getA1());
663     assert(dynamic_cast<A1*>(a3.getA2()) == 0);
664     assert(dynamic_cast<A1*>(a3.getA3()) == a3.getA1());
665     assert(dynamic_cast<A1*>(a4.getA1()) == a4.getA1());
666     assert(dynamic_cast<A1*>(a4.getA2()) == a4.getA1());
667     assert(dynamic_cast<A1*>(a4.getA4()) == a4.getA1());
668     assert(dynamic_cast<A1*>(a5.getA14()) == a5.getA14());
669     assert(dynamic_cast<A1*>(a5.getA13()) == a5.getA13());
670     assert(dynamic_cast<A1*>(a5.getA2()) == 0);
671     assert(dynamic_cast<A1*>(a5.getA3()) == a5.getA13());
672     assert(dynamic_cast<A1*>(a5.getA4()) == a5.getA14());
673 
674     assert(dynamic_cast<A2*>(a1.getA1()) == 0);
675     assert(dynamic_cast<A2*>(a2.getA2()) == a2.getA2());
676     assert(dynamic_cast<A2*>(a3.getA1()) == 0);
677     assert(dynamic_cast<A2*>(a3.getA2()) == a3.getA2());
678 //    assert(dynamic_cast<A2*>(a3.getA3()) == a3.getA2());  // cast to protected base
679     assert(dynamic_cast<A2*>(a4.getA1()) == a4.getA2());
680     assert(dynamic_cast<A2*>(a4.getA2()) == a4.getA2());
681     assert(dynamic_cast<A2*>(a4.getA4()) == a4.getA2());
682     assert(dynamic_cast<A2*>(a5.getA14()) == a5.getA2());
683     assert(dynamic_cast<A2*>(a5.getA13()) == a5.getA2());
684     assert(dynamic_cast<A2*>(a5.getA2()) == a5.getA2());
685 //    assert(dynamic_cast<A2*>(a5.getA3()) == a5.getA2());  // cast to protected base
686     assert(dynamic_cast<A2*>(a5.getA4()) == a5.getA2());
687     assert(dynamic_cast<A2*>(a5.getA5()) == a5.getA2());
688 
689     assert(dynamic_cast<A3*>(a1.getA1()) == 0);
690     assert(dynamic_cast<A3*>(a2.getA2()) == 0);
691     assert(dynamic_cast<A3*>(a3.getA1()) == a3.getA3());
692     assert(dynamic_cast<A3*>(a3.getA2()) == 0);
693     assert(dynamic_cast<A3*>(a3.getA3()) == a3.getA3());
694     assert(dynamic_cast<A3*>(a4.getA1()) == 0);
695     assert(dynamic_cast<A3*>(a4.getA2()) == 0);
696     assert(dynamic_cast<A3*>(a4.getA4()) == 0);
697     assert(dynamic_cast<A3*>(a5.getA14()) == a5.getA3());
698     assert(dynamic_cast<A3*>(a5.getA13()) == a5.getA3());
699     assert(dynamic_cast<A3*>(a5.getA2()) == a5.getA3());
700     assert(dynamic_cast<A3*>(a5.getA3()) == a5.getA3());
701     assert(dynamic_cast<A3*>(a5.getA4()) == a5.getA3());
702     assert(dynamic_cast<A3*>(a5.getA5()) == a5.getA3());
703 
704     assert(dynamic_cast<A4*>(a1.getA1()) == 0);
705     assert(dynamic_cast<A4*>(a2.getA2()) == 0);
706     assert(dynamic_cast<A4*>(a3.getA1()) == 0);
707     assert(dynamic_cast<A4*>(a3.getA2()) == 0);
708     assert(dynamic_cast<A4*>(a3.getA3()) == 0);
709     assert(dynamic_cast<A4*>(a4.getA1()) == a4.getA4());
710     assert(dynamic_cast<A4*>(a4.getA2()) == a4.getA4());
711     assert(dynamic_cast<A4*>(a4.getA4()) == a4.getA4());
712     assert(dynamic_cast<A4*>(a5.getA14()) == a5.getA4());
713     assert(dynamic_cast<A4*>(a5.getA13()) == a5.getA4());
714     assert(dynamic_cast<A4*>(a5.getA2()) == a5.getA4());
715     assert(dynamic_cast<A4*>(a5.getA3()) == a5.getA4());
716     assert(dynamic_cast<A4*>(a5.getA4()) == a5.getA4());
717     assert(dynamic_cast<A4*>(a5.getA5()) == a5.getA4());
718 
719     assert(dynamic_cast<A5*>(a1.getA1()) == 0);
720     assert(dynamic_cast<A5*>(a2.getA2()) == 0);
721     assert(dynamic_cast<A5*>(a3.getA1()) == 0);
722     assert(dynamic_cast<A5*>(a3.getA2()) == 0);
723     assert(dynamic_cast<A5*>(a3.getA3()) == 0);
724     assert(dynamic_cast<A5*>(a4.getA1()) == 0);
725     assert(dynamic_cast<A5*>(a4.getA2()) == 0);
726     assert(dynamic_cast<A5*>(a4.getA4()) == 0);
727     assert(dynamic_cast<A5*>(a5.getA14()) == a5.getA5());
728     assert(dynamic_cast<A5*>(a5.getA13()) == a5.getA5());
729     assert(dynamic_cast<A5*>(a5.getA2()) == a5.getA5());
730     assert(dynamic_cast<A5*>(a5.getA3()) == a5.getA5());
731     assert(dynamic_cast<A5*>(a5.getA4()) == a5.getA5());
732     assert(dynamic_cast<A5*>(a5.getA5()) == a5.getA5());
733 }
734 
735 }  // t5
736 
737 namespace t6
738 {
739 
740 struct A1
741 {
742     char _[43981];
743     virtual ~A1() {}
744 
745     A1* getA1() {return this;}
746 };
747 
748 struct A2
749 {
750     char _[34981];
751     virtual ~A2() {}
752 
753     A2* getA2() {return this;}
754 };
755 
756 struct A3
757     : public A1,
758       public virtual A2
759 {
760     char _[93481];
761     virtual ~A3() {}
762 
763     A1* getA1() {return A1::getA1();}
764     A2* getA2() {return A2::getA2();}
765     A3* getA3() {return this;}
766 };
767 
768 struct A4
769     : protected A1,
770       public virtual A2
771 {
772     char _[13489];
773     virtual ~A4() {}
774 
775     A1* getA1() {return A1::getA1();}
776     A2* getA2() {return A2::getA2();}
777     A4* getA4() {return this;}
778 };
779 
780 struct A5
781     : public A3,
782       public A4
783 {
784     char _[41389];
785     virtual ~A5() {}
786 
787     A1* getA14() {return A4::getA1();}
788     A1* getA13() {return A3::getA1();}
789     A2* getA2() {return A4::getA2();}
790     A3* getA3() {return A3::getA3();}
791     A4* getA4() {return A4::getA4();}
792     A5* getA5() {return this;}
793 };
794 
795 void test()
796 {
797     A1 a1;
798     A2 a2;
799     A3 a3;
800     A4 a4;
801     A5 a5;
802 
803     assert(dynamic_cast<A1*>(a1.getA1()) == a1.getA1());
804     assert(dynamic_cast<A1*>(a2.getA2()) == 0);
805     assert(dynamic_cast<A1*>(a3.getA1()) == a3.getA1());
806     assert(dynamic_cast<A1*>(a3.getA2()) == a3.getA1());
807     assert(dynamic_cast<A1*>(a3.getA3()) == a3.getA1());
808     assert(dynamic_cast<A1*>(a4.getA1()) == a4.getA1());
809     assert(dynamic_cast<A1*>(a4.getA2()) == 0);
810 //    assert(dynamic_cast<A1*>(a4.getA4()) == a4.getA1());  // cast to protected base
811     assert(dynamic_cast<A1*>(a5.getA14()) == a5.getA14());
812     assert(dynamic_cast<A1*>(a5.getA13()) == a5.getA13());
813     assert(dynamic_cast<A1*>(a5.getA2()) == 0);
814     assert(dynamic_cast<A1*>(a5.getA3()) == a5.getA13());
815 //    assert(dynamic_cast<A1*>(a5.getA4()) == a5.getA14());  // cast to protected base
816 
817     assert(dynamic_cast<A2*>(a1.getA1()) == 0);
818     assert(dynamic_cast<A2*>(a2.getA2()) == a2.getA2());
819     assert(dynamic_cast<A2*>(a3.getA1()) == a3.getA2());
820     assert(dynamic_cast<A2*>(a3.getA2()) == a3.getA2());
821     assert(dynamic_cast<A2*>(a3.getA3()) == a3.getA2());
822     assert(dynamic_cast<A2*>(a4.getA1()) == 0);
823     assert(dynamic_cast<A2*>(a4.getA2()) == a4.getA2());
824     assert(dynamic_cast<A2*>(a4.getA4()) == a4.getA2());
825     assert(dynamic_cast<A2*>(a5.getA14()) == 0);
826     assert(dynamic_cast<A2*>(a5.getA13()) == a5.getA2());
827     assert(dynamic_cast<A2*>(a5.getA2()) == a5.getA2());
828     assert(dynamic_cast<A2*>(a5.getA3()) == a5.getA2());
829     assert(dynamic_cast<A2*>(a5.getA4()) == a5.getA2());
830     assert(dynamic_cast<A2*>(a5.getA5()) == a5.getA2());
831 
832     assert(dynamic_cast<A3*>(a1.getA1()) == 0);
833     assert(dynamic_cast<A3*>(a2.getA2()) == 0);
834     assert(dynamic_cast<A3*>(a3.getA1()) == a3.getA3());
835     assert(dynamic_cast<A3*>(a3.getA2()) == a3.getA3());
836     assert(dynamic_cast<A3*>(a3.getA3()) == a3.getA3());
837     assert(dynamic_cast<A3*>(a4.getA1()) == 0);
838     assert(dynamic_cast<A3*>(a4.getA2()) == 0);
839     assert(dynamic_cast<A3*>(a4.getA4()) == 0);
840     assert(dynamic_cast<A3*>(a5.getA14()) == 0);
841     assert(dynamic_cast<A3*>(a5.getA13()) == a5.getA3());
842     assert(dynamic_cast<A3*>(a5.getA2()) == a5.getA3());
843     assert(dynamic_cast<A3*>(a5.getA3()) == a5.getA3());
844     assert(dynamic_cast<A3*>(a5.getA4()) == a5.getA3());
845     assert(dynamic_cast<A3*>(a5.getA5()) == a5.getA3());
846 
847     assert(dynamic_cast<A4*>(a1.getA1()) == 0);
848     assert(dynamic_cast<A4*>(a2.getA2()) == 0);
849     assert(dynamic_cast<A4*>(a3.getA1()) == 0);
850     assert(dynamic_cast<A4*>(a3.getA2()) == 0);
851     assert(dynamic_cast<A4*>(a3.getA3()) == 0);
852     assert(dynamic_cast<A4*>(a4.getA1()) == 0);
853     assert(dynamic_cast<A4*>(a4.getA2()) == a4.getA4());
854     assert(dynamic_cast<A4*>(a4.getA4()) == a4.getA4());
855     assert(dynamic_cast<A4*>(a5.getA14()) == 0);
856     assert(dynamic_cast<A4*>(a5.getA13()) == a5.getA4());
857     assert(dynamic_cast<A4*>(a5.getA2()) == a5.getA4());
858     assert(dynamic_cast<A4*>(a5.getA3()) == a5.getA4());
859     assert(dynamic_cast<A4*>(a5.getA4()) == a5.getA4());
860     assert(dynamic_cast<A4*>(a5.getA5()) == a5.getA4());
861 
862     assert(dynamic_cast<A5*>(a1.getA1()) == 0);
863     assert(dynamic_cast<A5*>(a2.getA2()) == 0);
864     assert(dynamic_cast<A5*>(a3.getA1()) == 0);
865     assert(dynamic_cast<A5*>(a3.getA2()) == 0);
866     assert(dynamic_cast<A5*>(a3.getA3()) == 0);
867     assert(dynamic_cast<A5*>(a4.getA1()) == 0);
868     assert(dynamic_cast<A5*>(a4.getA2()) == 0);
869     assert(dynamic_cast<A5*>(a4.getA4()) == 0);
870     assert(dynamic_cast<A5*>(a5.getA14()) == 0);
871     assert(dynamic_cast<A5*>(a5.getA13()) == a5.getA5());
872     assert(dynamic_cast<A5*>(a5.getA2()) == a5.getA5());
873     assert(dynamic_cast<A5*>(a5.getA3()) == a5.getA5());
874     assert(dynamic_cast<A5*>(a5.getA4()) == a5.getA5());
875     assert(dynamic_cast<A5*>(a5.getA5()) == a5.getA5());
876 }
877 
878 }  // t6
879 
880 namespace t7
881 {
882 
883 struct A1
884 {
885     char _[43981];
886     virtual ~A1() {}
887 
888     A1* getA1() {return this;}
889 };
890 
891 struct A2
892 {
893     char _[34981];
894     virtual ~A2() {}
895 
896     A2* getA2() {return this;}
897 };
898 
899 struct A3
900     : public A1,
901       public virtual A2
902 {
903     char _[93481];
904     virtual ~A3() {}
905 
906     A1* getA1() {return A1::getA1();}
907     A2* getA2() {return A2::getA2();}
908     A3* getA3() {return this;}
909 };
910 
911 struct A4
912     : public A1,
913       protected virtual A2
914 {
915     char _[13489];
916     virtual ~A4() {}
917 
918     A1* getA1() {return A1::getA1();}
919     A2* getA2() {return A2::getA2();}
920     A4* getA4() {return this;}
921 };
922 
923 struct A5
924     : public A3,
925       public A4
926 {
927     char _[41389];
928     virtual ~A5() {}
929 
930     A1* getA14() {return A4::getA1();}
931     A1* getA13() {return A3::getA1();}
932     A2* getA2() {return A4::getA2();}
933     A3* getA3() {return A3::getA3();}
934     A4* getA4() {return A4::getA4();}
935     A5* getA5() {return this;}
936 };
937 
938 void test()
939 {
940     A1 a1;
941     A2 a2;
942     A3 a3;
943     A4 a4;
944     A5 a5;
945 
946     assert(dynamic_cast<A1*>(a1.getA1()) == a1.getA1());
947     assert(dynamic_cast<A1*>(a2.getA2()) == 0);
948     assert(dynamic_cast<A1*>(a3.getA1()) == a3.getA1());
949     assert(dynamic_cast<A1*>(a3.getA2()) == a3.getA1());
950     assert(dynamic_cast<A1*>(a3.getA3()) == a3.getA1());
951     assert(dynamic_cast<A1*>(a4.getA1()) == a4.getA1());
952     assert(dynamic_cast<A1*>(a4.getA2()) == 0);
953     assert(dynamic_cast<A1*>(a4.getA4()) == a4.getA1());
954     assert(dynamic_cast<A1*>(a5.getA14()) == a5.getA14());
955     assert(dynamic_cast<A1*>(a5.getA13()) == a5.getA13());
956     assert(dynamic_cast<A1*>(a5.getA2()) == 0);
957     assert(dynamic_cast<A1*>(a5.getA3()) == a5.getA13());
958     assert(dynamic_cast<A1*>(a5.getA4()) == a5.getA14());
959 
960     assert(dynamic_cast<A2*>(a1.getA1()) == 0);
961     assert(dynamic_cast<A2*>(a2.getA2()) == a2.getA2());
962     assert(dynamic_cast<A2*>(a3.getA1()) == a3.getA2());
963     assert(dynamic_cast<A2*>(a3.getA2()) == a3.getA2());
964     assert(dynamic_cast<A2*>(a3.getA3()) == a3.getA2());
965     assert(dynamic_cast<A2*>(a4.getA1()) == 0);
966     assert(dynamic_cast<A2*>(a4.getA2()) == a4.getA2());
967 //    assert(dynamic_cast<A2*>(a4.getA4()) == a4.getA2());  // cast to protected base
968     assert(dynamic_cast<A2*>(a5.getA14()) == a5.getA2());
969     assert(dynamic_cast<A2*>(a5.getA13()) == a5.getA2());
970     assert(dynamic_cast<A2*>(a5.getA2()) == a5.getA2());
971     assert(dynamic_cast<A2*>(a5.getA3()) == a5.getA2());
972 //    assert(dynamic_cast<A2*>(a5.getA4()) == a5.getA2());  // cast to protected base
973     assert(dynamic_cast<A2*>(a5.getA5()) == a5.getA2());
974 
975     assert(dynamic_cast<A3*>(a1.getA1()) == 0);
976     assert(dynamic_cast<A3*>(a2.getA2()) == 0);
977     assert(dynamic_cast<A3*>(a3.getA1()) == a3.getA3());
978     assert(dynamic_cast<A3*>(a3.getA2()) == a3.getA3());
979     assert(dynamic_cast<A3*>(a3.getA3()) == a3.getA3());
980     assert(dynamic_cast<A3*>(a4.getA1()) == 0);
981     assert(dynamic_cast<A3*>(a4.getA2()) == 0);
982     assert(dynamic_cast<A3*>(a4.getA4()) == 0);
983     assert(dynamic_cast<A3*>(a5.getA14()) == a5.getA3());
984     assert(dynamic_cast<A3*>(a5.getA13()) == a5.getA3());
985     assert(dynamic_cast<A3*>(a5.getA2()) == a5.getA3());
986     assert(dynamic_cast<A3*>(a5.getA3()) == a5.getA3());
987     assert(dynamic_cast<A3*>(a5.getA4()) == a5.getA3());
988     assert(dynamic_cast<A3*>(a5.getA5()) == a5.getA3());
989 
990     assert(dynamic_cast<A4*>(a1.getA1()) == 0);
991     assert(dynamic_cast<A4*>(a2.getA2()) == 0);
992     assert(dynamic_cast<A4*>(a3.getA1()) == 0);
993     assert(dynamic_cast<A4*>(a3.getA2()) == 0);
994     assert(dynamic_cast<A4*>(a3.getA3()) == 0);
995     assert(dynamic_cast<A4*>(a4.getA1()) == a4.getA4());
996     assert(dynamic_cast<A4*>(a4.getA2()) == 0);
997     assert(dynamic_cast<A4*>(a4.getA4()) == a4.getA4());
998     assert(dynamic_cast<A4*>(a5.getA14()) == a5.getA4());
999     assert(dynamic_cast<A4*>(a5.getA13()) == a5.getA4());
1000     assert(dynamic_cast<A4*>(a5.getA2()) == a5.getA4());
1001     assert(dynamic_cast<A4*>(a5.getA3()) == a5.getA4());
1002     assert(dynamic_cast<A4*>(a5.getA4()) == a5.getA4());
1003     assert(dynamic_cast<A4*>(a5.getA5()) == a5.getA4());
1004 
1005     assert(dynamic_cast<A5*>(a1.getA1()) == 0);
1006     assert(dynamic_cast<A5*>(a2.getA2()) == 0);
1007     assert(dynamic_cast<A5*>(a3.getA1()) == 0);
1008     assert(dynamic_cast<A5*>(a3.getA2()) == 0);
1009     assert(dynamic_cast<A5*>(a3.getA3()) == 0);
1010     assert(dynamic_cast<A5*>(a4.getA1()) == 0);
1011     assert(dynamic_cast<A5*>(a4.getA2()) == 0);
1012     assert(dynamic_cast<A5*>(a4.getA4()) == 0);
1013     assert(dynamic_cast<A5*>(a5.getA14()) == a5.getA5());
1014     assert(dynamic_cast<A5*>(a5.getA13()) == a5.getA5());
1015     assert(dynamic_cast<A5*>(a5.getA2()) == a5.getA5());
1016     assert(dynamic_cast<A5*>(a5.getA3()) == a5.getA5());
1017     assert(dynamic_cast<A5*>(a5.getA4()) == a5.getA5());
1018     assert(dynamic_cast<A5*>(a5.getA5()) == a5.getA5());
1019 }
1020 
1021 }  // t7
1022 
1023 namespace t8
1024 {
1025 
1026 struct A1
1027 {
1028     char _[43981];
1029     virtual ~A1() {}
1030 
1031     A1* getA1() {return this;}
1032 };
1033 
1034 struct A2
1035 {
1036     char _[34981];
1037     virtual ~A2() {}
1038 
1039     A2* getA2() {return this;}
1040 };
1041 
1042 struct A3
1043     : public A1,
1044       public virtual A2
1045 {
1046     char _[93481];
1047     virtual ~A3() {}
1048 
1049     A1* getA1() {return A1::getA1();}
1050     A2* getA2() {return A2::getA2();}
1051     A3* getA3() {return this;}
1052 };
1053 
1054 struct A4
1055     : public A1,
1056       public virtual A2
1057 {
1058     char _[13489];
1059     virtual ~A4() {}
1060 
1061     A1* getA1() {return A1::getA1();}
1062     A2* getA2() {return A2::getA2();}
1063     A4* getA4() {return this;}
1064 };
1065 
1066 struct A5
1067     : protected A3,
1068       public A4
1069 {
1070     char _[41389];
1071     virtual ~A5() {}
1072 
1073     A1* getA14() {return A4::getA1();}
1074     A1* getA13() {return A3::getA1();}
1075     A2* getA2() {return A4::getA2();}
1076     A3* getA3() {return A3::getA3();}
1077     A4* getA4() {return A4::getA4();}
1078     A5* getA5() {return this;}
1079 };
1080 
1081 void test()
1082 {
1083     A1 a1;
1084     A2 a2;
1085     A3 a3;
1086     A4 a4;
1087     A5 a5;
1088 
1089     assert(dynamic_cast<A1*>(a1.getA1()) == a1.getA1());
1090     assert(dynamic_cast<A1*>(a2.getA2()) == 0);
1091     assert(dynamic_cast<A1*>(a3.getA1()) == a3.getA1());
1092     assert(dynamic_cast<A1*>(a3.getA2()) == a3.getA1());
1093     assert(dynamic_cast<A1*>(a3.getA3()) == a3.getA1());
1094     assert(dynamic_cast<A1*>(a4.getA1()) == a4.getA1());
1095     assert(dynamic_cast<A1*>(a4.getA2()) == a4.getA1());
1096     assert(dynamic_cast<A1*>(a4.getA4()) == a4.getA1());
1097     assert(dynamic_cast<A1*>(a5.getA14()) == a5.getA14());
1098     assert(dynamic_cast<A1*>(a5.getA13()) == a5.getA13());
1099     assert(dynamic_cast<A1*>(a5.getA2()) == 0);
1100     assert(dynamic_cast<A1*>(a5.getA3()) == a5.getA13());
1101     assert(dynamic_cast<A1*>(a5.getA4()) == a5.getA14());
1102 
1103     assert(dynamic_cast<A2*>(a1.getA1()) == 0);
1104     assert(dynamic_cast<A2*>(a2.getA2()) == a2.getA2());
1105     assert(dynamic_cast<A2*>(a3.getA1()) == a3.getA2());
1106     assert(dynamic_cast<A2*>(a3.getA2()) == a3.getA2());
1107     assert(dynamic_cast<A2*>(a3.getA3()) == a3.getA2());
1108     assert(dynamic_cast<A2*>(a4.getA1()) == a4.getA2());
1109     assert(dynamic_cast<A2*>(a4.getA2()) == a4.getA2());
1110     assert(dynamic_cast<A2*>(a4.getA4()) == a4.getA2());
1111     assert(dynamic_cast<A2*>(a5.getA14()) == a5.getA2());
1112     assert(dynamic_cast<A2*>(a5.getA13()) == 0);
1113     assert(dynamic_cast<A2*>(a5.getA2()) == a5.getA2());
1114     assert(dynamic_cast<A2*>(a5.getA3()) == a5.getA2());
1115     assert(dynamic_cast<A2*>(a5.getA4()) == a5.getA2());
1116     assert(dynamic_cast<A2*>(a5.getA5()) == a5.getA2());
1117 
1118     assert(dynamic_cast<A3*>(a1.getA1()) == 0);
1119     assert(dynamic_cast<A3*>(a2.getA2()) == 0);
1120     assert(dynamic_cast<A3*>(a3.getA1()) == a3.getA3());
1121     assert(dynamic_cast<A3*>(a3.getA2()) == a3.getA3());
1122     assert(dynamic_cast<A3*>(a3.getA3()) == a3.getA3());
1123     assert(dynamic_cast<A3*>(a4.getA1()) == 0);
1124     assert(dynamic_cast<A3*>(a4.getA2()) == 0);
1125     assert(dynamic_cast<A3*>(a4.getA4()) == 0);
1126     assert(dynamic_cast<A3*>(a5.getA14()) == 0);
1127     assert(dynamic_cast<A3*>(a5.getA13()) == a5.getA3());
1128     assert(dynamic_cast<A3*>(a5.getA2()) == a5.getA3());
1129     assert(dynamic_cast<A3*>(a5.getA3()) == a5.getA3());
1130     assert(dynamic_cast<A3*>(a5.getA4()) == 0);
1131 //    assert(dynamic_cast<A3*>(a5.getA5()) == a5.getA3());  // cast to protected base
1132 
1133     assert(dynamic_cast<A4*>(a1.getA1()) == 0);
1134     assert(dynamic_cast<A4*>(a2.getA2()) == 0);
1135     assert(dynamic_cast<A4*>(a3.getA1()) == 0);
1136     assert(dynamic_cast<A4*>(a3.getA2()) == 0);
1137     assert(dynamic_cast<A4*>(a3.getA3()) == 0);
1138     assert(dynamic_cast<A4*>(a4.getA1()) == a4.getA4());
1139     assert(dynamic_cast<A4*>(a4.getA2()) == a4.getA4());
1140     assert(dynamic_cast<A4*>(a4.getA4()) == a4.getA4());
1141     assert(dynamic_cast<A4*>(a5.getA14()) == a5.getA4());
1142     assert(dynamic_cast<A4*>(a5.getA13()) == 0);
1143     assert(dynamic_cast<A4*>(a5.getA2()) == a5.getA4());
1144     assert(dynamic_cast<A4*>(a5.getA3()) == 0);
1145     assert(dynamic_cast<A4*>(a5.getA4()) == a5.getA4());
1146     assert(dynamic_cast<A4*>(a5.getA5()) == a5.getA4());
1147 
1148     assert(dynamic_cast<A5*>(a1.getA1()) == 0);
1149     assert(dynamic_cast<A5*>(a2.getA2()) == 0);
1150     assert(dynamic_cast<A5*>(a3.getA1()) == 0);
1151     assert(dynamic_cast<A5*>(a3.getA2()) == 0);
1152     assert(dynamic_cast<A5*>(a3.getA3()) == 0);
1153     assert(dynamic_cast<A5*>(a4.getA1()) == 0);
1154     assert(dynamic_cast<A5*>(a4.getA2()) == 0);
1155     assert(dynamic_cast<A5*>(a4.getA4()) == 0);
1156     assert(dynamic_cast<A5*>(a5.getA14()) == a5.getA5());
1157     assert(dynamic_cast<A5*>(a5.getA13()) == 0);
1158     assert(dynamic_cast<A5*>(a5.getA2()) == a5.getA5());
1159     assert(dynamic_cast<A5*>(a5.getA3()) == 0);
1160     assert(dynamic_cast<A5*>(a5.getA4()) == a5.getA5());
1161     assert(dynamic_cast<A5*>(a5.getA5()) == a5.getA5());
1162 }
1163 
1164 }  // t8
1165 
1166 namespace t9
1167 {
1168 
1169 struct A1
1170 {
1171     char _[43981];
1172     virtual ~A1() {}
1173 
1174     A1* getA1() {return this;}
1175 };
1176 
1177 struct A2
1178 {
1179     char _[34981];
1180     virtual ~A2() {}
1181 
1182     A2* getA2() {return this;}
1183 };
1184 
1185 struct A3
1186     : public A1,
1187       public virtual A2
1188 {
1189     char _[93481];
1190     virtual ~A3() {}
1191 
1192     A1* getA1() {return A1::getA1();}
1193     A2* getA2() {return A2::getA2();}
1194     A3* getA3() {return this;}
1195 };
1196 
1197 struct A4
1198     : public A1,
1199       public virtual A2
1200 {
1201     char _[13489];
1202     virtual ~A4() {}
1203 
1204     A1* getA1() {return A1::getA1();}
1205     A2* getA2() {return A2::getA2();}
1206     A4* getA4() {return this;}
1207 };
1208 
1209 struct A5
1210     : public A3,
1211       protected A4
1212 {
1213     char _[41389];
1214     virtual ~A5() {}
1215 
1216     A1* getA14() {return A4::getA1();}
1217     A1* getA13() {return A3::getA1();}
1218     A2* getA2() {return A4::getA2();}
1219     A3* getA3() {return A3::getA3();}
1220     A4* getA4() {return A4::getA4();}
1221     A5* getA5() {return this;}
1222 };
1223 
1224 void test()
1225 {
1226     A1 a1;
1227     A2 a2;
1228     A3 a3;
1229     A4 a4;
1230     A5 a5;
1231 
1232     assert(dynamic_cast<A1*>(a1.getA1()) == a1.getA1());
1233     assert(dynamic_cast<A1*>(a2.getA2()) == 0);
1234     assert(dynamic_cast<A1*>(a3.getA1()) == a3.getA1());
1235     assert(dynamic_cast<A1*>(a3.getA2()) == a3.getA1());
1236     assert(dynamic_cast<A1*>(a3.getA3()) == a3.getA1());
1237     assert(dynamic_cast<A1*>(a4.getA1()) == a4.getA1());
1238     assert(dynamic_cast<A1*>(a4.getA2()) == a4.getA1());
1239     assert(dynamic_cast<A1*>(a4.getA4()) == a4.getA1());
1240     assert(dynamic_cast<A1*>(a5.getA14()) == a5.getA14());
1241     assert(dynamic_cast<A1*>(a5.getA13()) == a5.getA13());
1242     assert(dynamic_cast<A1*>(a5.getA2()) == 0);
1243     assert(dynamic_cast<A1*>(a5.getA3()) == a5.getA13());
1244     assert(dynamic_cast<A1*>(a5.getA4()) == a5.getA14());
1245 
1246     assert(dynamic_cast<A2*>(a1.getA1()) == 0);
1247     assert(dynamic_cast<A2*>(a2.getA2()) == a2.getA2());
1248     assert(dynamic_cast<A2*>(a3.getA1()) == a3.getA2());
1249     assert(dynamic_cast<A2*>(a3.getA2()) == a3.getA2());
1250     assert(dynamic_cast<A2*>(a3.getA3()) == a3.getA2());
1251     assert(dynamic_cast<A2*>(a4.getA1()) == a4.getA2());
1252     assert(dynamic_cast<A2*>(a4.getA2()) == a4.getA2());
1253     assert(dynamic_cast<A2*>(a4.getA4()) == a4.getA2());
1254     assert(dynamic_cast<A2*>(a5.getA14()) == 0);
1255     assert(dynamic_cast<A2*>(a5.getA13()) == a5.getA2());
1256     assert(dynamic_cast<A2*>(a5.getA2()) == a5.getA2());
1257     assert(dynamic_cast<A2*>(a5.getA3()) == a5.getA2());
1258     assert(dynamic_cast<A2*>(a5.getA4()) == a5.getA2());
1259     assert(dynamic_cast<A2*>(a5.getA5()) == a5.getA2());
1260 
1261     assert(dynamic_cast<A3*>(a1.getA1()) == 0);
1262     assert(dynamic_cast<A3*>(a2.getA2()) == 0);
1263     assert(dynamic_cast<A3*>(a3.getA1()) == a3.getA3());
1264     assert(dynamic_cast<A3*>(a3.getA2()) == a3.getA3());
1265     assert(dynamic_cast<A3*>(a3.getA3()) == a3.getA3());
1266     assert(dynamic_cast<A3*>(a4.getA1()) == 0);
1267     assert(dynamic_cast<A3*>(a4.getA2()) == 0);
1268     assert(dynamic_cast<A3*>(a4.getA4()) == 0);
1269     assert(dynamic_cast<A3*>(a5.getA14()) == 0);
1270     assert(dynamic_cast<A3*>(a5.getA13()) == a5.getA3());
1271     assert(dynamic_cast<A3*>(a5.getA2()) == a5.getA3());
1272     assert(dynamic_cast<A3*>(a5.getA3()) == a5.getA3());
1273     assert(dynamic_cast<A3*>(a5.getA4()) == 0);
1274     assert(dynamic_cast<A3*>(a5.getA5()) == a5.getA3());
1275 
1276     assert(dynamic_cast<A4*>(a1.getA1()) == 0);
1277     assert(dynamic_cast<A4*>(a2.getA2()) == 0);
1278     assert(dynamic_cast<A4*>(a3.getA1()) == 0);
1279     assert(dynamic_cast<A4*>(a3.getA2()) == 0);
1280     assert(dynamic_cast<A4*>(a3.getA3()) == 0);
1281     assert(dynamic_cast<A4*>(a4.getA1()) == a4.getA4());
1282     assert(dynamic_cast<A4*>(a4.getA2()) == a4.getA4());
1283     assert(dynamic_cast<A4*>(a4.getA4()) == a4.getA4());
1284     assert(dynamic_cast<A4*>(a5.getA14()) == a5.getA4());
1285     assert(dynamic_cast<A4*>(a5.getA13()) == 0);
1286     assert(dynamic_cast<A4*>(a5.getA2()) == a5.getA4());
1287     assert(dynamic_cast<A4*>(a5.getA3()) == 0);
1288     assert(dynamic_cast<A4*>(a5.getA4()) == a5.getA4());
1289 //    assert(dynamic_cast<A4*>(a5.getA5()) == a5.getA4());  // cast to protected base
1290 
1291     assert(dynamic_cast<A5*>(a1.getA1()) == 0);
1292     assert(dynamic_cast<A5*>(a2.getA2()) == 0);
1293     assert(dynamic_cast<A5*>(a3.getA1()) == 0);
1294     assert(dynamic_cast<A5*>(a3.getA2()) == 0);
1295     assert(dynamic_cast<A5*>(a3.getA3()) == 0);
1296     assert(dynamic_cast<A5*>(a4.getA1()) == 0);
1297     assert(dynamic_cast<A5*>(a4.getA2()) == 0);
1298     assert(dynamic_cast<A5*>(a4.getA4()) == 0);
1299     assert(dynamic_cast<A5*>(a5.getA14()) == 0);
1300     assert(dynamic_cast<A5*>(a5.getA13()) == a5.getA5());
1301     assert(dynamic_cast<A5*>(a5.getA2()) == a5.getA5());
1302     assert(dynamic_cast<A5*>(a5.getA3()) == a5.getA5());
1303     assert(dynamic_cast<A5*>(a5.getA4()) == 0);
1304     assert(dynamic_cast<A5*>(a5.getA5()) == a5.getA5());
1305 }
1306 
1307 }  // t9
1308 
1309 
1310 int main(int, char**)
1311 {
1312     timer t;
1313     t1::test();
1314     t2::test();
1315     t3::test();
1316     t4::test();
1317     t5::test();
1318     t6::test();
1319     t7::test();
1320     t8::test();
1321     t9::test();
1322 
1323     return 0;
1324 }
1325