diff options
| -rw-r--r-- | libstdc++-v3/testsuite/21_strings/basic_string_view/requirements/trivially_copyable.cc | 11 | ||||
| -rw-r--r-- | libstdc++-v3/testsuite/23_containers/span/trivially_copyable.cc | 13 |
2 files changed, 24 insertions, 0 deletions
diff --git a/libstdc++-v3/testsuite/21_strings/basic_string_view/requirements/trivially_copyable.cc b/libstdc++-v3/testsuite/21_strings/basic_string_view/requirements/trivially_copyable.cc new file mode 100644 index 0000000..3f2589c --- /dev/null +++ b/libstdc++-v3/testsuite/21_strings/basic_string_view/requirements/trivially_copyable.cc @@ -0,0 +1,11 @@ +// { dg-do compile { target c++17 } } + +// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2251r1.pdf + +#include <string_view> + +static_assert( std::is_trivially_copyable_v<std::string_view> ); +static_assert( std::is_trivially_copyable_v<std::wstring_view> ); + +struct traits : std::char_traits<char> { }; +static_assert( std::is_trivially_copyable_v<std::basic_string_view<char, traits>> ); diff --git a/libstdc++-v3/testsuite/23_containers/span/trivially_copyable.cc b/libstdc++-v3/testsuite/23_containers/span/trivially_copyable.cc new file mode 100644 index 0000000..e374829 --- /dev/null +++ b/libstdc++-v3/testsuite/23_containers/span/trivially_copyable.cc @@ -0,0 +1,13 @@ +// { dg-options "-std=gnu++20" } +// { dg-do compile { target c++20 } } + +// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2251r1.pdf + +#include <span> + +static_assert( std::is_trivially_copyable_v<std::span<int>> ); +static_assert( std::is_trivially_copyable_v<std::span<int, 42>> ); + +struct NonTrivial { NonTrivial(); NonTrivial(const NonTrivial&); }; +static_assert( std::is_trivially_copyable_v<std::span<NonTrivial>> ); +static_assert( std::is_trivially_copyable_v<std::span<NonTrivial, 99>> ); |