1800259c9SMarshall Clow //===----------------------------------------------------------------------===//
2800259c9SMarshall Clow //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6800259c9SMarshall Clow //
7800259c9SMarshall Clow //===----------------------------------------------------------------------===//
831cbe0f2SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14, c++17
9800259c9SMarshall Clow 
10800259c9SMarshall Clow // <string>
11800259c9SMarshall Clow 
12*425620ccSNikolas Klauser // constexpr bool starts_with(string_view x) const noexcept;
13800259c9SMarshall Clow 
14800259c9SMarshall Clow #include <string>
15800259c9SMarshall Clow #include <cassert>
16800259c9SMarshall Clow 
17800259c9SMarshall Clow #include "test_macros.h"
18800259c9SMarshall Clow 
test()19*425620ccSNikolas Klauser constexpr bool test() {
20800259c9SMarshall Clow     typedef std::string S;
21800259c9SMarshall Clow     typedef std::string_view SV;
22800259c9SMarshall Clow     const char *s = "abcde";
23800259c9SMarshall Clow 
24800259c9SMarshall Clow     S   s0;
25800259c9SMarshall Clow     S   s1  { s, 1 };
26800259c9SMarshall Clow     S   s2  { s, 2 };
27800259c9SMarshall Clow //  S   s3  { s, 3 };
28800259c9SMarshall Clow //  S   s4  { s, 4 };
29800259c9SMarshall Clow //  S   s5  { s, 5 };
30800259c9SMarshall Clow     S  sNot { "def", 3 };
31800259c9SMarshall Clow 
32800259c9SMarshall Clow     SV  sv0;
33800259c9SMarshall Clow     SV  sv1 { s, 1 };
34800259c9SMarshall Clow     SV  sv2 { s, 2 };
35800259c9SMarshall Clow     SV  sv3 { s, 3 };
36800259c9SMarshall Clow     SV  sv4 { s, 4 };
37800259c9SMarshall Clow     SV  sv5 { s, 5 };
38800259c9SMarshall Clow     SV svNot {"def", 3 };
39800259c9SMarshall Clow 
40800259c9SMarshall Clow     ASSERT_NOEXCEPT(s0.starts_with(sv0));
41800259c9SMarshall Clow 
42800259c9SMarshall Clow     assert ( s0.starts_with(sv0));
43800259c9SMarshall Clow     assert (!s0.starts_with(sv1));
44800259c9SMarshall Clow 
45800259c9SMarshall Clow     assert ( s1.starts_with(sv0));
46800259c9SMarshall Clow     assert ( s1.starts_with(sv1));
47800259c9SMarshall Clow     assert (!s1.starts_with(sv2));
48800259c9SMarshall Clow     assert (!s1.starts_with(sv3));
49800259c9SMarshall Clow     assert (!s1.starts_with(sv4));
50800259c9SMarshall Clow     assert (!s1.starts_with(sv5));
51800259c9SMarshall Clow     assert (!s1.starts_with(svNot));
52800259c9SMarshall Clow 
53800259c9SMarshall Clow     assert ( s2.starts_with(sv0));
54800259c9SMarshall Clow     assert ( s2.starts_with(sv1));
55800259c9SMarshall Clow     assert ( s2.starts_with(sv2));
56800259c9SMarshall Clow     assert (!s2.starts_with(sv3));
57800259c9SMarshall Clow     assert (!s2.starts_with(sv4));
58800259c9SMarshall Clow     assert (!s2.starts_with(sv5));
59800259c9SMarshall Clow     assert (!s2.starts_with(svNot));
60800259c9SMarshall Clow 
61800259c9SMarshall Clow     assert ( sNot.starts_with(sv0));
62800259c9SMarshall Clow     assert (!sNot.starts_with(sv1));
63800259c9SMarshall Clow     assert (!sNot.starts_with(sv2));
64800259c9SMarshall Clow     assert (!sNot.starts_with(sv3));
65800259c9SMarshall Clow     assert (!sNot.starts_with(sv4));
66800259c9SMarshall Clow     assert (!sNot.starts_with(sv5));
67800259c9SMarshall Clow     assert ( sNot.starts_with(svNot));
68c515b652SNikolas Klauser 
69c515b652SNikolas Klauser     return true;
70800259c9SMarshall Clow }
712df59c50SJF Bastien 
main(int,char **)72c515b652SNikolas Klauser int main(int, char**)
73c515b652SNikolas Klauser {
74c515b652SNikolas Klauser   test();
75*425620ccSNikolas Klauser   static_assert(test());
76c515b652SNikolas Klauser 
772df59c50SJF Bastien   return 0;
78800259c9SMarshall Clow }
79