This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/14494] New: Rejected valid specialization of member template
- From: "giovannibajo at libero dot it" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 9 Mar 2004 00:35:06 -0000
- Subject: [Bug c++/14494] New: Rejected valid specialization of member template
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
--------------------------------------------
template <int N>
struct A {
void C(void);
template<int M> void B () ;
};
template <>
void A<0>::C()
{
}
template <>
template <int M>
void A<0>::B<M>()
{
}
--------------------------------------------
bug.cc:15: error: partial specialization `B<M>' of function template
bug.cc:15: error: no `void A<0>::B()' member function declared in class `A<0>'
bug.cc:15: error: invalid function declaration
This happens with 3.3, 3.4 and mainline at least.
--
Summary: Rejected valid specialization of member template
Product: gcc
Version: 3.4.0
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P2
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: giovannibajo at libero dot it
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14494