FIXED: failure to clear LD->outofstack if unify_finished() raises a

stack overflow. Results in fatal error: failed to recover from global-overflow.
SymonJoryStevens-Guille · Feb 25, 2018 · 9655908 · 9655908
1 parent 9c3fc32
commit 9655908
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/pl-wam.c b/src/pl-wam.c
@@ -1564,6 +1564,7 @@ resumeAfterException(int clear, Stack outofstack)
   }
 
   LD->exception.processing = FALSE;
+  LD->outofstack = NULL;
 }