isl_local_space_is_equal: check that divs are known

There is no way we can tell if two local spaces are equal
if we don't know the expressions for the divs.

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

diff --git a/isl_local_space.c b/isl_local_space.c
index 0ae2d89..6449668 100644 (file)
--- a/isl_local_space.c
+++ b/isl_local_space.c
@@ -128,6 +128,11 @@ int isl_local_space_is_equal(__isl_keep isl_local_space *ls1,
        if (equal < 0 || !equal)
                return equal;
 
+       if (!isl_local_space_divs_known(ls1))
+               return 0;
+       if (!isl_local_space_divs_known(ls2))
+               return 0;
+
        return isl_mat_is_equal(ls1->div, ls2->div);
 }