From a5f8cb05e55e3f11bfcc64580bfd2f30f3ce59a9 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 21 Oct 2009 14:41:31 +0200 Subject: [PATCH] isl_basic_set_solve_ilp: handle obviously empty sets --- isl_ilp.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/isl_ilp.c b/isl_ilp.c index 15110c1..0d57d6e 100644 --- a/isl_ilp.c +++ b/isl_ilp.c @@ -298,6 +298,9 @@ enum isl_lp_result isl_basic_set_solve_ilp(struct isl_basic_set *bset, int max, isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0, goto error); + if (isl_basic_set_fast_is_empty(bset)) + return isl_lp_empty; + if (bset->n_eq) return solve_ilp_with_eq(bset, max, f, opt, sol_p); -- 2.7.4