[Bug c++/34055] New: [4.3 regression] ICE with invalid specialization of variadic template

[reichelt at gcc dot gnu dot org]

The following invalid code snippet triggers an ICE on mainline:

=====================================================================
template<typename...> struct A;

template<typename...T> struct A<T*>
{
  void foo();
};

template<typename...T> void A<T*>::foo() {}
=====================================================================

bug.cc:3: error: parameter packs not expanded with `...':
bug.cc:3: note:         'T'
bug.cc:3: error: template parameters not used in partial specialization:
bug.cc:3: error:         'T'
bug.cc:8: internal compiler error: same canonical type node for different types
<typeprefixerror>* and T*
Please submit a full bug report, [etc.]


-- 
           Summary: [4.3 regression] ICE with invalid specialization of
                    variadic template
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery, 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=34055