[Bug c++/13314] New: [3.4 regression] ICE when omitting template parameter of a sub-class

["reichelt at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

Mainline issues an ICE for the following code snippet (from PR 4868):

============================================
struct A { template <int> struct B; };
struct A::B {};
A::B<0> b;
============================================

x.cc:2: error: an explicit specialization must be preceded by 'template <>'
x.cc:2: error: explicit specialization of non-template `A::B<<anonymous> >'
x.cc:2: internal compiler error: in poplevel, at cp/decl.c:446
Please submit a full bug report, [etc.]

This is a regression introduced by Mark's patch for PR 9127

http://gcc.gnu.org/ml/gcc-patches/2003-12/msg00441.html
http://gcc.gnu.org/ml/gcc-cvs/2003-12/msg00194.html

Mark, could you please have a look?

-- 
           Summary: [3.4 regression] ICE when omitting template parameter of
                    a sub-class
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery
          Severity: critical
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org,mark at codesourcery dot
                    com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13314