pike.git / src / gc.c

version» Context lines:

pike.git/src/gc.c:2050:      void exit_gc(void)   {    if (gc_evaluator_callback) {    remove_callback(gc_evaluator_callback);    gc_evaluator_callback = NULL;    }    if (!gc_keep_markers)    cleanup_markers();    -  ba_destroy(&gc_rec_frame_allocator); -  ba_destroy(&ba_mixed_frame_allocator); +  ba_free_all(&gc_rec_frame_allocator); +  ba_free_all(&ba_mixed_frame_allocator);      #ifdef PIKE_DEBUG    if (gc_is_watching) {    fprintf(stderr, "## Exiting gc and resetting watches for %d things.\n",    gc_is_watching);    gc_is_watching = 0;    }   #endif   }