From 597220ef0c694a74663e064b73605bd48ad7250b Mon Sep 17 00:00:00 2001 From: ko1 Date: Sat, 27 Dec 2008 01:15:56 +0000 Subject: [PATCH] * vm.c (Init_VM): create and define TOPLEVEL_BINDING at first. * vm.c (vm_set_main_stack, rb_iseq_eval_main): added. * parse.y (rb_parser_compile_file): fix to check parse_in_eval flag. * eval.c (ruby_exec_node): use rb_iseq_eval_main() instead of rb_iseq_eval(). * iseq.c (rb_iseq_new_main), vm_core.h: added. main script (specified by -e or script name) should be run under TOPLEVEL_BINDING using Kernel#eval. Above changes simulate Kernel#eval behaviour. [ruby-dev:37240] * compile.c (make_name_for_block): skip iseq except block type. this fix is needed for [ruby-dev:37240], and also fixes [ruby-dev:35392]. git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@21079 b2dd03c8-39d4-4d8f-98ff-823fe69b080e --- ChangeLog | 20 +++++++++++++++++++ bootstraptest/test_eval.rb | 13 ++++++++++++ compile.c | 24 ++++++++++++---------- eval.c | 2 +- iseq.c | 9 +++++++++ parse.y | 1 + ruby.c | 24 ++++++++++++++++++++-- vm.c | 41 +++++++++++++++++++++++++++++++++++--- vm_core.h | 2 ++ 9 files changed, 120 insertions(+), 16 deletions(-) diff --git a/ChangeLog b/ChangeLog index d4427fca79..c7ae7a867b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,23 @@ +Sat Dec 27 09:48:54 2008 Koichi Sasada + + * vm.c (Init_VM): create and define TOPLEVEL_BINDING at first. + + * vm.c (vm_set_main_stack, rb_iseq_eval_main): added. + + * parse.y (rb_parser_compile_file): fix to check parse_in_eval flag. + + * eval.c (ruby_exec_node): use rb_iseq_eval_main() + instead of rb_iseq_eval(). + + * iseq.c (rb_iseq_new_main), vm_core.h: added. + main script (specified by -e or script name) should be run + under TOPLEVEL_BINDING using Kernel#eval. Above changes + simulate Kernel#eval behaviour. [ruby-dev:37240] + + * compile.c (make_name_for_block): skip iseq except block type. + this fix is needed for [ruby-dev:37240], and also fixes + [ruby-dev:35392]. + Sat Dec 27 09:14:17 2008 Yuki Sonoda (Yugui) * cont.c: rdoc for Fiber. patch by Muhammad Ali. diff --git a/bootstraptest/test_eval.rb b/bootstraptest/test_eval.rb index 8b99c7968c..6dc23468cb 100644 --- a/bootstraptest/test_eval.rb +++ b/bootstraptest/test_eval.rb @@ -286,3 +286,16 @@ assert_equal 'ok', %q{ assert_normal_exit %q{ eval("", method(:proc).call {}.binding) } + +assert_equal "(eval):1:in `block in
': ", %q{ + b = binding + 10.times{ + eval('', b) + } + begin + eval('1.times{raise}', b) + rescue => e + e.message + end +}, ' [ruby-dev:35392]' + diff --git a/compile.c b/compile.c index 30029ed98a..951d1c0076 100644 --- a/compile.c +++ b/compile.c @@ -2724,16 +2724,22 @@ defined_expr(rb_iseq_t *iseq, LINK_ANCHOR *ret, static VALUE make_name_for_block(rb_iseq_t *iseq) { - if (iseq->parent_iseq == 0) { - return rb_sprintf("block in %s", RSTRING_PTR(iseq->name)); + int level = 1; + rb_iseq_t *ip = iseq; + + if (iseq->parent_iseq != 0) { + while (ip->local_iseq != ip) { + if (ip->type == ISEQ_TYPE_BLOCK) { + level++; + } + ip = ip->parent_iseq; + } + } + + if (level == 1) { + return rb_sprintf("block in %s", RSTRING_PTR(ip->name)); } else { - int level = 1; - rb_iseq_t *ip = iseq; - while (ip->local_iseq != ip) { - ip = ip->parent_iseq; - level++; - } return rb_sprintf("block (%d levels) in %s", level, RSTRING_PTR(ip->name)); } } @@ -5323,5 +5329,3 @@ rb_parse_in_eval(void) { return GET_THREAD()->parse_in_eval != 0; } - - diff --git a/eval.c b/eval.c index 9c99711ce9..2dd75afa87 100644 --- a/eval.c +++ b/eval.c @@ -204,7 +204,7 @@ ruby_exec_node(void *n, const char *file) if ((state = EXEC_TAG()) == 0) { SAVE_ROOT_JMPBUF(th, { th->base_block = 0; - rb_iseq_eval(iseq); + rb_iseq_eval_main(iseq); }); } POP_TAG(); diff --git a/iseq.c b/iseq.c index 99361156f1..22a250d312 100644 --- a/iseq.c +++ b/iseq.c @@ -310,6 +310,15 @@ rb_iseq_new_top(NODE *node, VALUE name, VALUE filename, VALUE parent) &COMPILE_OPTION_DEFAULT); } +VALUE +rb_iseq_new_main(NODE *node, VALUE filename) +{ + rb_thread_t *th = GET_THREAD(); + VALUE parent = th->base_block->iseq->self; + return rb_iseq_new_with_opt(node, rb_str_new2("
"), filename, + parent, ISEQ_TYPE_EVAL, &COMPILE_OPTION_DEFAULT); +} + static VALUE rb_iseq_new_with_bopt_and_opt(NODE *node, VALUE name, VALUE filename, VALUE parent, VALUE type, VALUE bopt, diff --git a/parse.y b/parse.y index 76bf51a0a3..42d24f61dc 100644 --- a/parse.y +++ b/parse.y @@ -5124,6 +5124,7 @@ rb_parser_compile_file(volatile VALUE vparser, const char *f, VALUE file, int st lex_gets = lex_io_gets; lex_input = file; lex_pbeg = lex_p = lex_pend = 0; + compile_for_eval = rb_parse_in_eval(); node = yycompile(parser, f, start); tmp = vparser; /* prohibit tail call optimization */ diff --git a/ruby.c b/ruby.c index aeb853e5d3..d0256c7814 100644 --- a/ruby.c +++ b/ruby.c @@ -1211,6 +1211,8 @@ process_options(VALUE arg) const char *s; char fbuf[MAXPATHLEN]; int i = proc_options(argc, argv, opt, 0); + rb_thread_t *th = GET_THREAD(); + rb_env_t *env = 0; argc -= i; argv += i; @@ -1327,6 +1329,18 @@ process_options(VALUE arg) ruby_set_argv(argc, argv); process_sflag(opt); + { + /* set eval context */ + VALUE toplevel_binding = rb_const_get(rb_cObject, rb_intern("TOPLEVEL_BINDING")); + rb_binding_t *bind; + + GetBindingPtr(toplevel_binding, bind); + GetEnvPtr(bind->env, env); + + th->parse_in_eval++; + th->mild_compile_error++; + } + if (opt->e_script) { rb_encoding *eenc; if (opt->src.enc.index >= 0) { @@ -1337,12 +1351,16 @@ process_options(VALUE arg) } rb_enc_associate(opt->e_script, eenc); require_libraries(opt); + + th->base_block = &env->block; tree = rb_parser_compile_string(parser, opt->script, opt->e_script, 1); } else { if (opt->script[0] == '-' && !opt->script[1]) { forbid_setid("program input from stdin"); } + + th->base_block = &env->block; tree = load_file(parser, opt->script, 1, opt); } if (opt->dump & DUMP_BIT(yydebug)) return Qtrue; @@ -1382,8 +1400,10 @@ process_options(VALUE arg) rb_define_global_function("chomp", rb_f_chomp, -1); } - iseq = rb_iseq_new_top(tree, rb_str_new2("
"), - opt->script_name, Qfalse); + iseq = rb_iseq_new_main(tree, opt->script_name); + th->parse_in_eval--; + th->mild_compile_error--; + th->base_block = 0; if (opt->dump & DUMP_BIT(insns)) { rb_io_write(rb_stdout, ruby_iseq_disasm(iseq)); diff --git a/vm.c b/vm.c index 2cd660b34d..ddb736c089 100644 --- a/vm.c +++ b/vm.c @@ -97,6 +97,27 @@ vm_set_eval_stack(rb_thread_t * th, VALUE iseqval, const NODE *cref) } } +static void +vm_set_main_stack(rb_thread_t *th, VALUE iseqval) +{ + VALUE toplevel_binding = rb_const_get(rb_cObject, rb_intern("TOPLEVEL_BINDING")); + rb_binding_t *bind; + rb_iseq_t *iseq; + rb_env_t *env; + + GetBindingPtr(toplevel_binding, bind); + GetEnvPtr(bind->env, env); + th->base_block = &env->block; + vm_set_eval_stack(th, iseqval, 0); + th->base_block = 0; + + /* save binding */ + GetISeqPtr(iseqval, iseq); + if (bind && iseq->local_size > 0) { + bind->env = vm_make_env_object(th, th->cfp); + } +} + rb_control_frame_t * vm_get_ruby_level_next_cfp(rb_thread_t *th, rb_control_frame_t *cfp) { @@ -1241,9 +1262,20 @@ rb_iseq_eval(VALUE iseqval) vm_set_top_stack(th, iseqval); - if (!rb_const_defined(rb_cObject, rb_intern("TOPLEVEL_BINDING"))) { - rb_define_global_const("TOPLEVEL_BINDING", rb_binding_new()); + val = vm_exec(th); + tmp = iseqval; /* prohibit tail call optimization */ + return val; } + +VALUE +rb_iseq_eval_main(VALUE iseqval) +{ + rb_thread_t *th = GET_THREAD(); + VALUE val; + volatile VALUE tmp; + + vm_set_main_stack(th, iseqval); + val = vm_exec(th); tmp = iseqval; /* prohibit tail call optimization */ return val; @@ -1860,7 +1892,7 @@ Init_VM(void) { rb_vm_t *vm = ruby_current_vm; rb_thread_t *th = GET_THREAD(); - VALUE filename = rb_str_new2(""); + VALUE filename = rb_str_new2("
"); volatile VALUE iseqval = rb_iseq_new(0, filename, filename, 0, ISEQ_TYPE_TOP); volatile VALUE th_self; rb_iseq_t *iseq; @@ -1884,6 +1916,9 @@ Init_VM(void) GetISeqPtr(iseqval, iseq); th->cfp->iseq = iseq; th->cfp->pc = iseq->iseq_encoded; + th->cfp->self = th->top_self; + + rb_define_global_const("TOPLEVEL_BINDING", rb_binding_new()); } vm_init_redefined_flag(); } diff --git a/vm_core.h b/vm_core.h index e21cffd172..1fa5662686 100644 --- a/vm_core.h +++ b/vm_core.h @@ -431,6 +431,7 @@ typedef struct rb_thread_struct /* iseq.c */ VALUE rb_iseq_new(NODE*, VALUE, VALUE, VALUE, VALUE); VALUE rb_iseq_new_top(NODE *node, VALUE name, VALUE filename, VALUE parent); +VALUE rb_iseq_new_main(NODE *node, VALUE filename); VALUE rb_iseq_new_with_bopt(NODE*, VALUE, VALUE, VALUE, VALUE, VALUE); VALUE rb_iseq_new_with_opt(NODE*, VALUE, VALUE, VALUE, VALUE, const rb_compile_option_t*); VALUE rb_iseq_compile(VALUE src, VALUE file, VALUE line); @@ -576,6 +577,7 @@ void rb_vm_bugreport(void); /* functions about thread/vm execution */ VALUE rb_iseq_eval(VALUE iseqval); +VALUE rb_iseq_eval_main(VALUE iseqval); void rb_enable_interrupt(void); void rb_disable_interrupt(void); int rb_thread_method_id_and_class(rb_thread_t *th, ID *idp, VALUE *klassp);