From 26e31aee53f3746a805dcfcce2335409aaf8af5b Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 2 Dec 2012 14:17:31 +0100 Subject: [PATCH] isl_tab_pip.c: sol_pop: avoid invalid access on error Signed-off-by: Sven Verdoolaege --- isl_tab_pip.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/isl_tab_pip.c b/isl_tab_pip.c index bf5810e7..f69bae39 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -309,6 +309,8 @@ static void sol_pop(struct isl_sol *sol) struct isl_basic_set *bset; bset = sol_domain(sol); + if (!bset) + goto error; isl_basic_set_free(partial->next->dom); partial->next->dom = bset; @@ -321,6 +323,9 @@ static void sol_pop(struct isl_sol *sol) } } else sol_pop_one(sol); + + if (0) +error: sol->error = 1; } static void sol_dec_level(struct isl_sol *sol) -- 2.11.4.GIT