From 1ed529af2ff565d747844ee8a8036041687433f6 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 17 Sep 2012 13:47:48 +0200 Subject: [PATCH] isl_set_from_pw_multi_aff: handle NULL input Signed-off-by: Sven Verdoolaege --- isl_aff.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/isl_aff.c b/isl_aff.c index 675801fa..4d6a3143 100644 --- a/isl_aff.c +++ b/isl_aff.c @@ -3092,6 +3092,9 @@ __isl_give isl_map *isl_map_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma) __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma) { + if (!pma) + return NULL; + if (!isl_space_is_set(pma->dim)) isl_die(isl_pw_multi_aff_get_ctx(pma), isl_error_invalid, "isl_pw_multi_aff cannot be converted into an isl_set", -- 2.11.4.GIT