https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63201
Bug ID: 63201
Summary: Full specialization of a member variable template of a
class template does not work
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: ville.voutilainen at gmail dot com
CC: jason at redhat dot com
Simple case:
template <class T>
struct Y
{
template <class U> static U x;
};
template <>
template <>
int Y<float>::x<int> = 42; // { dg-bogus "non-member-template declaration" }
More tests attached. Clang accepts such a specialization.