+++ /dev/null
-// Copyright (C) 1999, 2000 Free Software Foundation, Inc.
-// Contributed by Nathan Sidwell 6 Jun 1999 <nathan@acm.org>
-
-// We cannot catch an ambiguous base class.
-// -- public, << private, == virtual
-
-// D--B--A
-// +--C<<A
-
-// Special g++ Options: -w
-
-struct A { int m; };
-struct B : A { int m; };
-struct C : private A { int m; };
-struct D : B, C { 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; }
-
-extern "C" void abort();
-
-void check(D *d)
-{
- int caught;
-
- // try with whole object
- caught = 0;
- try { fnd(d); }
- catch(A *p) { abort(); } // A is ambiguous
- catch(D *p) { caught = 1; if (p != d) abort();}
- catch(...) { abort(); }
- if (!caught) abort();
-
- caught = 0;
- try { fnd(d); }
- catch(A *p) { abort(); } // A is ambiguous
- catch(B *p) { caught = 1; if (p != d) abort();}
- catch(...) { abort(); }
- if (!caught) abort();
-
- caught = 0;
- try { fnd(d); }
- catch(A *p) { abort(); } // A is ambiguous
- catch(C *p) { caught = 1; if (p != d) abort();}
- catch(...) { abort(); }
- if (!caught) abort();
-
- // try with an A object
- caught = 0;
- try { fna((B *)d); }
- catch(B *p) { abort(); } // throw type is static type
- catch(A *p) { caught = 1; if (p != (B *)d) abort();}
- catch(...) { abort(); }
- if (!caught) abort();
-
- caught = 0;
- try { fna((A *)(C *)d); }
- catch(C *p) { abort(); } // throw type is static type
- catch(A *p) { caught = 1; if (p != (A *)(C *)d) abort();}
- catch(...) { abort(); }
- if (!caught) abort();
-
- // try with B object
- caught = 0;
- try { fnb((B *)d); }
- catch(A *p) { caught = 1; if (p != (B *)d) abort();}
- catch(...) { abort(); }
- if (!caught) abort();
-
- caught = 0;
- try { fnb((B *)d); }
- catch(B *p) { caught = 1; if (p != d) abort();}
- catch(...) { abort(); }
- if (!caught) abort();
-
- caught = 0;
- try { fnb((B *)d); }
- catch(C *p) { abort(); }
- catch(D *p) { abort(); }
- catch(...) { caught =1; }
- if (!caught) abort();
-
- caught = 0;
- try { fnc((C *)d); }
- catch(A *p) { abort();}
- catch(C *p) { caught = 1; if (p != d) abort();}
- catch(...) { abort(); }
- if (!caught) abort();
-
- caught = 0;
- try { fnc((C *)d); }
- catch(B *p) { abort(); }
- catch(D *p) { abort(); }
- catch(...) { caught =1; }
- if (!caught) abort();
-
- return;
-}
-
-int main ()
-{
- D d;
- check (&d); // try with an object
- check ((D *)0); // try with no object
-
- return 0;
-}