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
91
92
93
94
95
96
97
98
99
|
/*
* Copyright 2018 Sven Verdoolaege
*
* Use of this software is governed by the MIT license
*
* Written by Sven Verdoolaege.
*/
#include <stdlib.h>
#include <isl/ctx.h>
#include <isl/options.h>
#include <isl/cpp-checked-conversion.h>
/* Check that converting a NULL object from the checked C++ bindings
* (where the user is expected to check for NULL return values)
* to the default C++ bindings (where exceptions are raised
* instead of returning a NULL object) raises an exception.
*/
static void check_conversion_null(isl_ctx *ctx)
{
isl::checked::set checked_set;
isl::set set;
bool caught = false;
try {
set = isl::uncheck(checked_set);
isl_die(ctx, isl_error_unknown, "no exception raised", return);
} catch (const isl::exception &e) {
caught = true;
}
if (!caught)
isl_die(ctx, isl_error_unknown, "no exception raised", return);
}
/* Dummy function on a set in the checked C++ bindings.
*/
static void f_checked(isl::checked::set set)
{
}
/* Dummy function on a set in the default C++ bindings.
*/
static void f_unchecked(isl::set set)
{
}
/* Check the conversion between C++ bindings in function calls.
* An incorrect call will result in a compiler error.
*/
static void check_conversion_call(isl_ctx *ctx)
{
isl::set set(ctx, "{ S[i] : 0 <= i < 10 }");
isl::checked::set checked_set(ctx, "{ S[i] : 0 <= i < 10 }");
f_unchecked(set);
f_checked(isl::check(set));
f_unchecked(isl::uncheck(checked_set));
f_checked(checked_set);
}
/* Check that a double conversion results in the original set,
* or at least something that is equal to the original set.
*/
static void check_conversion_equal(isl_ctx *ctx)
{
isl::set set(ctx, "{ S[i] : 0 <= i < 10 }");
isl::set set2;
isl::checked::set checked_set;
checked_set = isl::check(set);
set2 = isl::uncheck(checked_set);
if (!set.is_equal(set2))
isl_die(ctx, isl_error_unknown, "bad conversion", return);
}
/* Perform some tests on the conversion between the default C++ bindings and
* the checked C++ bindings.
*/
static void check_conversion(isl_ctx *ctx)
{
check_conversion_null(ctx);
check_conversion_call(ctx);
check_conversion_equal(ctx);
}
int main()
{
isl_ctx *ctx = isl_ctx_alloc();
isl_options_set_on_error(ctx, ISL_ON_ERROR_ABORT);
check_conversion(ctx);
isl_ctx_free(ctx);
return EXIT_SUCCESS;
}
|
