| 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 | Reporter: | Eric Niebler <eric.niebler> |
| Component: | c++ | Assignee: | dgregor |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | doug.gregor, gcc-bugs |
| Priority: | P3 | Keywords: | rejects-valid |
| Version: | 4.3.0 | ||
| Target Milestone: | --- | ||
| Host: | Target: | ||
| Build: | Known to work: | ||
| Known to fail: | Last reconfirmed: | 2007-11-05 17:03:46 | |
I get this now: t.cc:21: error: cannot expand 'Args ...' into a fixed-length argument list 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 Fixed on the trunk |
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 }