From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 21 Mar 2009 11:47:42 +0000 (+0100)
Subject: isl_map_simplify.c: uset_gist: break early if intersection is empty
X-Git-Tag: isl-0.01~207
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=e76ea1513fab485fb2faf189a2241bf0d4265386;p=platform%2Fupstream%2Fisl.git

isl_map_simplify.c: uset_gist: break early if intersection is empty
---

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index bb48508..faa0b93 100644
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1409,6 +1409,8 @@ static struct isl_basic_set *uset_gist(struct isl_basic_set *bset,
 					isl_basic_set_copy(context));
 	if (!bset)
 		goto error;
+	if (isl_basic_set_fast_is_empty(bset))
+		goto done;
 
 	if (bset->n_eq > 0) {
 		struct isl_basic_set *affine_hull;