1f7b43230SLouis Dionne //===----------------------------------------------------------------------===//
2f7b43230SLouis Dionne //
3f7b43230SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4f7b43230SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5f7b43230SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6f7b43230SLouis Dionne //
7f7b43230SLouis Dionne //===----------------------------------------------------------------------===//
8f7b43230SLouis Dionne
9*ac8c9f1eSLouis Dionne // UNSUPPORTED: c++03, c++11, c++14
10c352fa74SLouis Dionne // UNSUPPORTED: availability-filesystem-missing
11f7b43230SLouis Dionne
12f7b43230SLouis Dionne // <filesystem>
13f7b43230SLouis Dionne
14f7b43230SLouis Dionne // void swap(path& lhs, path& rhs) noexcept;
15f7b43230SLouis Dionne
16*ac8c9f1eSLouis Dionne #include <filesystem>
17f7b43230SLouis Dionne #include <type_traits>
18f7b43230SLouis Dionne #include <cassert>
19f7b43230SLouis Dionne
20f7b43230SLouis Dionne #include "test_macros.h"
21cc89063bSNico Weber #include "count_new.h"
22*ac8c9f1eSLouis Dionne namespace fs = std::filesystem;
23f7b43230SLouis Dionne
24f7b43230SLouis Dionne // NOTE: this is tested in path.members/path.modifiers via the member swap.
main(int,char **)25f7b43230SLouis Dionne int main(int, char**)
26f7b43230SLouis Dionne {
27f7b43230SLouis Dionne using namespace fs;
28f7b43230SLouis Dionne const char* value1 = "foo/bar/baz";
29f7b43230SLouis Dionne const char* value2 = "_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG";
30ef2cdfe3SLouis Dionne {
31f7b43230SLouis Dionne path p1(value1);
32f7b43230SLouis Dionne path p2(value2);
333784bdf2SMartin Storsjö fs::path::string_type ps1 = p1.native();
343784bdf2SMartin Storsjö fs::path::string_type ps2 = p2.native();
35ef2cdfe3SLouis Dionne
36ef2cdfe3SLouis Dionne DisableAllocationGuard g;
37ef2cdfe3SLouis Dionne swap(p1, p2);
38f7b43230SLouis Dionne ASSERT_NOEXCEPT(swap(p1, p2));
39f7b43230SLouis Dionne ASSERT_SAME_TYPE(void, decltype(swap(p1, p2)));
40ef2cdfe3SLouis Dionne assert(p1.native() == ps2);
41ef2cdfe3SLouis Dionne assert(p2.native() == ps1);
42ef2cdfe3SLouis Dionne swap(p1, p2);
43ef2cdfe3SLouis Dionne assert(p1.native() == ps1);
44ef2cdfe3SLouis Dionne assert(p2.native() == ps2);
45f7b43230SLouis Dionne }
46ef2cdfe3SLouis Dionne
47ef2cdfe3SLouis Dionne // Test the swap two-step idiom
48f7b43230SLouis Dionne {
49ef2cdfe3SLouis Dionne path p1(value1);
50ef2cdfe3SLouis Dionne path p2(value2);
51ef2cdfe3SLouis Dionne fs::path::string_type ps1 = p1.native();
52ef2cdfe3SLouis Dionne fs::path::string_type ps2 = p2.native();
53ef2cdfe3SLouis Dionne
54f7b43230SLouis Dionne DisableAllocationGuard g;
55f7b43230SLouis Dionne using namespace std;
56f7b43230SLouis Dionne swap(p1, p2);
57ef2cdfe3SLouis Dionne ASSERT_NOEXCEPT(swap(p1, p2));
58ef2cdfe3SLouis Dionne ASSERT_SAME_TYPE(void, decltype(swap(p1, p2)));
593784bdf2SMartin Storsjö assert(p1.native() == ps2);
603784bdf2SMartin Storsjö assert(p2.native() == ps1);
61f7b43230SLouis Dionne swap(p1, p2);
623784bdf2SMartin Storsjö assert(p1.native() == ps1);
633784bdf2SMartin Storsjö assert(p2.native() == ps2);
64f7b43230SLouis Dionne }
65f7b43230SLouis Dionne
66f7b43230SLouis Dionne return 0;
67f7b43230SLouis Dionne }
68