2c58f5cadf
In the testcase below, template argument deduction for the call g(id<int>) goes wrong because the functions in the overload set id<int> each have a yet-undeduced auto return type, and this undeduced return type makes try_one_overload fail to match up any of the overloads with g's parameter type, leading to g's template argument going undeduced and to the overload set going unresolved. This patch fixes this issue by performing return type deduction via instantiation before doing try_one_overload, in a manner similar to what resolve_address_of_overloaded_function does. gcc/cp/ChangeLog: PR c++/64194 * pt.c (resolve_overloaded_unification): If the function template specialization has a placeholder return type, then instantiate it before attempting unification. gcc/testsuite/ChangeLog: PR c++/64194 * g++.dg/cpp1y/auto-fn60.C: New test. |
||
|---|---|---|
| .. | ||
| call.c | ||
| cfns.gperf | ||
| cfns.h | ||
| ChangeLog | ||
| ChangeLog-1993 | ||
| ChangeLog-1994 | ||
| ChangeLog-1995 | ||
| ChangeLog-1996 | ||
| ChangeLog-1997 | ||
| ChangeLog-1998 | ||
| ChangeLog-1999 | ||
| ChangeLog-2000 | ||
| ChangeLog-2001 | ||
| ChangeLog-2002 | ||
| ChangeLog-2003 | ||
| ChangeLog-2004 | ||
| ChangeLog-2005 | ||
| ChangeLog-2006 | ||
| ChangeLog-2007 | ||
| ChangeLog-2008 | ||
| ChangeLog-2009 | ||
| ChangeLog-2010 | ||
| ChangeLog-2011 | ||
| ChangeLog-2012 | ||
| ChangeLog-2013 | ||
| ChangeLog-2014 | ||
| ChangeLog-2015 | ||
| ChangeLog-2016 | ||
| ChangeLog-2017 | ||
| ChangeLog-2018 | ||
| ChangeLog-2019 | ||
| ChangeLog.ptr | ||
| ChangeLog.tree-ssa | ||
| class.c | ||
| config-lang.in | ||
| constexpr.c | ||
| constraint.cc | ||
| coroutines.cc | ||
| cp-gimplify.c | ||
| cp-lang.c | ||
| cp-name-hint.h | ||
| cp-objcp-common.c | ||
| cp-objcp-common.h | ||
| cp-tree.def | ||
| cp-tree.h | ||
| cp-ubsan.c | ||
| cvt.c | ||
| cxx-pretty-print.c | ||
| cxx-pretty-print.h | ||
| decl2.c | ||
| decl.c | ||
| decl.h | ||
| dump.c | ||
| error.c | ||
| except.c | ||
| expr.c | ||
| friend.c | ||
| g++spec.c | ||
| init.c | ||
| lambda.c | ||
| lang-specs.h | ||
| lex.c | ||
| logic.cc | ||
| Make-lang.in | ||
| mangle.c | ||
| method.c | ||
| name-lookup.c | ||
| name-lookup.h | ||
| operators.def | ||
| optimize.c | ||
| parser.c | ||
| parser.h | ||
| pt.c | ||
| ptree.c | ||
| rtti.c | ||
| search.c | ||
| semantics.c | ||
| tree.c | ||
| type-utils.h | ||
| typeck2.c | ||
| typeck.c | ||
| vtable-class-hierarchy.c | ||