isl_tab_pip.c: no_sol_in_strict: fix error handling

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 9971e88..ed2e50f 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -3477,7 +3477,7 @@ static void no_sol_in_strict(struct isl_sol *sol,
        int empty;
        void *saved;
 
-       if (!sol->context)
+       if (!sol->context || sol->error)
                goto error;
        saved = sol->context->op->save(sol->context);