isl_schedule: don't let users get access to internal isl_band_lists

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

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);
 }