pt.c (primary_template_specialization_p): Rename from

	* pt.c (primary_template_specialization_p): Rename from

	primary_template_instantiation_p.  Don't check
	DECL_TEMPLATE_INSTANTIATION.
	* call.c, cp-tree.h, decl2.c: Adjust.

From-SVN: r255179

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 5dda6046ec42091de69f0debe4dc3bb7a406c6de..91de626f9100e0adb4fcf72dffc8c739d82fdea8 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2017-11-27  Jason Merrill  <jason@redhat.com>
+
+       * pt.c (primary_template_specialization_p): Rename from
+       primary_template_instantiation_p.  Don't check
+       DECL_TEMPLATE_INSTANTIATION.
+       * call.c, cp-tree.h, decl2.c: Adjust.
+
 2017-11-27  Jakub Jelinek  <jakub@redhat.com>
 
        PR c++/81675

diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index d242b07a06bcb4bf2a84fde860876a0983ded0b2..177c3cc13e34c143c91c1387e57195207015711a 100644 (file)
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -3895,7 +3895,7 @@ build_user_type_conversion_1 (tree totype, tree expr, int flags,
                = bad_arg_conversion_rejection (NULL_TREE, -2,
                                                rettype, totype);
            }
-         else if (primary_template_instantiation_p (cand->fn)
+         else if (primary_template_specialization_p (cand->fn)
                   && ics->rank > cr_exact)
            {
              /* 13.3.3.1.2: If the user-defined conversion is specified by
@@ -6111,7 +6111,7 @@ aligned_deallocation_fn_p (tree t)
   /* A template instance is never a usual deallocation function,
      regardless of its signature.  */
   if (TREE_CODE (t) == TEMPLATE_DECL
-      || primary_template_instantiation_p (t))
+      || primary_template_specialization_p (t))
     return false;
 
   tree a = FUNCTION_ARG_CHAIN (t);
@@ -6136,7 +6136,7 @@ usual_deallocation_fn_p (tree t)
   /* A template instance is never a usual deallocation function,
      regardless of its signature.  */
   if (TREE_CODE (t) == TEMPLATE_DECL
-      || primary_template_instantiation_p (t))
+      || primary_template_specialization_p (t))
     return false;
 
   /* If a class T has a member deallocation function named operator delete

diff --git a/gcc/cp/cp-tree.h b/gcc/cp/cp-tree.h
index 1c19c3d31f82a847a7141a2e750b5a3a162bad7f..cb12c835298e6fb84a42bbfd43cc43528f609931 100644 (file)
--- a/gcc/cp/cp-tree.h
+++ b/gcc/cp/cp-tree.h
@@ -6556,7 +6556,7 @@ extern void init_template_processing              (void);
 extern void print_template_statistics          (void);
 bool template_template_parameter_p             (const_tree);
 bool template_type_parameter_p                  (const_tree);
-extern bool primary_template_instantiation_p    (const_tree);
+extern bool primary_template_specialization_p   (const_tree);
 extern tree get_primary_template_innermost_parameters  (const_tree);
 extern tree get_template_parms_at_level (tree, int);
 extern tree get_template_innermost_arguments   (const_tree);

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 8bc9c221da71ff328fcd235c593aafeff8498916..f85e6237af19a8195452ff497b1f26192908a1db 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -3219,7 +3219,7 @@ get_function_template_decl (const_tree primary_func_tmpl_inst)
 {
   if (! primary_func_tmpl_inst
       || TREE_CODE (primary_func_tmpl_inst) != FUNCTION_DECL
-      || ! primary_template_instantiation_p (primary_func_tmpl_inst))
+      || ! primary_template_specialization_p (primary_func_tmpl_inst))
     return NULL;
 
   return DECL_TEMPLATE_RESULT (DECL_TI_TEMPLATE (primary_func_tmpl_inst));
@@ -3287,21 +3287,23 @@ make_ith_pack_parameter_name (tree name, int i)
 }
 
 /* Return true if T is a primary function, class or alias template
-   instantiation.  */
+   specialization, not including the template pattern.  */
 
 bool
-primary_template_instantiation_p (const_tree t)
+primary_template_specialization_p (const_tree t)
 {
   if (!t)
     return false;
 
-  if (TREE_CODE (t) == FUNCTION_DECL)
-    return DECL_LANG_SPECIFIC (t)
-          && DECL_TEMPLATE_INSTANTIATION (t)
-          && PRIMARY_TEMPLATE_P (DECL_TI_TEMPLATE (t));
+  if (TREE_CODE (t) == FUNCTION_DECL || VAR_P (t))
+    return (DECL_LANG_SPECIFIC (t)
+           && DECL_USE_TEMPLATE (t)
+           && DECL_TEMPLATE_INFO (t)
+           && PRIMARY_TEMPLATE_P (DECL_TI_TEMPLATE (t)));
   else if (CLASS_TYPE_P (t) && !TYPE_DECL_ALIAS_P (TYPE_NAME (t)))
-    return CLASSTYPE_TEMPLATE_INSTANTIATION (t)
-          && PRIMARY_TEMPLATE_P (CLASSTYPE_TI_TEMPLATE (t));
+    return (CLASSTYPE_TEMPLATE_INFO (t)
+           && CLASSTYPE_USE_TEMPLATE (t)
+           && PRIMARY_TEMPLATE_P (CLASSTYPE_TI_TEMPLATE (t)));
   else if (alias_template_specialization_p (t))
     return true;
   return false;
@@ -3336,7 +3338,7 @@ get_primary_template_innermost_parameters (const_tree t)
   tree parms = NULL, template_info = NULL;
 
   if ((template_info = get_template_info (t))
-      && primary_template_instantiation_p (t))
+      && primary_template_specialization_p (t))
     parms = INNERMOST_TEMPLATE_PARMS
        (DECL_TEMPLATE_PARMS (TI_TEMPLATE (template_info)));
 

diff --git a/gcc/testsuite/g++.dg/cpp0x/fntmpdefarg2a.C b/gcc/testsuite/g++.dg/cpp0x/fntmpdefarg2a.C
new file mode 100644 (file)
index 0000000..49c1e05
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/fntmpdefarg2a.C
@@ -0,0 +1,27 @@
+// PR c++/46831
+// { dg-do compile { target c++11 } }
+// { dg-options "" }
+
+struct B { };
+struct D : B { };
+struct A {
+  template<typename T = void> operator D&(); // { dg-message "template conversion" }
+  operator long();
+};
+
+template <> A::operator D&();
+
+void f(long);
+void f(B&);
+
+struct A2 {
+  template<typename T = void> operator B&();
+};
+
+void f2(const B&);
+
+int main() {
+  f(A());
+  f2(A2());
+  f2(A());                     // { dg-error "" }
+}