From: Sven Verdoolaege Date: Tue, 14 Feb 2012 22:55:22 +0000 (+0100) Subject: isl_convex_hull.c: uset_convex_hull_wrap_bounded: remove redundant constraints X-Git-Tag: isl-0.10~8^2~18 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=c51e471c3a0e6fa8d0ebd2c901a925edeb78ff02;p=platform%2Fupstream%2Fisl.git 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 --- 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)