This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/27568] [4.0/4.1/4.2 Regression] ICE in check_classfn, at cp/decl2.c:607
- From: "reichelt at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 12 May 2006 14:53:50 -0000
- Subject: [Bug c++/27568] [4.0/4.1/4.2 Regression] ICE in check_classfn, at cp/decl2.c:607
- References: <bug-27568-12674@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from reichelt at gcc dot gnu dot org 2006-05-12 14:53 -------
Here's a shorter testcase:
==========================================================================
template<template<typename> class> struct A;
template<int> struct B
{
template<typename T> void foo(T);
};
template<> template<template<typename> class T> void B<0>::foo(A<T>) {}
==========================================================================
If I turn the template-template parameters into regular template parameters
the code is (IMHO wrongly) accepted:
==========================================================================
template<typename> struct A;
template<int> struct B
{
template<typename T> void foo(T);
};
template<> template<typename T> void B<0>::foo(A<T>) {}
==========================================================================
--
reichelt at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |reichelt at gcc dot gnu dot
| |org
Keywords| |accepts-invalid, ice-on-
| |invalid-code, monitored
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27568