From 0f8cbe33da1f353eabc097c45bbb0a80ac2c4b80 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 12 Apr 2014 10:07:23 +0200
Subject: [PATCH] isl_map.c: basic_set_maximal_difference_at: avoid double free
 on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 isl_map.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isl_map.c b/isl_map.c
index 4b3b0bf6..39e899f1 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -8331,7 +8331,7 @@ static enum isl_lp_result basic_set_maximal_difference_at(
 			bmap2->n_div, bmap2->n_eq, bmap2->n_ineq);
 	bmap1 = add_constraints(bmap1, bmap2, 0, dim1 - pos);
 	if (!bmap1)
-		goto error;
+		goto error2;
 	total = isl_basic_map_total_dim(bmap1);
 	ctx = bmap1->ctx;
 	obj = isl_vec_alloc(ctx, 1 + total);
-- 
2.11.4.GIT