gcc/testsuite/g++.dg/inherit/covariant22.C

   1 // PR c++/85068
   2 // { dg-do compile }
   3
   4 struct A;
   5
   6 struct B
   7 {
   8   virtual A *foo ();    // { dg-message "overridden" }
   9 };
  10
  11 struct C : virtual B
  12 {
  13   virtual C *foo ();    // { dg-error "invalid covariant return type for" }
  14 };
  15
  16 struct D : C
  17 {
  18   virtual C *foo ();
  19 };