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//===----------------------------------------------------------------------===//
8
9// REQUIRES: can-create-symlinks
10// UNSUPPORTED: c++03, c++11, c++14
11// UNSUPPORTED: no-filesystem
12// UNSUPPORTED: availability-filesystem-missing
13
14// <filesystem>
15
16// path weakly_canonical(const path& p);
17// path weakly_canonical(const path& p, error_code& ec);
18
19#include <filesystem>
20#include <string>
21
22#include "assert_macros.h"
23#include "concat_macros.h"
24#include "test_macros.h"
25#include "test_iterators.h"
26#include "count_new.h"
27#include "filesystem_test_helper.h"
28#include "../../class.path/path_helper.h"
29namespace fs = std::filesystem;
30
31int main(int, char**) {
32 static_test_env static_env;
33
34 fs::path root = fs::current_path().root_path();
35 // clang-format off
36 struct {
37 fs::path input;
38 fs::path expect;
39 } TestCases[] = {
40 {"", fs::current_path()},
41 {".", fs::current_path()},
42 {"/", root},
43 {"/foo", root / "foo"},
44 {"/.", root},
45 {"/./", root},
46 {"a/b", fs::current_path() / "a/b"},
47 {"a", fs::current_path() / "a"},
48 {"a/b/", fs::current_path() / "a/b/"},
49 {static_env.File, static_env.File},
50 {static_env.Dir, static_env.Dir},
51 {static_env.SymlinkToDir, static_env.Dir},
52 {static_env.SymlinkToDir / "dir2/.", static_env.Dir / "dir2"},
53 // Note: If the trailing separator occurs in a part of the path that exists,
54 // it is omitted. Otherwise it is added to the end of the result.
55 // MS STL and libstdc++ behave similarly.
56 {static_env.SymlinkToDir / "dir2/./", static_env.Dir / "dir2"},
57 {static_env.SymlinkToDir / "dir2/DNE/./", static_env.Dir / "dir2/DNE/"},
58 {static_env.SymlinkToDir / "dir2", static_env.Dir2},
59#ifdef _WIN32
60 // On Windows, this path is considered to exist (even though it
61 // passes through a nonexistent directory), and thus is returned
62 // without a trailing slash, see the note above.
63 {static_env.SymlinkToDir / "dir2/../dir2/DNE/..", static_env.Dir2},
64#else
65 {static_env.SymlinkToDir / "dir2/../dir2/DNE/..", static_env.Dir2 / ""},
66#endif
67 {static_env.SymlinkToDir / "dir2/dir3/../DNE/DNE2", static_env.Dir2 / "DNE/DNE2"},
68 {static_env.Dir / "../dir1", static_env.Dir},
69 {static_env.Dir / "./.", static_env.Dir},
70 {static_env.Dir / "DNE/../foo", static_env.Dir / "foo"}
71 };
72 // clang-format on
73 for (auto& TC : TestCases) {
74 fs::path p = TC.input;
75 fs::path expect = TC.expect;
76 expect.make_preferred();
77
78 {
79 const fs::path output = fs::weakly_canonical(p);
80 TEST_REQUIRE(PathEq(output, expect),
81 TEST_WRITE_CONCATENATED(
82 "Input: ", TC.input.string(), "\nExpected: ", expect.string(), "\nOutput: ", output.string()));
83 }
84
85 // Test the error_code variant
86 {
87 std::error_code ec;
88 const fs::path output_c = fs::weakly_canonical(p, ec);
89
90 TEST_REQUIRE(PathEq(output_c, expect),
91 TEST_WRITE_CONCATENATED(
92 "Input: ", TC.input.string(), "\nExpected: ", expect.string(), "\nOutput: ", output_c.string()));
93 }
94 }
95 return 0;
96}
97

source code of libcxx/test/std/input.output/filesystems/fs.op.funcs/fs.op.weakly_canonical/weakly_canonical.pass.cpp