From f7bf58a51eed8bf43c725536e44a9cbec11ac276 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 8 Dec 2019 16:11:43 +0100 Subject: [PATCH] isl_qpolynomial_morph_domain: use isl_qpolynomial_peek_domain_space This reduces the dependence on the internal representation. Signed-off-by: Sven Verdoolaege --- isl_polynomial.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/isl_polynomial.c b/isl_polynomial.c index 5684874e..2662a4e0 100644 --- a/isl_polynomial.c +++ b/isl_polynomial.c @@ -4384,6 +4384,7 @@ __isl_give isl_qpolynomial *isl_qpolynomial_morph_domain( int i; int n_sub; isl_ctx *ctx; + isl_space *space; isl_poly **subs; isl_mat *mat, *diag; @@ -4392,7 +4393,8 @@ __isl_give isl_qpolynomial *isl_qpolynomial_morph_domain( goto error; ctx = isl_qpolynomial_get_ctx(qp); - isl_assert(ctx, isl_space_is_equal(qp->dim, morph->dom->dim), goto error); + space = isl_qpolynomial_peek_domain_space(qp); + isl_assert(ctx, isl_space_is_equal(space, morph->dom->dim), goto error); n_sub = morph->inv->n_row - 1; if (morph->inv->n_row != morph->inv->n_col) -- 2.11.4.GIT