fde04e61cb
This is a syntax cleanup, not needed for running libc++'s tests with
MSVC's STL.
While changing
`libcxx/test/std/input.output/filesystems/fs.enum/enum.path.format.pass.cpp`
in #74965, I noticed that libc++'s tests almost always use the
special-purpose macros for "this is a libc++-specific `static_assert`
etc." defined by:
b85f1f9b18/libcxx/test/support/test_macros.h (L240-L253)
However, there were a very small number of occurrences that were using
the general-purpose `LIBCPP_ONLY` macro when they could have been using
the special-purpose macros. I believe that they should be cleaned up, to
make it easier to search for usage, and to make it clearer when the full
power of `LIBCPP_ONLY` is necessary.
This is a pure regex replacement from
`LIBCPP_ONLY\((assert|static_assert|ASSERT_NOEXCEPT|ASSERT_NOT_NOEXCEPT)\((.*)\)\);`
to `LIBCPP_\U$1($2);` using the power of [VSCode's case changing in
regex
replace](https://code.visualstudio.com/docs/editor/codebasics#_case-changing-in-regex-replace).
To avoid merge conflicts, this isn't changing the line in
`libcxx/test/std/input.output/filesystems/fs.enum/enum.path.format.pass.cpp`
that #74965 is already changing to use `LIBCPP_STATIC_ASSERT`.
65 lines
1.9 KiB
C++
65 lines
1.9 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// UNSUPPORTED: c++03, c++11, c++14
|
|
|
|
// <filesystem>
|
|
|
|
// enum class perms;
|
|
|
|
#include <filesystem>
|
|
#include <type_traits>
|
|
#include <cassert>
|
|
|
|
#include "test_macros.h"
|
|
#include "check_bitmask_types.h"
|
|
namespace fs = std::filesystem;
|
|
|
|
constexpr fs::perms ME(int val) { return static_cast<fs::perms>(val); }
|
|
|
|
int main(int, char**) {
|
|
typedef fs::perms E;
|
|
static_assert(std::is_enum<E>::value, "");
|
|
|
|
// Check that E is a scoped enum by checking for conversions.
|
|
typedef std::underlying_type<E>::type UT;
|
|
static_assert(!std::is_convertible<E, UT>::value, "");
|
|
|
|
LIBCPP_STATIC_ASSERT(std::is_same<UT, unsigned >::value, ""); // Implementation detail
|
|
|
|
typedef check_bitmask_type<E, E::group_all, E::owner_all> BitmaskTester;
|
|
assert(BitmaskTester::check());
|
|
|
|
static_assert(
|
|
E::none == ME(0) &&
|
|
|
|
E::owner_read == ME(0400) &&
|
|
E::owner_write == ME(0200) &&
|
|
E::owner_exec == ME(0100) &&
|
|
E::owner_all == ME(0700) &&
|
|
|
|
E::group_read == ME(040) &&
|
|
E::group_write == ME(020) &&
|
|
E::group_exec == ME(010) &&
|
|
E::group_all == ME(070) &&
|
|
|
|
E::others_read == ME(04) &&
|
|
E::others_write == ME(02) &&
|
|
E::others_exec == ME(01) &&
|
|
E::others_all == ME(07) &&
|
|
E::all == ME(0777) &&
|
|
E::set_uid == ME(04000) &&
|
|
E::set_gid == ME(02000) &&
|
|
E::sticky_bit == ME(01000) &&
|
|
E::mask == ME(07777) &&
|
|
E::unknown == ME(0xFFFF),
|
|
"Expected enumeration values do not match");
|
|
|
|
return 0;
|
|
}
|