xref: /llvm-project/libcxx/test/std/language.support/support.dynamic/align_val_t.pass.cpp (revision 6cb339f9c1009d94925ec3b8138cac35cbe50bf3)
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 // enum class align_val_t : size_t {}
10 
11 // UNSUPPORTED: c++03, c++11, c++14
12 
13 // Libc++ when built for z/OS doesn't contain the aligned allocation functions,
14 // nor does the dynamic library shipped with z/OS.
15 // XFAIL: target={{.+}}-zos{{.*}}
16 
17 #include <new>
18 #include <cassert>
19 #include <cstddef>
20 #include <string>
21 #include <type_traits>
22 #include <typeinfo>
23 
24 #include "test_macros.h"
25 
26 constexpr bool test() {
27   static_assert(std::is_enum<std::align_val_t>::value, "");
28   static_assert(std::is_same<std::underlying_type<std::align_val_t>::type, std::size_t>::value, "");
29   static_assert(!std::is_constructible<std::align_val_t, std::size_t>::value, "");
30   static_assert(!std::is_constructible<std::size_t, std::align_val_t>::value, "");
31 
32   {
33     auto a = std::align_val_t(0);
34     auto b = std::align_val_t(32);
35     auto c = std::align_val_t(-1);
36     assert(a != b);
37     assert(a == std::align_val_t(0));
38     assert(b == std::align_val_t(32));
39     assert(static_cast<std::size_t>(c) == static_cast<std::size_t>(-1));
40   }
41 
42   return true;
43 }
44 
45 int main(int, char**) {
46   test();
47   static_assert(test(), "");
48 
49 #if defined(_LIBCPP_VERSION) && !defined(TEST_HAS_NO_RTTI)
50   {
51     // Check that libc++ doesn't define align_val_t in a versioning namespace.
52     // And that it mangles the same in C++03 through C++17
53 #  ifdef _MSC_VER
54     // MSVC uses a different C++ ABI with a different name mangling scheme.
55     // The type id name doesn't seem to contain the mangled form at all.
56     assert(typeid(std::align_val_t).name() == std::string("enum std::align_val_t"));
57 #  else
58     assert(typeid(std::align_val_t).name() == std::string("St11align_val_t"));
59 #  endif
60   }
61 #endif
62 
63   return 0;
64 }
65