From 10fa52f19c1d1b252b46e4484753edf9853a516b Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 22 Apr 2015 10:55:06 +0200 Subject: [PATCH] isl_tab_pip.c: sol_{map,pma}_add_empty: drop spurious error message If sol->empty is NULL, then that means some previous operation went wrong and we should have already printed an error message there. There is no need to print another error message here. Signed-off-by: Sven Verdoolaege --- isl_tab_pip.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/isl_tab_pip.c b/isl_tab_pip.c index 68fe5494..441d97d7 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -564,9 +564,8 @@ static void sol_map_free_wrap(struct isl_sol *sol) static void sol_map_add_empty(struct isl_sol_map *sol, struct isl_basic_set *bset) { - if (!bset) + if (!bset || !sol->empty) goto error; - isl_assert(bset->ctx, sol->empty, goto error); sol->empty = isl_set_grow(sol->empty, 1); bset = isl_basic_set_simplify(bset); @@ -5257,9 +5256,8 @@ static void sol_pma_free(struct isl_sol_pma *sol_pma) static void sol_pma_add_empty(struct isl_sol_pma *sol, __isl_take isl_basic_set *bset) { - if (!bset) + if (!bset || !sol->empty) goto error; - isl_assert(bset->ctx, sol->empty, goto error); sol->empty = isl_set_grow(sol->empty, 1); bset = isl_basic_set_simplify(bset); -- 2.11.4.GIT