15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
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
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier
95a83710eSEric Fiselier // <string>
105a83710eSEric Fiselier
11*425620ccSNikolas Klauser // size_type copy(charT* s, size_type n, size_type pos = 0) const; // constexpr since C++20
125a83710eSEric Fiselier
135a83710eSEric Fiselier #include <string>
145a83710eSEric Fiselier #include <stdexcept>
155a83710eSEric Fiselier #include <algorithm>
165a83710eSEric Fiselier #include <cassert>
175a83710eSEric Fiselier
181f4231f8SEric Fiselier #include "test_macros.h"
195a83710eSEric Fiselier #include "min_allocator.h"
205a83710eSEric Fiselier
215a83710eSEric Fiselier template <class S>
22*425620ccSNikolas Klauser TEST_CONSTEXPR_CXX20 void
test(S str,typename S::value_type * s,typename S::size_type n,typename S::size_type pos)235a83710eSEric Fiselier test(S str, typename S::value_type* s, typename S::size_type n,
245a83710eSEric Fiselier typename S::size_type pos)
255a83710eSEric Fiselier {
265a83710eSEric Fiselier const S& cs = str;
278a915ed6SRoger Ferrer Ibanez if (pos <= cs.size())
288a915ed6SRoger Ferrer Ibanez {
295a83710eSEric Fiselier typename S::size_type r = cs.copy(s, n, pos);
305a83710eSEric Fiselier typename S::size_type rlen = std::min(n, cs.size() - pos);
315a83710eSEric Fiselier assert(r == rlen);
325a83710eSEric Fiselier for (r = 0; r < rlen; ++r)
335a83710eSEric Fiselier assert(S::traits_type::eq(cs[pos+r], s[r]));
345a83710eSEric Fiselier }
358a915ed6SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
36*425620ccSNikolas Klauser else if (!TEST_IS_CONSTANT_EVALUATED)
378a915ed6SRoger Ferrer Ibanez {
388a915ed6SRoger Ferrer Ibanez try
398a915ed6SRoger Ferrer Ibanez {
408a915ed6SRoger Ferrer Ibanez typename S::size_type r = cs.copy(s, n, pos);
414dc0ed83SStephan T. Lavavej ((void)r); // Prevent unused warning
428a915ed6SRoger Ferrer Ibanez assert(false);
438a915ed6SRoger Ferrer Ibanez }
445a83710eSEric Fiselier catch (std::out_of_range&)
455a83710eSEric Fiselier {
465a83710eSEric Fiselier assert(pos > str.size());
475a83710eSEric Fiselier }
485a83710eSEric Fiselier }
498a915ed6SRoger Ferrer Ibanez #endif
508a915ed6SRoger Ferrer Ibanez }
515a83710eSEric Fiselier
test()52*425620ccSNikolas Klauser TEST_CONSTEXPR_CXX20 bool test() {
535a83710eSEric Fiselier {
545a83710eSEric Fiselier typedef std::string S;
555a83710eSEric Fiselier char s[50];
565a83710eSEric Fiselier test(S(""), s, 0, 0);
575a83710eSEric Fiselier test(S(""), s, 0, 1);
585a83710eSEric Fiselier test(S(""), s, 1, 0);
595a83710eSEric Fiselier test(S("abcde"), s, 0, 0);
605a83710eSEric Fiselier test(S("abcde"), s, 0, 1);
615a83710eSEric Fiselier test(S("abcde"), s, 0, 2);
625a83710eSEric Fiselier test(S("abcde"), s, 0, 4);
635a83710eSEric Fiselier test(S("abcde"), s, 0, 5);
645a83710eSEric Fiselier test(S("abcde"), s, 0, 6);
655a83710eSEric Fiselier test(S("abcde"), s, 1, 0);
665a83710eSEric Fiselier test(S("abcde"), s, 1, 1);
675a83710eSEric Fiselier test(S("abcde"), s, 1, 2);
685a83710eSEric Fiselier test(S("abcde"), s, 1, 4);
695a83710eSEric Fiselier test(S("abcde"), s, 1, 5);
705a83710eSEric Fiselier test(S("abcde"), s, 2, 0);
715a83710eSEric Fiselier test(S("abcde"), s, 2, 1);
725a83710eSEric Fiselier test(S("abcde"), s, 2, 2);
735a83710eSEric Fiselier test(S("abcde"), s, 2, 4);
745a83710eSEric Fiselier test(S("abcde"), s, 4, 0);
755a83710eSEric Fiselier test(S("abcde"), s, 4, 1);
765a83710eSEric Fiselier test(S("abcde"), s, 4, 2);
775a83710eSEric Fiselier test(S("abcde"), s, 5, 0);
785a83710eSEric Fiselier test(S("abcde"), s, 5, 1);
795a83710eSEric Fiselier test(S("abcde"), s, 6, 0);
805a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 0);
815a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 1);
825a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 2);
835a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 10);
845a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 19);
855a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 20);
865a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 21);
875a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 0);
885a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 1);
895a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 2);
905a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 9);
915a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 18);
925a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 19);
935a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 20);
945a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 0);
955a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 1);
965a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 2);
975a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 9);
985a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 17);
995a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 18);
1005a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 19);
1015a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 0);
1025a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 1);
1035a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 2);
1045a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 5);
1055a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 9);
1065a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 10);
1075a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 11);
1085a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 19, 0);
1095a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 19, 1);
1105a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 19, 2);
1115a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 20, 0);
1125a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 20, 1);
1135a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 21, 0);
1145a83710eSEric Fiselier }
1151f4231f8SEric Fiselier #if TEST_STD_VER >= 11
1165a83710eSEric Fiselier {
1175a83710eSEric Fiselier typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
1185a83710eSEric Fiselier char s[50];
1195a83710eSEric Fiselier test(S(""), s, 0, 0);
1205a83710eSEric Fiselier test(S(""), s, 0, 1);
1215a83710eSEric Fiselier test(S(""), s, 1, 0);
1225a83710eSEric Fiselier test(S("abcde"), s, 0, 0);
1235a83710eSEric Fiselier test(S("abcde"), s, 0, 1);
1245a83710eSEric Fiselier test(S("abcde"), s, 0, 2);
1255a83710eSEric Fiselier test(S("abcde"), s, 0, 4);
1265a83710eSEric Fiselier test(S("abcde"), s, 0, 5);
1275a83710eSEric Fiselier test(S("abcde"), s, 0, 6);
1285a83710eSEric Fiselier test(S("abcde"), s, 1, 0);
1295a83710eSEric Fiselier test(S("abcde"), s, 1, 1);
1305a83710eSEric Fiselier test(S("abcde"), s, 1, 2);
1315a83710eSEric Fiselier test(S("abcde"), s, 1, 4);
1325a83710eSEric Fiselier test(S("abcde"), s, 1, 5);
1335a83710eSEric Fiselier test(S("abcde"), s, 2, 0);
1345a83710eSEric Fiselier test(S("abcde"), s, 2, 1);
1355a83710eSEric Fiselier test(S("abcde"), s, 2, 2);
1365a83710eSEric Fiselier test(S("abcde"), s, 2, 4);
1375a83710eSEric Fiselier test(S("abcde"), s, 4, 0);
1385a83710eSEric Fiselier test(S("abcde"), s, 4, 1);
1395a83710eSEric Fiselier test(S("abcde"), s, 4, 2);
1405a83710eSEric Fiselier test(S("abcde"), s, 5, 0);
1415a83710eSEric Fiselier test(S("abcde"), s, 5, 1);
1425a83710eSEric Fiselier test(S("abcde"), s, 6, 0);
1435a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 0);
1445a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 1);
1455a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 2);
1465a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 10);
1475a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 19);
1485a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 20);
1495a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 0, 21);
1505a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 0);
1515a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 1);
1525a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 2);
1535a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 9);
1545a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 18);
1555a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 19);
1565a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 1, 20);
1575a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 0);
1585a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 1);
1595a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 2);
1605a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 9);
1615a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 17);
1625a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 18);
1635a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 2, 19);
1645a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 0);
1655a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 1);
1665a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 2);
1675a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 5);
1685a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 9);
1695a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 10);
1705a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 10, 11);
1715a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 19, 0);
1725a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 19, 1);
1735a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 19, 2);
1745a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 20, 0);
1755a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 20, 1);
1765a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), s, 21, 0);
1775a83710eSEric Fiselier }
1785a83710eSEric Fiselier #endif
1792df59c50SJF Bastien
180dcffa7d3SNikolas Klauser return true;
181dcffa7d3SNikolas Klauser }
182dcffa7d3SNikolas Klauser
main(int,char **)183dcffa7d3SNikolas Klauser int main(int, char**)
184dcffa7d3SNikolas Klauser {
185dcffa7d3SNikolas Klauser test();
186dcffa7d3SNikolas Klauser #if TEST_STD_VER > 17
187*425620ccSNikolas Klauser static_assert(test());
188dcffa7d3SNikolas Klauser #endif
189dcffa7d3SNikolas Klauser
1902df59c50SJF Bastien return 0;
1915a83710eSEric Fiselier }
192