diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 02d37a000a4..1f5bdf46d82 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-07-11  Paolo Carlini  <pcarlini@suse.de>
+
+	PR c++/31027
+	* g++.dg/inherit/virtual4.C: New.
+
 2007-07-11  Uros Bizjak  <ubizjak@gmail.com>
 
 	PR target/32661
diff --git a/gcc/testsuite/g++.dg/inherit/virtual4.C b/gcc/testsuite/g++.dg/inherit/virtual4.C
new file mode 100644
index 00000000000..5415fdb3cf0
--- /dev/null
+++ b/gcc/testsuite/g++.dg/inherit/virtual4.C
@@ -0,0 +1,24 @@
+// PR c++/31027
+
+struct A {};
+
+template<typename T>
+struct C: virtual A {
+  C() {}
+  template<typename T_OTHER> C(const C<T_OTHER>&) {}
+  C func(const class C<long>&) const;
+  operator bool() const;
+};
+
+template<typename T>
+struct D: C<T> {
+  void func2() {
+    C<int>a;
+    a.func(a);
+  }
+};
+
+void func3() {
+  C<int>a;
+  a.func(a);
+}