gcc/testsuite/g++.old-deja/g++.eh/catch9.C

   1 // Copyright (C) 1999 Free Software Foundation, Inc.
   2 // Contributed by Nathan Sidwell 29 Aug 1999 <nathan@acm.org>
   3
   4 // We cannot catch an ambiguous base class.
   5 // -- public, << private, == virtual
   6
   7 // D==B--A
   8 // +==C--A
   9
  10 struct A { int m; };
  11 struct B : A { int m; };
  12 struct C : A { int m; };
  13 struct D : virtual B, virtual C { int m; };
  14
  15
  16 void fna(A *obj) { throw obj; }
  17 void fnb(B *obj) { throw obj; }
  18 void fnc(C *obj) { throw obj; }
  19 void fnd(D *obj) { throw obj; }
  20
  21 extern "C" void abort();
  22
  23 void check(D *d)
  24 {
  25   int caught;
  26
  27   // try with whole object
  28   caught = 0;
  29   try { fnd(d); }
  30   catch(A *p) { abort(); } // A is ambiguous
  31   catch(D *p) { caught = 1; if (p != d) abort();}
  32   catch(...) { abort(); }
  33   if (!caught) abort();
  34
  35   caught = 0;
  36   try { fnd(d); }
  37   catch(A *p) { abort(); } // A is ambiguous
  38   catch(B *p) { caught = 1; if (p != d) abort();}
  39   catch(...) { abort(); }
  40   if (!caught) abort();
  41
  42   caught = 0;
  43   try { fnd(d); }
  44   catch(A *p) { abort(); } // A is ambiguous
  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 != (B *)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 != (C *)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 != (B *)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 != (B *)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 != (C *)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 != (C *)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
 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 }