This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/52072] Several non-deduced contexts not recognized
- From: "jason at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 09 Apr 2013 12:30:15 +0000
- Subject: [Bug c++/52072] Several non-deduced contexts not recognized
- Auto-submitted: auto-generated
- References: <bug-52072-4 at http dot gcc dot gnu dot org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52072
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at gcc dot gnu.org
--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2013-04-09 12:30:15 UTC ---
The rule G++ is getting wrong is in 14.8.1:
Implicit conversions (Clause 4) will be performed on a function argument to
convert it to the type of the corresponding function parameter if the parameter
type contains no template-parameters that participate in template argument
deduction.
And there's a FIXME to this effect in unify_one_argument:
/* FIXME uses_deducible_template_parms */
if (TYPE_P (parm) && !uses_template_parms (parm))
return check_non_deducible_conversion (parm, arg, strict, flags,
explain_p);