This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/56377] [4.8 Regression] <missing> template args in substitution-failure diagnostics
- From: "pl.smith.mail at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 18 Feb 2013 16:12:00 +0000
- Subject: [Bug c++/56377] [4.8 Regression] <missing> template args in substitution-failure diagnostics
- Auto-submitted: auto-generated
- References: <bug-56377-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56377
--- Comment #1 from Paul Smith <pl.smith.mail at gmail dot com> 2013-02-18 16:12:00 UTC ---
Looks like this was introduced in rev. 190664, with the merging of
'deduction_tsubst_fntype' into 'fn_type_unification'.
The instantiation context is constructed with 'targs' as the vector of template
arguments, which is still empty when substituting the explicit arguments into
the function type the first time. This can be fixed by either constructing the
instantiation context using 'explicit_targs' when non-null, or by copying
'explicit_targs' into 'targs' before the substitution.