isl_tab_pip.c: remove unused context_lex_extend

[platform/upstream/isl.git] / isl_tab_pip.c

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 94b868d..00efda4 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -420,7 +420,7 @@ static void sol_add(struct isl_sol *sol, struct isl_tab *tab)
        struct isl_basic_set *bset = NULL;
        struct isl_mat *mat = NULL;
        unsigned off;
-       int row, i;
+       int row;
        isl_int m;
 
        if (sol->error || !tab)
@@ -585,7 +585,6 @@ static void sol_map_add(struct isl_sol_map *sol,
 {
        int i;
        struct isl_basic_map *bmap = NULL;
-       isl_basic_set *context_bset;
        unsigned n_eq;
        unsigned n_ineq;
        unsigned nparam;
@@ -1728,7 +1727,6 @@ static int sample_is_finite(struct isl_tab *tab)
 static struct isl_tab *check_integer_feasible(struct isl_tab *tab)
 {
        struct isl_tab_undo *snap;
-       int feasible;
 
        if (!tab)
                return NULL;
@@ -2182,17 +2180,6 @@ static struct isl_tab *context_lex_peek_tab(struct isl_context *context)
        return clex->tab;
 }
 
-static void context_lex_extend(struct isl_context *context, int n)
-{
-       struct isl_context_lex *clex = (struct isl_context_lex *)context;
-       if (!clex->tab)
-               return;
-       if (isl_tab_extend_cons(clex->tab, n) >= 0)
-               return;
-       isl_tab_free(clex->tab);
-       clex->tab = NULL;
-}
-
 static void context_lex_add_eq(struct isl_context *context, isl_int *eq,
                int check, int update)
 {
@@ -2778,8 +2765,6 @@ error:
 
 static struct isl_tab *add_gbr_eq(struct isl_tab *tab, isl_int *eq)
 {
-       int r;
-
        if (!tab)
                return NULL;
 
@@ -2966,7 +2951,6 @@ static int last_non_zero_var_col(struct isl_tab *tab, isl_int *p)
 {
        int i;
        int col;
-       unsigned dim = tab->n_var - tab->n_param - tab->n_div;
 
        if (tab->n_var == 0)
                return -1;
@@ -3058,8 +3042,6 @@ static int context_gbr_detect_equalities(struct isl_context *context,
 {
        struct isl_context_gbr *cgbr = (struct isl_context_gbr *)context;
        struct isl_ctx *ctx;
-       int i;
-       enum isl_lp_result res;
        unsigned n_ineq;
 
        ctx = cgbr->tab->mat->ctx;
@@ -3985,9 +3967,9 @@ static __isl_give isl_map *basic_map_partial_lexopt_base(
                goto error;
 
        context = sol_map->sol.context;
-       if (isl_basic_set_fast_is_empty(context->op->peek_basic_set(context)))
+       if (isl_basic_set_plain_is_empty(context->op->peek_basic_set(context)))
                /* nothing */;
-       else if (isl_basic_map_fast_is_empty(bmap))
+       else if (isl_basic_map_plain_is_empty(bmap))
                sol_map_add_empty_if_needed(sol_map,
                    isl_basic_set_copy(context->op->peek_basic_set(context)));
        else {
@@ -4559,7 +4541,6 @@ static void sol_for_add(struct isl_sol_for *sol,
        if (sol->sol.error || !dom || !M)
                goto error;
 
-       dom = isl_basic_set_simplify(dom);
        dom = isl_basic_set_finalize(dom);
 
        if (sol->fn(isl_basic_set_copy(dom), isl_mat_copy(M), sol->user) < 0)
@@ -4639,7 +4620,7 @@ int isl_basic_map_foreach_lexopt(__isl_keep isl_basic_map *bmap, int max,
        bmap = isl_basic_map_detect_equalities(bmap);
        sol_for = sol_for_init(bmap, max, fn, user);
 
-       if (isl_basic_map_fast_is_empty(bmap))
+       if (isl_basic_map_plain_is_empty(bmap))
                /* nothing */;
        else {
                struct isl_tab *tab;
@@ -4843,7 +4824,6 @@ __isl_give isl_vec *isl_tab_basic_set_non_trivial_lexmin(
        int (*conflict)(int con, void *user), void *user)
 {
        int i, j;
-       int need_update = 0;
        int r;
        isl_ctx *ctx = isl_basic_set_get_ctx(bset);
        isl_vec *v = NULL;