[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" <gcc-bugzilla 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