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
|
/* A class that sets a boolean when an object of the class gets destroyed.
*/
struct S {
S(bool *freed) : freed(freed) {}
~S();
bool *freed;
};
/* S destructor.
*
* Set the boolean, a pointer to which was passed to the constructor.
*/
S::~S()
{
*freed = true;
}
/* Construct an isl::id with an S object attached that sets *freed
* when it gets destroyed.
*/
static isl::id construct_id(isl::ctx ctx, bool *freed)
{
auto s = std::make_shared<S>(freed);
isl::id id(ctx, "S", s);
return id;
}
/* Test id::try_user.
*
* In particular, check that the object attached to an identifier
* can be retrieved again, that trying to retrieve an object of the wrong type
* or trying to retrieve an object when no object was attached fails.
* Furthermore, check that the object attached to an identifier
* gets properly freed.
*/
static void test_try_user(isl::ctx ctx)
{
isl::id id(ctx, "test", 5);
isl::id id2(ctx, "test2");
auto maybe_int = id.try_user<int>();
auto maybe_s = id.try_user<std::shared_ptr<S>>();
auto maybe_int2 = id2.try_user<int>();
if (!maybe_int)
die("integer cannot be retrieved from isl::id");
if (maybe_int.value() != 5)
die("wrong integer retrieved from isl::id");
if (maybe_s)
die("structure unexpectedly retrieved from isl::id");
if (maybe_int2)
die("integer unexpectedly retrieved from isl::id");
bool freed = false;
{
isl::id id = construct_id(ctx, &freed);
if (freed)
die("data structure freed prematurely");
auto maybe_s = id.try_user<std::shared_ptr<S>>();
if (!maybe_s)
die("structure cannot be retrieved from isl::id");
if (maybe_s.value()->freed != &freed)
die("invalid structure retrieved from isl::id");
}
if (!freed)
die("data structure not freed");
}
|
