[Bug c++/27492] New: [4.0/4.1/4.2 regression] ICE on invalid covariant return type

[reichelt at gcc dot gnu dot org]

The following invalid code snippet causes an ICE since GCC 4.0.3:

=================================
struct A {};

class B : A
{
    virtual A* foo();
};

struct C : virtual B
{
    virtual C* foo();
};

C* C::foo() { return 0; }

struct D : C {};
=================================

bug.cc:10: error: invalid covariant return type for 'virtual C* C::foo()'
bug.cc:5: error:   overriding 'virtual A* B::foo()'
bug.cc:15: internal compiler error: in make_thunk, at cp/method.c:129
Please submit a full bug report, [etc.]


-- 
           Summary: [4.0/4.1/4.2 regression] ICE on invalid covariant return
                    type
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27492