fix accounting of nursery for logging

The pre-GC count didn't include the obejcts allocated on
the most recent nursery page.
This commit is contained in:
Matthew Flatt 2015-11-28 10:02:53 -07:00
parent c3ac1c6bf4
commit 89807d178e

View File

@ -5788,7 +5788,7 @@ static void garbage_collect(NewGC *gc, int force_full, int no_full, int switchin
int do_incremental = 0, check_inc_repair;
old_mem_use = gc->memory_in_use; /* includes gc->phantom_count */
old_gen0 = gc->gen0.current_size + gc->gen0_phantom_count;
old_gen0 = gen0_size_in_use(gc) + gc->gen0_phantom_count;
old_mem_allocated = mmu_memory_allocated(gc->mmu) + gc->phantom_count + gc->gen0_phantom_count;
TIME_DECLS();