From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 12 Oct 2008 14:10:01 +0000 (+0200)
Subject: isl_basic_map_eliminate_vars: update number of extra vars after each extension
X-Git-Tag: isl-0.01~364
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=c2ae02ffff0669857b6c6d1004dc82ba0889289e;p=platform%2Fupstream%2Fisl.git

isl_basic_map_eliminate_vars: update number of extra vars after each extension
---

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]))