1 files changed, 48 insertions, 0 deletions
diff --git a/libvtv/testsuite/libvtv.cc/virtual_inheritance.cc b/libvtv/testsuite/libvtv.cc/virtual_inheritance.cc
new file mode 100644
index 00000000000..1c49c966453
--- /dev/null
+++ b/libvtv/testsuite/libvtv.cc/virtual_inheritance.cc
@@ -0,0 +1,48 @@
+// { dg-do run }
+
+#include <assert.h>
+struct V {
+  V(): virtual_value(-123) {}
+  int virtual_value;
+  virtual int access_vv() { return virtual_value; }
+};
+
+struct A: virtual public V {
+  A():value(123) {}
+    int value;
+    virtual int access() { return value; }
+};
+struct B: virtual public V {
+  B():value(456) {}
+    int value;
+    virtual int access() { return value; }
+};
+struct C : public A, public B {
+  C():better_value(789) {}
+    int better_value;
+    virtual int access() { return better_value; }
+};
+struct D: public A, public B {
+  D():better_virtual_value(-345) {}
+  int better_virtual_value;
+  virtual int access_vv() { return better_virtual_value; }
+};
+
+int use(B *b)
+{
+    return b->access();
+}
+
+int v_use(V * v)
+{
+  return v->access_vv();
+}
+
+int main()
+{
+  C c;
+  assert(v_use(&c) == -123);
+  D d;
+  assert(v_use(&d) == -345);
+  return 0;
+}