The following invalid code snippet is accepted since GCC 4.0.0:
============================
template<int> struct A;
template<> int A<0>;
============================
Before we got the error message:
bug.cc:2: error: `A<0>' specified as declarator-id
bug.cc:2: error: extraneous `int' ignored
--
Summary: [4.0/4.1/4.3 regression] "template<> int A<0>" accepted
Product: gcc
Version: 4.0.2
Status: UNCONFIRMED
Keywords: accepts-invalid, monitored
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: reichelt at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25439