isl_morph.c: add_strides: clear newly added divs

Although we know what the divs should look like, we leave it to
isl_basic_map_simplify to extract them from the equalities we add.
However, we should at least mark them as (initially) unknown as
isl_basic_map_simplify may perform some other simplifications based
on the div expressions.

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

diff --git a/isl_morph.c b/isl_morph.c
index b4f984a..664bb75 100644 (file)
--- a/isl_morph.c
+++ b/isl_morph.c
@@ -581,6 +581,7 @@ static __isl_give isl_basic_set *add_strides(__isl_take isl_basic_set *bset,
                div = isl_basic_set_alloc_div(bset);
                if (div < 0)
                        goto error;
+               isl_int_set_si(bset->div[div][0], 0);
                k = isl_basic_set_alloc_equality(bset);
                if (k < 0)
                        goto error;