diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2009-03-21 12:47:42 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-03-23 10:00:20 +0100 |
commit | e76ea1513fab485fb2faf189a2241bf0d4265386 (patch) | |
tree | 90a2d887fab58e0ea91908279166f331d755dc69 | |
parent | fcb0a9ebdef51ea0cf028891a2c117de2d569ee1 (diff) | |
download | isl-e76ea1513fab485fb2faf189a2241bf0d4265386.tar.gz isl-e76ea1513fab485fb2faf189a2241bf0d4265386.tar.bz2 isl-e76ea1513fab485fb2faf189a2241bf0d4265386.zip |
isl_map_simplify.c: uset_gist: break early if intersection is empty
-rw-r--r-- | isl_map_simplify.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isl_map_simplify.c b/isl_map_simplify.c index bb48508d..faa0b938 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; |