1 files changed, 76 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/inherit/covariant4.C b/gcc-4.9/gcc/testsuite/g++.dg/inherit/covariant4.C
new file mode 100644
index 000000000..8f6101b3f
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/g++.dg/inherit/covariant4.C
@@ -0,0 +1,76 @@
+// { dg-do run }
+
+// Copyright (C) 2002 Free Software Foundation, Inc.
+// Contributed by Nathan Sidwell 27 Nov 2002 <nathan@codesourcery.com>
+
+// covariant returns. Fixed & virtual offset.
+
+struct B1;
+struct B2;
+struct D;
+
+struct B1
+{
+  virtual B1 *foo1 () {return this;}
+  virtual B2 *foo2 (D *);
+};
+
+struct B2
+{
+  virtual B2 *baz1 () {return this;}
+  virtual B1 *baz2 (D *);
+};
+
+struct Pad1 { virtual ~Pad1 (){}};
+struct Pad2 { virtual ~Pad2 (){}};
+struct Proxy1 : Pad1, B1 {};
+struct Proxy2 : Pad2, B2 {};
+
+struct D : virtual Proxy1, virtual Proxy2
+{
+  virtual D *foo1 () {return this;}
+  virtual D *foo2 (D *d) {return d;}
+  virtual D *baz1 () {return this;}
+  virtual D *baz2 (D *d) {return d;}
+};
+
+B2 *B1::foo2 (D *d) {return d;}
+B1 *B2::baz2 (D *d) {return d;}
+
+int test (B1 *b1, B2 *b2, D *d)
+{
+  if (b1->foo1 () != b1)
+    return 1;
+  if (b2->baz1 () != b2)
+    return 2;
+  if (b1->foo2 (d) != b2)
+    return 3;
+  if (b2->baz2 (d) != b1)
+    return 4;
+  return 0;
+}
+
+int test (D *d)
+{
+  if (d->foo2 (d) != d)
+    return 11;
+  if (d->baz2 (d) != d)
+    return 12;
+  if (d->foo1 () != d)
+    return 13;
+  if (d->baz1 () != d)
+    return 14;
+  return 0;
+}
+
+int main ()
+{
+  D d;
+  int r;
+  
+  if ((r = test (&d, &d, &d)))
+    return r;
+  if ((r = test (&d)))
+    return r;
+  return 0;
+}