kernel: fix bug in MarkWeakPointerObj during copying

We did not mark the forwarding pointer when copying.
gap-system · Sep 6, 2018 · fe8f60c · fe8f60c
1 parent 89d34fc
commit fe8f60c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/weakptr.c b/src/weakptr.c
@@ -590,6 +590,12 @@ Obj FuncIsWPObj( Obj self, Obj wp)
 
 static void MarkWeakPointerObj(Obj wp)
 {
+#if !defined(USE_THREADSAFE_COPYING)
+    // mark the forwarding pointer
+    if (TNUM_OBJ(wp) == T_WPOBJ + COPYING)
+        MarkBag(CONST_ADDR_OBJ(wp)[0]);
+#endif
+
     // can't use the stored length here, in case we are in the middle of
     // copying
     const UInt len = SIZE_BAG(wp) / sizeof(Obj) - 1;