summaryrefslogtreecommitdiff
path: root/isl_tab_pip.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@r900-01.futurs.inria.fr>2010-05-30 16:34:08 +0200
committerSven Verdoolaege <skimo@kotnet.org>2010-05-30 17:24:02 +0200
commitc99c8c9459bb142dcba40d16efe4f88c4bbadd84 (patch)
treed7fc71d65275419f8129fd3ea8f6775d20398ff0 /isl_tab_pip.c
parent8113984dd153adf8555b9be486e02fa6d238ebb6 (diff)
downloadisl-c99c8c9459bb142dcba40d16efe4f88c4bbadd84.tar.gz
isl-c99c8c9459bb142dcba40d16efe4f88c4bbadd84.tar.bz2
isl-c99c8c9459bb142dcba40d16efe4f88c4bbadd84.zip
fix some icc warnings
Diffstat (limited to 'isl_tab_pip.c')
-rw-r--r--isl_tab_pip.c13
1 files changed, 7 insertions, 6 deletions
diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 36c3d02e..01efc6c5 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -2178,10 +2178,11 @@ static enum isl_tab_row_sign tab_ineq_sign(struct isl_tab *tab, isl_int *ineq,
int i;
int sgn;
isl_int tmp;
- int res = isl_tab_row_unknown;
+ enum isl_tab_row_sign res = isl_tab_row_unknown;
- isl_assert(tab->mat->ctx, tab->samples, return 0);
- isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return 0);
+ isl_assert(tab->mat->ctx, tab->samples, return isl_tab_row_unknown);
+ isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var,
+ return isl_tab_row_unknown);
isl_int_init(tmp);
for (i = tab->n_outside; i < tab->n_sample; ++i) {
@@ -3349,7 +3350,7 @@ static enum isl_tab_row_sign row_sign(struct isl_tab *tab,
struct isl_sol *sol, int row)
{
struct isl_vec *ineq = NULL;
- int res = isl_tab_row_unknown;
+ enum isl_tab_row_sign res = isl_tab_row_unknown;
int critical;
int strict;
int row2;
@@ -3413,7 +3414,7 @@ static enum isl_tab_row_sign row_sign(struct isl_tab *tab,
return res;
error:
isl_vec_free(ineq);
- return 0;
+ return isl_tab_row_unknown;
}
static void find_solutions(struct isl_sol *sol, struct isl_tab *tab);
@@ -3597,7 +3598,7 @@ static void find_solutions(struct isl_sol *sol, struct isl_tab *tab)
for (; tab && !tab->empty; tab = restore_lexmin(tab)) {
int flags;
int row;
- int sgn;
+ enum isl_tab_row_sign sgn;
int split = -1;
int n_split = 0;