From 5d54e5354bbf5a8d97cd14a75d0547f98949e594 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 12 Apr 2013 10:46:17 +0200 Subject: [PATCH] verify.c: verify_point_data_init: use isl_val Signed-off-by: Sven Verdoolaege --- verify.c | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/verify.c b/verify.c index 278fb81..10d67b4 100644 --- a/verify.c +++ b/verify.c @@ -481,14 +481,12 @@ __isl_give isl_set *verify_context_set_bounds(__isl_take isl_set *set, int verify_point_data_init(struct verify_point_data *vpd, __isl_keep isl_set *context) { - isl_int v; + isl_val *v; int i; - int r; - isl_int_init(v); - r = isl_set_count(context, &v); - vpd->n = isl_int_cmp_si(v, 200) < 0 ? isl_int_get_si(v) : 200; - isl_int_clear(v); + v = isl_set_count_val(context); + vpd->n = isl_val_cmp_si(v, 200) < 0 ? isl_val_get_num_si(v) : 200; + isl_val_free(v); if (!vpd->options->print_all) { vpd->s = vpd->n < 80 ? 1 : 1 + vpd->n/80; @@ -498,9 +496,9 @@ int verify_point_data_init(struct verify_point_data *vpd, fflush(stdout); } - vpd->error = r < 0 ? -1 : 0; + vpd->error = !v ? -1 : 0; - return r; + return vpd->error; } void verify_point_data_fini(struct verify_point_data *vpd) -- 2.11.4.GIT