Cycle-collect objects

Author: brson

src/rt/rust_cc.cpp

@@ -104,7 +104,10 @@ class irc : public shape::data<irc,shape::ptr> {
     }
 
     void walk_obj() {
-        shape::data<irc,shape::ptr>::walk_obj_contents(dp);
+	dp += sizeof(void *); // skip vtable
+	uint8_t *box_ptr = shape::bump_dp<uint8_t *>(dp);
+	shape::ptr ref_count_dp(box_ptr);
+	maybe_record_irc(ref_count_dp);
     }
 
     void walk_res(const shape::rust_fn *dtor, unsigned n_params,
@@ -491,7 +494,7 @@ class sweep : public shape::data<sweep,shape::ptr> {
     }
 
     void walk_obj() {
-        shape::data<sweep,shape::ptr>::walk_obj_contents(dp);
+	return;
     }
 
     void walk_res(const shape::rust_fn *dtor, unsigned n_params,

src/test/run-pass/cycle-collection5.rs

@@ -0,0 +1,13 @@
+type foo = { mutable z : fn@() };
+
+fn nop() { }
+fn nop_foo(_y: o, _x : @foo) { }
+
+obj o() {
+}
+
+fn main() {
+    let w = @{ mutable z: bind nop() };
+    let x = bind nop_foo(o(), w);
+    w.z = x;
+}