c++: bad direct reference binding via conv fn [PR113064]
commit1c522c9eafa5b86b78cd7b3044e120762fb4c879
authorPatrick Palka <ppalka@redhat.com>
Wed, 3 Jan 2024 20:43:28 +0000 (3 15:43 -0500)
committerPatrick Palka <ppalka@redhat.com>
Wed, 3 Jan 2024 20:43:28 +0000 (3 15:43 -0500)
tree7e1a70038ed7a24173838edae6c0c37edad0155a
parent93c96e3ad0024a397115aa17bf29c7efc6b535a1
c++: bad direct reference binding via conv fn [PR113064]

When computing a direct reference binding via a conversion function
yields a bad conversion, reference_binding incorrectly commits to that
conversion instead of trying a conversion via a temporary.  This causes
us to reject the first testcase because the bad direct conversion to B&&
via the && conversion operator prevents us from considering the good
conversion via the & conversion operator and a temporary.  (Similar
story for the second testcase.)

This patch fixes this by making reference_binding not prematurely commit
to such a bad direct conversion.  We still fall back to it if using a
temporary also fails (otherwise the diagnostic for cpp0x/explicit7.C
regresses).

PR c++/113064

gcc/cp/ChangeLog:

* call.cc (reference_binding): Still try a conversion via a
temporary if a direct conversion was bad.

gcc/testsuite/ChangeLog:

* g++.dg/cpp0x/rv-conv4.C: New test.
* g++.dg/cpp0x/rv-conv5.C: New test.
gcc/cp/call.cc
gcc/testsuite/g++.dg/cpp0x/rv-conv4.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp0x/rv-conv5.C [new file with mode: 0644]