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 9*425620ccSNikolas Klauser // XFAIL: LIBCXX-AIX-FIXME 10*425620ccSNikolas Klauser 115a83710eSEric Fiselier // <string> 125a83710eSEric Fiselier 13*425620ccSNikolas Klauser // reverse_iterator rend(); // constexpr since C++20 14*425620ccSNikolas Klauser // const_reverse_iterator rend() const; // constexpr since C++20 155a83710eSEric Fiselier 165a83710eSEric Fiselier #include <string> 175a83710eSEric Fiselier #include <cassert> 1868a694b8SStephan T. Lavavej #include <cstddef> 195a83710eSEric Fiselier 207fc6a556SMarshall Clow #include "test_macros.h" 215a83710eSEric Fiselier #include "min_allocator.h" 225a83710eSEric Fiselier 235a83710eSEric Fiselier template <class S> 2485e9b268SNikolas Klauser TEST_CONSTEXPR_CXX20 void 255a83710eSEric Fiselier test(S s) 265a83710eSEric Fiselier { 275a83710eSEric Fiselier const S& cs = s; 285a83710eSEric Fiselier typename S::reverse_iterator e = s.rend(); 295a83710eSEric Fiselier typename S::const_reverse_iterator ce = cs.rend(); 305a83710eSEric Fiselier if (s.empty()) 315a83710eSEric Fiselier { 325a83710eSEric Fiselier assert(e == s.rbegin()); 335a83710eSEric Fiselier assert(ce == cs.rbegin()); 345a83710eSEric Fiselier } 3568a694b8SStephan T. Lavavej assert(static_cast<std::size_t>(e - s.rbegin()) == s.size()); 3668a694b8SStephan T. Lavavej assert(static_cast<std::size_t>(ce - cs.rbegin()) == cs.size()); 375a83710eSEric Fiselier } 385a83710eSEric Fiselier 39*425620ccSNikolas Klauser TEST_CONSTEXPR_CXX20 bool test() { 405a83710eSEric Fiselier { 415a83710eSEric Fiselier typedef std::string S; 425a83710eSEric Fiselier test(S()); 435a83710eSEric Fiselier test(S("123")); 445a83710eSEric Fiselier } 45f2f2a639SEric Fiselier #if TEST_STD_VER >= 11 465a83710eSEric Fiselier { 475a83710eSEric Fiselier typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 485a83710eSEric Fiselier test(S()); 495a83710eSEric Fiselier test(S("123")); 505a83710eSEric Fiselier } 515a83710eSEric Fiselier #endif 522df59c50SJF Bastien 53c515b652SNikolas Klauser return true; 54c515b652SNikolas Klauser } 55c515b652SNikolas Klauser 56c515b652SNikolas Klauser int main(int, char**) 57c515b652SNikolas Klauser { 58c515b652SNikolas Klauser test(); 59c515b652SNikolas Klauser #if TEST_STD_VER > 17 60*425620ccSNikolas Klauser static_assert(test()); 61c515b652SNikolas Klauser #endif 62c515b652SNikolas Klauser 632df59c50SJF Bastien return 0; 645a83710eSEric Fiselier } 65