1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant//                     The LLVM Compiler Infrastructure
4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <string>
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// const_reference operator[](size_type pos) const;
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//       reference operator[](size_type pos);
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
155e57142c5902c3f73a6fdcb8cab55e88ffb43a56Howard Hinnant#ifdef _LIBCPP_DEBUG
16499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant#define _LIBCPP_ASSERT(x, m) ((x) ? (void)0 : std::exit(0))
17499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant#endif
18499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant
19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <string>
20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
22061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h"
239dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
269dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    {
27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    typedef std::string S;
28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    S s("0123456789");
29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    const S& cs = s;
30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    for (S::size_type i = 0; i < cs.size(); ++i)
31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    {
32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(s[i] == '0' + i);
33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(cs[i] == s[i]);
34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    }
35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(cs[cs.size()] == '\0');
36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    const S s2 = S();
37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(s2[0] == '\0');
389dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    }
399dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant#if __cplusplus >= 201103L
409dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    {
419dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
429dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    S s("0123456789");
439dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    const S& cs = s;
449dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    for (S::size_type i = 0; i < cs.size(); ++i)
459dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    {
469dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant        assert(s[i] == '0' + i);
479dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant        assert(cs[i] == s[i]);
489dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    }
499dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    assert(cs[cs.size()] == '\0');
509dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    const S s2 = S();
519dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    assert(s2[0] == '\0');
529dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant    }
539dcdcdee2582575dd4a2e5857b9f32735763f9c7Howard Hinnant#endif
545e57142c5902c3f73a6fdcb8cab55e88ffb43a56Howard Hinnant#ifdef _LIBCPP_DEBUG
55499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant    {
56499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant        std::string s;
57499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant        char c = s[0];
58499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant        assert(c == '\0');
59499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant        c = s[1];
60499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant        assert(false);
61499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant    }
62499cea12bb2b1c440f28274227d9fd98cd1c609eHoward Hinnant#endif
63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
64