diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2018-07-02 23:09:25 +0100 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2018-07-02 23:09:25 +0100 |
| commit | 8df27fcb9168fe26a6bcd34f4e653e1585895354 (patch) | |
| tree | b28afa0e0becf9af2fcb5fbaa355958c39549d58 /gcc | |
| parent | a5eae716f66322842da21c17002c66b10c6f6b40 (diff) | |
| download | gcc-8df27fcb9168fe26a6bcd34f4e653e1585895354.zip gcc-8df27fcb9168fe26a6bcd34f4e653e1585895354.tar.gz gcc-8df27fcb9168fe26a6bcd34f4e653e1585895354.tar.bz2 | |
P0758R1 Implicit conversion traits
Extend __is_convertible_helper to also detect whether the conversion is
non-throwing, for std::is_nothrow_convertible in C++2a,
* include/std/type_traits [__cplusplus > 201703]
(__is_convertible_helper::__is_nothrow_type): Define new member.
(__is_convertible_helper<_From, _To, false>::__test_aux1): Add
noexcept.
(__is_convertible_helper<_From, _To, false>::__test_nothrow)
(__is_convertible_helper<_From, _To, false>::__is_nothrow_type): Add
new members.
(is_nothrow_convertible, is_nothrow_convertible_v): Define for C++2a.
* testsuite/20_util/is_nothrow_convertible/value.cc: New.
* testsuite/20_util/is_nothrow_convertible/requirements/
explicit_instantiation.cc: New.
* testsuite/20_util/is_nothrow_convertible/requirements/typedefs.cc:
New.
From-SVN: r262322
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions