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 115a83710eSEric Fiselier // const_reference operator[](size_type pos) const; 125a83710eSEric Fiselier // reference operator[](size_type pos); 135a83710eSEric Fiselier 145a83710eSEric Fiselier #ifdef _LIBCPP_DEBUG 155a83710eSEric Fiselier #define _LIBCPP_ASSERT(x, m) ((x) ? (void)0 : std::exit(0)) 165a83710eSEric Fiselier #endif 175a83710eSEric Fiselier 185a83710eSEric Fiselier #include <string> 195a83710eSEric Fiselier #include <cassert> 205a83710eSEric Fiselier 215a83710eSEric Fiselier #include "min_allocator.h" 225a83710eSEric Fiselier 23*2df59c50SJF Bastien int main(int, char**) 245a83710eSEric Fiselier { 255a83710eSEric Fiselier { 265a83710eSEric Fiselier typedef std::string S; 275a83710eSEric Fiselier S s("0123456789"); 285a83710eSEric Fiselier const S& cs = s; 295a83710eSEric Fiselier for (S::size_type i = 0; i < cs.size(); ++i) 305a83710eSEric Fiselier { 31e9c72889SStephan T. Lavavej assert(s[i] == static_cast<char>('0' + i)); 325a83710eSEric Fiselier assert(cs[i] == s[i]); 335a83710eSEric Fiselier } 345a83710eSEric Fiselier assert(cs[cs.size()] == '\0'); 355a83710eSEric Fiselier const S s2 = S(); 365a83710eSEric Fiselier assert(s2[0] == '\0'); 375a83710eSEric Fiselier } 38f2f2a639SEric Fiselier #if TEST_STD_VER >= 11 395a83710eSEric Fiselier { 405a83710eSEric Fiselier typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 415a83710eSEric Fiselier S s("0123456789"); 425a83710eSEric Fiselier const S& cs = s; 435a83710eSEric Fiselier for (S::size_type i = 0; i < cs.size(); ++i) 445a83710eSEric Fiselier { 45e9c72889SStephan T. Lavavej assert(s[i] == static_cast<char>('0' + i)); 465a83710eSEric Fiselier assert(cs[i] == s[i]); 475a83710eSEric Fiselier } 485a83710eSEric Fiselier assert(cs[cs.size()] == '\0'); 495a83710eSEric Fiselier const S s2 = S(); 505a83710eSEric Fiselier assert(s2[0] == '\0'); 515a83710eSEric Fiselier } 525a83710eSEric Fiselier #endif 535a83710eSEric Fiselier #ifdef _LIBCPP_DEBUG 545a83710eSEric Fiselier { 555a83710eSEric Fiselier std::string s; 565a83710eSEric Fiselier char c = s[0]; 575a83710eSEric Fiselier assert(c == '\0'); 585a83710eSEric Fiselier c = s[1]; 595a83710eSEric Fiselier assert(false); 605a83710eSEric Fiselier } 615a83710eSEric Fiselier #endif 62*2df59c50SJF Bastien 63*2df59c50SJF Bastien return 0; 645a83710eSEric Fiselier } 65