isl_map_transitive_closure: improve accuracy by copying some mixed delta constraints

1 files changed, 9 insertions, 0 deletions

diff --git a/isl_test.c b/isl_test.c
index 98254e8f..127e664d 100644
--- a/isl_test.c
+++ b/isl_test.c
@@ -813,6 +813,15 @@ void test_closure(struct isl_ctx *ctx)
 	assert(exact);
 	isl_map_free(map);
 
+	map = isl_map_read_from_str(ctx,
+		"[n] -> { [x] -> [y]: 1 <= n <= y - x <= 10 }", -1);
+	map = isl_map_transitive_closure(map, &exact);
+	assert(!exact);
+	map2 = isl_map_read_from_str(ctx,
+		"[n] -> { [x] -> [y] : 1 <= n <= 10 and y >= n + x }", -1);
+	assert(isl_map_is_equal(map, map2));
+	isl_map_free(map);
+	isl_map_free(map2);
 }
 
 int main()