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