The following invalid code (note the duplicate X<1>::X<1>::) is accepted
and apparently has always been:
------------
template <int dim> struct X {
void f();
};
template <> void X<1>::X<1>::f();
------------ ^^^^^^^^^^^^
--
Summary: Accepts invalid explicit specialization declaration
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Keywords: accepts-invalid
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bangerth at dealii dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30539
