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 // UNSUPPORTED: c++98, c++03
10 
11 // <filesystem>
12 
13 // bool equivalent(path const& lhs, path const& rhs);
14 // bool equivalent(path const& lhs, path const& rhs, std::error_code& ec) noexcept;
15 
16 #include "filesystem_include.h"
17 #include <type_traits>
18 #include <cassert>
19 
20 #include "test_macros.h"
21 #include "rapid-cxx-test.h"
22 #include "filesystem_test_helper.h"
23 
24 using namespace fs;
25 
26 TEST_SUITE(equivalent_test_suite)
27 
28 TEST_CASE(signature_test) {
29   const path p;
30   ((void)p);
31   std::error_code ec;
32   ((void)ec);
33   ASSERT_NOEXCEPT(equivalent(p, p, ec));
34   ASSERT_NOT_NOEXCEPT(equivalent(p, p));
35 }
36 
37 TEST_CASE(equivalent_test) {
38   static_test_env static_env;
39   struct TestCase {
40     path lhs;
41     path rhs;
42     bool expect;
43   };
44   const TestCase testCases[] = {
45       {static_env.Dir, static_env.Dir, true},
46       {static_env.File, static_env.Dir, false},
47       {static_env.Dir, static_env.SymlinkToDir, true},
48       {static_env.Dir, static_env.SymlinkToFile, false},
49       {static_env.File, static_env.File, true},
50       {static_env.File, static_env.SymlinkToFile, true},
51   };
52   for (auto& TC : testCases) {
53     std::error_code ec;
54     TEST_CHECK(equivalent(TC.lhs, TC.rhs, ec) == TC.expect);
55     TEST_CHECK(!ec);
56   }
57 }
58 
59 TEST_CASE(equivalent_reports_error_if_input_dne) {
60   static_test_env static_env;
61   const path E = static_env.File;
62   const path DNE = static_env.DNE;
63   { // Test that an error is reported when either of the paths don't exist
64     std::error_code ec = GetTestEC();
65     TEST_CHECK(equivalent(E, DNE, ec) == false);
66     TEST_CHECK(ec);
67     TEST_CHECK(ec != GetTestEC());
68   }
69   {
70     std::error_code ec = GetTestEC();
71     TEST_CHECK(equivalent(DNE, E, ec) == false);
72     TEST_CHECK(ec);
73     TEST_CHECK(ec != GetTestEC());
74   }
75   {
76     TEST_CHECK_THROW(filesystem_error, equivalent(DNE, E));
77     TEST_CHECK_THROW(filesystem_error, equivalent(E, DNE));
78   }
79   { // Test that an exception is thrown if both paths do not exist.
80     TEST_CHECK_THROW(filesystem_error, equivalent(DNE, DNE));
81   }
82   {
83     std::error_code ec = GetTestEC();
84     TEST_CHECK(equivalent(DNE, DNE, ec) == false);
85     TEST_CHECK(ec);
86     TEST_CHECK(ec != GetTestEC());
87   }
88 }
89 
90 TEST_CASE(equivalent_hardlink_succeeds) {
91   scoped_test_env env;
92   path const file = env.create_file("file", 42);
93   const path hl1 = env.create_hardlink(file, "hl1");
94   const path hl2 = env.create_hardlink(file, "hl2");
95   TEST_CHECK(equivalent(file, hl1));
96   TEST_CHECK(equivalent(file, hl2));
97   TEST_CHECK(equivalent(hl1, hl2));
98 }
99 
100 TEST_CASE(equivalent_is_other_succeeds) {
101   scoped_test_env env;
102   path const file = env.create_file("file", 42);
103   const path fifo1 = env.create_fifo("fifo1");
104   const path fifo2 = env.create_fifo("fifo2");
105   // Required to test behavior for inputs where is_other(p) is true.
106   TEST_REQUIRE(is_other(fifo1));
107   TEST_CHECK(!equivalent(file, fifo1));
108   TEST_CHECK(!equivalent(fifo2, file));
109   TEST_CHECK(!equivalent(fifo1, fifo2));
110   TEST_CHECK(equivalent(fifo1, fifo1));
111 }
112 
113 TEST_SUITE_END()
114