isl_basic_map_alloc_div: clear unused extra coefficients

diff --git a/isl_map.c b/isl_map.c
index d573eb5..a40d0c5 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -353,6 +353,9 @@ int isl_basic_map_alloc_div(struct isl_basic_map *bmap)
        if (!bmap)
                return -1;
        isl_assert(bmap->ctx, bmap->n_div < bmap->extra, return -1);
+       isl_seq_clr(bmap->div[bmap->n_div] +
+                     1 + 1 + bmap->nparam + bmap->n_in + bmap->n_out + bmap->n_div,
+                     bmap->extra - bmap->n_div);
        return bmap->n_div++;
 }