76 lines · cpp
1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9// <string>10 11// basic_string<charT,traits,Allocator>&12// operator=(const basic_string<charT,traits,Allocator>& str); // constexpr since C++2013 14#include <string>15#include <cassert>16 17#include "test_macros.h"18#include "min_allocator.h"19#include "asan_testing.h"20 21template <class S>22TEST_CONSTEXPR_CXX20 void test(S s1, const S& s2) {23 s1 = s2;24 LIBCPP_ASSERT(s1.__invariants());25 assert(s1 == s2);26 assert(s1.capacity() >= s1.size());27 LIBCPP_ASSERT(is_string_asan_correct(s1));28 LIBCPP_ASSERT(is_string_asan_correct(s2));29}30 31template <class S>32TEST_CONSTEXPR_CXX20 void test_string() {33 test(S(), S());34 test(S("1"), S());35 test(S(), S("1"));36 test(S("1"), S("2"));37 test(S("1"), S("2"));38 39 test(S(), S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));40 test(S("123456789"), S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));41 test(S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"), S("123456789"));42 test(S("1234567890123456789012345678901234567890123456789012345678901234567890"),43 S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));44 test(S("1234567890123456789012345678901234567890123456789012345678901234567890"45 "1234567890123456789012345678901234567890123456789012345678901234567890"),46 S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));47}48 49TEST_CONSTEXPR_CXX20 bool test() {50 test_string<std::string>();51#if TEST_STD_VER >= 1152 test_string<std::basic_string<char, std::char_traits<char>, min_allocator<char>>>();53 test_string<std::basic_string<char, std::char_traits<char>, safe_allocator<char>>>();54#endif55 56#if TEST_STD_VER >= 1157 { // LWG 294658 std::string s;59 s = {"abc", 1};60 assert(s.size() == 1);61 assert(s == "a");62 }63#endif64 65 return true;66}67 68int main(int, char**) {69 test();70#if TEST_STD_VER > 1771 static_assert(test());72#endif73 74 return 0;75}76