From 5a87ff17d40e3bea645a5275925c18377f59f48f Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 11 Feb 2012 10:37:00 +0100 Subject: [PATCH] summate.c: add_unbounded_guarded_qp: update to change in isl_pw_* space This was missing from 235972b (update isl for change in space of isl_pw_* objects, Sun Sep 4 15:04:00 2011 +0200). Signed-off-by: Sven Verdoolaege --- summate.c | 2 +- tests/iscc/sum4 | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 tests/iscc/sum4 diff --git a/summate.c b/summate.c index 6c743cb..b34fc06 100644 --- a/summate.c +++ b/summate.c @@ -732,7 +732,7 @@ static __isl_give isl_pw_qpolynomial *add_unbounded_guarded_qp( isl_set *set; isl_pw_qpolynomial *pwqp; - dim = isl_pw_qpolynomial_get_space(sum); + dim = isl_pw_qpolynomial_get_domain_space(sum); set = isl_set_from_basic_set(isl_basic_set_copy(bset)); set = isl_map_domain(isl_map_from_range(set)); set = isl_set_reset_space(set, isl_space_copy(dim)); diff --git a/tests/iscc/sum4 b/tests/iscc/sum4 new file mode 100644 index 0000000..964b0da --- /dev/null +++ b/tests/iscc/sum4 @@ -0,0 +1,2 @@ +r := sum { [x] -> 1 }; +assert(r == { NaN }); -- 2.11.4.GIT