From ff145815a97a44c8ae8f4694ab7abd29e6e19e8b Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 9 Aug 2008 13:40:24 +0200
Subject: [PATCH] isl_map_subtract: simplify and finalize parts before checking
 emptiness

---
 isl_map.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isl_map.c b/isl_map.c
index 29b74c7..68e8527 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -2619,6 +2619,8 @@ static struct isl_map *add_cut_constraint(struct isl_ctx *ctx,
 		isl_seq_cpy(copy->ineq[k], c, len);
 	isl_seq_clr(copy->ineq[k]+len, extra);
 	isl_inequality_negate(ctx, copy, k);
+	copy = isl_basic_map_simplify(ctx, copy);
+	copy = isl_basic_map_finalize(ctx, copy);
 	is_empty = isl_basic_map_is_empty(ctx, copy);
 	if (is_empty < 0)
 		goto error;
-- 
2.7.4