[Bug c++/57466] [DR 1584] Argument deduction fails for 'const T*' when T is function type

[paolo at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57466

--- Comment #4 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Wed Jul  9 21:23:06 2014
New Revision: 212410

URL: https://gcc.gnu.org/viewcvs?rev=212410&root=gcc&view=rev
Log:
/cp
2014-07-09  Paolo Carlini  <paolo.carl...@oracle.com>

    DR 1584
    PR c++/57466
    * pt.c (check_cv_quals_for_unify): Implement resolution, disregard
    cv-qualifiers of function types.

/testsuite
2014-07-09  Paolo Carlini  <paolo.carl...@oracle.com>

    DR 1584
    PR c++/57466
    * g++.dg/template/pr57466.C: New.
    * g++.dg/cpp0x/pr57466.C: Likewise.
    * g++.dg/template/unify6.C: Update.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/pr57466.C
    trunk/gcc/testsuite/g++.dg/template/pr57466.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/template/unify6.C