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 // bool is_regular_file(file_status s) noexcept
17 // bool is_regular_file(path const& p);
18 // bool is_regular_file(path const& p, std::error_code& ec) noexcept;
19 
20 #include <filesystem>
21 #include <type_traits>
22 #include <cassert>
23 
24 #include "assert_macros.h"
25 #include "test_macros.h"
26 #include "filesystem_test_helper.h"
27 namespace fs = std::filesystem;
28 using namespace fs;
29 
signature_test()30 static void signature_test()
31 {
32     file_status s; ((void)s);
33     const path p; ((void)p);
34     std::error_code ec; ((void)ec);
35     ASSERT_NOEXCEPT(is_regular_file(s));
36     ASSERT_NOEXCEPT(is_regular_file(p, ec));
37     ASSERT_NOT_NOEXCEPT(is_regular_file(p));
38 }
39 
is_regular_file_status_test()40 static void is_regular_file_status_test()
41 {
42     struct TestCase {
43         file_type type;
44         bool expect;
45     };
46     const TestCase testCases[] = {
47         {file_type::none, false},
48         {file_type::not_found, false},
49         {file_type::regular, true},
50         {file_type::directory, false},
51         {file_type::symlink, false},
52         {file_type::block, false},
53         {file_type::character, false},
54         {file_type::fifo, false},
55         {file_type::socket, false},
56         {file_type::unknown, false}
57     };
58     for (auto& TC : testCases) {
59         file_status s(TC.type);
60         assert(is_regular_file(s) == TC.expect);
61     }
62 }
63 
test_exist_not_found()64 static void test_exist_not_found()
65 {
66     static_test_env static_env;
67     const path p = static_env.DNE;
68     assert(is_regular_file(p) == false);
69     std::error_code ec;
70     assert(is_regular_file(p, ec) == false);
71     assert(ec);
72 }
73 
test_is_regular_file_fails()74 static void test_is_regular_file_fails()
75 {
76     scoped_test_env env;
77 #ifdef _WIN32
78     // Windows doesn't support setting perms::none to trigger failures
79     // reading directories; test using a special inaccessible directory
80     // instead.
81     const path p = GetWindowsInaccessibleDir();
82     if (p.empty())
83         return;
84 #else
85     const path dir = env.create_dir("dir");
86     const path p = env.create_file("dir/file", 42);
87     permissions(dir, perms::none);
88 #endif
89 
90     std::error_code ec;
91     assert(is_regular_file(p, ec) == false);
92     assert(ec);
93 
94     TEST_THROWS_TYPE(filesystem_error, is_regular_file(p));
95 }
96 
main(int,char **)97 int main(int, char**) {
98     signature_test();
99     is_regular_file_status_test();
100     test_exist_not_found();
101     test_is_regular_file_fails();
102 
103     return 0;
104 }
105