isl_tab_allocate_con: add extra assertion

1 files changed, 1 insertions, 0 deletions

diff --git a/isl_tab.c b/isl_tab.c
index bd8476d7..bf1166a8 100644
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -1098,6 +1098,7 @@ int isl_tab_allocate_con(struct isl_tab *tab)
 	int r;
 
 	isl_assert(tab->mat->ctx, tab->n_row < tab->mat->n_row, return -1);
+	isl_assert(tab->mat->ctx, tab->n_con < tab->max_con, return -1);
 
 	r = tab->n_con;
 	tab->con[r].index = tab->n_row;