From: Jason Merrill <jason@redhat.com>
Date: Thu, 29 Jun 2006 01:27:17 +0000 (-0400)
Subject: re PR c++/27424 (Valid template-template-parameter rejected)
X-Git-Tag: releases/gcc-4.2.0~2249
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=6150b6026194c4ed9003f788ced0c16b18c5c567;p=thirdparty%2Fgcc.git

re PR c++/27424 (Valid template-template-parameter rejected)

        PR c++/27424
        * pt.c (convert_template_argument): Pass all template arguments
        on to coerce_template_template_parms.

From-SVN: r115063
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index e68602f3e86a..1557a7616ee1 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2006-06-28  Jason Merrill  <jason@redhat.com>
+
+	PR c++/27424
+	* pt.c (convert_template_argument): Pass all template arguments 
+	on to coerce_template_template_parms.
+
 2006-06-25  Lee Millward  <lee.millward@gmail.com>
 	    Mark Mitchell <mark@codesuorcery.com>
 
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 89afb5fe3b94..a81f6a059354 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -3837,11 +3837,8 @@ convert_template_argument (tree parm,
 			   tree in_decl)
 {
   tree val;
-  tree inner_args;
   int is_type, requires_type, is_tmpl_type, requires_tmpl_type;
 
-  inner_args = INNERMOST_TEMPLATE_ARGS (args);
-
   if (TREE_CODE (arg) == TREE_LIST
       && TREE_CODE (TREE_VALUE (arg)) == OFFSET_REF)
     {
@@ -3933,7 +3930,7 @@ convert_template_argument (tree parm,
 
 	      if (coerce_template_template_parms (parmparm, argparm,
 						  complain, in_decl,
-						  inner_args))
+						  args))
 		{
 		  val = arg;
 
diff --git a/gcc/testsuite/g++.dg/template/ttp20.C b/gcc/testsuite/g++.dg/template/ttp20.C
new file mode 100644
index 000000000000..0d1784c9f82c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/ttp20.C
@@ -0,0 +1,11 @@
+// PR c++/27424
+// Bug: failing to substitute the 'int' into C
+
+template<typename T> struct A
+{
+    template<template<T> class> struct B {};
+    template<T> struct C;
+    B<C> b;
+};
+
+A<int> a;