PR c++/92847 - C++20 comparison ambiguity with class template.
authorJason Merrill <jason@redhat.com>
Tue, 10 Dec 2019 20:12:50 +0000 (15:12 -0500)
committerJason Merrill <jason@gcc.gnu.org>
Tue, 10 Dec 2019 20:12:50 +0000 (15:12 -0500)
This testcase demonstrates that looking at cand->template_decl is not a good
starting place for finding the most general template, as it is only set for
primary templates.

* call.c (cand_parms_match): Handle all templated functions.

From-SVN: r279185

gcc/cp/ChangeLog
gcc/cp/call.c
gcc/testsuite/g++.dg/cpp2a/spaceship-rewrite5.C [new file with mode: 0644]

index 6b15fc306e29926d97bcf9a2fe50a558f4da2811..c77605461422f59d53901a02004014d3c9db5698 100644 (file)
@@ -1,5 +1,8 @@
 2019-12-10  Jason Merrill  <jason@redhat.com>
 
+       PR c++/92847 - C++20 comparison ambiguity with class template.
+       * call.c (cand_parms_match): Handle all templated functions.
+
        Fix C++20 structural type vs. private base.
        * class.c (build_base_field_1): Take access parameter.
        (build_base_field): Likewise.
index 48d49b7ec876e9f0b32ead4c1c9a22dedeffecfe..cbd5747d6ca4459ca820f03ce7d90794f25e7089 100644 (file)
@@ -11052,24 +11052,25 @@ joust_maybe_elide_copy (z_candidate *&cand)
 bool
 cand_parms_match (z_candidate *c1, z_candidate *c2)
 {
-  tree fn1 = c1->template_decl;
-  tree fn2 = c2->template_decl;
-  if (fn1 && fn2)
-    {
-      fn1 = most_general_template (TI_TEMPLATE (fn1));
-      fn1 = DECL_TEMPLATE_RESULT (fn1);
-      fn2 = most_general_template (TI_TEMPLATE (fn2));
-      fn2 = DECL_TEMPLATE_RESULT (fn2);
-    }
-  else
-    {
-      fn1 = c1->fn;
-      fn2 = c2->fn;
-    }
+  tree fn1 = c1->fn;
+  tree fn2 = c2->fn;
   if (fn1 == fn2)
     return true;
   if (identifier_p (fn1) || identifier_p (fn2))
     return false;
+  /* We don't look at c1->template_decl because that's only set for primary
+     templates, not e.g. non-template member functions of class templates.  */
+  tree t1 = most_general_template (fn1);
+  tree t2 = most_general_template (fn2);
+  if (t1 || t2)
+    {
+      if (!t1 || !t2)
+       return false;
+      if (t1 == t2)
+       return true;
+      fn1 = DECL_TEMPLATE_RESULT (t1);
+      fn2 = DECL_TEMPLATE_RESULT (t2);
+    }
   return compparms (TYPE_ARG_TYPES (TREE_TYPE (fn1)),
                    TYPE_ARG_TYPES (TREE_TYPE (fn2)));
 }
diff --git a/gcc/testsuite/g++.dg/cpp2a/spaceship-rewrite5.C b/gcc/testsuite/g++.dg/cpp2a/spaceship-rewrite5.C
new file mode 100644 (file)
index 0000000..d042437
--- /dev/null
@@ -0,0 +1,15 @@
+// { dg-do compile { target c++11 } }
+
+template<typename T>
+struct A {
+  A() {}
+
+  template<typename U>
+    A(const A<U>&) {}
+
+  bool operator==(const A&) const { return true; }
+};
+
+A<const int> a;
+A<int> b;
+auto c = (a == b);