URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [g++.old-deja/] [g++.eh/] [catch7p.C] - Blame information for rev 699

Details | Compare with Previous | View Log


// { dg-do run  }
// { dg-options "-w" }
// Copyright (C) 1999, 2000 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 29 Aug 1999 
 
// We cannot catch an ambiguous base class.
// -- public, << private, == virtual
 
// different levels
// F--D--B--A
//    +--C--A
// +--E--A
 
 
struct A { int m; virtual ~A(){}};
struct B : A { int m; };
struct C : A { int m; };
struct D : B, C { int m; };
struct E : A { int m; };
struct F : D, E { int m; };
 
void fna(A *obj) { throw obj; }
void fnb(B *obj) { throw obj; }
void fnc(C *obj) { throw obj; }
void fnd(D *obj) { throw obj; }
void fne(E *obj) { throw obj; }
void fnf(F *obj) { throw obj; }
 
extern "C" void abort();
 
void check(F *f)
{
  int caught;
 
  // try with whole object
  caught = 0;
  try { fnf(f); }
  catch(A *p) { abort(); } // A is ambiguous
  catch(F *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnf(f); }
  catch(A *p) { abort(); } // A is ambiguous
  catch(E *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnf(f); }
  catch(A *p) { abort(); } // A is ambiguous
  catch(D *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnf(f); }
  catch(A *p) { abort(); } // A is ambiguous
  catch(B *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnf(f); }
  catch(A *p) { abort(); } // A is ambiguous
  catch(C *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  // try with D object
  caught = 0;
  try { fnd(f); }
  catch(A *p) { abort(); } // A is ambiguous
  catch(D *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnd(f); }
  catch(A *p) { abort(); } // A is ambiguous
  catch(B *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnd(f); }
  catch(A *p) { abort(); } // A is ambiguous
  catch(C *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  // try with E object
  caught = 0;
  try { fne(f); }
  catch(A *p) { caught = 1; if (p != (E *)f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fne(f); }
  catch(E *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fne(f); }
  catch(F *p) { abort(); }
  catch(...) { caught = 1; }
  if (!caught) abort();
 
  // try with an A object
  caught = 0;
  try { fna((B *)f); }
  catch(B *p) { abort(); } // throw type is static type
  catch(A *p) { caught = 1; if (p != (B *)f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fna((C *)f); }
  catch(C *p) { abort(); } // throw type is static type
  catch(A *p) { caught = 1; if (p != (C *)f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fna((E *)f); }
  catch(E *p) { abort(); } // throw type is static type
  catch(A *p) { caught = 1; if (p != (E *)f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  // try with B object
  caught = 0;
  try { fnb((B *)f); }
  catch(A *p) { caught = 1; if (p != (B *)f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnb((B *)f); }
  catch(B *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnb((B *)f); }
  catch(C *p) { abort(); }
  catch(D *p) { abort(); }
  catch(...) { caught =1; }
  if (!caught) abort();
 
  // try with C object
  caught = 0;
  try { fnc((C *)f); }
  catch(A *p) { caught = 1; if (p != (C *)f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnc((C *)f); }
  catch(C *p) { caught = 1; if (p != f) abort();}
  catch(...) { abort(); }
  if (!caught) abort();
 
  caught = 0;
  try { fnc((C *)f); }
  catch(B *p) { abort(); }
  catch(D *p) { abort(); }
  catch(...) { caught =1; }
  if (!caught) abort();
 
  return;
}
 
int main ()
{
  F f;
  check (&f); // try with an object
  check ((F *)0); // try with no object
 
  return 0;
}

Line No.	Rev	Author	Line
1	699	jeremybenn	`// { dg-do run }`
2			`// { dg-options "-w" }`
3			`// Copyright (C) 1999, 2000 Free Software Foundation, Inc.`
4			`// Contributed by Nathan Sidwell 29 Aug 1999`
5
6			`// We cannot catch an ambiguous base class.`
7			`// -- public, << private, == virtual`
8
9			`// different levels`
10			`// F--D--B--A`
11			`// +--C--A`
12			`// +--E--A`
13
14
15			`struct A { int m; virtual ~A(){}};`
16			`struct B : A { int m; };`
17			`struct C : A { int m; };`
18			`struct D : B, C { int m; };`
19			`struct E : A { int m; };`
20			`struct F : D, E { int m; };`
21
22			`void fna(A *obj) { throw obj; }`
23			`void fnb(B *obj) { throw obj; }`
24			`void fnc(C *obj) { throw obj; }`
25			`void fnd(D *obj) { throw obj; }`
26			`void fne(E *obj) { throw obj; }`
27			`void fnf(F *obj) { throw obj; }`
28
29			`extern "C" void abort();`
30
31			`void check(F *f)`
32			`{`
33			`int caught;`
34
35			`// try with whole object`
36			`caught = 0;`
37			`try { fnf(f); }`
38			`catch(A *p) { abort(); } // A is ambiguous`
39			`catch(F *p) { caught = 1; if (p != f) abort();}`
40			`catch(...) { abort(); }`
41			`if (!caught) abort();`
42
43			`caught = 0;`
44			`try { fnf(f); }`
45			`catch(A *p) { abort(); } // A is ambiguous`
46			`catch(E *p) { caught = 1; if (p != f) abort();}`
47			`catch(...) { abort(); }`
48			`if (!caught) abort();`
49
50			`caught = 0;`
51			`try { fnf(f); }`
52			`catch(A *p) { abort(); } // A is ambiguous`
53			`catch(D *p) { caught = 1; if (p != f) abort();}`
54			`catch(...) { abort(); }`
55			`if (!caught) abort();`
56
57			`caught = 0;`
58			`try { fnf(f); }`
59			`catch(A *p) { abort(); } // A is ambiguous`
60			`catch(B *p) { caught = 1; if (p != f) abort();}`
61			`catch(...) { abort(); }`
62			`if (!caught) abort();`
63
64			`caught = 0;`
65			`try { fnf(f); }`
66			`catch(A *p) { abort(); } // A is ambiguous`
67			`catch(C *p) { caught = 1; if (p != f) abort();}`
68			`catch(...) { abort(); }`
69			`if (!caught) abort();`
70
71			`// try with D object`
72			`caught = 0;`
73			`try { fnd(f); }`
74			`catch(A *p) { abort(); } // A is ambiguous`
75			`catch(D *p) { caught = 1; if (p != f) abort();}`
76			`catch(...) { abort(); }`
77			`if (!caught) abort();`
78
79			`caught = 0;`
80			`try { fnd(f); }`
81			`catch(A *p) { abort(); } // A is ambiguous`
82			`catch(B *p) { caught = 1; if (p != f) abort();}`
83			`catch(...) { abort(); }`
84			`if (!caught) abort();`
85
86			`caught = 0;`
87			`try { fnd(f); }`
88			`catch(A *p) { abort(); } // A is ambiguous`
89			`catch(C *p) { caught = 1; if (p != f) abort();}`
90			`catch(...) { abort(); }`
91			`if (!caught) abort();`
92
93			`// try with E object`
94			`caught = 0;`
95			`try { fne(f); }`
96			`catch(A p) { caught = 1; if (p != (E )f) abort();}`
97			`catch(...) { abort(); }`
98			`if (!caught) abort();`
99
100			`caught = 0;`
101			`try { fne(f); }`
102			`catch(E *p) { caught = 1; if (p != f) abort();}`
103			`catch(...) { abort(); }`
104			`if (!caught) abort();`
105
106			`caught = 0;`
107			`try { fne(f); }`
108			`catch(F *p) { abort(); }`
109			`catch(...) { caught = 1; }`
110			`if (!caught) abort();`
111
112			`// try with an A object`
113			`caught = 0;`
114			`try { fna((B *)f); }`
115			`catch(B *p) { abort(); } // throw type is static type`
116			`catch(A p) { caught = 1; if (p != (B )f) abort();}`
117			`catch(...) { abort(); }`
118			`if (!caught) abort();`
119
120			`caught = 0;`
121			`try { fna((C *)f); }`
122			`catch(C *p) { abort(); } // throw type is static type`
123			`catch(A p) { caught = 1; if (p != (C )f) abort();}`
124			`catch(...) { abort(); }`
125			`if (!caught) abort();`
126
127			`caught = 0;`
128			`try { fna((E *)f); }`
129			`catch(E *p) { abort(); } // throw type is static type`
130			`catch(A p) { caught = 1; if (p != (E )f) abort();}`
131			`catch(...) { abort(); }`
132			`if (!caught) abort();`
133
134			`// try with B object`
135			`caught = 0;`
136			`try { fnb((B *)f); }`
137			`catch(A p) { caught = 1; if (p != (B )f) abort();}`
138			`catch(...) { abort(); }`
139			`if (!caught) abort();`
140
141			`caught = 0;`
142			`try { fnb((B *)f); }`
143			`catch(B *p) { caught = 1; if (p != f) abort();}`
144			`catch(...) { abort(); }`
145			`if (!caught) abort();`
146
147			`caught = 0;`
148			`try { fnb((B *)f); }`
149			`catch(C *p) { abort(); }`
150			`catch(D *p) { abort(); }`
151			`catch(...) { caught =1; }`
152			`if (!caught) abort();`
153
154			`// try with C object`
155			`caught = 0;`
156			`try { fnc((C *)f); }`
157			`catch(A p) { caught = 1; if (p != (C )f) abort();}`
158			`catch(...) { abort(); }`
159			`if (!caught) abort();`
160
161			`caught = 0;`
162			`try { fnc((C *)f); }`
163			`catch(C *p) { caught = 1; if (p != f) abort();}`
164			`catch(...) { abort(); }`
165			`if (!caught) abort();`
166
167			`caught = 0;`
168			`try { fnc((C *)f); }`
169			`catch(B *p) { abort(); }`
170			`catch(D *p) { abort(); }`
171			`catch(...) { caught =1; }`
172			`if (!caught) abort();`
173
174			`return;`
175			`}`
176
177			`int main ()`
178			`{`
179			`F f;`
180			`check (&f); // try with an object`
181			`check ((F *)0); // try with no object`
182
183			`return 0;`
184			`}`

Browse

Tools

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [g++.old-deja/] [g++.eh/] [catch7p.C] - Blame information for rev 699