Example #1
0
 static void push_and_mark_object(void *p)
 {
   GC_normal_finalize_mark_proc(p);
   while (!GC_mark_stack_empty()) {
     MARK_FROM_MARK_STACK();
   }
   GC_set_mark_bit(p);
   if (GC_mark_state != MS_NONE) {
     while (!GC_mark_some(0)) {
       /* Empty. */
     }
   }
 }
Example #2
0
/* other objects specify no ordering.					*/
GC_API void GC_unreachable_finalize_mark_proc(ptr_t p)
{
    GC_normal_finalize_mark_proc(p);
}