[Bug c++/35641] [4.1 regression] ICE on overload of friend function definition inside a class

["reichelt at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #2 from reichelt at gcc dot gnu dot org  2008-03-29 17:11 -------
Here's a reduced testcase:

=====================================
template<int> struct A
{
  friend void foo(const A&)
  {
    __FUNCTION__;
  }
};

inline void foo(const A<0>&)
{
  __FUNCTION__;
}

void bar()
{
  foo(A<0>());
}
=====================================

The bug is fixed since GCC 4.2.0, as the code is correctly rejected:

bug.cc: In instantiation of 'A<0>':
bug.cc:17:   instantiated from here
bug.cc:4: error: redefinition of 'void foo(const A<0>&)'
bug.cc:10: error: 'void foo(const A<0>&)' previously defined here

On the 4.1 branch I still get an ICE, but after the above error message:

bug.cc: In instantiation of 'A<0>':
bug.cc:17:   instantiated from here
bug.cc:4: error: redefinition of 'void foo(const A<0>&)'
bug.cc:10: error: 'void foo(const A<0>&)' previously defined here
bug.cc:4: internal compiler error: tree check: expected var_decl or
function_decl or type_decl or template_decl, have error_mark in
tsubst_friend_function, at cp/pt.c:5352
Please submit a full bug report, [etc.]

Since we already rejected the code with GCC 3.1 - 3.3.6 this is a regression.
I don't think anybody will fix this minor problem on the 4.1 branch, though.

Btw, the code was wrongly accepted by GCC 4.0.0 - 4.1.1.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |error-recovery, ice-on-
                   |                            |invalid-code
      Known to fail|                            |3.4.0 3.4.6 4.0.0 4.1.2
      Known to work|                            |3.1 3.3.6
   Last reconfirmed|0000-00-00 00:00:00         |2008-03-29 17:11:11
               date|                            |
            Summary|ICE on overload of friend   |[4.1 regression] ICE on
                   |function definition inside a|overload of friend function
                   |class                       |definition inside a class
   Target Milestone|---                         |4.1.3


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