From 94bb91207bebdac24c193f23e4c1452e98a26a13 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 30 Jun 2013 16:51:55 +0200 Subject: [PATCH] isl_basic_map_apply_range: avoid invalid accesses on invalid input Signed-off-by: Sven Verdoolaege --- isl_map.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/isl_map.c b/isl_map.c index 561f1c65..53860741 100644 --- a/isl_map.c +++ b/isl_map.c @@ -3539,6 +3539,14 @@ struct isl_basic_map *isl_basic_map_apply_range( 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); + if (!isl_space_tuple_match(bmap1->dim, isl_dim_out, + bmap2->dim, isl_dim_in)) + isl_die(isl_basic_map_get_ctx(bmap1), isl_error_invalid, + "spaces don't match", goto error); dim_result = isl_space_join(isl_space_copy(bmap1->dim), isl_space_copy(bmap2->dim)); -- 2.11.4.GIT