From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-354112-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 26761 invoked by alias); 19 Apr 2011 13:26:37 -0000
Received: (qmail 26731 invoked by uid 22791); 19 Apr 2011 13:26:36 -0000
X-SWARE-Spam-Status: No, hits=-2.9 required=5.0	tests=ALL_TRUSTED,AWL,BAYES_00
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; Tue, 19 Apr 2011 13:26:16 +0000
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/48521] [4.5/4.6/4.7 Regression] [C++0x] std::result_of doesn't work with pointer to member
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libstdc++
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: redi at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: redi at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-48521-4-iPv8LRrsKD@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-48521-4@http.gcc.gnu.org/bugzilla/>
References: <bug-48521-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
Date: Tue, 19 Apr 2011 13:26:00 -0000
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: 2011-04/txt/msg02016.txt.bz2

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

--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-04-19 13:26:15 UTC ---
Author: redi
Date: Tue Apr 19 13:26:08 2011
New Revision: 172709

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=172709
Log:
2011-04-19  Jonathan Wakely  <jwakely.gcc@gmail.com>

    PR libstdc++/48521
    * include/std/type_traits (result_of): Handle pointer to member.
    * include/std/functional (__invoke): Likewise.
    (_Function_to_function_pointer): Remove.
    (_Reference_wrapper_base): Provide nested types independent of
    unary_function and binary_function.
    (reference_wrapper::operator()): DR 2017.
    (ref(const A&&), cref(const A&&): Define as deleted.
    * include/std/future (async): Simplify SFINAE and use result_of to
    support pointer to member.
    * testsuite/20_util/reference_wrapper/invoke.cc: Test pointer to 
    member.
    * testsuite/20_util/reference_wrapper/24803.cc: Likewise.
    * testsuite/20_util/reference_wrapper/typedefs.cc: Test for types
    instead of derivation from unary_function and binary_function.
    * testsuite/20_util/declval/requirements/1_neg.cc: Adjust.
    * testsuite/20_util/reference_wrapper/invoke-2.cc: New.
    * testsuite/20_util/reference_wrapper/ref_neg.c: New.
    * testsuite/20_util/reference_wrapper/typedefs-3.c: New.

Added:
    trunk/libstdc++-v3/testsuite/20_util/reference_wrapper/invoke-2.cc
    trunk/libstdc++-v3/testsuite/20_util/reference_wrapper/ref_neg.cc
    trunk/libstdc++-v3/testsuite/20_util/reference_wrapper/typedefs-3.cc
Modified:
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/include/std/functional
    trunk/libstdc++-v3/include/std/future
    trunk/libstdc++-v3/include/std/type_traits
    trunk/libstdc++-v3/testsuite/20_util/declval/requirements/1_neg.cc
    trunk/libstdc++-v3/testsuite/20_util/reference_wrapper/24803.cc
    trunk/libstdc++-v3/testsuite/20_util/reference_wrapper/invoke.cc
    trunk/libstdc++-v3/testsuite/20_util/reference_wrapper/typedefs.cc