From ff17ab514e567659dd4b4b68b8262ba8e21e72c1 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 26 Apr 2015 13:25:17 +0200 Subject: [PATCH] isl_transitive_closure.c: add_delta_constraints: avoid NULL pointer dereference Signed-off-by: Sven Verdoolaege --- isl_transitive_closure.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/isl_transitive_closure.c b/isl_transitive_closure.c index 817e4c3b..44df6c77 100644 --- a/isl_transitive_closure.c +++ b/isl_transitive_closure.c @@ -476,13 +476,15 @@ static __isl_give isl_basic_map *add_delta_constraints( continue; if (eq && p != MIXED) { k = isl_basic_map_alloc_equality(path); + if (k < 0) + goto error; path_c = path->eq[k]; } else { k = isl_basic_map_alloc_inequality(path); + if (k < 0) + goto error; path_c = path->ineq[k]; } - if (k < 0) - goto error; isl_seq_clr(path_c, 1 + isl_basic_map_total_dim(path)); if (p == PURE_VAR) { isl_seq_cpy(path_c + off, -- 2.11.4.GIT