From c266d821693f7c6b9ff24e73a4b5f661108a019d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 25 Jun 2010 20:55:12 +0200 Subject: [PATCH] isl_tab_pip.c: sol_map_init: avoid NULL pointer dereference --- isl_tab_pip.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/isl_tab_pip.c b/isl_tab_pip.c index b616a33..41319fe 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -505,6 +505,8 @@ struct isl_sol_map { static void sol_map_free(struct isl_sol_map *sol_map) { + if (!sol_map) + return; if (sol_map->sol.context) sol_map->sol.context->op->free(sol_map->sol.context); isl_map_free(sol_map->map); @@ -3210,7 +3212,10 @@ static struct isl_context *isl_context_alloc(struct isl_basic_set *dom) static struct isl_sol_map *sol_map_init(struct isl_basic_map *bmap, struct isl_basic_set *dom, int track_empty, int max) { - struct isl_sol_map *sol_map; + struct isl_sol_map *sol_map = NULL; + + if (!bmap) + goto error; sol_map = isl_calloc_type(bmap->ctx, struct isl_sol_map); if (!sol_map) -- 2.7.4