isl_qpolynomial_insert_dims: insert zero columns in div matrix

In order to insert dimensions, columns corresponding to
these extra dimensions need to be inserted into the matrix
representing the integer divisions.  Before, arbitrary columns
were being added, but the divs have zero coefficients for these
new dimensions, so we should make sure the columns are zero.

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

diff --git a/isl_polynomial.c b/isl_polynomial.c
index efc6974..a2b9602 100644 (file)
--- a/isl_polynomial.c
+++ b/isl_polynomial.c
@@ -2792,7 +2792,7 @@ __isl_give isl_qpolynomial *isl_qpolynomial_insert_dims(
 
        g_pos = pos(qp->dim, type) + first;
 
-       qp->div = isl_mat_insert_cols(qp->div, 2 + g_pos, n);
+       qp->div = isl_mat_insert_zero_cols(qp->div, 2 + g_pos, n);
        if (!qp->div)
                goto error;