From df20de52856546ed33d3aeaee68033c97d3e37e1 Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Mon, 25 Nov 2013 00:22:32 +0900
Subject: [PATCH] push back dead objects to free list

---
 src/gc.c | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

diff --git a/src/gc.c b/src/gc.c
index a69087f8..dad338ae 100644
--- a/src/gc.c
+++ b/src/gc.c
@@ -441,7 +441,7 @@ gc_free(pic_state *pic, union header *p)
 static void
 gc_sweep_phase(pic_state *pic)
 {
-  union header *basep, *bp, *p, *f = NULL;
+  union header *basep, *bp, *p, *s = NULL, *t;
 
   basep = &pic->heap->base;
   for (bp = basep->s.ptr; bp != basep; bp = bp->s.ptr) {
@@ -449,19 +449,25 @@ gc_sweep_phase(pic_state *pic)
       continue;
     for (p = bp + bp->s.size; p != bp->s.ptr; p += p->s.size) {
       if (! gc_is_marked(p)) {
-	p->s.ptr = f;		/* For dead objects we can safely reuse ptr field */
-	f = p;
+	if (s == NULL) {
+	  s = t = p;
+	}
+	else {
+	  t->s.ptr = p;
+	  t = t->s.ptr;
+	}
+	t->s.ptr = NULL; /* For dead objects we can safely reuse ptr field */
       }
       gc_unmark(p);
     }
   }
 
   /* free! */
-  while (f) {
-    p = f->s.ptr;
-    gc_finalize_object(pic, (struct pic_object *)(f + 1));
-    gc_free(pic, f);
-    f = p;
+  while (s) {
+    p = s->s.ptr;
+    gc_finalize_object(pic, (struct pic_object *)(s + 1));
+    gc_free(pic, s);
+    s = p;
   }
 }