From 42830392b3d91d27348e5316bfc2012c259f4be9 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 3 Jul 2011 10:19:24 +0200 Subject: [PATCH] barvinok_summate: be more careful about spaces in which qpolynomials live The original code would compare qpolynomials in different spaces during verification. The currently used isl isn't too picky about that, but later versions of isl are. Signed-off-by: Sven Verdoolaege --- barvinok_summate.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/barvinok_summate.c b/barvinok_summate.c index 7744546..2ceab9a 100644 --- a/barvinok_summate.c +++ b/barvinok_summate.c @@ -42,6 +42,7 @@ static int verify_point(__isl_take isl_point *pnt, void *user) struct verify_point_sum *vps = (struct verify_point_sum *) user; int i; int ok; + unsigned nvar; unsigned nparam; isl_int v; isl_set *dom; @@ -70,6 +71,10 @@ static int verify_point(__isl_take isl_point *pnt, void *user) if (r < 0) goto error; + nvar = isl_set_dim(dom, isl_dim_set); + vps->manual = isl_qpolynomial_drop_dims(vps->manual, + isl_dim_set, 0, nvar); + ok = isl_qpolynomial_is_equal(eval, vps->manual); if (vps->vpd.options->print_all || !ok) { -- 2.11.4.GIT