gcc/testsuite/g++.dg/inherit/covariant1.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

// PR c++/5607

// { dg-do run }

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 = new AB();
  
  A* a = ab;
  B* b = ab;

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

  return 0;
}