From c51e471c3a0e6fa8d0ebd2c901a925edeb78ff02 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 14 Feb 2012 23:55:22 +0100 Subject: [PATCH] isl_convex_hull.c: uset_convex_hull_wrap_bounded: remove redundant constraints 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 --- isl_convex_hull.c | 1 + 1 file changed, 1 insertion(+) diff --git a/isl_convex_hull.c b/isl_convex_hull.c index 6fd95bf..2fe4f73 100644 --- a/isl_convex_hull.c +++ b/isl_convex_hull.c @@ -1867,6 +1867,7 @@ static struct isl_basic_set *uset_convex_hull_wrap_bounded(struct isl_set *set) 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) -- 2.7.4