[ruby-list:33414] Re: lack of the parameter type of rb_gc_mark()

なかだです。

At Thu, 17 Jan 2002 10:02:24 +0900,
Takaaki Tateishi <[e-mail]> wrote:
> 1.7の方にはあるのですが，1.6の方のintern.hに含まれて
> いるrb_gc_mark()とrb_gc_mark_maybe()のプロトタイプ宣
> 言において，仮引数の型がありません．

1.7だと定義のほうもVALUEになってるんですが、1.6のほうは定義は
void*になってたりして結構面倒なんですよね、これ。全体でプロトタ
イプを厳密にしようとするとかなり大変です。

# ruby-talkでstdcallをつけてくれという話が出てましたが、そうす
# るとプロトタイプが必須なので、やらざるを得ませんが。
# とくにコールバックが実際と食い違ってると、キャストで逃げても
# 確実にクラッシュするので。


Index: eval.c
===================================================================
RCS file: /cvs/ruby/src/ruby/eval.c,v
retrieving revision 1.137.2.89
diff -u -2 -p -r1.137.2.89 eval.c
--- eval.c	2002/01/16 09:22:38	1.137.2.89
+++ eval.c	2002/01/17 02:23:57
@@ -6093,11 +6093,11 @@ blk_mark(data)
     while (data) {
 	rb_gc_mark_frame(&data->frame);
-	rb_gc_mark(data->scope);
-	rb_gc_mark(data->var);
-	rb_gc_mark(data->body);
+	rb_gc_mark((VALUE)data->scope);
+	rb_gc_mark((VALUE)data->var);
+	rb_gc_mark((VALUE)data->body);
 	rb_gc_mark(data->self);
-	rb_gc_mark(data->dyna_vars);
+	rb_gc_mark((VALUE)data->dyna_vars);
 	rb_gc_mark(data->klass);
-	rb_gc_mark(data->tag);
+	rb_gc_mark((VALUE)data->tag);
 	rb_gc_mark(data->wrapper);
 	data = data->prev;
@@ -6610,5 +6610,5 @@ bm_mark(data)
     rb_gc_mark(data->klass);
     rb_gc_mark(data->recv);
-    rb_gc_mark(data->body);
+    rb_gc_mark((VALUE)data->body);
 }
 
@@ -7145,8 +7145,8 @@ thread_mark(th)
     rb_gc_mark(th->klass);
     rb_gc_mark(th->wrapper);
-    rb_gc_mark(th->cref);
+    rb_gc_mark((VALUE)th->cref);
 
-    rb_gc_mark(th->scope);
-    rb_gc_mark(th->dyna_vars);
+    rb_gc_mark((VALUE)th->scope);
+    rb_gc_mark((VALUE)th->dyna_vars);
     rb_gc_mark(th->errinfo);
     rb_gc_mark(th->last_line);
Index: gc.c
===================================================================
RCS file: /cvs/ruby/src/ruby/gc.c,v
retrieving revision 1.48.2.20
diff -u -2 -p -r1.48.2.20 gc.c
--- gc.c	2001/08/06 03:10:23	1.48.2.20
+++ gc.c	2002/01/17 02:25:41
@@ -435,5 +435,5 @@ rb_mark_hash(tbl)
 void
 rb_gc_mark_maybe(obj)
-    void *obj;
+    VALUE obj;
 {
     if (is_pointer_to_heap(obj)) {
@@ -443,8 +443,8 @@ rb_gc_mark_maybe(obj)
 
 void
-rb_gc_mark(ptr)
-    void *ptr;
+rb_gc_mark(val)
+    VALUE val;
 {
-    register RVALUE *obj = RANY(ptr);
+    register RVALUE *obj = RANY(val);
 
   Top:
@@ -475,5 +475,5 @@ rb_gc_mark(ptr)
 	  case NODE_RESCUE:
 	  case NODE_RESBODY:
-	    rb_gc_mark(obj->as.node.u2.node);
+	    rb_gc_mark((VALUE)obj->as.node.u2.node);
 	    /* fall through */
 	  case NODE_BLOCK:	/* 1,3 */
@@ -489,5 +489,5 @@ rb_gc_mark(ptr)
 	  case NODE_DEFS:
 	  case NODE_OP_ASGN1:
-	    rb_gc_mark(obj->as.node.u1.node);
+	    rb_gc_mark((VALUE)obj->as.node.u1.node);
 	    /* fall through */
 	  case NODE_SUPER:	/* 3 */
@@ -512,5 +512,5 @@ rb_gc_mark(ptr)
 	  case NODE_OP_ASGN_OR:
 	  case NODE_OP_ASGN_AND:
-	    rb_gc_mark(obj->as.node.u1.node);
+	    rb_gc_mark((VALUE)obj->as.node.u1.node);
 	    /* fall through */
 	  case NODE_METHOD:	/* 2 */
@@ -548,5 +548,5 @@ rb_gc_mark(ptr)
 	  case NODE_CLASS:
 	  case NODE_BLOCK_PASS:
-	    rb_gc_mark(obj->as.node.u3.node);
+	    rb_gc_mark((VALUE)obj->as.node.u3.node);
 	    obj = RANY(obj->as.node.u2.node);
 	    goto Top;
@@ -587,8 +587,8 @@ rb_gc_mark(ptr)
 	  default:
 	    if (is_pointer_to_heap(obj->as.node.u1.node)) {
-		rb_gc_mark(obj->as.node.u1.node);
+		rb_gc_mark((VALUE)obj->as.node.u1.node);
 	    }
 	    if (is_pointer_to_heap(obj->as.node.u2.node)) {
-		rb_gc_mark(obj->as.node.u2.node);
+		rb_gc_mark((VALUE)obj->as.node.u2.node);
 	    }
 	    if (is_pointer_to_heap(obj->as.node.u3.node)) {
@@ -704,5 +704,5 @@ gc_sweep()
 	    while (p < pend) {
 		if (!(p->as.basic.flags&FL_MARK) && BUILTIN_TYPE(p) == T_NODE)
-		    rb_gc_mark(p);
+		    rb_gc_mark((VALUE)p);
 		p++;
 	    }
@@ -997,6 +997,6 @@ rb_gc()
     }
     rb_gc_mark(ruby_class);
-    rb_gc_mark(ruby_scope);
-    rb_gc_mark(ruby_dyna_vars);
+    rb_gc_mark((VALUE)ruby_scope);
+    rb_gc_mark((VALUE)ruby_dyna_vars);
     if (finalizer_table) {
 	rb_mark_tbl(finalizer_table);
Index: intern.h
===================================================================
RCS file: /cvs/ruby/src/ruby/intern.h,v
retrieving revision 1.35.2.15
diff -u -2 -p -r1.35.2.15 intern.h
--- intern.h	2002/01/10 23:38:57	1.35.2.15
+++ intern.h	2002/01/17 02:02:00
@@ -190,6 +190,6 @@ void rb_gc_mark_locations _((VALUE*, VAL
 void rb_mark_tbl _((struct st_table*));
 void rb_mark_hash _((struct st_table*));
-void rb_gc_mark_maybe();
-void rb_gc_mark();
+void rb_gc_mark_maybe _((VALUE));
+void rb_gc_mark _((VALUE));
 void rb_gc_force_recycle _((VALUE));
 void rb_gc _((void));
Index: variable.c
===================================================================
RCS file: /cvs/ruby/src/ruby/variable.c,v
retrieving revision 1.29.2.12
diff -u -2 -p -r1.29.2.12 variable.c
--- variable.c	2002/01/16 09:22:39	1.29.2.12
+++ variable.c	2002/01/17 02:26:05
@@ -290,5 +290,5 @@ struct trace_var {
     int removed;
     void (*func)();
-    void *data;
+    VALUE data;
     struct trace_var *next;
 };
@@ -386,5 +386,5 @@ val_setter(val, id, data, entry)
 static void
 val_marker(data)
-    void *data;
+    VALUE data;
 {
     if (data) rb_gc_mark_maybe(data);
@@ -411,5 +411,5 @@ var_setter(val, id, var)
 static void
 var_marker(var)
-    VALUE **var;
+    VALUE *var;
 {
     if (var) rb_gc_mark_maybe(*var);
@@ -538,5 +538,5 @@ rb_f_trace_var(argc, argv)
     trace->next = entry->trace;
     trace->func = rb_trace_eval;
-    trace->data = (void*)cmd;
+    trace->data = cmd;
     trace->removed = 0;
     entry->trace = trace;
@@ -601,5 +601,5 @@ rb_f_untrace_var(argc, argv)
     else {
 	while (trace) {
-	    if (trace->data == (void*)cmd) {
+	    if (trace->data == cmd) {
 		trace->removed = 1;
 		if (!entry->block_trace) remove_trace(entry);


-- 
--- 僕の前にBugはない。
--- 僕の後ろにBugはできる。
    中田 伸悦