1*5a83710eSEric Fiselier //===----------------------------------------------------------------------===// 2*5a83710eSEric Fiselier // 3*5a83710eSEric Fiselier // The LLVM Compiler Infrastructure 4*5a83710eSEric Fiselier // 5*5a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open 6*5a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details. 7*5a83710eSEric Fiselier // 8*5a83710eSEric Fiselier //===----------------------------------------------------------------------===// 9*5a83710eSEric Fiselier 10*5a83710eSEric Fiselier // <string> 11*5a83710eSEric Fiselier 12*5a83710eSEric Fiselier // const_reference operator[](size_type pos) const; 13*5a83710eSEric Fiselier // reference operator[](size_type pos); 14*5a83710eSEric Fiselier 15*5a83710eSEric Fiselier #ifdef _LIBCPP_DEBUG 16*5a83710eSEric Fiselier #define _LIBCPP_ASSERT(x, m) ((x) ? (void)0 : std::exit(0)) 17*5a83710eSEric Fiselier #endif 18*5a83710eSEric Fiselier 19*5a83710eSEric Fiselier #include <string> 20*5a83710eSEric Fiselier #include <cassert> 21*5a83710eSEric Fiselier 22*5a83710eSEric Fiselier #include "min_allocator.h" 23*5a83710eSEric Fiselier 24*5a83710eSEric Fiselier int main() 25*5a83710eSEric Fiselier { 26*5a83710eSEric Fiselier { 27*5a83710eSEric Fiselier typedef std::string S; 28*5a83710eSEric Fiselier S s("0123456789"); 29*5a83710eSEric Fiselier const S& cs = s; 30*5a83710eSEric Fiselier for (S::size_type i = 0; i < cs.size(); ++i) 31*5a83710eSEric Fiselier { 32*5a83710eSEric Fiselier assert(s[i] == '0' + i); 33*5a83710eSEric Fiselier assert(cs[i] == s[i]); 34*5a83710eSEric Fiselier } 35*5a83710eSEric Fiselier assert(cs[cs.size()] == '\0'); 36*5a83710eSEric Fiselier const S s2 = S(); 37*5a83710eSEric Fiselier assert(s2[0] == '\0'); 38*5a83710eSEric Fiselier } 39*5a83710eSEric Fiselier #if __cplusplus >= 201103L 40*5a83710eSEric Fiselier { 41*5a83710eSEric Fiselier typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 42*5a83710eSEric Fiselier S s("0123456789"); 43*5a83710eSEric Fiselier const S& cs = s; 44*5a83710eSEric Fiselier for (S::size_type i = 0; i < cs.size(); ++i) 45*5a83710eSEric Fiselier { 46*5a83710eSEric Fiselier assert(s[i] == '0' + i); 47*5a83710eSEric Fiselier assert(cs[i] == s[i]); 48*5a83710eSEric Fiselier } 49*5a83710eSEric Fiselier assert(cs[cs.size()] == '\0'); 50*5a83710eSEric Fiselier const S s2 = S(); 51*5a83710eSEric Fiselier assert(s2[0] == '\0'); 52*5a83710eSEric Fiselier } 53*5a83710eSEric Fiselier #endif 54*5a83710eSEric Fiselier #ifdef _LIBCPP_DEBUG 55*5a83710eSEric Fiselier { 56*5a83710eSEric Fiselier std::string s; 57*5a83710eSEric Fiselier char c = s[0]; 58*5a83710eSEric Fiselier assert(c == '\0'); 59*5a83710eSEric Fiselier c = s[1]; 60*5a83710eSEric Fiselier assert(false); 61*5a83710eSEric Fiselier } 62*5a83710eSEric Fiselier #endif 63*5a83710eSEric Fiselier } 64