isl_map_simple_hull: mark result as not having any implicit equalities

diff --git a/isl_convex_hull.c b/isl_convex_hull.c
index 587e91f..9430efc 100644 (file)
--- a/isl_convex_hull.c
+++ b/isl_convex_hull.c
@@ -1781,6 +1781,7 @@ struct isl_basic_map *isl_map_simple_hull(struct isl_map *map)
                return hull;
        }
 
+       map = isl_map_detect_equalities(map);
        map = isl_map_align_divs(map);
        model = isl_basic_map_copy(map->p[0]);
 
@@ -1790,6 +1791,9 @@ struct isl_basic_map *isl_map_simple_hull(struct isl_map *map)
 
        hull = isl_basic_map_overlying_set(bset, model);
 
+       ISL_F_SET(hull, ISL_BASIC_MAP_NO_IMPLICIT);
+       ISL_F_SET(hull, ISL_BASIC_MAP_ALL_EQUALITIES);
+
        return hull;
 }