Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / libcxx / test / std / strings / basic.string / string.cons / move_assignment.pass.cpp
blob89cb44d62ef2b6c5d7e46ce7b1156cc5611e4410
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-exception
6 //
7 //===----------------------------------------------------------------------===//
9 // UNSUPPORTED: c++03
11 // <string>
13 // basic_string<charT,traits,Allocator>&
14 // operator=(basic_string<charT,traits,Allocator>&& str); // constexpr since C++20
16 #include <string>
17 #include <cassert>
19 #include "test_macros.h"
20 #include "test_allocator.h"
21 #include "min_allocator.h"
23 template <class S>
24 TEST_CONSTEXPR_CXX20 void test(S s1, S s2) {
25 S s0 = s2;
26 s1 = std::move(s2);
27 LIBCPP_ASSERT(s1.__invariants());
28 LIBCPP_ASSERT(s2.__invariants());
29 assert(s1 == s0);
30 assert(s1.capacity() >= s1.size());
33 template <class S>
34 TEST_CONSTEXPR_CXX20 void test_string() {
35 test(S(), S());
36 test(S("1"), S());
37 test(S(), S("1"));
38 test(S("1"), S("2"));
39 test(S("1"), S("2"));
41 test(S(), S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
42 test(S("123456789"), S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
43 test(S("1234567890123456789012345678901234567890123456789012345678901234567890"),
44 S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
45 test(S("1234567890123456789012345678901234567890123456789012345678901234567890"
46 "1234567890123456789012345678901234567890123456789012345678901234567890"),
47 S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
50 TEST_CONSTEXPR_CXX20 bool test() {
51 test_string<std::string>();
52 #if TEST_STD_VER >= 11
53 test_string<std::basic_string<char, std::char_traits<char>, min_allocator<char>>>();
54 #endif
56 return true;
59 int main(int, char**) {
60 test();
61 #if TEST_STD_VER > 17
62 static_assert(test());
63 #endif
65 return 0;