1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// test libc++'s implementation of align_val_t, and the relevent new/delete
// overloads in all dialects when -faligned-allocation is present.
// Libc++ defers to the underlying MSVC library to provide the new/delete
// definitions, which does not yet provide aligned allocation
// XFAIL: LIBCXX-WINDOWS-FIXME
// REQUIRES: -faligned-allocation
// RUN: %build -faligned-allocation
// RUN: %run
#include <new>
#include <typeinfo>
#include <string>
#include <cassert>
#include "test_macros.h"
int main() {
{
static_assert(std::is_enum<std::align_val_t>::value, "");
typedef std::underlying_type<std::align_val_t>::type UT;
static_assert((std::is_same<UT, std::size_t>::value), "");
}
{
static_assert((!std::is_constructible<std::align_val_t, std::size_t>::value), "");
#if TEST_STD_VER >= 11
static_assert(!std::is_constructible<std::size_t, std::align_val_t>::value, "");
#else
static_assert((std::is_constructible<std::size_t, std::align_val_t>::value), "");
#endif
}
{
std::align_val_t a = std::align_val_t(0);
std::align_val_t b = std::align_val_t(32);
assert(a != b);
assert(a == std::align_val_t(0));
assert(b == std::align_val_t(32));
}
{
void *ptr = ::operator new(1, std::align_val_t(128));
assert(ptr);
assert(reinterpret_cast<std::uintptr_t>(ptr) % 128 == 0);
::operator delete(ptr, std::align_val_t(128));
}
{
void *ptr = ::operator new(1, std::align_val_t(128), std::nothrow);
assert(ptr);
assert(reinterpret_cast<std::uintptr_t>(ptr) % 128 == 0);
::operator delete(ptr, std::align_val_t(128), std::nothrow);
}
{
void *ptr = ::operator new[](1, std::align_val_t(128));
assert(ptr);
assert(reinterpret_cast<std::uintptr_t>(ptr) % 128 == 0);
::operator delete[](ptr, std::align_val_t(128));
}
{
void *ptr = ::operator new[](1, std::align_val_t(128), std::nothrow);
assert(ptr);
assert(reinterpret_cast<std::uintptr_t>(ptr) % 128 == 0);
::operator delete[](ptr, std::align_val_t(128), std::nothrow);
}
#ifndef TEST_HAS_NO_RTTI
{
// Check that libc++ doesn't define align_val_t in a versioning namespace.
// And that it mangles the same in C++03 through C++17
assert(typeid(std::align_val_t).name() == std::string("St11align_val_t"));
}
#endif
}
|
