From: bdemsky <bdemsky>
Date: Tue, 3 Feb 2009 09:17:15 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b53bd0539db764ae76f927cd64af0d6b848fe304;p=IRC.git

bug fix
---

diff --git a/Robust/src/Runtime/garbage.c b/Robust/src/Runtime/garbage.c
index b8ff45ac..ee0c37e1 100644
--- a/Robust/src/Runtime/garbage.c
+++ b/Robust/src/Runtime/garbage.c
@@ -309,7 +309,7 @@ void collect(struct garbagelist * stackptr) {
     if (pointer==0) {
       /* Array of primitives */
       /* Do nothing */
-#ifdef DSTM
+#if defined(DSTM)||defined(FASTCHECK)
       struct ArrayObject *ao=(struct ArrayObject *) ptr;
       struct ArrayObject *ao_cpy=(struct ArrayObject *) cpy;
       ENQUEUE((void *)ao->___nextobject___, *((void **)&ao_cpy->___nextobject___));
@@ -319,7 +319,7 @@ void collect(struct garbagelist * stackptr) {
       /* Array of pointers */
       struct ArrayObject *ao=(struct ArrayObject *) ptr;
       struct ArrayObject *ao_cpy=(struct ArrayObject *) cpy;
-#ifdef DSTM
+#if (defined(DSTM)||defined(FASTCHECK))
       ENQUEUE((void *)ao->___nextobject___, *((void **)&ao_cpy->___nextobject___));
       ENQUEUE((void *)ao->___localcopy___, *((void **)&ao_cpy->___localcopy___));
 #endif
@@ -350,7 +350,6 @@ void collect(struct garbagelist * stackptr) {
 }
 
 #ifdef TASK
-
 /* Fix up the references from tags.  This can't be done earlier,
    because we don't want tags to keep objects alive */
 void fixtags() {