1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/inherit/covariant15.C b/gcc/testsuite/g++.dg/inherit/covariant15.C
new file mode 100644
index 000000000..4696cc633
--- /dev/null
+++ b/gcc/testsuite/g++.dg/inherit/covariant15.C
@@ -0,0 +1,18 @@
+/* This used to ICE (PR c++/27492) */
+/* { dg-do "compile" } */
+
+struct A {};
+
+class B : A
+{
+    virtual A* foo(); /* { dg-error "overriding" } */
+};
+
+struct C : virtual B
+{
+    virtual C* foo(); /* { dg-error "invalid covariant return type" } */
+};
+
+C* C::foo() { return 0; }
+
+struct D : C {};