diff options
| author | Patrick Palka <ppalka@redhat.com> | 2023-12-13 15:55:01 -0500 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2023-12-13 15:55:01 -0500 |
| commit | c822ad86984e752734b9c371f9cfef9330334ec4 (patch) | |
| tree | 482989747017054bdb743a22cdbdc5d8803e547c /gcc/ree.cc | |
| parent | ff35f1d4daa37e74f7a68e87c1a6c180d9a91f10 (diff) | |
| download | gcc-c822ad86984e752734b9c371f9cfef9330334ec4.zip gcc-c822ad86984e752734b9c371f9cfef9330334ec4.tar.gz gcc-c822ad86984e752734b9c371f9cfef9330334ec4.tar.bz2 | |
c++: unifying FUNCTION_DECLs [PR93740]
unify currently always returns success when unifying two FUNCTION_DECLs
(due to the is_overloaded_fn deferment within the default case), which
means for the below testcase we incorrectly unify &A::foo and &A::bar
leading to deduction failure for the index_of calls due to a bogus base
class ambiguity.
This patch makes unify handle FUNCTION_DECL naturally like other decls.
PR c++/93740
gcc/cp/ChangeLog:
* pt.cc (unify) <case FUNCTION_DECL>: Handle it like FIELD_DECL
and TEMPLATE_DECL.
gcc/testsuite/ChangeLog:
* g++.dg/template/ptrmem34.C: New test.
Diffstat (limited to 'gcc/ree.cc')
0 files changed, 0 insertions, 0 deletions