From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id B5245385840A; Sat, 24 Sep 2022 00:07:30 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B5245385840A
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1663978050;
	bh=axLMou8sXQiyxYj9JQW17V3op/KLFm9AiuKGRhSeS9Q=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=HDmDZja5zKQPKHBA3SxLeL0oC5JCLvN8kYVs4aV3Zw4eVbYtrowai5wdLZXm91CZS
	 PlzT0dr/dltOCrH4ooT+U9FCSBhUJvtnuTzhwlfKXe5e44vkMbo4K+YOk7iakJoxB4
	 smhy+YkCOkVRpF4HLmCNI5INb+VfyVlPdkZhLNKE=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/91456] std::function and std::is_invocable_r do not
 understand guaranteed elision
Date: Sat, 24 Sep 2022 00:07:24 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libstdc++
X-Bugzilla-Version: 10.0
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: FIXED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: redi at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 9.3
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-91456-4-OfATGoER5S@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-91456-4@http.gcc.gnu.org/bugzilla/>
References: <bug-91456-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jonathan Wakely <redi@gcc.gnu.org>:

https://gcc.gnu.org/g:71c828f84572d933979468baf2cf744180258ee4

commit r13-2825-g71c828f84572d933979468baf2cf744180258ee4
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Fri Sep 23 13:28:37 2022 +0100

    libstdc++: Fix std::is_nothrow_invocable_r for uncopyable prvalues
[PR91456]

    This is the last missing piece of PR 91456.

    This also removes the only use of the C++11 version of
    std::is_nothrow_invocable, which was just renamed to
    __is_nothrow_invocable_lib. We can remove that now.

    libstdc++-v3/ChangeLog:

            PR libstdc++/91456
            * include/std/type_traits (__is_nothrow_invocable_lib): Remove.
            (__is_invocable_impl::__nothrow_type): New member type which
            checks if the conversion can throw.
            (__is_nt_invocable_impl): Replace class template with alias
            template to __is_nt_invocable_impl::__nothrow_type.
            * testsuite/20_util/is_nothrow_invocable/91456.cc: New test.
            * testsuite/20_util/is_nothrow_convertible/value.cc: Remove
            macro used by value_ext.cc test.
            * testsuite/20_util/is_nothrow_convertible/value_ext.cc: Remove
            test for non-standard __is_nothrow_invocable_lib trait.=