From: Jason Merrill <jason@redhat.com>
Date: Wed, 18 Jan 2017 16:44:27 +0000 (-0500)
Subject: PR c++/78894 - ICE with class deduction and default arg
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e3aeb9d39a884f805978f832ef92d817e114bfe9;p=gcc.git

PR c++/78894 - ICE with class deduction and default arg

	* pt.c (build_deduction_guide): Set DECL_PRIMARY_TEMPLATE.

From-SVN: r244582
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 7e8c465aba9..2fa2e1e65f9 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2017-01-17  Jason Merrill  <jason@redhat.com>
+
+	PR c++/78894 - ICE with class deduction and default arg
+	* pt.c (build_deduction_guide): Set DECL_PRIMARY_TEMPLATE.
+
 2017-01-18  Markus Trippelsdorf  <markus@trippelsdorf.de>
 
 	PR c++/77489
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 022ffda9ed2..6fd03a5379a 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -24968,6 +24968,13 @@ build_deduction_guide (tree ctor, tree outer_args, tsubst_flags_t complain)
       current_template_parms = save_parms;
       --processing_template_decl;
     }
+  else
+    {
+      /* Copy the parms so we can set DECL_PRIMARY_TEMPLATE.  */
+      tparms = copy_node (tparms);
+      INNERMOST_TEMPLATE_PARMS (tparms)
+	= copy_node (INNERMOST_TEMPLATE_PARMS (tparms));
+    }
 
   tree fntype = build_function_type (type, fparms);
   tree ded_fn = build_lang_decl_loc (DECL_SOURCE_LOCATION (ctor),
@@ -24978,6 +24985,7 @@ build_deduction_guide (tree ctor, tree outer_args, tsubst_flags_t complain)
   DECL_TEMPLATE_RESULT (ded_tmpl) = ded_fn;
   TREE_TYPE (ded_tmpl) = TREE_TYPE (ded_fn);
   DECL_TEMPLATE_INFO (ded_fn) = build_template_info (ded_tmpl, targs);
+  DECL_PRIMARY_TEMPLATE (ded_tmpl) = ded_tmpl;
   if (ci)
     set_constraints (ded_tmpl, ci);
 
diff --git a/gcc/testsuite/g++.dg/cpp1z/class-deduction24.C b/gcc/testsuite/g++.dg/cpp1z/class-deduction24.C
new file mode 100644
index 00000000000..ba2015aafff
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/class-deduction24.C
@@ -0,0 +1,14 @@
+// PR c++/78894
+// { dg-options -std=c++1z }
+
+struct A
+{
+  A ();
+};
+template <typename T>
+struct C
+{
+  C (int, const T &, const A & = A ());
+};
+
+C a = { 0, 0 };