[Bug c++/35813] New: ICE with partial specialization of variadic templates

[Bug c++/35813] New: ICE with partial specialization of variadic templates

[sultansharem at gmx dot ch]

code,

template <int N, typename... P> struct i { typedef i t; };

template <typename I> struct n;

template <typename... E, int N> struct n<i<N, E...> > : i<N+1, E...> { };

template <typename... E> struct n<i<sizeof...(E), E...> > : i<sizeof...(E),
E...> { };

typedef i<1, char>  t;
typedef n<t>::t     x;

leads to "internal compiler error: tree check: expected tree_vec, have
type_pack_expansion in tsubst_copy_and_build, at cp/pt.c:10829"


-- 
           Summary: ICE with partial specialization of variadic templates
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sultansharem at gmx dot ch


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

[Bug c++/35813] ICE with partial specialization of variadic templates

[reichelt at gcc dot gnu dot org]

------- Comment #1 from reichelt at gcc dot gnu dot org  2008-04-20 19:42 -------
Slightly simpler testcase:

================================================================
template<int, typename...> struct A {};

template<typename> struct B;

template<typename... T> struct B<A<1, T...> > {};

template<typename... T> struct B<A<sizeof...(T), T...> > {};

B<A<1, char> > b;
================================================================

This has been fixed on mainline by

2008-03-27  Douglas Gregor  <doug.gregor@gmail.com>

        * pt.c (tsubst_copy) <case SIZEOF_EXPR>: Cope with
        tsubst_pack_expansion returning a pack expansion, or a TREE_VEC
        ending in a pack expansion, both of which can occur when
        substituting into a nested template.
        (tsubst_copy_and_build) <case SIZEOF_EXPR>: When we're
        instantiating the sizeof...(X) form, make tsubst_copy do the work.
        * parser.c (cp_parser_template_parameter): Deal with unnamed
        non-type template parameter packs identified by pack expansions in
        the parameter type.

Doug, are you going to backport the patch to the 4.3 branch?


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |doug dot gregor at gmail dot
                   |                            |com, reichelt at gcc dot gnu
                   |                            |dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2008-04-20 19:42:14
               date|                            |
   Target Milestone|---                         |4.3.1


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

[Bug c++/35813] [4.3 regression] ICE with partial specialization of variadic templates

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
           Keywords|                            |error-recovery


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

[Bug c++/35813] [4.3 regression] ICE with partial specialization of variadic templates

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/35813] [4.3 regression] ICE with partial specialization of variadic templates

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2008-06-06 14:59 -------
4.3.1 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.1                       |4.3.2


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

[Bug c++/35813] [4.3 regression] ICE with partial specialization of variadic templates

[jsm28 at gcc dot gnu dot org]

------- Comment #3 from jsm28 at gcc dot gnu dot org  2008-08-27 22:03 -------
4.3.2 is released, changing milestones to 4.3.3.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.2                       |4.3.3


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

[Bug c++/35813] [4.3 regression] ICE with partial specialization of variadic templates

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-01-15 16:08 -------
Works for me with checking disabled.  Not worth fixing on the branch.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
           Keywords|                            |ice-checking
      Known to fail|                            |4.3.2
      Known to work|                            |4.4.0
         Resolution|                            |FIXED
   Target Milestone|4.3.3                       |4.4.0


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