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 at(size_type pos) const;
125a83710eSEric Fiselier //       reference at(size_type pos);
135a83710eSEric Fiselier 
145a83710eSEric Fiselier #include <string>
155a83710eSEric Fiselier #include <stdexcept>
165a83710eSEric Fiselier #include <cassert>
175a83710eSEric Fiselier 
185a83710eSEric Fiselier #include "min_allocator.h"
195a83710eSEric Fiselier 
208a915ed6SRoger Ferrer Ibanez #include "test_macros.h"
218a915ed6SRoger Ferrer Ibanez 
225a83710eSEric Fiselier template <class S>
235a83710eSEric Fiselier void
245a83710eSEric Fiselier test(S s, typename S::size_type pos)
255a83710eSEric Fiselier {
265a83710eSEric Fiselier     const S& cs = s;
278a915ed6SRoger Ferrer Ibanez     if (pos < s.size())
288a915ed6SRoger Ferrer Ibanez     {
295a83710eSEric Fiselier         assert(s.at(pos) == s[pos]);
305a83710eSEric Fiselier         assert(cs.at(pos) == cs[pos]);
318a915ed6SRoger Ferrer Ibanez     }
328a915ed6SRoger Ferrer Ibanez #ifndef TEST_HAS_NO_EXCEPTIONS
338a915ed6SRoger Ferrer Ibanez     else
348a915ed6SRoger Ferrer Ibanez     {
358a915ed6SRoger Ferrer Ibanez         try
368a915ed6SRoger Ferrer Ibanez         {
37ba40b056SBilly Robert O'Neal III             TEST_IGNORE_NODISCARD s.at(pos);
388a915ed6SRoger Ferrer Ibanez             assert(false);
395a83710eSEric Fiselier         }
405a83710eSEric Fiselier         catch (std::out_of_range&)
415a83710eSEric Fiselier         {
425a83710eSEric Fiselier             assert(pos >= s.size());
435a83710eSEric Fiselier         }
448a915ed6SRoger Ferrer Ibanez         try
458a915ed6SRoger Ferrer Ibanez         {
46ba40b056SBilly Robert O'Neal III             TEST_IGNORE_NODISCARD cs.at(pos);
478a915ed6SRoger Ferrer Ibanez             assert(false);
488a915ed6SRoger Ferrer Ibanez         }
498a915ed6SRoger Ferrer Ibanez         catch (std::out_of_range&)
508a915ed6SRoger Ferrer Ibanez         {
518a915ed6SRoger Ferrer Ibanez             assert(pos >= s.size());
528a915ed6SRoger Ferrer Ibanez         }
538a915ed6SRoger Ferrer Ibanez     }
548a915ed6SRoger Ferrer Ibanez #endif
555a83710eSEric Fiselier }
565a83710eSEric Fiselier 
57*2df59c50SJF Bastien int main(int, char**)
585a83710eSEric Fiselier {
595a83710eSEric Fiselier     {
605a83710eSEric Fiselier     typedef std::string S;
615a83710eSEric Fiselier     test(S(), 0);
625a83710eSEric Fiselier     test(S("123"), 0);
635a83710eSEric Fiselier     test(S("123"), 1);
645a83710eSEric Fiselier     test(S("123"), 2);
655a83710eSEric Fiselier     test(S("123"), 3);
665a83710eSEric Fiselier     }
67f2f2a639SEric Fiselier #if TEST_STD_VER >= 11
685a83710eSEric Fiselier     {
695a83710eSEric Fiselier     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
705a83710eSEric Fiselier     test(S(), 0);
715a83710eSEric Fiselier     test(S("123"), 0);
725a83710eSEric Fiselier     test(S("123"), 1);
735a83710eSEric Fiselier     test(S("123"), 2);
745a83710eSEric Fiselier     test(S("123"), 3);
755a83710eSEric Fiselier     }
765a83710eSEric Fiselier #endif
77*2df59c50SJF Bastien 
78*2df59c50SJF Bastien   return 0;
795a83710eSEric Fiselier }
80