1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // <string>
10
11 // we get this comparison "for free" because the string implicitly converts to the string_view
12
13 #include <string>
14 #include <cassert>
15
16 #include "test_macros.h"
17 #include "min_allocator.h"
18
19 template <class S, class SV>
test(const S & lhs,SV rhs,bool x)20 TEST_CONSTEXPR_CXX20 void test(const S& lhs, SV rhs, bool x) {
21 assert((lhs > rhs) == x);
22 }
23
24 template <class CharT, template <class> class Alloc>
test_string()25 TEST_CONSTEXPR_CXX20 void test_string() {
26 using S = std::basic_string<CharT, std::char_traits<CharT>, Alloc<CharT> >;
27 using SV = std::basic_string_view<CharT, std::char_traits<CharT> >;
28 test(S(""), SV(""), false);
29 test(S(""), SV("abcde"), false);
30 test(S(""), SV("abcdefghij"), false);
31 test(S(""), SV("abcdefghijklmnopqrst"), false);
32 test(S("abcde"), SV(""), true);
33 test(S("abcde"), SV("abcde"), false);
34 test(S("abcde"), SV("abcdefghij"), false);
35 test(S("abcde"), SV("abcdefghijklmnopqrst"), false);
36 test(S("abcdefghij"), SV(""), true);
37 test(S("abcdefghij"), SV("abcde"), true);
38 test(S("abcdefghij"), SV("abcdefghij"), false);
39 test(S("abcdefghij"), SV("abcdefghijklmnopqrst"), false);
40 test(S("abcdefghijklmnopqrst"), SV(""), true);
41 test(S("abcdefghijklmnopqrst"), SV("abcde"), true);
42 test(S("abcdefghijklmnopqrst"), SV("abcdefghij"), true);
43 test(S("abcdefghijklmnopqrst"), SV("abcdefghijklmnopqrst"), false);
44 }
45
test()46 TEST_CONSTEXPR_CXX20 bool test() {
47 test_string<char, std::allocator>();
48 #if TEST_STD_VER >= 11
49 test_string<char, min_allocator>();
50 #endif
51
52 return true;
53 }
54
main(int,char **)55 int main(int, char**) {
56 test();
57 #if TEST_STD_VER > 17
58 static_assert(test());
59 #endif
60
61 return 0;
62 }
63