From f12c14d3ef2474631c78d28b45d15db1d2cc668c Mon Sep 17 00:00:00 2001 From: marcandre Date: Tue, 21 Feb 2012 00:13:44 +0000 Subject: * proc.c (method_hash, proc_hash): Fix {Unbound}Method#hash [Bug #6048]. Isolate hash computation for proc * internal.h: Declaration for above * vm_method.c (rb_method_definition_hash): Computation for hash part of a method definition * method.h: Declaration for above * test/ruby/test_method.rb: Test for above git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@34715 b2dd03c8-39d4-4d8f-98ff-823fe69b080e --- ChangeLog | 14 ++++++++++++++ internal.h | 1 + method.h | 1 + proc.c | 16 ++++++++++++---- test/ruby/test_method.rb | 1 + vm_method.c | 34 ++++++++++++++++++++++++++++++++++ 6 files changed, 63 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 80a91488af..596ad30050 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,17 @@ +Tue Feb 21 09:13:25 2012 Marc-Andre Lafortune + + * proc.c (method_hash, proc_hash): Fix {Unbound}Method#hash + [Bug #6048]. Isolate hash computation for proc + + * internal.h: Declaration for above + + * vm_method.c (rb_method_definition_hash): Computation for + hash part of a method definition + + * method.h: Declaration for above + + * test/ruby/test_method.rb: Test for above + Tue Feb 21 02:56:15 2012 Yukihiro Matsumoto * enumerator.c (enumerator_rewind): update the documentation. diff --git a/internal.h b/internal.h index 94056bb043..59bb3fda2d 100644 --- a/internal.h +++ b/internal.h @@ -150,6 +150,7 @@ int rb_is_junk_name(VALUE name); /* proc.c */ VALUE rb_proc_location(VALUE self); +st_index_t rb_hash_proc(st_index_t hash, VALUE proc); /* rational.c */ VALUE rb_lcm(VALUE x, VALUE y); diff --git a/method.h b/method.h index da667505f4..84b2dca3fb 100644 --- a/method.h +++ b/method.h @@ -96,6 +96,7 @@ rb_method_entry_t *rb_method_entry_set(VALUE klass, ID mid, const rb_method_entr int rb_method_entry_arity(const rb_method_entry_t *me); int rb_method_entry_eq(const rb_method_entry_t *m1, const rb_method_entry_t *m2); +st_index_t rb_hash_method_entry(st_index_t hash, const rb_method_entry_t *me); void rb_mark_method_entry(const rb_method_entry_t *me); void rb_free_method_entry(rb_method_entry_t *me); diff --git a/proc.c b/proc.c index cdbf40e4a4..c2859223c5 100644 --- a/proc.c +++ b/proc.c @@ -794,6 +794,15 @@ proc_eq(VALUE self, VALUE other) return Qfalse; } +st_index_t +rb_hash_proc(st_index_t hash, VALUE prc) +{ + const rb_proc_t *proc = (const rb_proc_t *)prc; + hash = rb_hash_uint(hash, (st_index_t)proc->block.iseq); + hash = rb_hash_uint(hash, (st_index_t)proc->envval); + return rb_hash_uint(hash, (st_index_t)proc->block.lfp >> 16); +} + /* * call-seq: * prc.hash -> integer @@ -807,9 +816,8 @@ proc_hash(VALUE self) st_index_t hash; rb_proc_t *proc; GetProcPtr(self, proc); - hash = rb_hash_start((st_index_t)proc->block.iseq); - hash = rb_hash_uint(hash, (st_index_t)proc->envval); - hash = rb_hash_uint(hash, (st_index_t)proc->block.lfp >> 16); + hash = rb_hash_start(0); + hash = rb_hash_proc(hash, proc); hash = rb_hash_end(hash); return LONG2FIX(hash); } @@ -1075,7 +1083,7 @@ method_hash(VALUE method) TypedData_Get_Struct(method, struct METHOD, &method_data_type, m); hash = rb_hash_start((st_index_t)m->rclass); hash = rb_hash_uint(hash, (st_index_t)m->recv); - hash = rb_hash_uint(hash, (st_index_t)m->me->def); + hash = rb_hash_method_entry(hash, m->me); hash = rb_hash_end(hash); return INT2FIX(hash); diff --git a/test/ruby/test_method.rb b/test/ruby/test_method.rb index 8dbca7dd3c..c784bd357e 100644 --- a/test/ruby/test_method.rb +++ b/test/ruby/test_method.rb @@ -158,6 +158,7 @@ class TestMethod < Test::Unit::TestCase o = Object.new def o.foo; end assert_kind_of(Integer, o.method(:foo).hash) + assert_equal(Array.instance_method(:map).hash, Array.instance_method(:collect).hash) end def test_receiver_name_owner diff --git a/vm_method.c b/vm_method.c index 9ffae4ccae..d9f4a0315a 100644 --- a/vm_method.c +++ b/vm_method.c @@ -904,6 +904,40 @@ rb_method_definition_eq(const rb_method_definition_t *d1, const rb_method_defini } } +static st_index_t +rb_hash_method_definition(st_index_t hash, const rb_method_definition_t *def) +{ + hash = rb_hash_uint(hash, def->type); + switch (def->type) { + case VM_METHOD_TYPE_ISEQ: + return rb_hash_uint(hash, (st_index_t)def->body.iseq); + case VM_METHOD_TYPE_CFUNC: + hash = rb_hash_uint(hash, (st_index_t)def->body.cfunc.func); + return rb_hash_uint(hash, def->body.cfunc.argc); + case VM_METHOD_TYPE_ATTRSET: + case VM_METHOD_TYPE_IVAR: + return rb_hash_uint(hash, def->body.attr.id); + case VM_METHOD_TYPE_BMETHOD: + return rb_hash_proc(hash, def->body.proc); + case VM_METHOD_TYPE_MISSING: + return rb_hash_uint(hash, def->original_id); + case VM_METHOD_TYPE_ZSUPER: + case VM_METHOD_TYPE_NOTIMPLEMENTED: + case VM_METHOD_TYPE_UNDEF: + return hash; + case VM_METHOD_TYPE_OPTIMIZED: + return rb_hash_uint(hash, def->body.optimize_type); + default: + rb_bug("rb_hash_method_definition: unsupported method type (%d)\n", def->type); + } + return hash; +} + +st_index_t +rb_hash_method_entry(st_index_t hash, const rb_method_entry_t *me) { + return rb_hash_method_definition(hash, me->def); +} + void rb_alias(VALUE klass, ID name, ID def) { -- cgit v1.2.3