c++: CWG2235 partial ordering and non-dependent types

Issue 2235 removed the rule previously added for issues 1391/1847 that had
partial ordering completely ignore function parameters with no deducible
template parameters.

gcc/cp/ChangeLog
2020-05-05  Jason Merrill  <jason@redhat.com>

	CWG 2235
	* pt.c (more_specialized_fn): Do consider parms with no deducible
	template parameters.

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 71ca21f24e45887aa64876aa699babf189483df0..c49e90e34a7051578187ba6e1cc606698c2cd906 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2020-05-05  Jason Merrill  <jason@redhat.com>
+
+       CWG 2235
+       * pt.c (more_specialized_fn): Do consider parms with no deducible
+       template parameters.
+
 2020-05-05  Jason Merrill  <jason@redhat.com>
 
        PR c++/90212

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index ff8391c2093aaf0733d5181205dbd2fbdaa1b7e9..2ed6d0e745732d8d9b10be2ea94ac02339a69ee9 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -23960,13 +23960,6 @@ more_specialized_fn (tree pat1, tree pat2, int len)
           len = 0;
         }
 
-      /* DR 1847: If a particular P contains no template-parameters that
-        participate in template argument deduction, that P is not used to
-        determine the ordering.  */
-      if (!uses_deducible_template_parms (arg1)
-         && !uses_deducible_template_parms (arg2))
-       goto next;
-
       if (TYPE_REF_P (arg1))
        {
          ref1 = TYPE_REF_IS_RVALUE (arg1) + 1;
@@ -24088,8 +24081,6 @@ more_specialized_fn (tree pat1, tree pat2, int len)
           These must be unordered.  */
        break;
 
-    next:
-
       if (TREE_CODE (arg1) == TYPE_PACK_EXPANSION
           || TREE_CODE (arg2) == TYPE_PACK_EXPANSION)
         /* We have already processed all of the arguments in our

diff --git a/gcc/testsuite/g++.dg/template/partial-order1.C b/gcc/testsuite/g++.dg/template/partial-order1.C
index 0832ea535caa6a0dac3a4c423700fe59e71f9f17..624bb4bc0f09f1c14cfa7be46bd44163d6584bd8 100644 (file)
--- a/gcc/testsuite/g++.dg/template/partial-order1.C
+++ b/gcc/testsuite/g++.dg/template/partial-order1.C
@@ -14,5 +14,5 @@ void f(typename A<T>::size_type, T);
 
 int main()
 {
-  f(1,2);                      // { dg-error "ambiguous" }
+  f(1,2);
 }

diff --git a/gcc/testsuite/g++.dg/template/partial-order2.C b/gcc/testsuite/g++.dg/template/partial-order2.C
new file mode 100644 (file)
index 0000000..2aed600
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/partial-order2.C
@@ -0,0 +1,20 @@
+// CWG 2235
+
+namespace X
+{
+  template<typename T> struct Const { typedef void type; };
+  template<typename T> void f(T, typename Const<T>::type*); // T1
+  template<typename T> void f(T, void *); // T2
+  void g(void *p) { f(0, p); }
+}
+
+namespace Y
+{
+  struct A { A(int); };
+  struct B { B(int); };
+
+  template<typename T> void f(T, A);
+  template<typename T> void f(T*, B);
+
+  void g(int *p) { f(p, 0); }  // { dg-error "ambiguous" }
+}