From 72101540bdff0c5a264be0070516f0c976939044 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 12 Apr 2013 10:19:38 +0200 Subject: [PATCH] verify.c: verify_context_set_bounds: use isl_val Signed-off-by: Sven Verdoolaege --- verify.c | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) diff --git a/verify.c b/verify.c index 44aa296..278fb81 100644 --- a/verify.c +++ b/verify.c @@ -454,20 +454,23 @@ __isl_give isl_set *verify_context_set_bounds(__isl_take isl_set *set, pt2 = isl_point_sub_ui(pt2, isl_dim_param, i, options->r); } } else { - isl_int v; + isl_ctx *ctx; + isl_val *v; - isl_int_init(v); + ctx = isl_set_get_ctx(set); pt = isl_point_zero(isl_set_get_space(set)); - isl_int_set_si(v, options->m); + v = isl_val_int_from_si(ctx, options->m); for (i = 0; i < nparam; ++i) - pt = isl_point_set_coordinate(pt, isl_dim_param, i, v); + pt = isl_point_set_coordinate_val(pt, isl_dim_param, i, + isl_val_copy(v)); + isl_val_free(v); pt2 = isl_point_zero(isl_set_get_space(set)); - isl_int_set_si(v, options->M); + v = isl_val_int_from_si(ctx, options->M); for (i = 0; i < nparam; ++i) - pt2 = isl_point_set_coordinate(pt2, isl_dim_param, i, v); - - isl_int_clear(v); + pt2 = isl_point_set_coordinate_val(pt2, isl_dim_param, + i, isl_val_copy(v)); + isl_val_free(v); } box = isl_set_box_from_points(pt, pt2); -- 2.11.4.GIT