[Bug c++/33965] New: internal compiler error: tree check: expected class 'type', have 'constant' (integer_cst) in cp_type_quals, at cp/typeck.c:6955 (vararg templates)

[Bug c++/33965] New: internal compiler error: tree check: expected class 'type', have 'constant' (integer_cst) in cp_type_quals, at cp/typeck.c:6955 (vararg templates)

[eric dot niebler at gmail dot com]

In the following SFINAE scenario involving vararg templates an non-type
template parameters, the compiler ICEs instead of ignoring the specialization.

Latest SVN g++ with patches from Doug Gregor for vararg templates.

template<typename T>
struct foo
{
    static bool const value = false;
};

template<template<typename...> class T, typename... Args>
struct foo<T<Args...> >
{
    static bool const value = false;
};

template<int I>
struct int_
{};

int main()
{
    foo<int_<0> > f; // ICE
}


-- 
           Summary: internal compiler error: tree check: expected class
                    'type', have 'constant' (integer_cst) in cp_type_quals,
                    at cp/typeck.c:6955 (vararg templates)
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: eric dot niebler at gmail dot com


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

[Bug c++/33965] internal compiler error: tree check: expected class 'type', have 'constant' (integer_cst) in cp_type_quals, at cp/typeck.c:6955 (vararg templates)

[dgregor at gcc dot gnu dot org]

-- 

dgregor at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dgregor at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-11-05 17:03:46
               date|                            |


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

[Bug c++/33965] internal compiler error: tree check: expected class 'type', have 'constant' (integer_cst) in cp_type_quals, at cp/typeck.c:6955 (vararg templates)

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2007-11-19 04:42 -------
I get this now:
t.cc:21: error: cannot expand 'Args ...' into a fixed-length argument list


-- 


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

[Bug c++/33965] internal compiler error: tree check: expected class 'type', have 'constant' (integer_cst) in cp_type_quals, at cp/typeck.c:6955 (vararg templates)

[dgregor at gcc dot gnu dot org]

------- Comment #2 from dgregor at gcc dot gnu dot org  2007-12-18 21:19 -------
Subject: Bug 33965

Author: dgregor
Date: Tue Dec 18 21:19:41 2007
New Revision: 131041

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131041
Log:
2007-12-18  Douglas Gregor  <doug.gregor@gmail.com>
            Jakub Jelinek  <jakub@redhat.com>

        PR c++/32565
        PR c++/33943
        PR c++/33965
        * pt.c (template_template_parm_bindings_ok_p): New; verifies
        bindings of template template parameters after all template
        arguments have been deduced.
        (coerce_template_parms): Don't complain when COMPLAIN doesn't
        include tf_error.
        (fn_type_unification): Use template_template_parm_bindings_ok_p. 
        (unify): Deal with variadic, bound template template parameters. 
        (get_class_bindings): Use template_template_parm_bindings_ok_p.         

2007-12-18  Douglas Gregor  <doug.gregor@gmail.com>
            Jakub Jelinek  <jakub@redhat.com>

        PR c++/32565
        PR c++/33943
        PR c++/33965
        * g++.dg/cpp0x/variadic86.C: New.
        * g++.dg/cpp0x/variadic87.C: New.
        * g++.dg/cpp0x/variadic84.C: New.
        * g++.dg/cpp0x/variadic85.C: New.
        * g++.dg/template/ttp25.C: New.



Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic84.C
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic85.C
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic86.C
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic87.C
    trunk/gcc/testsuite/g++.dg/template/ttp25.C
Modified:
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/33965] internal compiler error: tree check: expected class 'type', have 'constant' (integer_cst) in cp_type_quals, at cp/typeck.c:6955 (vararg templates)

[dgregor at gcc dot gnu dot org]

------- Comment #3 from dgregor at gcc dot gnu dot org  2007-12-18 22:16 -------
Fixed on the trunk


-- 

dgregor at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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