isl_tab.c: cut_to_hyperplane: add extra sanity check

[platform/upstream/isl.git] / isl_tab.c

diff --git a/isl_tab.c b/isl_tab.c
index 749951c..daed8ec 100644 (file)
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -2342,6 +2342,7 @@ static struct isl_tab *cut_to_hyperplane(struct isl_tab *tab,
        if (var->is_zero)
                return tab;
        isl_assert(tab->mat->ctx, !var->is_redundant, goto error);
+       isl_assert(tab->mat->ctx, var->is_nonneg, goto error);
 
        if (isl_tab_extend_cons(tab, 1) < 0)
                goto error;