From d710b742241a6b7c8064bda319ab9b857cc7c789 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 28 Apr 2010 11:58:32 +0200 Subject: [PATCH] isl_convex_hull.c: is_bound: any inequality is a bound on an empty set --- isl_convex_hull.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isl_convex_hull.c b/isl_convex_hull.c index df7a686..d4bf780 100644 --- a/isl_convex_hull.c +++ b/isl_convex_hull.c @@ -2050,7 +2050,7 @@ static int is_bound(struct sh_data *data, struct isl_set *set, int j, 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; } -- 2.7.4