add packaging

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

diff --git a/isl_local_space.c b/isl_local_space.c
index 42f3e9f..4577cde 100644 (file)
--- a/isl_local_space.c
+++ b/isl_local_space.c
@@ -721,14 +721,13 @@ __isl_give isl_local_space *isl_local_space_substitute_equalities(
        unsigned total;
        unsigned n_div;
 
-       ls = isl_local_space_cow(ls);
        if (!ls || !eq)
                goto error;
 
        total = isl_space_dim(eq->dim, isl_dim_all);
        if (isl_local_space_dim(ls, isl_dim_all) != total)
                isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
-                       "dimensions don't match", goto error);
+                       "spaces don't match", goto error);
        total++;
        n_div = eq->n_div;
        for (i = 0; i < eq->n_eq; ++i) {
@@ -739,6 +738,12 @@ __isl_give isl_local_space *isl_local_space_substitute_equalities(
                for (k = 0; k < ls->div->n_row; ++k) {
                        if (isl_int_is_zero(ls->div->row[k][1 + j]))
                                continue;
+                       ls = isl_local_space_cow(ls);
+                       if (!ls)
+                               goto error;
+                       ls->div = isl_mat_cow(ls->div);
+                       if (!ls->div)
+                               goto error;
                        isl_seq_elim(ls->div->row[k] + 1, eq->eq[i], j, total,
                                        &ls->div->row[k][0]);
                        normalize_div(ls, k);