From e373213db94346209c93290913974f01f98f8998 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 25 Apr 2012 17:05:16 +0200 Subject: [PATCH] isl_basic_map_range_product: check that parameters match Signed-off-by: Sven Verdoolaege --- isl_map.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/isl_map.c b/isl_map.c index 77537a1..e68b192 100644 --- a/isl_map.c +++ b/isl_map.c @@ -8452,6 +8452,11 @@ __isl_give isl_basic_map *isl_basic_map_range_product( if (!bmap1 || !bmap2) goto error; + if (!isl_space_match(bmap1->dim, isl_dim_param, + bmap2->dim, isl_dim_param)) + isl_die(isl_basic_map_get_ctx(bmap1), isl_error_invalid, + "parameters don't match", goto error); + dim_result = isl_space_range_product(isl_space_copy(bmap1->dim), isl_space_copy(bmap2->dim)); -- 2.7.4