1 // { dg-do run  }
2 // { dg-options "-w" }
3 // Copyright (C) 1999, 2000 Free Software Foundation, Inc.
4 // Contributed by Nathan Sidwell 29 Aug 1999 <nathan@acm.org>
5 
6 // We cannot catch an ambiguous base class. Check with a virtual
7 // polymorphic public DAG.
8 // -- public, << private, == virtual
9 
10 // D--B==A
11 // +--C==A
12 
13 
~AA14 struct A { int m; virtual ~A(){}};
15 struct B : virtual A { int m; };
16 struct C : virtual A { int m; };
17 struct D : B, C { int m; };
18 
fna(A * obj)19 void fna(A *obj) { throw obj; }
fnb(B * obj)20 void fnb(B *obj) { throw obj; }
fnc(C * obj)21 void fnc(C *obj) { throw obj; }
fnd(D * obj)22 void fnd(D *obj) { throw obj; }
23 
24 extern "C" void abort();
25 
check(D * d)26 void check(D *d)
27 {
28   int caught;
29 
30   // try with whole object
31   caught = 0;
32   try { fnd(d); }
33   catch(A *p) { caught = 1; if (p != d) abort();}
34   catch(...) { abort(); }
35   if (!caught) abort();
36 
37   caught = 0;
38   try { fnd(d); }
39   catch(B *p) { caught = 1; if (p != d) abort();}
40   catch(...) { abort(); }
41   if (!caught) abort();
42 
43   caught = 0;
44   try { fnd(d); }
45   catch(C *p) { caught = 1; if (p != d) abort();}
46   catch(...) { abort(); }
47   if (!caught) abort();
48 
49   // try with an A object
50   caught = 0;
51   try { fna((B *)d); }
52   catch(B *p) { abort(); } // throw type is static type
53   catch(A *p) { caught = 1; if (p != d) abort();}
54   catch(...) { abort(); }
55   if (!caught) abort();
56 
57   caught = 0;
58   try { fna((C *)d); }
59   catch(C *p) { abort(); } // throw type is static type
60   catch(A *p) { caught = 1; if (p != d) abort();}
61   catch(...) { abort(); }
62   if (!caught) abort();
63 
64   // try with B object
65   caught = 0;
66   try { fnb((B *)d); }
67   catch(A *p) { caught = 1; if (p != d) abort();}
68   catch(...) { abort(); }
69   if (!caught) abort();
70 
71   caught = 0;
72   try { fnb((B *)d); }
73   catch(B *p) { caught = 1; if (p != d) abort();}
74   catch(...) { abort(); }
75   if (!caught) abort();
76 
77   caught = 0;
78   try { fnb((B *)d); }
79   catch(C *p) { abort(); }
80   catch(D *p) { abort(); }
81   catch(...) { caught =1; }
82   if (!caught) abort();
83 
84   // try with C object
85   caught = 0;
86   try { fnc((C *)d); }
87   catch(A *p) { caught = 1; if (p != d) abort();}
88   catch(...) { abort(); }
89   if (!caught) abort();
90 
91   caught = 0;
92   try { fnc((C *)d); }
93   catch(C *p) { caught = 1; if (p != d) abort();}
94   catch(...) { abort(); }
95   if (!caught) abort();
96 
97   caught = 0;
98   try { fnc((C *)d); }
99   catch(B *p) { abort(); }
100   catch(D *p) { abort(); }
101   catch(...) { caught =1; }
102   if (!caught) abort();
103 
104   return;
105 }
106 
main()107 int main ()
108 {
109   D d;
110   check (&d); // try with an object
111   check ((D *)0); // try with no object
112 
113   return 0;
114 }
115