1 files changed, 33 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/inherit/covariant1.C b/gcc-4.9/gcc/testsuite/g++.dg/inherit/covariant1.C
new file mode 100644
index 000000000..978c3e825
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/g++.dg/inherit/covariant1.C
@@ -0,0 +1,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;
+}