From c2ae02ffff0669857b6c6d1004dc82ba0889289e Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 12 Oct 2008 16:10:01 +0200 Subject: [PATCH] isl_basic_map_eliminate_vars: update number of extra vars after each extension --- isl_map.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isl_map.c b/isl_map.c index 9f5d657..db77417 100644 --- a/isl_map.c +++ b/isl_map.c @@ -1430,7 +1430,6 @@ struct isl_basic_map *isl_basic_map_eliminate_vars( if (!bmap) return NULL; total = bmap->nparam + bmap->n_in + bmap->n_out + bmap->n_div; - extra = bmap->extra - bmap->n_div; bmap = isl_basic_map_cow(bmap); for (d = pos + n - 1; d >= pos; --d) { @@ -1457,6 +1456,7 @@ struct isl_basic_map *isl_basic_map_eliminate_vars( bmap = isl_basic_map_extend(bmap, bmap->nparam, bmap->n_in, bmap->n_out, 0, 0, n_lower * n_upper); + extra = bmap->extra - bmap->n_div; for (i = bmap->n_ineq - 1; i >= 0; --i) { int last; if (isl_int_is_zero(bmap->ineq[i][1+d])) -- 2.7.4