15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier 
95a83710eSEric Fiselier // <string>
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // const_reference operator[](size_type pos) const;
125a83710eSEric Fiselier //       reference operator[](size_type pos);
135a83710eSEric Fiselier 
145a83710eSEric Fiselier #ifdef _LIBCPP_DEBUG
155a83710eSEric Fiselier #define _LIBCPP_ASSERT(x, m) ((x) ? (void)0 : std::exit(0))
165a83710eSEric Fiselier #endif
175a83710eSEric Fiselier 
185a83710eSEric Fiselier #include <string>
195a83710eSEric Fiselier #include <cassert>
205a83710eSEric Fiselier 
215a83710eSEric Fiselier #include "min_allocator.h"
225a83710eSEric Fiselier 
23*2df59c50SJF Bastien int main(int, char**)
245a83710eSEric Fiselier {
255a83710eSEric Fiselier     {
265a83710eSEric Fiselier     typedef std::string S;
275a83710eSEric Fiselier     S s("0123456789");
285a83710eSEric Fiselier     const S& cs = s;
295a83710eSEric Fiselier     for (S::size_type i = 0; i < cs.size(); ++i)
305a83710eSEric Fiselier     {
31e9c72889SStephan T. Lavavej         assert(s[i] == static_cast<char>('0' + i));
325a83710eSEric Fiselier         assert(cs[i] == s[i]);
335a83710eSEric Fiselier     }
345a83710eSEric Fiselier     assert(cs[cs.size()] == '\0');
355a83710eSEric Fiselier     const S s2 = S();
365a83710eSEric Fiselier     assert(s2[0] == '\0');
375a83710eSEric Fiselier     }
38f2f2a639SEric Fiselier #if TEST_STD_VER >= 11
395a83710eSEric Fiselier     {
405a83710eSEric Fiselier     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
415a83710eSEric Fiselier     S s("0123456789");
425a83710eSEric Fiselier     const S& cs = s;
435a83710eSEric Fiselier     for (S::size_type i = 0; i < cs.size(); ++i)
445a83710eSEric Fiselier     {
45e9c72889SStephan T. Lavavej         assert(s[i] == static_cast<char>('0' + i));
465a83710eSEric Fiselier         assert(cs[i] == s[i]);
475a83710eSEric Fiselier     }
485a83710eSEric Fiselier     assert(cs[cs.size()] == '\0');
495a83710eSEric Fiselier     const S s2 = S();
505a83710eSEric Fiselier     assert(s2[0] == '\0');
515a83710eSEric Fiselier     }
525a83710eSEric Fiselier #endif
535a83710eSEric Fiselier #ifdef _LIBCPP_DEBUG
545a83710eSEric Fiselier     {
555a83710eSEric Fiselier         std::string s;
565a83710eSEric Fiselier         char c = s[0];
575a83710eSEric Fiselier         assert(c == '\0');
585a83710eSEric Fiselier         c = s[1];
595a83710eSEric Fiselier         assert(false);
605a83710eSEric Fiselier     }
615a83710eSEric Fiselier #endif
62*2df59c50SJF Bastien 
63*2df59c50SJF Bastien   return 0;
645a83710eSEric Fiselier }
65