gc: flip twice and dump.

This commit is contained in:
Jan Nieuwenhuizen 2019-11-03 08:35:56 +01:00
parent 74b533036f
commit 4659603ddf
No known key found for this signature in database
GPG Key ID: F3C1A0D9C1D65273
1 changed files with 5 additions and 0 deletions

View File

@ -749,6 +749,7 @@ gc_ ()
SCM
gc ()
{
gc_dump_arena (g_cells, gc_free ());
if (g_debug > 5)
{
eputs ("symbols: ");
@ -760,6 +761,9 @@ gc ()
}
gc_push_frame ();
gc_ ();
#if POINTER_CELLS && !GC_NOFLIP
gc_ ();
#endif
gc_pop_frame ();
if (g_debug > 5)
{
@ -770,6 +774,7 @@ gc ()
write_error_ (R0);
eputs ("\n");
}
gc_dump_arena (g_cells, gc_free ());
return cell_unspecified;
}