From 0de7ddc0b8530eb1dd42e7023ab1a0adf8d8ff9d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 20 Sep 2008 20:47:00 +0200 Subject: [PATCH] isl_convex_hull.c: make sure we don't overallocate inequalities --- isl_convex_hull.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/isl_convex_hull.c b/isl_convex_hull.c index a239756..da35d26 100644 --- a/isl_convex_hull.c +++ b/isl_convex_hull.c @@ -666,6 +666,11 @@ static struct isl_basic_set *extend(struct isl_ctx *ctx, struct isl_set *set, facet = compute_facet(ctx, set, hull->ineq[i]); if (!facet) goto error; + if (facet->n_ineq + hull->n_ineq > n_ineq) { + hull = isl_basic_set_extend(hull, + hull->nparam, hull->dim, 0, 0, facet->n_ineq); + n_ineq = hull->n_ineq + facet->n_ineq; + } for (j = 0; j < facet->n_ineq; ++j) { k = isl_basic_set_alloc_inequality(hull); if (k < 0) -- 2.7.4