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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

// { dg-do run }

extern "C" void abort ();

class A {
public:
  virtual A* getThis() { return this; }
};

class B {
int a;
public:
  virtual B* getThis() { return this; }
};

class AB : public A, public B {
public:
  virtual AB* getThis() { return this; }
};

int main ()
{
  AB ab;

  A* a = &ab;
  B* b = &ab;

  if (a->getThis() != a
      || b->getThis() != b)
    abort ();

  return 0;
}