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