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