diff options
author | nobu <nobu@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2010-06-20 05:41:07 +0000 |
---|---|---|
committer | nobu <nobu@b2dd03c8-39d4-4d8f-98ff-823fe69b080e> | 2010-06-20 05:41:07 +0000 |
commit | 47fb01e35bda888642efa577b08c3626a1eb199f (patch) | |
tree | 50ae45f59855db1f77e925e3f6c95bbb2ac5f7fc /parse.y | |
parent | 7a8a264f1d5e656fb2168f5d35e68eb0e49b4c2e (diff) |
* parse.y (shadowing_lvar_gen): get rid of adding extra name for
shadowing local variable. [ruby-dev:41628]
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@28364 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
Diffstat (limited to 'parse.y')
-rw-r--r-- | parse.y | 61 |
1 files changed, 54 insertions, 7 deletions
@@ -99,6 +99,7 @@ struct vtable { struct local_vars { struct vtable *args; struct vtable *vars; + struct vtable *used; struct local_vars *prev; }; @@ -167,7 +168,7 @@ vtable_included(const struct vtable * tbl, ID id) if (POINTER_P(tbl)) { for (i = 0; i < tbl->pos; i++) { if (tbl->tbl[i] == id) { - return 1; + return i+1; } } } @@ -8238,7 +8239,6 @@ shadowing_lvar_gen(struct parser_params *parser, ID name) } else if (dvar_defined(name) || local_id(name)) { rb_warningS("shadowing outer local variable - %s", rb_id2name(name)); - vtable_add(lvtbl->vars, name); } } else { @@ -8918,6 +8918,27 @@ new_args_gen(struct parser_params *parser, NODE *m, NODE *o, ID r, NODE *p, ID b } #endif /* !RIPPER */ +#define LVAR_USED (1UL << (sizeof(ID) * CHAR_BIT - 1)) + +static void +warn_unused_var(struct parser_params *parser, struct local_vars *local) +{ + int i, cnt; + ID *v, *u; + + if (!local->used) return; + v = local->vars->tbl; + u = local->used->tbl; + cnt = local->used->pos; + if (cnt != local->vars->pos) { + rb_bug("local->used->pos != local->vars->pos"); + } + for (i = 0; i < cnt; ++i) { + if (!v[i] || (u[i] & LVAR_USED)) continue; + rb_compile_warn(ruby_sourcefile, (int)u[i], "assigned but unused variable %s", rb_id2name(v[i])); + } +} + static void local_push_gen(struct parser_params *parser, int inherit_dvars) { @@ -8927,6 +8948,7 @@ local_push_gen(struct parser_params *parser, int inherit_dvars) local->prev = lvtbl; local->args = vtable_alloc(0); local->vars = vtable_alloc(inherit_dvars ? DVARS_INHERIT : DVARS_TOPSCOPE); + local->used = RTEST(ruby_verbose) ? vtable_alloc(0) : 0; lvtbl = local; } @@ -8934,6 +8956,10 @@ static void local_pop_gen(struct parser_params *parser) { struct local_vars *local = lvtbl->prev; + if (lvtbl->used) { + warn_unused_var(parser, lvtbl); + vtable_free(lvtbl->used); + } vtable_free(lvtbl->args); vtable_free(lvtbl->vars); xfree(lvtbl); @@ -8982,28 +9008,37 @@ static int local_var_gen(struct parser_params *parser, ID id) { vtable_add(lvtbl->vars, id); + if (lvtbl->used) { + vtable_add(lvtbl->used, (ID)ruby_sourceline); + } return vtable_size(lvtbl->vars) - 1; } static int local_id_gen(struct parser_params *parser, ID id) { - struct vtable *vars, *args; + struct vtable *vars, *args, *used; vars = lvtbl->vars; args = lvtbl->args; + used = lvtbl->used; while (vars && POINTER_P(vars->prev)) { vars = vars->prev; args = args->prev; + if (used) used = used->prev; } if (vars && vars->prev == DVARS_INHERIT) { return rb_local_defined(id); } + else if (vtable_included(args, id)) { + return 1; + } else { - return (vtable_included(args, id) || - vtable_included(vars, id)); + int i = vtable_included(vars, id); + if (i && used) used->tbl[i-1] |= LVAR_USED; + return i != 0; } } @@ -9012,6 +9047,9 @@ dyna_push_gen(struct parser_params *parser) { lvtbl->args = vtable_alloc(lvtbl->args); lvtbl->vars = vtable_alloc(lvtbl->vars); + if (lvtbl->used) { + lvtbl->used = vtable_alloc(lvtbl->used); + } return lvtbl->args; } @@ -9020,6 +9058,11 @@ dyna_pop_1(struct parser_params *parser) { struct vtable *tmp; + if ((tmp = lvtbl->used) != 0) { + warn_unused_var(parser, lvtbl); + lvtbl->used = lvtbl->used->prev; + vtable_free(tmp); + } tmp = lvtbl->args; lvtbl->args = lvtbl->args->prev; vtable_free(tmp); @@ -9051,20 +9094,24 @@ dyna_in_block_gen(struct parser_params *parser) static int dvar_defined_gen(struct parser_params *parser, ID id) { - struct vtable *vars, *args; + struct vtable *vars, *args, *used; + int i; args = lvtbl->args; vars = lvtbl->vars; + used = lvtbl->used; while (POINTER_P(vars)) { if (vtable_included(args, id)) { return 1; } - if (vtable_included(vars, id)) { + if ((i = vtable_included(vars, id)) != 0) { + if (used) used->tbl[i-1] |= LVAR_USED; return 1; } args = args->prev; vars = vars->prev; + if (used) used = used->prev; } if (vars == DVARS_INHERIT) { |