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 at(size_type pos) const;
135a83710eSEric Fiselier //       reference at(size_type pos);
145a83710eSEric Fiselier 
155a83710eSEric Fiselier #include <string>
165a83710eSEric Fiselier #include <stdexcept>
175a83710eSEric Fiselier #include <cassert>
185a83710eSEric Fiselier 
195a83710eSEric Fiselier #include "min_allocator.h"
205a83710eSEric Fiselier 
218a915ed6SRoger Ferrer Ibanez #include "test_macros.h"
228a915ed6SRoger Ferrer Ibanez 
235a83710eSEric Fiselier template <class S>
245a83710eSEric Fiselier void
255a83710eSEric Fiselier test(S s, typename S::size_type pos)
265a83710eSEric Fiselier {
275a83710eSEric Fiselier     const S& cs = s;
288a915ed6SRoger Ferrer Ibanez     if (pos < s.size())
298a915ed6SRoger Ferrer Ibanez     {
305a83710eSEric Fiselier         assert(s.at(pos) == s[pos]);
315a83710eSEric Fiselier         assert(cs.at(pos) == cs[pos]);
328a915ed6SRoger Ferrer Ibanez     }
338a915ed6SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
348a915ed6SRoger Ferrer Ibanez     else
358a915ed6SRoger Ferrer Ibanez     {
368a915ed6SRoger Ferrer Ibanez         try
378a915ed6SRoger Ferrer Ibanez         {
38*ba40b056SBilly Robert O'Neal III             TEST_IGNORE_NODISCARD s.at(pos);
398a915ed6SRoger Ferrer Ibanez             assert(false);
405a83710eSEric Fiselier         }
415a83710eSEric Fiselier         catch (std::out_of_range&)
425a83710eSEric Fiselier         {
435a83710eSEric Fiselier             assert(pos >= s.size());
445a83710eSEric Fiselier         }
458a915ed6SRoger Ferrer Ibanez         try
468a915ed6SRoger Ferrer Ibanez         {
47*ba40b056SBilly Robert O'Neal III             TEST_IGNORE_NODISCARD cs.at(pos);
488a915ed6SRoger Ferrer Ibanez             assert(false);
498a915ed6SRoger Ferrer Ibanez         }
508a915ed6SRoger Ferrer Ibanez         catch (std::out_of_range&)
518a915ed6SRoger Ferrer Ibanez         {
528a915ed6SRoger Ferrer Ibanez             assert(pos >= s.size());
538a915ed6SRoger Ferrer Ibanez         }
548a915ed6SRoger Ferrer Ibanez     }
558a915ed6SRoger Ferrer Ibanez #endif
565a83710eSEric Fiselier }
575a83710eSEric Fiselier 
585a83710eSEric Fiselier int main()
595a83710eSEric Fiselier {
605a83710eSEric Fiselier     {
615a83710eSEric Fiselier     typedef std::string S;
625a83710eSEric Fiselier     test(S(), 0);
635a83710eSEric Fiselier     test(S("123"), 0);
645a83710eSEric Fiselier     test(S("123"), 1);
655a83710eSEric Fiselier     test(S("123"), 2);
665a83710eSEric Fiselier     test(S("123"), 3);
675a83710eSEric Fiselier     }
68f2f2a639SEric Fiselier #if TEST_STD_VER >= 11
695a83710eSEric Fiselier     {
705a83710eSEric Fiselier     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
715a83710eSEric Fiselier     test(S(), 0);
725a83710eSEric Fiselier     test(S("123"), 0);
735a83710eSEric Fiselier     test(S("123"), 1);
745a83710eSEric Fiselier     test(S("123"), 2);
755a83710eSEric Fiselier     test(S("123"), 3);
765a83710eSEric Fiselier     }
775a83710eSEric Fiselier #endif
785a83710eSEric Fiselier }
79