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
|
//===----------------------------------------------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
// <experimental/memory_resource>
// UNSUPPORTED: c++03
//------------------------------------------------------------------------------
// TESTING void * memory_resource::deallocate(void *, size_t, size_t = max_align)
//
// Concerns:
// A) 'memory_resource' contains a member 'deallocate' with the required
// signature, including the default alignment parameter.
// B) The return type of 'deallocate' is 'void'.
// C) 'deallocate' is not marked as 'noexcept'.
// D) Invoking 'deallocate' invokes 'do_deallocate' with the same arguments.
#include <experimental/memory_resource>
#include <type_traits>
#include <cstddef>
#include <cassert>
#include "test_memory_resource.h"
#include "test_macros.h"
using std::experimental::pmr::memory_resource;
int main(int, char**)
{
NullResource R(42);
auto& P = R.getController();
memory_resource& M = R;
{
static_assert(
std::is_same<decltype(M.deallocate(nullptr, 0, 0)), void>::value
, "Must be void"
);
static_assert(
std::is_same<decltype(M.deallocate(nullptr, 0)), void>::value
, "Must be void"
);
}
{
static_assert(
! noexcept(M.deallocate(nullptr, 0, 0))
, "Must not be noexcept."
);
static_assert(
! noexcept(M.deallocate(nullptr, 0))
, "Must not be noexcept."
);
}
{
int s = 100;
int a = 64;
void* p = reinterpret_cast<void*>(640);
M.deallocate(p, s, a);
assert(P.dealloc_count == 1);
assert(P.checkDealloc(p, s, a));
s = 128;
a = alignof(std::max_align_t);
p = reinterpret_cast<void*>(12800);
M.deallocate(p, s);
assert(P.dealloc_count == 2);
assert(P.checkDealloc(p, s, a));
}
return 0;
}
|
