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 
114d64d7ddSMarshall Clow // Split into two calls for C++20
124d64d7ddSMarshall Clow // void reserve();
134d64d7ddSMarshall Clow // void reserve(size_type res_arg);
145a83710eSEric Fiselier 
155a83710eSEric Fiselier #include <string>
165a83710eSEric Fiselier #include <stdexcept>
175a83710eSEric Fiselier #include <cassert>
185a83710eSEric Fiselier 
191f4231f8SEric Fiselier #include "test_macros.h"
205a83710eSEric Fiselier #include "min_allocator.h"
215a83710eSEric Fiselier 
225a83710eSEric Fiselier template <class S>
235a83710eSEric Fiselier void
245a83710eSEric Fiselier test(S s)
255a83710eSEric Fiselier {
265a83710eSEric Fiselier     typename S::size_type old_cap = s.capacity();
275a83710eSEric Fiselier     S s0 = s;
285a83710eSEric Fiselier     s.reserve();
291f4231f8SEric Fiselier     LIBCPP_ASSERT(s.__invariants());
305a83710eSEric Fiselier     assert(s == s0);
315a83710eSEric Fiselier     assert(s.capacity() <= old_cap);
325a83710eSEric Fiselier     assert(s.capacity() >= s.size());
335a83710eSEric Fiselier }
345a83710eSEric Fiselier 
355a83710eSEric Fiselier template <class S>
365a83710eSEric Fiselier void
375a83710eSEric Fiselier test(S s, typename S::size_type res_arg)
385a83710eSEric Fiselier {
395a83710eSEric Fiselier     typename S::size_type old_cap = s.capacity();
404dc0ed83SStephan T. Lavavej     ((void)old_cap); // Prevent unused warning
415a83710eSEric Fiselier     S s0 = s;
428a915ed6SRoger Ferrer Ibanez     if (res_arg <= s.max_size())
435a83710eSEric Fiselier     {
445a83710eSEric Fiselier         s.reserve(res_arg);
455a83710eSEric Fiselier         assert(s == s0);
465a83710eSEric Fiselier         assert(s.capacity() >= res_arg);
475a83710eSEric Fiselier         assert(s.capacity() >= s.size());
484d64d7ddSMarshall Clow #if TEST_STD_VER > 17
494d64d7ddSMarshall Clow         assert(s.capacity() >= old_cap); // resize never shrinks as of P0966
504d64d7ddSMarshall Clow #endif
515a83710eSEric Fiselier     }
528a915ed6SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
538a915ed6SRoger Ferrer Ibanez     else
548a915ed6SRoger Ferrer Ibanez     {
558a915ed6SRoger Ferrer Ibanez         try
568a915ed6SRoger Ferrer Ibanez         {
578a915ed6SRoger Ferrer Ibanez             s.reserve(res_arg);
588a915ed6SRoger Ferrer Ibanez             assert(false);
598a915ed6SRoger Ferrer Ibanez         }
605a83710eSEric Fiselier         catch (std::length_error&)
615a83710eSEric Fiselier         {
625a83710eSEric Fiselier             assert(res_arg > s.max_size());
635a83710eSEric Fiselier         }
645a83710eSEric Fiselier     }
658a915ed6SRoger Ferrer Ibanez #endif
668a915ed6SRoger Ferrer Ibanez }
675a83710eSEric Fiselier 
68*2df59c50SJF Bastien int main(int, char**)
695a83710eSEric Fiselier {
705a83710eSEric Fiselier     {
715a83710eSEric Fiselier     typedef std::string S;
725a83710eSEric Fiselier     {
735a83710eSEric Fiselier     S s;
745a83710eSEric Fiselier     test(s);
755a83710eSEric Fiselier 
765a83710eSEric Fiselier     s.assign(10, 'a');
775a83710eSEric Fiselier     s.erase(5);
785a83710eSEric Fiselier     test(s);
795a83710eSEric Fiselier 
805a83710eSEric Fiselier     s.assign(100, 'a');
815a83710eSEric Fiselier     s.erase(50);
825a83710eSEric Fiselier     test(s);
835a83710eSEric Fiselier     }
845a83710eSEric Fiselier     {
855a83710eSEric Fiselier     S s;
865a83710eSEric Fiselier     test(s, 5);
875a83710eSEric Fiselier     test(s, 10);
885a83710eSEric Fiselier     test(s, 50);
895a83710eSEric Fiselier     }
905a83710eSEric Fiselier     {
915a83710eSEric Fiselier     S s(100, 'a');
925a83710eSEric Fiselier     s.erase(50);
935a83710eSEric Fiselier     test(s, 5);
945a83710eSEric Fiselier     test(s, 10);
955a83710eSEric Fiselier     test(s, 50);
965a83710eSEric Fiselier     test(s, 100);
974d64d7ddSMarshall Clow     test(s, 1000);
985a83710eSEric Fiselier     test(s, S::npos);
995a83710eSEric Fiselier     }
1005a83710eSEric Fiselier     }
1011f4231f8SEric Fiselier #if TEST_STD_VER >= 11
1025a83710eSEric Fiselier     {
1035a83710eSEric Fiselier     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
1045a83710eSEric Fiselier     {
1055a83710eSEric Fiselier     S s;
1065a83710eSEric Fiselier     test(s);
1075a83710eSEric Fiselier 
1085a83710eSEric Fiselier     s.assign(10, 'a');
1095a83710eSEric Fiselier     s.erase(5);
1105a83710eSEric Fiselier     test(s);
1115a83710eSEric Fiselier 
1125a83710eSEric Fiselier     s.assign(100, 'a');
1135a83710eSEric Fiselier     s.erase(50);
1145a83710eSEric Fiselier     test(s);
1155a83710eSEric Fiselier     }
1165a83710eSEric Fiselier     {
1175a83710eSEric Fiselier     S s;
1185a83710eSEric Fiselier     test(s, 5);
1195a83710eSEric Fiselier     test(s, 10);
1205a83710eSEric Fiselier     test(s, 50);
1215a83710eSEric Fiselier     }
1225a83710eSEric Fiselier     {
1235a83710eSEric Fiselier     S s(100, 'a');
1245a83710eSEric Fiselier     s.erase(50);
1255a83710eSEric Fiselier     test(s, 5);
1265a83710eSEric Fiselier     test(s, 10);
1275a83710eSEric Fiselier     test(s, 50);
1285a83710eSEric Fiselier     test(s, 100);
1294d64d7ddSMarshall Clow     test(s, 1000);
1305a83710eSEric Fiselier     test(s, S::npos);
1315a83710eSEric Fiselier     }
1325a83710eSEric Fiselier     }
1335a83710eSEric Fiselier #endif
134*2df59c50SJF Bastien 
135*2df59c50SJF Bastien   return 0;
1365a83710eSEric Fiselier }
137