[Bug c++/51213] [C++11][DR 1170] Access control checking has to be done under SFINAE conditions

["jason at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51213

--- Comment #13 from Jason Merrill <jason at gcc dot gnu.org> 2012-08-25 03:30:16 UTC ---
Author: jason
Date: Sat Aug 25 03:30:11 2012
New Revision: 190664

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190664
Log:
    PR c++/51213 (again)
    * pt.c (deduction_tsubst_fntype): Remove.
    (fn_type_unification): Check deduction depth and call
    instantiate_template here.  Handle default argument access checks.
    (determine_specialization): Suppress access control.
    (tsubst_decl): Check for excessive deduction depth.
    (recheck_decl_substitution): Make sure access control is on.
    (type_unification_real): Don't mess with access deferring here.
    (get_bindings): Adjust for fn_type_unification return type.
    * call.c (enum rejection_reason_code): Drop rr_template_instantiation.
    (template_instantiation_rejection): Remove.
    (struct rejection_reason): Change targs to num_targs.
    (template_unification_rejection, print_z_candidate): Adjust.
    (add_template_candidate_real): Adjust for fn_type_unification change.
    * class.c (resolve_address_of_overloaded_function): Likewise.
    * cp-tree.h: Adjust declaration.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/fntmpdefarg3.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/class.c
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/pt.c