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 135a83710eSEric Fiselier // template<class charT, class traits, class Allocator> 145a83710eSEric Fiselier // void swap(basic_string<charT,traits,Allocator>& lhs, 15*425620ccSNikolas Klauser // basic_string<charT,traits,Allocator>& rhs); // constexpr since C++20 165a83710eSEric Fiselier 175a83710eSEric Fiselier #include <string> 185a83710eSEric Fiselier #include <stdexcept> 195a83710eSEric Fiselier #include <algorithm> 205a83710eSEric Fiselier #include <cassert> 215a83710eSEric Fiselier 221f4231f8SEric Fiselier #include "test_macros.h" 235a83710eSEric Fiselier #include "min_allocator.h" 245a83710eSEric Fiselier 255a83710eSEric Fiselier template <class S> 2630046a31SNikolas Klauser TEST_CONSTEXPR_CXX20 void 275a83710eSEric Fiselier test(S s1, S s2) 285a83710eSEric Fiselier { 295a83710eSEric Fiselier S s1_ = s1; 305a83710eSEric Fiselier S s2_ = s2; 315a83710eSEric Fiselier swap(s1, s2); 321f4231f8SEric Fiselier LIBCPP_ASSERT(s1.__invariants()); 331f4231f8SEric Fiselier LIBCPP_ASSERT(s2.__invariants()); 345a83710eSEric Fiselier assert(s1 == s2_); 355a83710eSEric Fiselier assert(s2 == s1_); 365a83710eSEric Fiselier } 375a83710eSEric Fiselier 38*425620ccSNikolas Klauser TEST_CONSTEXPR_CXX20 bool test() { 395a83710eSEric Fiselier { 405a83710eSEric Fiselier typedef std::string S; 415a83710eSEric Fiselier test(S(""), S("")); 425a83710eSEric Fiselier test(S(""), S("12345")); 435a83710eSEric Fiselier test(S(""), S("1234567890")); 445a83710eSEric Fiselier test(S(""), S("12345678901234567890")); 455a83710eSEric Fiselier test(S("abcde"), S("")); 465a83710eSEric Fiselier test(S("abcde"), S("12345")); 475a83710eSEric Fiselier test(S("abcde"), S("1234567890")); 485a83710eSEric Fiselier test(S("abcde"), S("12345678901234567890")); 495a83710eSEric Fiselier test(S("abcdefghij"), S("")); 505a83710eSEric Fiselier test(S("abcdefghij"), S("12345")); 515a83710eSEric Fiselier test(S("abcdefghij"), S("1234567890")); 525a83710eSEric Fiselier test(S("abcdefghij"), S("12345678901234567890")); 535a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), S("")); 545a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), S("12345")); 555a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), S("1234567890")); 565a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), S("12345678901234567890")); 575a83710eSEric Fiselier } 581f4231f8SEric Fiselier #if TEST_STD_VER >= 11 595a83710eSEric Fiselier { 605a83710eSEric Fiselier typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 615a83710eSEric Fiselier test(S(""), S("")); 625a83710eSEric Fiselier test(S(""), S("12345")); 635a83710eSEric Fiselier test(S(""), S("1234567890")); 645a83710eSEric Fiselier test(S(""), S("12345678901234567890")); 655a83710eSEric Fiselier test(S("abcde"), S("")); 665a83710eSEric Fiselier test(S("abcde"), S("12345")); 675a83710eSEric Fiselier test(S("abcde"), S("1234567890")); 685a83710eSEric Fiselier test(S("abcde"), S("12345678901234567890")); 695a83710eSEric Fiselier test(S("abcdefghij"), S("")); 705a83710eSEric Fiselier test(S("abcdefghij"), S("12345")); 715a83710eSEric Fiselier test(S("abcdefghij"), S("1234567890")); 725a83710eSEric Fiselier test(S("abcdefghij"), S("12345678901234567890")); 735a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), S("")); 745a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), S("12345")); 755a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), S("1234567890")); 765a83710eSEric Fiselier test(S("abcdefghijklmnopqrst"), S("12345678901234567890")); 775a83710eSEric Fiselier } 785a83710eSEric Fiselier #endif 792df59c50SJF Bastien 8030046a31SNikolas Klauser return true; 8130046a31SNikolas Klauser } 8230046a31SNikolas Klauser 8330046a31SNikolas Klauser int main(int, char**) 8430046a31SNikolas Klauser { 8530046a31SNikolas Klauser test(); 8630046a31SNikolas Klauser #if TEST_STD_VER > 17 87*425620ccSNikolas Klauser static_assert(test()); 8830046a31SNikolas Klauser #endif 8930046a31SNikolas Klauser 902df59c50SJF Bastien return 0; 915a83710eSEric Fiselier } 92