This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/14494] Rejected valid specialization of member template
- From: "paolo.carlini at oracle dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 25 Jun 2014 22:16:51 +0000
- Subject: [Bug c++/14494] Rejected valid specialization of member template
- Auto-submitted: auto-generated
- References: <bug-14494-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14494
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|bkoz at redhat dot com, |jason at gcc dot gnu.org,
|gcc-bugs at gcc dot gnu.org |paolo.carlini at oracle dot com
Known to fail| |
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> ---
I'm not at all sure that there is something to fix here. But in practice the
implementations differ, current clang rejects the test exactly like gcc. Icc
doesn't, it even accepts things like:
template <int N>
struct A {
void C(void);
template<typename> void B () ;
};
template <>
void A<0>::C()
{
}
template <>
template <typename T>
void A<0>::B<T*>()
{
}
Jason?