gcc/testsuite/g++.dg/torture/covariant-1.C

   1 // { dg-do run }
   2
   3 extern "C" void abort ();
   4
   5 class A {
   6 public:
   7   virtual A* getThis() { return this; }
   8 };
   9
  10 class B {
  11 int a;
  12 public:
  13   virtual B* getThis() { return this; }
  14 };
  15
  16 class AB : public A, public B {
  17 public:
  18   virtual AB* getThis() { return this; }
  19 };
  20
  21 int main ()
  22 {
  23   AB ab;
  24
  25   A* a = &ab;
  26   B* b = &ab;
  27
  28   if (a->getThis() != a
  29       || b->getThis() != b)
  30     abort ();
  31
  32   return 0;
  33 }