c++: ambiguous member lookup for rewritten cands [PR113529]
commitfecb45a936d62ca24dd8b4985ea0555c28edefa8
authorPatrick Palka <ppalka@redhat.com>
Wed, 24 Jan 2024 22:11:09 +0000 (24 17:11 -0500)
committerPatrick Palka <ppalka@redhat.com>
Wed, 24 Jan 2024 22:11:09 +0000 (24 17:11 -0500)
tree40da68bc4f38b0388d263487062edd69f55f9524
parentaedfdd340cbb4a97a8f6d432720a4df374c1e467
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>
gcc/cp/call.cc
gcc/testsuite/g++.dg/cpp2a/spaceship-sfinae3.C [new file with mode: 0644]