]> gcc.gnu.org Git - gcc.git/commit
c++: ambiguous member lookup for rewritten cands [PR113529]
authorPatrick Palka <ppalka@redhat.com>
Wed, 24 Jan 2024 22:11:09 +0000 (17:11 -0500)
committerPatrick Palka <ppalka@redhat.com>
Fri, 26 Jan 2024 14:41:45 +0000 (09:41 -0500)
commit663d9e168bc1f2649721436f5188563eda9d04f0
treeef0b3d37fed82298378140e2e1625adb1dc15533
parent85411f8d854580c065aeed9b9cb41033764352bf
c++: ambiguous member lookup for rewritten cands [PR113529]

Here we handle the operator expression u < v inconsistently: in a SFINAE
context we accept it, and in a non-SFINAE context we reject it with

  error: request for member 'operator<=>' is ambiguous

as per [class.member.lookup]/6.  This inconsistency is ultimately
because we neglect to propagate error_mark_node after recursing in
add_operator_candidates, fixed like so.

PR c++/113529

gcc/cp/ChangeLog:

* call.cc (add_operator_candidates): Propagate error_mark_node
result after recursing to find rewritten candidates.

gcc/testsuite/ChangeLog:

* g++.dg/cpp2a/spaceship-sfinae3.C: New test.

Reviewed-by: Jason Merrill <jason@redhat.com>
(cherry picked from commit fecb45a936d62ca24dd8b4985ea0555c28edefa8)
gcc/cp/call.cc
gcc/testsuite/g++.dg/cpp2a/spaceship-sfinae3.C [new file with mode: 0644]
This page took 0.067732 seconds and 6 git commands to generate.