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 charT& back() const;
13*5a83710eSEric Fiselier //       charT& back();
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 template <class S>
25*5a83710eSEric Fiselier void
26*5a83710eSEric Fiselier test(S s)
27*5a83710eSEric Fiselier {
28*5a83710eSEric Fiselier     const S& cs = s;
29*5a83710eSEric Fiselier     assert(&cs.back() == &cs[cs.size()-1]);
30*5a83710eSEric Fiselier     assert(&s.back() == &s[cs.size()-1]);
31*5a83710eSEric Fiselier     s.back() = typename S::value_type('z');
32*5a83710eSEric Fiselier     assert(s.back() == typename S::value_type('z'));
33*5a83710eSEric Fiselier }
34*5a83710eSEric Fiselier 
35*5a83710eSEric Fiselier int main()
36*5a83710eSEric Fiselier {
37*5a83710eSEric Fiselier     {
38*5a83710eSEric Fiselier     typedef std::string S;
39*5a83710eSEric Fiselier     test(S("1"));
40*5a83710eSEric Fiselier     test(S("1234567890123456789012345678901234567890"));
41*5a83710eSEric Fiselier     }
42*5a83710eSEric Fiselier #if __cplusplus >= 201103L
43*5a83710eSEric Fiselier     {
44*5a83710eSEric Fiselier     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
45*5a83710eSEric Fiselier     test(S("1"));
46*5a83710eSEric Fiselier     test(S("1234567890123456789012345678901234567890"));
47*5a83710eSEric Fiselier     }
48*5a83710eSEric Fiselier #endif
49*5a83710eSEric Fiselier #ifdef _LIBCPP_DEBUG
50*5a83710eSEric Fiselier     {
51*5a83710eSEric Fiselier         std::string s;
52*5a83710eSEric Fiselier         char c = s.back();
53*5a83710eSEric Fiselier         assert(false);
54*5a83710eSEric Fiselier     }
55*5a83710eSEric Fiselier #endif
56*5a83710eSEric Fiselier }
57