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
82
83
84
85
86
87
88
89
90
|
//===----------------------------------------------------------------------===//
//
// 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++98, c++03
//------------------------------------------------------------------------------
// TESTING void * memory_resource::allocate(size_t, size_t = max_align)
//
// Concerns:
// A) 'memory_resource' contains a member 'allocate' with the required
// signature, including the default alignment parameter.
// B) The return type of 'allocate' is 'void*'.
// C) 'allocate' is not marked as 'noexcept'.
// D) Invoking 'allocate' invokes 'do_allocate' with the same arguments.
// E) If 'do_allocate' throws then 'allocate' propagates that exception.
#include <experimental/memory_resource>
#include <type_traits>
#include <cstddef>
#include <cassert>
#include "test_macros.h"
#include "test_memory_resource.h"
using std::experimental::pmr::memory_resource;
int main(int, char**)
{
TestResource R(42);
auto& P = R.getController();
memory_resource& M = R;
{
static_assert(
std::is_same<decltype(M.allocate(0, 0)), void*>::value
, "Must be void*"
);
static_assert(
std::is_same<decltype(M.allocate(0)), void*>::value
, "Must be void*"
);
}
{
static_assert(
! noexcept(M.allocate(0, 0))
, "Must not be noexcept."
);
static_assert(
! noexcept(M.allocate(0))
, "Must not be noexcept."
);
}
{
int s = 42;
int a = 64;
void* p = M.allocate(s, a);
assert(P.alloc_count == 1);
assert(P.checkAlloc(p, s, a));
s = 128;
a = MaxAlignV;
p = M.allocate(s);
assert(P.alloc_count == 2);
assert(P.checkAlloc(p, s, a));
}
#ifndef TEST_HAS_NO_EXCEPTIONS
{
TestResource R2;
auto& P2 = R2.getController();
P2.throw_on_alloc = true;
memory_resource& M2 = R2;
try {
M2.allocate(42);
assert(false);
} catch (TestException const&) {
// do nothing.
} catch (...) {
assert(false);
}
}
#endif
return 0;
}
|
