From 96be0c4a56eaf3b58de0306f58045739d6ab0274 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 12 Jun 2010 04:50:06 +0200 Subject: [PATCH] isl_pw_qpolynomial_bound_range: also set exactness in special cases --- isl_range.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/isl_range.c b/isl_range.c index c2f8126..6bf75b4 100644 --- a/isl_range.c +++ b/isl_range.c @@ -572,11 +572,15 @@ __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound_range( if (isl_pw_qpolynomial_is_zero(pwqp)) { isl_pw_qpolynomial_free(pwqp); dim = isl_dim_drop(dim, isl_dim_set, 0, nvar); + if (exact) + *exact = 1; return isl_pw_qpolynomial_fold_zero(dim); } if (nvar == 0) { isl_dim_free(dim); + if (exact) + *exact = 1; return isl_pw_qpolynomial_fold_from_pw_qpolynomial(type, pwqp); } -- 2.7.4