From: Jason Merrill <jason@redhat.com>
Date: Mon, 18 May 2015 18:08:53 +0000 (-0400)
Subject: pt.c (retrieve_specialization): Make sure our arguments have gone through strip_typedefs.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f41aecf4283f14f54fb0774103fbf7931dff2aa3;p=gcc.git

pt.c (retrieve_specialization): Make sure our arguments have gone through strip_typedefs.

	* pt.c (retrieve_specialization): Make sure our arguments have
	gone through strip_typedefs.

From-SVN: r223305
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 04576e5a8a0..b21e6a07974 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,8 @@
 2015-05-18  Jason Merrill  <jason@redhat.com>
 
+	* pt.c (retrieve_specialization): Make sure our arguments have
+	gone through strip_typedefs.
+
 	* pt.c (tsubst_decl) [VAR_DECL]: Call coerce_innermost_template_parms.
 	(determine_specialization): Call coerce_template_parms.
 
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 2166f5fb65e..60f395893ae 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -1058,6 +1058,14 @@ retrieve_specialization (tree tmpl, tree args, hashval_t hash)
 		  ? TMPL_PARMS_DEPTH (DECL_TEMPLATE_PARMS (tmpl))
 		  : template_class_depth (DECL_CONTEXT (tmpl))));
 
+#ifdef ENABLE_CHECKING
+  /* We should have gone through coerce_template_parms by now.  */
+  ++processing_template_decl;
+  if (!any_dependent_template_arguments_p (args))
+    gcc_assert (strip_typedefs_expr (args, NULL) == args);
+  --processing_template_decl;
+#endif
+
   if (optimize_specialization_lookup_p (tmpl))
     {
       tree class_template;