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 
10f520c144SAsiri Rathnayake // XFAIL: libcpp-no-exceptions
115a83710eSEric Fiselier // <string>
125a83710eSEric Fiselier 
135a83710eSEric Fiselier // const_reference at(size_type pos) const;
145a83710eSEric Fiselier //       reference at(size_type pos);
155a83710eSEric Fiselier 
165a83710eSEric Fiselier #include <string>
175a83710eSEric Fiselier #include <stdexcept>
185a83710eSEric Fiselier #include <cassert>
195a83710eSEric Fiselier 
205a83710eSEric Fiselier #include "min_allocator.h"
215a83710eSEric Fiselier 
225a83710eSEric Fiselier template <class S>
235a83710eSEric Fiselier void
245a83710eSEric Fiselier test(S s, typename S::size_type pos)
255a83710eSEric Fiselier {
265a83710eSEric Fiselier     try
275a83710eSEric Fiselier     {
285a83710eSEric Fiselier         const S& cs = s;
295a83710eSEric Fiselier         assert(s.at(pos) == s[pos]);
305a83710eSEric Fiselier         assert(cs.at(pos) == cs[pos]);
315a83710eSEric Fiselier         assert(pos < cs.size());
325a83710eSEric Fiselier     }
335a83710eSEric Fiselier     catch (std::out_of_range&)
345a83710eSEric Fiselier     {
355a83710eSEric Fiselier         assert(pos >= s.size());
365a83710eSEric Fiselier     }
375a83710eSEric Fiselier }
385a83710eSEric Fiselier 
395a83710eSEric Fiselier int main()
405a83710eSEric Fiselier {
415a83710eSEric Fiselier     {
425a83710eSEric Fiselier     typedef std::string S;
435a83710eSEric Fiselier     test(S(), 0);
445a83710eSEric Fiselier     test(S("123"), 0);
455a83710eSEric Fiselier     test(S("123"), 1);
465a83710eSEric Fiselier     test(S("123"), 2);
475a83710eSEric Fiselier     test(S("123"), 3);
485a83710eSEric Fiselier     }
49*f2f2a639SEric Fiselier #if TEST_STD_VER >= 11
505a83710eSEric Fiselier     {
515a83710eSEric Fiselier     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
525a83710eSEric Fiselier     test(S(), 0);
535a83710eSEric Fiselier     test(S("123"), 0);
545a83710eSEric Fiselier     test(S("123"), 1);
555a83710eSEric Fiselier     test(S("123"), 2);
565a83710eSEric Fiselier     test(S("123"), 3);
575a83710eSEric Fiselier     }
585a83710eSEric Fiselier #endif
595a83710eSEric Fiselier }
60