Fix mark stack overflow checking in push_selected

* mark.c (GC_push_selected): In case of a danger of mark stack overflow
after the first GC_push_all() call then call GC_push_all(bottom, top)
and return; remove redundant checking of GC_mark_stack_top at the end
of the function (overflow is already checked in GC_push_all).

diff --git a/mark.c b/mark.c
index b9f43dd068c7d884ff23ba6f464ee938ce24240d..d5fae4e600d959481259dc98e847d7a910dfe0f4 100644 (file)
--- a/mark.c
+++ b/mark.c
@@ -1383,6 +1383,11 @@ GC_API void GC_CALL GC_push_all(void *bottom, void *top)
         return;
     }
     if ((*dirty_fn)(h-1)) {
+        if ((word)(GC_mark_stack_top - GC_mark_stack)
+            > 3 * GC_mark_stack_size / 4) {
+            GC_push_all(bottom, top);
+            return;
+        }
         GC_push_all(bottom, h);
     }
 
@@ -1403,9 +1408,6 @@ GC_API void GC_CALL GC_push_all(void *bottom, void *top)
     if ((ptr_t)h != top && (*dirty_fn)(h)) {
        GC_push_all(h, top);
     }
-    if ((word)GC_mark_stack_top >= (word)GC_mark_stack_limit) {
-        ABORT("Unexpected mark stack overflow");
-    }
   }
 
   GC_API void GC_CALL GC_push_conditional(void *bottom, void *top, int all)