isl_map_convex_hull: mark result as not having any implicit equalities

diff --git a/isl_convex_hull.c b/isl_convex_hull.c
index 2cd4639..8db9ed3 100644 (file)
--- a/isl_convex_hull.c
+++ b/isl_convex_hull.c
@@ -1399,6 +1399,7 @@ struct isl_basic_map *isl_map_convex_hull(struct isl_map *map)
                return convex_hull;
        }
 
+       map = isl_map_detect_equalities(map);
        map = isl_map_align_divs(map);
        model = isl_basic_map_copy(map->p[0]);
        set = isl_map_underlying_set(map);
@@ -1417,6 +1418,8 @@ struct isl_basic_map *isl_map_convex_hull(struct isl_map *map)
 
        convex_hull = isl_basic_map_overlying_set(bset, model);
 
+       ISL_F_SET(convex_hull, ISL_BASIC_MAP_NO_IMPLICIT);
+       ISL_F_SET(convex_hull, ISL_BASIC_MAP_ALL_EQUALITIES);
        ISL_F_CLR(convex_hull, ISL_BASIC_MAP_RATIONAL);
        return convex_hull;
 error: