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 S>
test_string()25 TEST_CONSTEXPR_CXX20 void test_string() {
26   typedef std::string_view SV;
27   test(S(""), SV(""), false);
28   test(S(""), SV("abcde"), true);
29   test(S(""), SV("abcdefghij"), true);
30   test(S(""), SV("abcdefghijklmnopqrst"), true);
31   test(S("abcde"), SV(""), true);
32   test(S("abcde"), SV("abcde"), false);
33   test(S("abcde"), SV("abcdefghij"), true);
34   test(S("abcde"), SV("abcdefghijklmnopqrst"), true);
35   test(S("abcdefghij"), SV(""), true);
36   test(S("abcdefghij"), SV("abcde"), true);
37   test(S("abcdefghij"), SV("abcdefghij"), false);
38   test(S("abcdefghij"), SV("abcdefghijklmnopqrst"), true);
39   test(S("abcdefghijklmnopqrst"), SV(""), true);
40   test(S("abcdefghijklmnopqrst"), SV("abcde"), true);
41   test(S("abcdefghijklmnopqrst"), SV("abcdefghij"), true);
42   test(S("abcdefghijklmnopqrst"), SV("abcdefghijklmnopqrst"), false);
43 }
44 
test()45 TEST_CONSTEXPR_CXX20 bool test() {
46   test_string<std::string>();
47 #if TEST_STD_VER >= 11
48   test_string<std::basic_string<char, std::char_traits<char>, min_allocator<char>>>();
49 #endif
50 
51   return true;
52 }
53 
main(int,char **)54 int main(int, char**) {
55   test();
56 #if TEST_STD_VER > 17
57   static_assert(test());
58 #endif
59 
60   return 0;
61 }
62