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

* eval.c (rb_eval): NODE_XSTR should pass copy of literal string.

* array.c (rb_ary_update): a[n,m]=nil no longer works as element
  deletion.

* enum.c (enum_sort_by): protect continuation jump in.
  [ruby-dev:24642]


git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@7145 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
This commit is contained in:
matz 2004-10-30 06:56:18 +00:00
parent ad2c05f1c0
commit 3e9e2bd4ed
17 changed files with 120 additions and 93 deletions

View file

@ -5,6 +5,18 @@ Sat Oct 30 15:24:41 2004 Masaki Suketa <masaki.suketa@nifty.ne.jp>
* ext/win32ole/tests/testOLETYPELIB.rb: add WIN32OLE_TYPELIB class. * ext/win32ole/tests/testOLETYPELIB.rb: add WIN32OLE_TYPELIB class.
Sat Oct 30 06:53:24 2004 Peter Vanbroekhoven <peter.vanbroekhoven@cs.kuleuven.ac.be>
* eval.c (rb_eval): NODE_XSTR should pass copy of literal string.
Sat Oct 30 00:19:40 2004 Yukihiro Matsumoto <matz@ruby-lang.org>
* array.c (rb_ary_update): a[n,m]=nil no longer works as element
deletion.
* enum.c (enum_sort_by): protect continuation jump in.
[ruby-dev:24642]
Fri Oct 29 21:27:51 2004 Nobuyoshi Nakada <nobu@ruby-lang.org> Fri Oct 29 21:27:51 2004 Nobuyoshi Nakada <nobu@ruby-lang.org>
* io.c (rb_io_check_initialized): new function to check uninitialized * io.c (rb_io_check_initialized): new function to check uninitialized

View file

@ -6,7 +6,7 @@ srcdir = @srcdir@
VPATH = $(srcdir):$(srcdir)/missing VPATH = $(srcdir):$(srcdir)/missing
CC = @CC@ CC = @CC@
YACC = @YACC@ YACC = bison -y
PURIFY = PURIFY =
AUTOCONF = autoconf AUTOCONF = autoconf
@SET_MAKE@ @SET_MAKE@

View file

@ -1091,7 +1091,7 @@ rb_ary_update(ary, beg, len, rpl)
} }
rb_ary_modify(ary); rb_ary_modify(ary);
if (NIL_P(rpl)) { if (rpl == Qundef) {
rlen = 0; rlen = 0;
} }
else { else {
@ -1683,7 +1683,7 @@ ary_sort_check(data)
struct ary_sort_data *data; struct ary_sort_data *data;
{ {
if (RARRAY(data->ary)->ptr != data->ptr || RARRAY(data->ary)->len != data->len) { if (RARRAY(data->ary)->ptr != data->ptr || RARRAY(data->ary)->len != data->len) {
rb_raise(rb_eArgError, "array modified during sort"); rb_raise(rb_eRuntimeError, "array modified during sort");
} }
} }
@ -2085,7 +2085,7 @@ rb_ary_slice_bang(argc, argv, ary)
pos = RARRAY(ary)->len + pos; pos = RARRAY(ary)->len + pos;
} }
arg2 = rb_ary_subseq(ary, pos, len); arg2 = rb_ary_subseq(ary, pos, len);
rb_ary_update(ary, pos, len, Qnil); /* Qnil/rb_ary_new2(0) */ rb_ary_update(ary, pos, len, Qundef); /* Qnil/rb_ary_new2(0) */
return arg2; return arg2;
} }

View file

@ -157,11 +157,6 @@ AC_SUBST(OUTFLAG)
RUBY_MINGW32 RUBY_MINGW32
AC_PROG_YACC
if test "$YACC" = "yacc"; then
AC_DEFINE([OLD_YACC])
fi
AC_CHECK_TOOL(RANLIB, ranlib, :) AC_CHECK_TOOL(RANLIB, ranlib, :)
AC_CHECK_TOOL(AR, ar) AC_CHECK_TOOL(AR, ar)
if test -z "$AR"; then if test -z "$AR"; then

3
enum.c
View file

@ -494,6 +494,9 @@ enum_sort_by(obj)
if (RARRAY(ary)->len > 1) { if (RARRAY(ary)->len > 1) {
qsort(RARRAY(ary)->ptr, RARRAY(ary)->len, sizeof(VALUE), sort_by_cmp, 0); qsort(RARRAY(ary)->ptr, RARRAY(ary)->len, sizeof(VALUE), sort_by_cmp, 0);
} }
if (RBASIC(ary)->klass) {
rb_raise(rb_eRuntimeError, "sort_by reentered");
}
for (i=0; i<RARRAY(ary)->len; i++) { for (i=0; i<RARRAY(ary)->len; i++) {
RARRAY(ary)->ptr[i] = RNODE(RARRAY(ary)->ptr[i])->u2.value; RARRAY(ary)->ptr[i] = RNODE(RARRAY(ary)->ptr[i])->u2.value;
} }

9
eval.c
View file

@ -3640,7 +3640,7 @@ rb_eval(self, n)
break; break;
case NODE_XSTR: case NODE_XSTR:
result = rb_funcall(self, '`', 1, node->nd_lit); result = rb_funcall(self, '`', 1, rb_str_new3(node->nd_lit));
break; break;
case NODE_LIT: case NODE_LIT:
@ -3731,7 +3731,7 @@ rb_eval(self, n)
if (NIL_P(ruby_class)) { if (NIL_P(ruby_class)) {
rb_raise(rb_eTypeError, "no class to undef method"); rb_raise(rb_eTypeError, "no class to undef method");
} }
rb_undef(ruby_class, node->nd_mid); rb_undef(ruby_class, rb_to_id(rb_eval(self, node->u2.node)));
result = Qnil; result = Qnil;
break; break;
@ -3739,12 +3739,13 @@ rb_eval(self, n)
if (NIL_P(ruby_class)) { if (NIL_P(ruby_class)) {
rb_raise(rb_eTypeError, "no class to make alias"); rb_raise(rb_eTypeError, "no class to make alias");
} }
rb_alias(ruby_class, node->nd_new, node->nd_old); rb_alias(ruby_class, rb_to_id(rb_eval(self, node->u1.node)),
rb_to_id(rb_eval(self, node->u2.node)));
result = Qnil; result = Qnil;
break; break;
case NODE_VALIAS: case NODE_VALIAS:
rb_alias_variable(node->nd_new, node->nd_old); rb_alias_variable(node->u1.id, node->u2.id);
result = Qnil; result = Qnil;
break; break;

View file

@ -1816,7 +1816,7 @@ fole_initialize(argc, argv, self)
SysFreeString(pBuf); SysFreeString(pBuf);
if(FAILED(hr)) { if(FAILED(hr)) {
ole_raise(hr, eWIN32OLE_RUNTIME_ERROR, ole_raise(hr, eWIN32OLE_RUNTIME_ERROR,
"Unknown OLE server `%s'", "Unknown OLE server: `%s'",
StringValuePtr(svr_name)); StringValuePtr(svr_name));
} }

6
gc.c
View file

@ -806,6 +806,8 @@ gc_mark_children(ptr, lev)
case NODE_OP_ASGN_OR: case NODE_OP_ASGN_OR:
case NODE_OP_ASGN_AND: case NODE_OP_ASGN_AND:
case NODE_MODULE: case NODE_MODULE:
case NODE_ALIAS:
case NODE_VALIAS:
gc_mark((VALUE)obj->as.node.u1.node, lev); gc_mark((VALUE)obj->as.node.u1.node, lev);
/* fall through */ /* fall through */
case NODE_METHOD: /* 2 */ case NODE_METHOD: /* 2 */
@ -820,6 +822,7 @@ gc_mark_children(ptr, lev)
case NODE_COLON3: case NODE_COLON3:
case NODE_OPT_N: case NODE_OPT_N:
case NODE_EVSTR: case NODE_EVSTR:
case NODE_UNDEF:
ptr = (VALUE)obj->as.node.u2.node; ptr = (VALUE)obj->as.node.u2.node;
goto again; goto again;
@ -859,11 +862,8 @@ gc_mark_children(ptr, lev)
case NODE_CVAR: case NODE_CVAR:
case NODE_NTH_REF: case NODE_NTH_REF:
case NODE_BACK_REF: case NODE_BACK_REF:
case NODE_ALIAS:
case NODE_VALIAS:
case NODE_REDO: case NODE_REDO:
case NODE_RETRY: case NODE_RETRY:
case NODE_UNDEF:
case NODE_SELF: case NODE_SELF:
case NODE_NIL: case NODE_NIL:
case NODE_TRUE: case NODE_TRUE:

7
node.h
View file

@ -217,9 +217,6 @@ typedef struct RNode {
#define nd_noex u1.id #define nd_noex u1.id
#define nd_defn u3.node #define nd_defn u3.node
#define nd_old u1.id
#define nd_new u2.id
#define nd_cfnc u1.cfunc #define nd_cfnc u1.cfunc
#define nd_argc u2.argc #define nd_argc u2.argc
@ -319,8 +316,8 @@ typedef struct RNode {
#define NEW_SVALUE(a) NEW_NODE(NODE_SVALUE,a,0,0) #define NEW_SVALUE(a) NEW_NODE(NODE_SVALUE,a,0,0)
#define NEW_BLOCK_ARG(v) NEW_NODE(NODE_BLOCK_ARG,v,0,local_cnt(v)) #define NEW_BLOCK_ARG(v) NEW_NODE(NODE_BLOCK_ARG,v,0,local_cnt(v))
#define NEW_BLOCK_PASS(b) NEW_NODE(NODE_BLOCK_PASS,0,b,0) #define NEW_BLOCK_PASS(b) NEW_NODE(NODE_BLOCK_PASS,0,b,0)
#define NEW_ALIAS(n,o) NEW_NODE(NODE_ALIAS,o,n,0) #define NEW_ALIAS(n,o) NEW_NODE(NODE_ALIAS,n,o,0)
#define NEW_VALIAS(n,o) NEW_NODE(NODE_VALIAS,o,n,0) #define NEW_VALIAS(n,o) NEW_NODE(NODE_VALIAS,n,o,0)
#define NEW_UNDEF(i) NEW_NODE(NODE_UNDEF,0,i,0) #define NEW_UNDEF(i) NEW_NODE(NODE_UNDEF,0,i,0)
#define NEW_CLASS(n,b,s) NEW_NODE(NODE_CLASS,n,NEW_SCOPE(b),(s)) #define NEW_CLASS(n,b,s) NEW_NODE(NODE_CLASS,n,NEW_SCOPE(b),(s))
#define NEW_SCLASS(r,b) NEW_NODE(NODE_SCLASS,r,NEW_SCOPE(b),0) #define NEW_SCLASS(r,b) NEW_NODE(NODE_SCLASS,r,NEW_SCOPE(b),0)

17
parse.y
View file

@ -490,9 +490,9 @@ static void ripper_compile_error _((struct parser_params*, const char *fmt, ...)
%type <node> f_arglist f_args f_optarg f_opt f_block_arg opt_f_block_arg %type <node> f_arglist f_args f_optarg f_opt f_block_arg opt_f_block_arg
%type <node> assoc_list assocs assoc kwargs undef_list backref string_dvar %type <node> assoc_list assocs assoc kwargs undef_list backref string_dvar
%type <node> for_var block_var opt_block_var block_par %type <node> for_var block_var opt_block_var block_par
%type <node> brace_block cmd_brace_block do_block lhs none %type <node> brace_block cmd_brace_block do_block lhs none fitem
%type <node> mlhs mlhs_head mlhs_basic mlhs_entry mlhs_item mlhs_node %type <node> mlhs mlhs_head mlhs_basic mlhs_entry mlhs_item mlhs_node
%type <id> fitem variable sym symbol operation operation2 operation3 %type <id> fsym variable sym symbol operation operation2 operation3
%type <id> cname fname op f_rest_arg %type <id> cname fname op f_rest_arg
%type <num> f_norm_arg f_arg %type <num> f_norm_arg f_arg
/*%%%*/ /*%%%*/
@ -1511,10 +1511,21 @@ fname : tIDENTIFIER
} }
; ;
fitem : fname fsym : fname
| symbol | symbol
; ;
fitem : fsym
{
/*%%%*/
$$ = NEW_LIT(ID2SYM($1));
/*%
$$ = dispatch1(symbol_literal, $1);
%*/
}
| dsym
;
undef_list : fitem undef_list : fitem
{ {
/*%%%*/ /*%%%*/

View file

@ -684,7 +684,16 @@ compile_range_repeat_node(QualifierNode* qn, int target_len, int empty_info,
r = compile_tree_empty_check(qn->target, reg, empty_info); r = compile_tree_empty_check(qn->target, reg, empty_info);
if (r) return r; if (r) return r;
r = add_opcode(reg, qn->greedy ? OP_REPEAT_INC : OP_REPEAT_INC_NG); if (
#ifdef USE_SUBEXP_CALL
reg->num_call > 0 ||
#endif
IS_QUALIFIER_IN_REPEAT(qn)) {
r = add_opcode(reg, qn->greedy ? OP_REPEAT_INC_SG : OP_REPEAT_INC_NG_SG);
}
else {
r = add_opcode(reg, qn->greedy ? OP_REPEAT_INC : OP_REPEAT_INC_NG);
}
if (r) return r; if (r) return r;
r = add_mem_num(reg, num_repeat); /* OP_REPEAT ID */ r = add_mem_num(reg, num_repeat); /* OP_REPEAT ID */
return r; return r;
@ -3057,6 +3066,10 @@ setup_tree(Node* node, regex_t* reg, int state, ScanEnv* env)
QualifierNode* qn = &(NQUALIFIER(node)); QualifierNode* qn = &(NQUALIFIER(node));
Node* target = qn->target; Node* target = qn->target;
if ((state & IN_REPEAT) != 0) {
qn->state |= NST_IN_REPEAT;
}
if (IS_REPEAT_INFINITE(qn->upper) || qn->upper >= 1) { if (IS_REPEAT_INFINITE(qn->upper) || qn->upper >= 1) {
r = get_min_match_length(target, &d, env); r = get_min_match_length(target, &d, env);
if (r) break; if (r) break;

119
regexec.c
View file

@ -1053,6 +1053,7 @@ match_at(regex_t* reg, UChar* str, UChar* end, UChar* sstart,
char *alloca_base; char *alloca_base;
StackType *stk_alloc, *stk_base, *stk, *stk_end; StackType *stk_alloc, *stk_base, *stk, *stk_end;
StackType *stkp; /* used as any purpose. */ StackType *stkp; /* used as any purpose. */
StackIndex si;
StackIndex *repeat_stk; StackIndex *repeat_stk;
StackIndex *mem_start_stk, *mem_end_stk; StackIndex *mem_start_stk, *mem_end_stk;
n = reg->num_repeat + reg->num_mem * 2; n = reg->num_repeat + reg->num_mem * 2;
@ -2170,77 +2171,65 @@ match_at(regex_t* reg, UChar* str, UChar* end, UChar* sstart,
break; break;
case OP_REPEAT_INC: STAT_OP_IN(OP_REPEAT_INC); case OP_REPEAT_INC: STAT_OP_IN(OP_REPEAT_INC);
{ GET_MEMNUM_INC(mem, p); /* mem: OP_REPEAT ID */
StackIndex si; si = repeat_stk[mem];
stkp = STACK_AT(si);
GET_MEMNUM_INC(mem, p); /* mem: OP_REPEAT ID */ repeat_inc:
#ifdef USE_SUBEXP_CALL stkp->u.repeat.count++;
if (reg->num_call > 0) { if (stkp->u.repeat.count == reg->repeat_range[mem].upper) {
STACK_GET_REPEAT(mem, stkp); /* end of repeat. Nothing to do. */
si = GET_STACK_INDEX(stkp); }
} else if (stkp->u.repeat.count >= reg->repeat_range[mem].lower) {
else { STACK_PUSH_ALT(p, s, sprev);
si = repeat_stk[mem]; p = stkp->u.repeat.pcode;
stkp = STACK_AT(si); }
} else {
#else p = stkp->u.repeat.pcode;
si = repeat_stk[mem]; }
stkp = STACK_AT(si); STACK_PUSH_REPEAT_INC(si);
#endif STAT_OP_OUT;
stkp->u.repeat.count++; continue;
if (stkp->u.repeat.count == reg->repeat_range[mem].upper) { break;
/* end of repeat. Nothing to do. */
} case OP_REPEAT_INC_SG: STAT_OP_IN(OP_REPEAT_INC_SG);
else if (stkp->u.repeat.count >= reg->repeat_range[mem].lower) { GET_MEMNUM_INC(mem, p); /* mem: OP_REPEAT ID */
STACK_PUSH_ALT(p, s, sprev); STACK_GET_REPEAT(mem, stkp);
p = stkp->u.repeat.pcode; si = GET_STACK_INDEX(stkp);
} goto repeat_inc;
else { break;
p = stkp->u.repeat.pcode;
} case OP_REPEAT_INC_NG: STAT_OP_IN(OP_REPEAT_INC_NG);
STACK_PUSH_REPEAT_INC(si); GET_MEMNUM_INC(mem, p); /* mem: OP_REPEAT ID */
si = repeat_stk[mem];
stkp = STACK_AT(si);
repeat_inc_ng:
stkp->u.repeat.count++;
if (stkp->u.repeat.count < reg->repeat_range[mem].upper) {
if (stkp->u.repeat.count >= reg->repeat_range[mem].lower) {
UChar* pcode = stkp->u.repeat.pcode;
STACK_PUSH_REPEAT_INC(si);
STACK_PUSH_ALT(pcode, s, sprev);
}
else {
p = stkp->u.repeat.pcode;
STACK_PUSH_REPEAT_INC(si);
}
}
else if (stkp->u.repeat.count == reg->repeat_range[mem].upper) {
STACK_PUSH_REPEAT_INC(si);
} }
STAT_OP_OUT; STAT_OP_OUT;
continue; continue;
break; break;
case OP_REPEAT_INC_NG: STAT_OP_IN(OP_REPEAT_INC_NG); case OP_REPEAT_INC_NG_SG: STAT_OP_IN(OP_REPEAT_INC_NG_SG);
{ GET_MEMNUM_INC(mem, p); /* mem: OP_REPEAT ID */
StackIndex si; STACK_GET_REPEAT(mem, stkp);
si = GET_STACK_INDEX(stkp);
GET_MEMNUM_INC(mem, p); /* mem: OP_REPEAT ID */ goto repeat_inc_ng;
#ifdef USE_SUBEXP_CALL
if (reg->num_call > 0) {
STACK_GET_REPEAT(mem, stkp);
si = GET_STACK_INDEX(stkp);
}
else {
si = repeat_stk[mem];
stkp = STACK_AT(si);
}
#else
si = repeat_stk[mem];
stkp = STACK_AT(si);
#endif
stkp->u.repeat.count++;
if (stkp->u.repeat.count < reg->repeat_range[mem].upper) {
if (stkp->u.repeat.count >= reg->repeat_range[mem].lower) {
UChar* pcode = stkp->u.repeat.pcode;
STACK_PUSH_REPEAT_INC(si);
STACK_PUSH_ALT(pcode, s, sprev);
}
else {
p = stkp->u.repeat.pcode;
STACK_PUSH_REPEAT_INC(si);
}
}
else if (stkp->u.repeat.count == reg->repeat_range[mem].upper) {
STACK_PUSH_REPEAT_INC(si);
}
}
STAT_OP_OUT;
continue;
break; break;
case OP_PUSH_POS: STAT_OP_IN(OP_PUSH_POS); case OP_PUSH_POS: STAT_OP_IN(OP_PUSH_POS);

View file

@ -500,6 +500,8 @@ enum OpCode {
OP_REPEAT_NG, /* {n,m}? (non greedy) */ OP_REPEAT_NG, /* {n,m}? (non greedy) */
OP_REPEAT_INC, OP_REPEAT_INC,
OP_REPEAT_INC_NG, /* non greedy */ OP_REPEAT_INC_NG, /* non greedy */
OP_REPEAT_INC_SG, /* search and get in stack */
OP_REPEAT_INC_NG_SG, /* search and get in stack (non greedy) */
OP_NULL_CHECK_START, /* null loop checker start */ OP_NULL_CHECK_START, /* null loop checker start */
OP_NULL_CHECK_END, /* null loop checker end */ OP_NULL_CHECK_END, /* null loop checker end */
OP_NULL_CHECK_END_MEMST, /* null loop checker end (with capture status) */ OP_NULL_CHECK_END_MEMST, /* null loop checker end (with capture status) */

View file

@ -1058,6 +1058,7 @@ node_new_qualifier(int lower, int upper, int by_number)
Node* node = node_new(); Node* node = node_new();
CHECK_NULL_RETURN(node); CHECK_NULL_RETURN(node);
node->type = N_QUALIFIER; node->type = N_QUALIFIER;
NQUALIFIER(node).state = 0;
NQUALIFIER(node).target = NULL; NQUALIFIER(node).target = NULL;
NQUALIFIER(node).lower = lower; NQUALIFIER(node).lower = lower;
NQUALIFIER(node).upper = upper; NQUALIFIER(node).upper = upper;

View file

@ -96,6 +96,7 @@ typedef struct {
} CClassNode; } CClassNode;
typedef struct { typedef struct {
int state;
struct _Node* target; struct _Node* target;
int lower; int lower;
int upper; int upper;
@ -121,6 +122,7 @@ typedef struct {
#define NST_ADDR_FIXED (1<<9) #define NST_ADDR_FIXED (1<<9)
#define NST_NAMED_GROUP (1<<10) #define NST_NAMED_GROUP (1<<10)
#define NST_NAME_REF (1<<11) #define NST_NAME_REF (1<<11)
#define NST_IN_REPEAT (1<<12) /* STK_REPEAT is nested in match stack. */
#define SET_EFFECT_STATUS(node,f) (node)->u.effect.state |= (f) #define SET_EFFECT_STATUS(node,f) (node)->u.effect.state |= (f)
#define CLEAR_EFFECT_STATUS(node,f) (node)->u.effect.state &= ~(f) #define CLEAR_EFFECT_STATUS(node,f) (node)->u.effect.state &= ~(f)
@ -140,6 +142,7 @@ typedef struct {
#define IS_CALL_RECURSION(cn) (((cn)->state & NST_RECURSION) != 0) #define IS_CALL_RECURSION(cn) (((cn)->state & NST_RECURSION) != 0)
#define IS_CALL_NAME_REF(cn) (((cn)->state & NST_NAME_REF) != 0) #define IS_CALL_NAME_REF(cn) (((cn)->state & NST_NAME_REF) != 0)
#define IS_BACKREF_NAME_REF(bn) (((bn)->state & NST_NAME_REF) != 0) #define IS_BACKREF_NAME_REF(bn) (((bn)->state & NST_NAME_REF) != 0)
#define IS_QUALIFIER_IN_REPEAT(qn) (((qn)->state & NST_IN_REPEAT) != 0)
typedef struct { typedef struct {
int state; int state;

View file

@ -50,7 +50,7 @@ class TestRipper_ParserEvents < Test::Unit::TestCase
end end
def test_alias def test_alias
assert_equal '[alias(a,b)]', parse('alias a b') assert_equal '[alias(symbol_literal(a),symbol_literal(b))]', parse('alias a b')
end end
def test_var_alias def test_var_alias

View file

@ -967,7 +967,7 @@ rb_free_generic_ivar(obj)
{ {
st_table *tbl; st_table *tbl;
// if (!generic_iv_tbl) return; if (!generic_iv_tbl) return;
if (st_delete(generic_iv_tbl, &obj, (st_data_t *)&tbl)) if (st_delete(generic_iv_tbl, &obj, (st_data_t *)&tbl))
st_free_table(tbl); st_free_table(tbl);
} }