isl_map_compute_divs: make sure result is gaussed and finalized

In particular, when the variables in the input can be compressed,
basic_set_append_equalities should gauss and finalize the result
of adding the equalities back in.

diff --git a/isl_map.c b/isl_map.c
index dcc592a..683312d 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -4264,6 +4264,9 @@ static struct isl_basic_set *basic_set_append_equalities(
        }
        isl_mat_free(eq);
 
+       bset = isl_basic_set_gauss(bset, NULL);
+       bset = isl_basic_set_finalize(bset);
+
        return bset;
 error:
        isl_mat_free(eq);