File: isl_test_cpp-checked-conversion.cc

package info (click to toggle)
llvm-toolchain-7 1:7.0.1-8~deb9u3
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 733,456 kB
  • sloc: cpp: 3,776,651; ansic: 633,271; asm: 350,301; python: 142,716; objc: 107,612; sh: 22,626; lisp: 11,056; perl: 7,999; pascal: 6,742; ml: 5,537; awk: 3,536; makefile: 2,557; cs: 2,027; xml: 841; ruby: 156
file content (99 lines) | stat: -rw-r--r-- 2,333 bytes parent folder | download | duplicates (10)
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;
}