diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2017-09-19 15:33:51 +0100 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2017-09-19 15:33:51 +0100 |
| commit | c4b06e7f1de6dff6a4c087bcf554451e9887d0f3 (patch) | |
| tree | 8663e2cd36d2eb27eef959675595ee25e8f9d74b /gcc | |
| parent | e32d238855968bce82a6cca4655298c42185508d (diff) | |
| download | gcc-c4b06e7f1de6dff6a4c087bcf554451e9887d0f3.zip gcc-c4b06e7f1de6dff6a4c087bcf554451e9887d0f3.tar.gz gcc-c4b06e7f1de6dff6a4c087bcf554451e9887d0f3.tar.bz2 | |
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.
From-SVN: r252977
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions