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 <[email protected]>
UBERTC · May 1, 2015 · 10fa52f · 10fa52f
1 parent 4797e5b
commit 10fa52f
Showing 1 changed file with 2 additions and 4 deletions.
diff --git 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);