aboutsummaryrefslogtreecommitdiff
path: root/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t
diff options
context:
space:
mode:
Diffstat (limited to 'test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t')
-rw-r--r--test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign2.pass.cpp14
-rw-r--r--test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/compare.pass.cpp14
-rw-r--r--test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/find.pass.cpp18
-rw-r--r--test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/length.pass.cpp13
4 files changed, 59 insertions, 0 deletions
diff --git a/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign2.pass.cpp b/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign2.pass.cpp
index 6cd55ea58bff..373931169d81 100644
--- a/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign2.pass.cpp
+++ b/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/assign2.pass.cpp
@@ -12,12 +12,22 @@
// template<> struct char_traits<char32_t>
// static void assign(char_type& c1, const char_type& c2);
+// constexpr in C++17
#include <string>
#include <cassert>
#include "test_macros.h"
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+ char32_t c = U'1';
+ std::char_traits<char32_t>::assign(c, U'a');
+ return c == U'a';
+}
+#endif
+
int main()
{
#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
@@ -26,5 +36,9 @@ int main()
std::char_traits<char32_t>::assign(c, U'a');
assert(c == U'a');
#endif
+
+#if TEST_STD_VER > 14
+ static_assert(test_constexpr(), "" );
+#endif
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}
diff --git a/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/compare.pass.cpp b/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/compare.pass.cpp
index 2671b5624100..1730d06cc16a 100644
--- a/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/compare.pass.cpp
+++ b/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/compare.pass.cpp
@@ -12,12 +12,22 @@
// template<> struct char_traits<char32_t>
// static int compare(const char_type* s1, const char_type* s2, size_t n);
+// constexpr in C++17
#include <string>
#include <cassert>
#include "test_macros.h"
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+ return std::char_traits<char32_t>::compare(U"123", U"223", 3) < 0
+ && std::char_traits<char32_t>::compare(U"223", U"123", 3) > 0
+ && std::char_traits<char32_t>::compare(U"123", U"123", 3) == 0;
+}
+#endif
+
int main()
{
#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
@@ -43,5 +53,9 @@ int main()
assert(std::char_traits<char32_t>::compare(U"133", U"123", 3) > 0);
assert(std::char_traits<char32_t>::compare(U"124", U"123", 3) > 0);
#endif
+
+#if TEST_STD_VER > 14
+ static_assert(test_constexpr(), "" );
+#endif
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}
diff --git a/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/find.pass.cpp b/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/find.pass.cpp
index d0b17999d3e1..6d201db62efc 100644
--- a/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/find.pass.cpp
+++ b/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/find.pass.cpp
@@ -12,10 +12,24 @@
// template<> struct char_traits<char32_t>
// static const char_type* find(const char_type* s, size_t n, const char_type& a);
+// constexpr in C++17
#include <string>
#include <cassert>
+#include "test_macros.h"
+
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+ constexpr const char32_t *p = U"123";
+ return std::char_traits<char32_t>::find(p, 3, U'1') == p
+ && std::char_traits<char32_t>::find(p, 3, U'2') == p + 1
+ && std::char_traits<char32_t>::find(p, 3, U'3') == p + 2
+ && std::char_traits<char32_t>::find(p, 3, U'4') == nullptr;
+}
+#endif
+
int main()
{
#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
@@ -26,5 +40,9 @@ int main()
assert(std::char_traits<char32_t>::find(s1, 3, char32_t(4)) == 0);
assert(std::char_traits<char32_t>::find(s1, 3, char32_t(0)) == 0);
assert(std::char_traits<char32_t>::find(NULL, 0, char32_t(0)) == 0);
+
+#if TEST_STD_VER > 14
+ static_assert(test_constexpr(), "" );
+#endif
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}
diff --git a/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/length.pass.cpp b/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/length.pass.cpp
index e0bee5dc5080..9d691aca4ec9 100644
--- a/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/length.pass.cpp
+++ b/test/std/strings/char.traits/char.traits.specializations/char.traits.specializations.char32_t/length.pass.cpp
@@ -12,12 +12,21 @@
// template<> struct char_traits<char32_t>
// static size_t length(const char_type* s);
+// constexpr in C++17
#include <string>
#include <cassert>
#include "test_macros.h"
+#if TEST_STD_VER > 14
+constexpr bool test_constexpr()
+{
+ return std::char_traits<char32_t>::length(U"") == 0
+ && std::char_traits<char32_t>::length(U"abcd") == 4;
+}
+#endif
+
int main()
{
#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
@@ -28,5 +37,9 @@ int main()
assert(std::char_traits<char32_t>::length(U"aaa") == 3);
assert(std::char_traits<char32_t>::length(U"aaaa") == 4);
#endif
+
+#if TEST_STD_VER > 14
+ static_assert(test_constexpr(), "" );
+#endif
#endif // _LIBCPP_HAS_NO_UNICODE_CHARS
}