projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
privately export isl_set_is_bounded
[platform/upstream/isl.git]
/
isl_convex_hull.c
diff --git
a/isl_convex_hull.c
b/isl_convex_hull.c
index
df7a686
..
17212c3
100644
(file)
--- a/
isl_convex_hull.c
+++ b/
isl_convex_hull.c
@@
-869,13
+869,18
@@
static int isl_basic_set_is_bounded(struct isl_basic_set *bset)
struct isl_tab *tab;
int bounded;
struct isl_tab *tab;
int bounded;
+ if (!bset)
+ return -1;
+ if (isl_basic_set_fast_is_empty(bset))
+ return 1;
+
tab = isl_tab_from_recession_cone(bset);
bounded = isl_tab_cone_is_bounded(tab);
isl_tab_free(tab);
return bounded;
}
tab = isl_tab_from_recession_cone(bset);
bounded = isl_tab_cone_is_bounded(tab);
isl_tab_free(tab);
return bounded;
}
-
static int isl_set_is_bounded(struct
isl_set *set)
+
int isl_set_is_bounded(__isl_keep
isl_set *set)
{
int i;
{
int i;
@@
-2050,7
+2055,7
@@
static int is_bound(struct sh_data *data, struct isl_set *set, int j,
isl_int_clear(opt);
isl_int_clear(opt);
- return
res == isl_lp_ok
? 1 :
+ return
(res == isl_lp_ok || res == isl_lp_empty)
? 1 :
res == isl_lp_unbounded ? 0 : -1;
}
res == isl_lp_unbounded ? 0 : -1;
}