From 70dfeec0ac4ced4d53088bbc9eb345d01d6b603e Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 30 Mar 2012 15:26:31 +0200 Subject: [PATCH] evalue_isl.c: div2evalue: explicitly check for and disallow nested divs Before, we would tacitly ignore nested divs. Signed-off-by: Sven Verdoolaege --- evalue_isl.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/evalue_isl.c b/evalue_isl.c index 462f758..16225ad 100644 --- a/evalue_isl.c +++ b/evalue_isl.c @@ -270,7 +270,7 @@ static evalue *div2evalue(__isl_take isl_aff *div) { int i; isl_ctx *ctx; - isl_vec *vec; + isl_vec *vec = NULL; unsigned dim; unsigned nparam; evalue *e; @@ -279,6 +279,10 @@ static evalue *div2evalue(__isl_take isl_aff *div) if (!div) return NULL; + if (isl_aff_dim(div, isl_dim_div) != 0) + isl_die(isl_aff_get_ctx(div), isl_error_unsupported, + "cannot handle nested divs", goto error); + dim = isl_aff_dim(div, isl_dim_in); nparam = isl_aff_dim(div, isl_dim_param); -- 2.11.4.GIT