struct A { int m; };
struct B : virtual A { int m; };
struct C : virtual A { int m; };
struct AA : A { int m; };
struct D : B, C, AA { int m; };
struct E : virtual D { 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 fnaa(AA *obj) { throw obj; }
void fne(E *obj) { throw obj; }
extern "C" void abort();
void check(E *e)
{
int caught;
caught = 0;
try { fne(e); }
catch(A *p) { abort(); } catch(D *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fne(e); }
catch(A *p) { abort(); } catch(B *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fne(e); }
catch(A *p) { abort(); } catch(C *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fne(e); }
catch(A *p) { abort(); } catch(AA *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnd((D *)e); }
catch(A *p) { abort(); } catch(D *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnd((D *)e); }
catch(A *p) { abort(); } catch(B *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnd((D *)e); }
catch(A *p) { abort(); } catch(C *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnd((D *)e); }
catch(A *p) { abort(); } catch(AA *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fna((B *)e); }
catch(B *p) { abort(); } catch(A *p) { caught = 1; if (p != (B *)e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fna((C *)e); }
catch(C *p) { abort(); } catch(A *p) { caught = 1; if (p != (C *)e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fna((AA *)e); }
catch(AA *p) { abort(); } catch(A *p) { caught = 1; if (p != (AA *)e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnb((B *)e); }
catch(A *p) { caught = 1; if (p != (B *)e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnb((B *)e); }
catch(B *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnb((B *)e); }
catch(C *p) { abort(); }
catch(D *p) { abort(); }
catch(...) { caught =1; }
if (!caught) abort();
caught = 0;
try { fnc((C *)e); }
catch(A *p) { caught = 1; if (p != (C *)e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnc((C *)e); }
catch(C *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnc((C *)e); }
catch(B *p) { abort(); }
catch(D *p) { abort(); }
catch(...) { caught =1; }
if (!caught) abort();
caught = 0;
try { fnaa((AA *)e); }
catch(A *p) { caught = 1; if (p != (AA *)e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnaa((AA *)e); }
catch(AA *p) { caught = 1; if (p != e) abort();}
catch(...) { abort(); }
if (!caught) abort();
caught = 0;
try { fnaa((AA *)e); }
catch(C *p) { abort(); }
catch(B *p) { abort(); }
catch(D *p) { abort(); }
catch(...) { caught =1; }
if (!caught) abort();
return;
}
int main ()
{
E e;
check (&e); check ((E *)0);
return 0;
}