This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/18950] specialization of template class with inner template members
- From: "lerdsuwa at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 13 Dec 2004 15:27:11 -0000
- Subject: [Bug c++/18950] specialization of template class with inner template members
- References: <20041213094233.18950.boris@buf.com>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From lerdsuwa at gcc dot gnu dot org 2004-12-13 15:27 -------
Should be allowed according to 14.7.3/16. All my GCC versions
fail to compile the testcase (maybe some 3.3.x does) so I can't
verify that it's a regression.
The problem is some incorrect logic in 'determine_specialization':
it tries to deduce N2 from
template<> template<class T2,int N2>
T2 Class<int,1>::function( T2 param )
to match against
template<class T1,int N1> template<class T2,int N2>
T2 Class<T1,N1>::function( T2 param );
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Known to work| |2.95.3 3.0.4 3.2.3 3.4.3
| |4.0.0
Last reconfirmed|0000-00-00 00:00:00 |2004-12-13 15:27:08
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18950