From 85b7d947796f058def3c2356bcf7c131804450b5 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 25 Aug 2008 14:28:22 +0200
Subject: [PATCH] isl_map_apply_range: mark result of 1 basic set as "disjoint"

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

diff --git a/isl_map.c b/isl_map.c
index 7550f17..aab015e 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -2666,6 +2666,8 @@ struct isl_map *isl_map_apply_range(
 		}
 	isl_map_free(ctx, map1);
 	isl_map_free(ctx, map2);
+	if (result && result->n <= 1)
+		F_SET(result, ISL_MAP_DISJOINT);
 	return result;
 error:
 	isl_map_free(ctx, map1);
-- 
2.7.4