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(const CharT *x) const;
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 {
21800259c9SMarshall Clow typedef std::string S;
22800259c9SMarshall Clow const char *s = "abcde";
23800259c9SMarshall Clow S s0 {};
24800259c9SMarshall Clow S s1 { s, 1 };
25800259c9SMarshall Clow S s2 { s, 2 };
26800259c9SMarshall Clow // S s3 { s, 3 };
27800259c9SMarshall Clow // S s4 { s, 4 };
28800259c9SMarshall Clow // S s5 { s, 5 };
29800259c9SMarshall Clow S sNot {"def", 3 };
30800259c9SMarshall Clow
31800259c9SMarshall Clow LIBCPP_ASSERT_NOEXCEPT(s0.starts_with(""));
32800259c9SMarshall Clow
33800259c9SMarshall Clow assert ( s0.starts_with(""));
34800259c9SMarshall Clow assert (!s0.starts_with("a"));
35800259c9SMarshall Clow
36800259c9SMarshall Clow assert ( s1.starts_with(""));
37800259c9SMarshall Clow assert ( s1.starts_with("a"));
38800259c9SMarshall Clow assert (!s1.starts_with("ab"));
39800259c9SMarshall Clow assert (!s1.starts_with("abc"));
40800259c9SMarshall Clow assert (!s1.starts_with("abcd"));
41800259c9SMarshall Clow assert (!s1.starts_with("abcde"));
42800259c9SMarshall Clow assert (!s1.starts_with("def"));
43800259c9SMarshall Clow
44800259c9SMarshall Clow assert ( s2.starts_with(""));
45800259c9SMarshall Clow assert ( s2.starts_with("a"));
46800259c9SMarshall Clow assert ( s2.starts_with("ab"));
47800259c9SMarshall Clow assert (!s2.starts_with("abc"));
48800259c9SMarshall Clow assert (!s2.starts_with("abcd"));
49800259c9SMarshall Clow assert (!s2.starts_with("abcde"));
50800259c9SMarshall Clow assert (!s2.starts_with("def"));
51800259c9SMarshall Clow
52800259c9SMarshall Clow assert ( sNot.starts_with(""));
53800259c9SMarshall Clow assert (!sNot.starts_with("a"));
54800259c9SMarshall Clow assert (!sNot.starts_with("ab"));
55800259c9SMarshall Clow assert (!sNot.starts_with("abc"));
56800259c9SMarshall Clow assert (!sNot.starts_with("abcd"));
57800259c9SMarshall Clow assert (!sNot.starts_with("abcde"));
58800259c9SMarshall Clow assert ( sNot.starts_with("def"));
59800259c9SMarshall Clow }
602df59c50SJF Bastien
61c515b652SNikolas Klauser return true;
62c515b652SNikolas Klauser }
63c515b652SNikolas Klauser
main(int,char **)64c515b652SNikolas Klauser int main(int, char**)
65c515b652SNikolas Klauser {
66c515b652SNikolas Klauser test();
67*425620ccSNikolas Klauser static_assert(test());
68c515b652SNikolas Klauser
692df59c50SJF Bastien return 0;
70800259c9SMarshall Clow }
71