| commit | c52a6a55876b90a73769daec54d8b7582b35284d | |
| author | redi <redi@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 19 Sep 2017 14:33:51 +0000 (19 14:33 +0000) | ||
| committer | redi <redi@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 19 Sep 2017 14:33:51 +0000 (19 14:33 +0000) | ||
| tree | 8663e2cd36d2eb27eef959675595ee25e8f9d74b | treesnapshot (tar.gz zip) |
| parent | a0c6c7c1e1f7aff6527ad2baf7b382d324056524 | commitdiff |
PR libstdc++/82254 fix std::is_nothrow_invocable_r w.r.t throwing conversions
PR libstdc++/82254
* include/std/type_traits (__is_invocable): Add partial specialization
for INVOKE<void> case and remove is_void<R> check from partial
specialization for INVOKE<R> case.
(__is_nt_invocable_impl): New helper for is_nothrow_invocable_r.
(is_nothrow_invocable_r): Use __is_nt_invocable_impl.
* testsuite/20_util/is_nothrow_invocable/value.cc: Add tests for
conversions that can throw or fail to convert. Use static assert
strings to explain negative results.
* testsuite/20_util/is_nothrow_invocable/value_ext.cc: Use
is_nothrow_constructible in is_nt_invocable_conv.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@252977 138bc75d-0d04-0410-961f-82ee72b054a4
PR libstdc++/82254
* include/std/type_traits (__is_invocable): Add partial specialization
for INVOKE<void> case and remove is_void<R> check from partial
specialization for INVOKE<R> case.
(__is_nt_invocable_impl): New helper for is_nothrow_invocable_r.
(is_nothrow_invocable_r): Use __is_nt_invocable_impl.
* testsuite/20_util/is_nothrow_invocable/value.cc: Add tests for
conversions that can throw or fail to convert. Use static assert
strings to explain negative results.
* testsuite/20_util/is_nothrow_invocable/value_ext.cc: Use
is_nothrow_constructible in is_nt_invocable_conv.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@252977 138bc75d-0d04-0410-961f-82ee72b054a4