isl_tab_allocate_con: add extra assertion

diff --git a/isl_tab.c b/isl_tab.c
index bd8476d..bf1166a 100644 (file)
--- 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;