The caller compute_facet expects the result to not contain any redundant
constraints. The input to uset_convex_hull_wrap_bounded, however, might
contain redundant constraints so if this input consists of only one
basic set, we need to make sure redundant constraints are removed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
if (set->n == 1) {
convex_hull = isl_basic_set_copy(set->p[0]);
isl_set_free(set);
+ convex_hull = isl_basic_map_remove_redundancies(convex_hull);
return convex_hull;
}
if (isl_set_n_dim(set) == 1)