From 891c84c66556dfcf784667d5d69ece26905cf78c Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 5 Sep 2016 16:20:03 +0200 Subject: [PATCH] isl_tab.c: add_div_constraints: return isl_stat This clarifies what the possible return values are. Signed-off-by: Sven Verdoolaege --- isl_tab.c | 6 +++--- isl_tab.h | 2 +- isl_tab_pip.c | 10 +++++----- 3 files changed, 9 insertions(+), 9 deletions(-) diff --git a/isl_tab.c b/isl_tab.c index 610890b2..fd184c54 100644 --- a/isl_tab.c +++ b/isl_tab.c @@ -2231,8 +2231,8 @@ static struct isl_vec *ineq_for_div(struct isl_basic_map *bmap, unsigned div) * This function assumes that at least two more rows and at least * two more elements in the constraint array are available in the tableau. */ -static int add_div_constraints(struct isl_tab *tab, unsigned div, - int (*add_ineq)(void *user, isl_int *), void *user) +static isl_stat add_div_constraints(struct isl_tab *tab, unsigned div, + isl_stat (*add_ineq)(void *user, isl_int *), void *user) { unsigned total; unsigned div_pos; @@ -2314,7 +2314,7 @@ static int div_is_nonneg(struct isl_tab *tab, __isl_keep isl_vec *div) * is added to the tableau. */ int isl_tab_insert_div(struct isl_tab *tab, int pos, __isl_keep isl_vec *div, - int (*add_ineq)(void *user, isl_int *), void *user) + isl_stat (*add_ineq)(void *user, isl_int *), void *user) { int r; int nonneg; diff --git a/isl_tab.h b/isl_tab.h index 1cd8a4da..fe8ddfdb 100644 --- a/isl_tab.h +++ b/isl_tab.h @@ -326,7 +326,7 @@ int isl_tab_push_callback(struct isl_tab *tab, struct isl_tab_callback *callback) WARN_UNUSED; int isl_tab_insert_div(struct isl_tab *tab, int pos, __isl_keep isl_vec *div, - int (*add_ineq)(void *user, isl_int *), void *user); + isl_stat (*add_ineq)(void *user, isl_int *), void *user); int isl_tab_add_div(struct isl_tab *tab, __isl_keep isl_vec *div); int isl_tab_shift_var(struct isl_tab *tab, int pos, isl_int shift) WARN_UNUSED; diff --git a/isl_tab_pip.c b/isl_tab_pip.c index 2395a4ae..87526b6d 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -1993,7 +1993,7 @@ static int tab_has_valid_sample(struct isl_tab *tab, isl_int *ineq, int eq) */ static isl_bool context_tab_insert_div(struct isl_tab *tab, int pos, __isl_keep isl_vec *div, - int (*add_ineq)(void *user, isl_int *), void *user) + isl_stat (*add_ineq)(void *user, isl_int *), void *user) { int i; int r; @@ -2451,11 +2451,11 @@ error: clex->tab = NULL; } -static int context_lex_add_ineq_wrap(void *user, isl_int *ineq) +static isl_stat context_lex_add_ineq_wrap(void *user, isl_int *ineq) { struct isl_context *context = (struct isl_context *)user; context_lex_add_ineq(context, ineq, 0, 0); - return context->op->is_ok(context) ? 0 : -1; + return context->op->is_ok(context) ? isl_stat_ok : isl_stat_error; } /* Check which signs can be obtained by "ineq" on all the currently @@ -3139,11 +3139,11 @@ error: cgbr->tab = NULL; } -static int context_gbr_add_ineq_wrap(void *user, isl_int *ineq) +static isl_stat context_gbr_add_ineq_wrap(void *user, isl_int *ineq) { struct isl_context *context = (struct isl_context *)user; context_gbr_add_ineq(context, ineq, 0, 0); - return context->op->is_ok(context) ? 0 : -1; + return context->op->is_ok(context) ? isl_stat_ok : isl_stat_error; } static enum isl_tab_row_sign context_gbr_ineq_sign(struct isl_context *context, -- 2.11.4.GIT