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