1 //===----------------------------------------------------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 // <string_view>
11 
12 // template<class charT, class traits, class Allocator>
13 //   constexpr bool operator!=(const basic_string_view<charT,traits> lhs,
14 //                   const basic_string_view<charT,traits> rhs);
15 
16 #include <experimental/string_view>
17 #include <cassert>
18 
19 #include "constexpr_char_traits.hpp"
20 
21 template <class S>
22 void
test(S lhs,S rhs,bool x)23 test(S lhs, S rhs, bool x)
24 {
25     assert((lhs != rhs) == x);
26     assert((rhs != lhs) == x);
27 }
28 
main()29 int main()
30 {
31     {
32     typedef std::experimental::string_view S;
33     test(S(""), S(""), false);
34     test(S(""), S("abcde"), true);
35     test(S(""), S("abcdefghij"), true);
36     test(S(""), S("abcdefghijklmnopqrst"), true);
37     test(S("abcde"), S(""), true);
38     test(S("abcde"), S("abcde"), false);
39     test(S("abcde"), S("abcdefghij"), true);
40     test(S("abcde"), S("abcdefghijklmnopqrst"), true);
41     test(S("abcdefghij"), S(""), true);
42     test(S("abcdefghij"), S("abcde"), true);
43     test(S("abcdefghij"), S("abcdefghij"), false);
44     test(S("abcdefghij"), S("abcdefghijklmnopqrst"), true);
45     test(S("abcdefghijklmnopqrst"), S(""), true);
46     test(S("abcdefghijklmnopqrst"), S("abcde"), true);
47     test(S("abcdefghijklmnopqrst"), S("abcdefghij"), true);
48     test(S("abcdefghijklmnopqrst"), S("abcdefghijklmnopqrst"), false);
49     }
50 
51 #if _LIBCPP_STD_VER > 11
52     {
53     typedef std::experimental::basic_string_view<char, constexpr_char_traits<char>> SV;
54     constexpr SV  sv1;
55     constexpr SV  sv2;
56     constexpr SV  sv3 { "abcde", 5 };
57     static_assert (!( sv1 != sv2), "" );
58     static_assert (   sv1 != sv3,  "" );
59     }
60 #endif
61 }
62