From f5b0cb07e24bddb6c9cef3741cb2d79095ba0e91 Mon Sep 17 00:00:00 2001 From: nobu Date: Fri, 24 Sep 2010 14:45:19 +0000 Subject: * string.c (sym_call), vm.c (invoke_block_from_c), vm_insnhelper.c (vm_yield_with_cfunc): pass given block. [ruby-core:32075] * vm_eval.c (rb_funcall_passing_block): new function to call method with passing given block. git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@29335 b2dd03c8-39d4-4d8f-98ff-823fe69b080e --- ChangeLog | 9 +++++++++ string.c | 4 +++- test/ruby/test_proc.rb | 18 ++++++++++++++++++ vm.c | 1 + vm_eval.c | 8 ++++++++ vm_insnhelper.c | 3 +++ 6 files changed, 42 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index e94012d392..a31486d711 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +Fri Sep 24 23:44:59 2010 Nobuyoshi Nakada + + * string.c (sym_call), vm.c (invoke_block_from_c), + vm_insnhelper.c (vm_yield_with_cfunc): pass given block. + [ruby-core:32075] + + * vm_eval.c (rb_funcall_passing_block): new function to call + method with passing given block. + Fri Sep 24 15:50:43 2010 NARUSE, Yui * string.c (rb_str_to_i): fix rdoc: String#to_i raises an diff --git a/string.c b/string.c index 835371cd4a..693e5d2359 100644 --- a/string.c +++ b/string.c @@ -7228,6 +7228,8 @@ sym_to_sym(VALUE sym) return sym; } +VALUE rb_funcall_passing_block(VALUE recv, ID mid, int argc, const VALUE *argv); + static VALUE sym_call(VALUE args, VALUE sym, int argc, VALUE *argv) { @@ -7237,7 +7239,7 @@ sym_call(VALUE args, VALUE sym, int argc, VALUE *argv) rb_raise(rb_eArgError, "no receiver given"); } obj = argv[0]; - return rb_funcall3(obj, (ID)sym, argc - 1, argv + 1); + return rb_funcall_passing_block(obj, (ID)sym, argc - 1, argv + 1); } /* diff --git a/test/ruby/test_proc.rb b/test/ruby/test_proc.rb index 1a473ae43d..efd5a269fd 100644 --- a/test/ruby/test_proc.rb +++ b/test/ruby/test_proc.rb @@ -800,4 +800,22 @@ class TestProc < Test::Unit::TestCase ensure set_trace_func(nil) end + + def test_block_propagation + bug3792 = '[ruby-core:32075]' + c = Class.new do + def foo + yield + end + end + + o = c.new + f = :foo.to_proc + assert_nothing_raised(LocalJumpError, bug3792) { + assert_equal('bar', f.(o) {'bar'}, bug3792) + } + assert_nothing_raised(LocalJumpError, bug3792) { + assert_equal('zot', o.method(:foo).to_proc.() {'zot'}, bug3792) + } + end end diff --git a/vm.c b/vm.c index 898bee8613..0ed37363a2 100644 --- a/vm.c +++ b/vm.c @@ -549,6 +549,7 @@ invoke_block_from_c(rb_thread_t *th, const rb_block_t *block, iseq->local_size - arg_size); ncfp->me = th->passed_me; th->passed_me = 0; + th->passed_block = blockptr; if (cref) { th->cfp->dfp[-1] = (VALUE)cref; diff --git a/vm_eval.c b/vm_eval.c index ca3fbba950..05fd3faeeb 100644 --- a/vm_eval.c +++ b/vm_eval.c @@ -665,6 +665,14 @@ rb_funcall3(VALUE recv, ID mid, int argc, const VALUE *argv) return rb_call(recv, mid, argc, argv, CALL_PUBLIC); } +VALUE +rb_funcall_passing_block(VALUE recv, ID mid, int argc, const VALUE *argv) +{ + PASS_PASSED_BLOCK_TH(GET_THREAD()); + + return rb_call(recv, mid, argc, argv, CALL_PUBLIC); +} + static VALUE send_internal(int argc, const VALUE *argv, VALUE recv, call_type scope) { diff --git a/vm_insnhelper.c b/vm_insnhelper.c index 6b822d9e96..c26f50eeb4 100644 --- a/vm_insnhelper.c +++ b/vm_insnhelper.c @@ -722,6 +722,9 @@ vm_yield_with_cfunc(rb_thread_t *th, const rb_block_t *block, self, (VALUE)block->dfp, 0, th->cfp->sp, block->lfp, 1); + if (blockargptr) { + th->cfp->lfp[0] = GC_GUARDED_PTR((VALUE)blockargptr); + } val = (*ifunc->nd_cfnc) (arg, ifunc->nd_tval, argc, argv, blockarg); th->cfp++; -- cgit v1.2.3