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

/* PR c++/28253 This used to ICE. */
/* { dg-do "compile" } */

struct A
{
  virtual A* foo();
};

struct B : virtual A
{
  virtual B* foo(); /* { dg-error "overriding" } */
};

struct C : B
{
  virtual C& foo(); /* { dg-error "conflicting return type" } */
};