From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 4 Dec 2012 16:47:54 +0000 (+0100)
Subject: isl_basic_set_expand_divs: avoid invalid access on error
X-Git-Tag: isl-0.11.1~3
X-Git-Url: https://repo.or.cz/w/isl.git/commitdiff_plain/176bc844c93de500b29e6f0c815d69fd76c3c475

isl_basic_set_expand_divs: avoid invalid access on error

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

diff --git a/isl_map.c b/isl_map.c
index c180c0a6..b383cfeb 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -7579,11 +7579,11 @@ __isl_give isl_basic_set *isl_basic_set_expand_divs(
 		isl_die(isl_mat_get_ctx(div), isl_error_invalid,
 			"not an expansion", goto error);
 
+	n_div = bset->n_div;
 	bset = isl_basic_map_extend_space(bset, isl_space_copy(bset->dim),
-					div->n_row - bset->n_div, 0,
-					2 * (div->n_row - bset->n_div));
+					    div->n_row - n_div, 0,
+					    2 * (div->n_row - n_div));
 
-	n_div = bset->n_div;
 	for (i = n_div; i < div->n_row; ++i)
 		if (isl_basic_set_alloc_div(bset) < 0)
 			goto error;