gcc/testsuite/g++.old-deja/g++.abi/vbase4.C

   1 // Copyright (C) 2001 Free Software Foundation, Inc.
   2 // Contributed by Nathan Sidwell 9 Jun 2001 <nathan@codesourcery.com>
   3
   4 // Bug 3089. We ICE'd in construction vtables.
   5
   6 int failed;
   7
   8 void fail (int val)
   9 {
  10   if (!failed)
  11     failed = val;
  12 }
  13
  14 struct A
  15 {
  16   virtual ~A();
  17   A ();
  18   virtual void check (void *whole, void *base);
  19 };
  20
  21 A::A ()
  22 {
  23   check (this, this);
  24 }
  25 A::~A ()
  26 {
  27   check (this, this);
  28 }
  29
  30 void A::check (void *whole, void *base)
  31 {
  32   if (dynamic_cast <void *> (this) != whole)
  33     fail (1);
  34   else if (this != base)
  35     fail (2);
  36 }
  37
  38 struct B
  39 {
  40   virtual ~B ();
  41   B ();
  42   virtual void check (void *whole, void *base);
  43 };
  44
  45 B::B ()
  46 {
  47   check (this, this);
  48 }
  49 B::~B ()
  50 {
  51   check (this, this);
  52 }
  53 void B::check (void *whole, void *base)
  54 {
  55   if (dynamic_cast <void *> (this) != whole)
  56     fail (3);
  57   else if (this != base)
  58     fail (4);
  59 }
  60
  61 struct C : virtual public B, virtual public A
  62 {
  63   virtual ~C ();
  64   C ();
  65   virtual void check (void *whole, void *base);
  66 };
  67 C::C ()
  68 {
  69   check (this, this);
  70 }
  71 C::~C ()
  72 {
  73   check (this, this);
  74 }
  75 void C::check (void *whole, void *base)
  76 {
  77   if (dynamic_cast <void *> (this) != whole)
  78     fail (5);
  79   else if (this != base)
  80     fail (6);
  81   A::check (whole, static_cast <A *> (this));
  82   B::check (whole, static_cast <B *> (this));
  83 }
  84
  85 struct D : virtual public A
  86 {
  87   virtual ~D ();
  88   D ();
  89   virtual void check (void *whole, void *base);
  90 };
  91 D::D ()
  92 {
  93   check (this, this);
  94 }
  95 D::~D ()
  96 {
  97   check (this, this);
  98 }
  99 void D::check (void *whole, void *base)
 100 {
 101   if (dynamic_cast <void *> (this) != whole)
 102     fail (5);
 103   else if (this != base)
 104     fail (6);
 105   A::check (whole, static_cast <A *> (this));
 106 }
 107
 108 struct E : virtual public C, virtual public D
 109 {
 110   virtual ~E ();
 111   E ();
 112   virtual void check (void *whole, void *base);
 113 };
 114 E::E ()
 115 {
 116   check (this, this);
 117 }
 118 E::~E ()
 119 {
 120   check (this, this);
 121 }
 122 void E::check (void *whole, void *base)
 123 {
 124   if (dynamic_cast <void *> (this) != whole)
 125     fail (5);
 126   else if (this != base)
 127     fail (6);
 128   C::check (whole, static_cast <C *> (this));
 129   D::check (whole, static_cast <D *> (this));
 130 }
 131
 132 struct F : virtual public E
 133 {
 134   virtual ~F ();
 135   F ();
 136   virtual void check (void *whole, void *base);
 137 };
 138 F::F ()
 139 {
 140   check (this, this);
 141 }
 142 F::~F ()
 143 {
 144   check (this, this);
 145 }
 146 void F::check (void *whole, void *base)
 147 {
 148   if (dynamic_cast <void *> (this) != whole)
 149     fail (5);
 150   else if (this != base)
 151     fail (6);
 152   E::check (whole, static_cast <F *> (this));
 153 }
 154
 155 int main ()
 156 {
 157   A a;
 158   B b;
 159   C c;
 160   D d;
 161   E e;
 162   F f;
 163
 164   return failed;
 165 }