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