1
0
Fork 0
mirror of https://github.com/ruby/ruby.git synced 2022-11-09 12:17:21 -05:00

* vm.c (invoke_block_from_c): move call/return event timing for

bmethod. It can invoke inconsistent call event if this call raises
  argument error.
  [Bug #9959]
* vm_insnhelper.c (vm_call_bmethod_body): ditto.
* test/ruby/test_settracefunc.rb: add a test.



git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@46464 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
This commit is contained in:
ko1 2014-06-19 10:49:46 +00:00
parent 59bdf7eac8
commit 370212a8ae
4 changed files with 51 additions and 15 deletions

View file

@ -1,3 +1,14 @@
Thu Jun 19 19:47:21 2014 Koichi Sasada <ko1@atdot.net>
* vm.c (invoke_block_from_c): move call/return event timing for
bmethod. It can invoke inconsistent call event if this call raises
argument error.
[Bug #9959]
* vm_insnhelper.c (vm_call_bmethod_body): ditto.
* test/ruby/test_settracefunc.rb: add a test.
Thu Jun 19 18:14:47 2014 Koichi Sasada <ko1@atdot.net> Thu Jun 19 18:14:47 2014 Koichi Sasada <ko1@atdot.net>
* vm_core.h: add VM_FRAME_MAGIC_RESCUE to recognize normal block or * vm_core.h: add VM_FRAME_MAGIC_RESCUE to recognize normal block or

View file

@ -383,7 +383,7 @@ class TestSetTraceFunc < Test::Unit::TestCase
[["c-return", 3, :set_trace_func, Kernel], [["c-return", 3, :set_trace_func, Kernel],
["line", 6, __method__, self.class], ["line", 6, __method__, self.class],
["call", 6, :foobar, FooBar], ["call", 1, :foobar, FooBar],
["return", 6, :foobar, FooBar], ["return", 6, :foobar, FooBar],
["line", 7, __method__, self.class], ["line", 7, __method__, self.class],
["c-call", 7, :set_trace_func, Kernel]].each{|e| ["c-call", 7, :set_trace_func, Kernel]].each{|e|
@ -1238,4 +1238,23 @@ class TestSetTraceFunc < Test::Unit::TestCase
trace.disable trace.disable
end end
end end
define_method(:method_test_argument_error_on_bmethod){|correct_key: 1|}
def test_argument_error_on_bmethod
events = []
curr_thread = Thread.current
TracePoint.new(:call, :return){|tp|
next if curr_thread != Thread.current
events << [tp.event, tp.method_id]
}.enable do
begin
method_test_argument_error_on_bmethod(wrong_key: 2)
rescue => e
# ignore
end
end
assert_equal [], events # should be empty.
end
end end

28
vm.c
View file

@ -715,15 +715,17 @@ invoke_block_from_c(rb_thread_t *th, const rb_block_t *block,
const rb_block_t *blockptr, const NODE *cref, const rb_block_t *blockptr, const NODE *cref,
VALUE defined_class, int splattable) VALUE defined_class, int splattable)
{ {
if (SPECIAL_CONST_P(block->iseq)) if (SPECIAL_CONST_P(block->iseq)) {
return Qnil; return Qnil;
}
else if (BUILTIN_TYPE(block->iseq) != T_NODE) { else if (BUILTIN_TYPE(block->iseq) != T_NODE) {
VALUE ret;
const rb_iseq_t *iseq = block->iseq; const rb_iseq_t *iseq = block->iseq;
const rb_control_frame_t *cfp; const rb_control_frame_t *cfp;
int i, opt_pc, arg_size = iseq->arg_size; int i, opt_pc, arg_size = iseq->arg_size;
int type = block_proc_is_lambda(block->proc) ? int type = block_proc_is_lambda(block->proc) ? VM_FRAME_MAGIC_LAMBDA : VM_FRAME_MAGIC_BLOCK;
VM_FRAME_MAGIC_LAMBDA : VM_FRAME_MAGIC_BLOCK; const rb_method_entry_t *me = th->passed_bmethod_me;
th->passed_bmethod_me = 0;
cfp = th->cfp; cfp = th->cfp;
for (i=0; i<argc; i++) { for (i=0; i<argc; i++) {
@ -733,15 +735,17 @@ invoke_block_from_c(rb_thread_t *th, const rb_block_t *block,
opt_pc = vm_yield_setup_args(th, iseq, argc, cfp->sp, blockptr, opt_pc = vm_yield_setup_args(th, iseq, argc, cfp->sp, blockptr,
(type == VM_FRAME_MAGIC_LAMBDA) ? splattable+1 : 0); (type == VM_FRAME_MAGIC_LAMBDA) ? splattable+1 : 0);
if (th->passed_bmethod_me != 0) { if (me != 0) {
/* bmethod */ /* bmethod */
vm_push_frame(th, iseq, type | VM_FRAME_FLAG_FINISH | VM_FRAME_FLAG_BMETHOD, vm_push_frame(th, iseq, type | VM_FRAME_FLAG_FINISH | VM_FRAME_FLAG_BMETHOD,
self, defined_class, self, defined_class,
VM_ENVVAL_PREV_EP_PTR(block->ep), VM_ENVVAL_PREV_EP_PTR(block->ep),
iseq->iseq_encoded + opt_pc, iseq->iseq_encoded + opt_pc,
cfp->sp + arg_size, iseq->local_size - arg_size, cfp->sp + arg_size, iseq->local_size - arg_size,
th->passed_bmethod_me, iseq->stack_max); me, iseq->stack_max);
th->passed_bmethod_me = 0;
RUBY_DTRACE_METHOD_ENTRY_HOOK(th, me->klass, me->called_id);
EXEC_EVENT_HOOK(th, RUBY_EVENT_CALL, self, me->called_id, me->klass, Qnil);
} }
else { else {
vm_push_frame(th, iseq, type | VM_FRAME_FLAG_FINISH, vm_push_frame(th, iseq, type | VM_FRAME_FLAG_FINISH,
@ -756,7 +760,15 @@ invoke_block_from_c(rb_thread_t *th, const rb_block_t *block,
th->cfp->ep[-1] = (VALUE)cref; th->cfp->ep[-1] = (VALUE)cref;
} }
return vm_exec(th); ret = vm_exec(th);
if (me) {
/* bmethod */
EXEC_EVENT_HOOK(th, RUBY_EVENT_RETURN, self, me->called_id, me->klass, ret);
RUBY_DTRACE_METHOD_RETURN_HOOK(th, me->klass, me->called_id);
}
return ret;
} }
else { else {
return vm_yield_with_cfunc(th, block, self, argc, argv, blockptr); return vm_yield_with_cfunc(th, block, self, argc, argv, blockptr);

View file

@ -1615,17 +1615,11 @@ vm_call_bmethod_body(rb_thread_t *th, rb_call_info_t *ci, const VALUE *argv)
rb_proc_t *proc; rb_proc_t *proc;
VALUE val; VALUE val;
RUBY_DTRACE_METHOD_ENTRY_HOOK(th, ci->me->klass, ci->me->called_id);
EXEC_EVENT_HOOK(th, RUBY_EVENT_CALL, ci->recv, ci->me->called_id, ci->me->klass, Qnil);
/* control block frame */ /* control block frame */
th->passed_bmethod_me = ci->me; th->passed_bmethod_me = ci->me;
GetProcPtr(ci->me->def->body.proc, proc); GetProcPtr(ci->me->def->body.proc, proc);
val = vm_invoke_proc(th, proc, ci->recv, ci->defined_class, ci->argc, argv, ci->blockptr); val = vm_invoke_proc(th, proc, ci->recv, ci->defined_class, ci->argc, argv, ci->blockptr);
EXEC_EVENT_HOOK(th, RUBY_EVENT_RETURN, ci->recv, ci->me->called_id, ci->me->klass, val);
RUBY_DTRACE_METHOD_RETURN_HOOK(th, ci->me->klass, ci->me->called_id);
return val; return val;
} }