This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

C++ PATCH for c++/50303 (failure using template template parameter pack in a pack expansion)

When substituting into a template template parameter pack pattern with a set of template arguments, we want to use tsubst_expr so that we get the substituted result; tsubst tries and fails to build up a new template template parameter.

Tested x86_64-pc-linux-gnu, applying to trunk.
commit d04f9e7b78c9355e7b7835dc00fca3dfa4acc666
Author: Jason Merrill <>
Date:   Mon Apr 16 11:31:59 2012 -0400

    	PR c++/50303
    	* pt.c (tsubst_pack_expansion): Use tsubst_expr for template
    	template parameters.

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 95d0aba..7423781 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -9518,7 +9518,7 @@ tsubst_pack_expansion (tree t, tree args, tsubst_flags_t complain,
       /* Substitute into the PATTERN with the altered arguments.  */
+      if (!TYPE_P (pattern))
         TREE_VEC_ELT (result, i) = 
           tsubst_expr (pattern, args, complain, in_decl,
diff --git a/gcc/testsuite/g++.dg/cpp0x/variadic128.C b/gcc/testsuite/g++.dg/cpp0x/variadic128.C
new file mode 100644
index 0000000..8c2d3b2
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/variadic128.C
@@ -0,0 +1,16 @@
+// PR c++/50303
+// { dg-do compile { target c++11 } }
+template<typename Interface>
+struct A1 {
+template<template<class I> class... Actions>
+void g2() {
+  g2<Actions...>();
+int main()
+  g2<A1>();

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]