From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-399429-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 6159 invoked by alias); 25 Aug 2012 03:31:42 -0000
Received: (qmail 6150 invoked by uid 22791); 25 Aug 2012 03:31:41 -0000
X-SWARE-Spam-Status: No, hits=-4.3 required=5.0	tests=ALL_TRUSTED,AWL,BAYES_00,KHOP_THREADED
X-Spam-Check-By: sourceware.org
Received: from localhost (HELO gcc.gnu.org) (127.0.0.1)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sat, 25 Aug 2012 03:31:27 +0000
From: "jason at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/51213] [C++11][DR 1170] Access control checking has to be done under SFINAE conditions
Date: Sat, 25 Aug 2012 03:31:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jason at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: paolo.carlini at oracle dot com
X-Bugzilla-Target-Milestone: 4.8.0
X-Bugzilla-Changed-Fields:
Message-ID: <bug-51213-4-gDE2C7vlzL@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-51213-4@http.gcc.gnu.org/bugzilla/>
References: <bug-51213-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2012-08/txt/msg01701.txt.bz2

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