blob: 91c42629099ed2e18a8bc41dc81a0d8485a6a4f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
// { dg-do run }
// { dg-options "-w" }
// test of rtti of single inheritance and multiple inheritance with
// virtual inheritance
// dynamic casting
#include <typeinfo>
extern "C" {
int printf(const char *, ...);
void exit(int);
}
class X {
public:
int xi;
virtual int f() {};
};
class Y : public virtual X {
short ys;
};
class Z : public virtual Y {
int zi;
};
Z z;
Y y;
Y *yp = &z;
X *xp = &z;
Z *zp = &z;
class A {
public:
int Ai;
virtual int a() {};
};
class B {
public:
int Bi;
virtual int g() {};
};
class D : public virtual A, private B {
int Di;
};
class E : public virtual D, public B {
int Ei;
};
class F : public E, public virtual D {
int Fi;
};
D d;
A *ap = &d;
B *bp = (B *)&d;
F f;
F *fp = &f;
A *aap = &f;
D *dp = &f;
E *ep = &f;
B *bbp = (B *)dp;
void *vp = zp;
/*
void error (int i)
{
printf("FAIL\n");
exit(i);
}
*/
void error (int i)
{
exit(i);
}
int main ()
{
vp = (void *)0;
vp = dynamic_cast<Y *> (&z);
if (vp == 0) error(11);
vp = dynamic_cast<Z *> (yp);
if (vp == 0) error(11);
vp = dynamic_cast<X *> (yp);
if (vp == 0) error(12);
vp = dynamic_cast<D *> (dp);
if (vp != (void *)dp) error(21);
// Ill-formed: dynamic_cast to private or ambiguous base
// vp = dynamic_cast<B *> (dp);
// if (vp == (void *)dp) error(21);
// vp = dynamic_cast<B *> (fp);
// if (vp == (void *)bbp) error(22);
vp = dynamic_cast<void *> (aap);
if (vp != (void *)fp) error(23);
vp = dynamic_cast<B *> (aap);
if (vp == (void *)bbp) error(24);
}
|
