From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 10 Apr 2010 14:13:46 +0000 (+0200)
Subject: isl_basic_set_preimage: add extra sanity check
X-Git-Tag: isl-0.03~259
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=0d1dd2cf289c05b28244399a9c4bd981f393332c;p=platform%2Fupstream%2Fisl.git

isl_basic_set_preimage: add extra sanity check
---

diff --git a/isl_mat.c b/isl_mat.c
index 04d989c..6f4f889 100644
--- a/isl_mat.c
+++ b/isl_mat.c
@@ -935,6 +935,7 @@ struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset,
 
 	isl_assert(ctx, bset->dim->nparam == 0, goto error);
 	isl_assert(ctx, 1+bset->dim->n_out == mat->n_row, goto error);
+	isl_assert(ctx, mat->n_col > 0, goto error);
 
 	if (mat->n_col > mat->n_row)
 		bset = isl_basic_set_extend(bset, 0, mat->n_col-1, 0,