This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

[PATCH] PR libstdc++/83395 fix invocable traits for INVOKE<cv void>

From: Jonathan Wakely <jwakely at redhat dot com>
To: libstdc++ at gcc dot gnu dot org, gcc-patches at gcc dot gnu dot org
Date: Tue, 12 Dec 2017 17:44:07 +0000
Subject: [PATCH] PR libstdc++/83395 fix invocable traits for INVOKE<cv void>
Authentication-results: sourceware.org; auth=none

This restores the is_void<R> check to __is_invocable_impl that I
removed recently, because otherwise we don't handle cv void correctly
(and restoring the is_void check seemed simpler than adding partial
specializations for cv void).

	PR libstdc++/83395
	* include/std/type_traits (__is_invocable_impl): Remove partial
	specialization for INVOKE<void> and restore is_void<R> check in
	primary template.
	(__is_nt_invocable_impl): Likewise.
	* testsuite/20_util/is_invocable/83395.cc: New test.
	* testsuite/20_util/is_nothrow_invocable/83395.cc: New test.

Tested powerpc64le-linux, committed to trunk. Backport to follow for
gcc-7-branch.

Attachment: patch.txt
Description: Text document

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]