15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
35a83710eSEric Fiselier //                     The LLVM Compiler Infrastructure
45a83710eSEric Fiselier //
55a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open
65a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details.
75a83710eSEric Fiselier //
85a83710eSEric Fiselier //===----------------------------------------------------------------------===//
95a83710eSEric Fiselier 
105a83710eSEric Fiselier // <string>
115a83710eSEric Fiselier 
125a83710eSEric Fiselier // void reserve(size_type res_arg=0);
135a83710eSEric Fiselier 
145a83710eSEric Fiselier #include <string>
155a83710eSEric Fiselier #include <stdexcept>
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>
225a83710eSEric Fiselier void
235a83710eSEric Fiselier test(S s)
245a83710eSEric Fiselier {
255a83710eSEric Fiselier     typename S::size_type old_cap = s.capacity();
265a83710eSEric Fiselier     S s0 = s;
275a83710eSEric Fiselier     s.reserve();
281f4231f8SEric Fiselier     LIBCPP_ASSERT(s.__invariants());
295a83710eSEric Fiselier     assert(s == s0);
305a83710eSEric Fiselier     assert(s.capacity() <= old_cap);
315a83710eSEric Fiselier     assert(s.capacity() >= s.size());
325a83710eSEric Fiselier }
335a83710eSEric Fiselier 
345a83710eSEric Fiselier template <class S>
355a83710eSEric Fiselier void
365a83710eSEric Fiselier test(S s, typename S::size_type res_arg)
375a83710eSEric Fiselier {
385a83710eSEric Fiselier     typename S::size_type old_cap = s.capacity();
39*4dc0ed83SStephan T. Lavavej     ((void)old_cap); // Prevent unused warning
405a83710eSEric Fiselier     S s0 = s;
418a915ed6SRoger Ferrer Ibanez     if (res_arg <= s.max_size())
425a83710eSEric Fiselier     {
435a83710eSEric Fiselier         s.reserve(res_arg);
445a83710eSEric Fiselier         assert(s == s0);
455a83710eSEric Fiselier         assert(s.capacity() >= res_arg);
465a83710eSEric Fiselier         assert(s.capacity() >= s.size());
475a83710eSEric Fiselier     }
488a915ed6SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
498a915ed6SRoger Ferrer Ibanez     else
508a915ed6SRoger Ferrer Ibanez     {
518a915ed6SRoger Ferrer Ibanez         try
528a915ed6SRoger Ferrer Ibanez         {
538a915ed6SRoger Ferrer Ibanez             s.reserve(res_arg);
548a915ed6SRoger Ferrer Ibanez             assert(false);
558a915ed6SRoger Ferrer Ibanez         }
565a83710eSEric Fiselier         catch (std::length_error&)
575a83710eSEric Fiselier         {
585a83710eSEric Fiselier             assert(res_arg > s.max_size());
595a83710eSEric Fiselier         }
605a83710eSEric Fiselier     }
618a915ed6SRoger Ferrer Ibanez #endif
628a915ed6SRoger Ferrer Ibanez }
635a83710eSEric Fiselier 
645a83710eSEric Fiselier int main()
655a83710eSEric Fiselier {
665a83710eSEric Fiselier     {
675a83710eSEric Fiselier     typedef std::string S;
685a83710eSEric Fiselier     {
695a83710eSEric Fiselier     S s;
705a83710eSEric Fiselier     test(s);
715a83710eSEric Fiselier 
725a83710eSEric Fiselier     s.assign(10, 'a');
735a83710eSEric Fiselier     s.erase(5);
745a83710eSEric Fiselier     test(s);
755a83710eSEric Fiselier 
765a83710eSEric Fiselier     s.assign(100, 'a');
775a83710eSEric Fiselier     s.erase(50);
785a83710eSEric Fiselier     test(s);
795a83710eSEric Fiselier     }
805a83710eSEric Fiselier     {
815a83710eSEric Fiselier     S s;
825a83710eSEric Fiselier     test(s, 5);
835a83710eSEric Fiselier     test(s, 10);
845a83710eSEric Fiselier     test(s, 50);
855a83710eSEric Fiselier     }
865a83710eSEric Fiselier     {
875a83710eSEric Fiselier     S s(100, 'a');
885a83710eSEric Fiselier     s.erase(50);
895a83710eSEric Fiselier     test(s, 5);
905a83710eSEric Fiselier     test(s, 10);
915a83710eSEric Fiselier     test(s, 50);
925a83710eSEric Fiselier     test(s, 100);
935a83710eSEric Fiselier     test(s, S::npos);
945a83710eSEric Fiselier     }
955a83710eSEric Fiselier     }
961f4231f8SEric Fiselier #if TEST_STD_VER >= 11
975a83710eSEric Fiselier     {
985a83710eSEric Fiselier     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
995a83710eSEric Fiselier     {
1005a83710eSEric Fiselier     S s;
1015a83710eSEric Fiselier     test(s);
1025a83710eSEric Fiselier 
1035a83710eSEric Fiselier     s.assign(10, 'a');
1045a83710eSEric Fiselier     s.erase(5);
1055a83710eSEric Fiselier     test(s);
1065a83710eSEric Fiselier 
1075a83710eSEric Fiselier     s.assign(100, 'a');
1085a83710eSEric Fiselier     s.erase(50);
1095a83710eSEric Fiselier     test(s);
1105a83710eSEric Fiselier     }
1115a83710eSEric Fiselier     {
1125a83710eSEric Fiselier     S s;
1135a83710eSEric Fiselier     test(s, 5);
1145a83710eSEric Fiselier     test(s, 10);
1155a83710eSEric Fiselier     test(s, 50);
1165a83710eSEric Fiselier     }
1175a83710eSEric Fiselier     {
1185a83710eSEric Fiselier     S s(100, 'a');
1195a83710eSEric Fiselier     s.erase(50);
1205a83710eSEric Fiselier     test(s, 5);
1215a83710eSEric Fiselier     test(s, 10);
1225a83710eSEric Fiselier     test(s, 50);
1235a83710eSEric Fiselier     test(s, 100);
1245a83710eSEric Fiselier     test(s, S::npos);
1255a83710eSEric Fiselier     }
1265a83710eSEric Fiselier     }
1275a83710eSEric Fiselier #endif
1285a83710eSEric Fiselier }
129