1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/inherit/covariant10.C b/gcc/testsuite/g++.dg/inherit/covariant10.C
new file mode 100644
index 000000000..fe5d03c27
--- /dev/null
+++ b/gcc/testsuite/g++.dg/inherit/covariant10.C
@@ -0,0 +1,22 @@
+// { dg-do compile }
+
+// Contributed by Nathan Sidwell 23 Oct 2003 <nathan@codesourcery.com>
+// Origin: grigory@stl.sarov.ru
+// PR c++/12699 ICE with covariancy
+
+struct c1 {
+  virtual void f1() const {}
+};
+
+struct c5 {};
+
+struct c6 : virtual c1 {
+  virtual c5* f33() const {}
+};
+
+struct c13 : virtual c5 { };
+
+struct c17 : virtual c6
+{
+  virtual c13* f33() const {}
+};