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