ruby/bootstraptest/test_method.rb
NARUSE, Yui ce6863a0cf
merge revision(s) 18573b8d05: [Backport #20178] (#9822)
Avoid reading unused lvars in Primitive.cexpr

	Previously on builds with optimizations disabled, this could result in
	an out of bounds read. When we had all of:
	* built with -O0
	* Leaf builtin
	* Primitive.mandatory_only
	* "no args builtin", called by vm_call_single_noarg_inline_builti
	* The stack is escaped to the heap via binding or a proc

	This is because mk_builtin_loader generated reads for all locals
	regardless of whether they were used and in the case we generated a
	mandatory_only iseq that would include more variables than were actually
	available.

	On optimized builds, the invalid accesses would be optimized away, and
	this also was often unnoticed as the invalid access would just hit
	another part of the stack unless it had been escaped to the heap.

	The fix here is imperfect, as this could have false positives, but since
	Primitive.cexpr! is only available within the cruby codebase itself
	that's probably fine as a proper fix would be much more challenging (the
	only false positives we found were in rjit.rb).

	Fixes [Bug #20178]

	Co-authored-by: Adam Hess <HParker@github.com>
	---
	 bootstraptest/test_method.rb | 9 +++++++++
	 tool/mk_builtin_loader.rb    | 6 ++++++
	 2 files changed, 15 insertions(+)
2024-02-04 04:13:15 +00:00

1201 lines
32 KiB
Ruby

# regular argument
assert_equal '1', 'def m() 1 end; m()'
assert_equal '1', 'def m(a) a end; m(1)'
assert_equal '[1, 2]', 'def m(a,b) [a, b] end; m(1,2)'
assert_equal '[1, 2, 3]', 'def m(a,b,c) [a, b, c] end; m(1,2,3)'
assert_match /\Awrong number of arguments \(.*\b1\b.* 0\)\z/, %q{
def m; end
begin
m(1)
rescue => e
e.message
end
}
assert_match /\Awrong number of arguments \(.*\b0\b.* 1\)\z/, %q{
def m a; end
begin
m
rescue => e
e.message
end
}
# default argument
assert_equal '1', 'def m(x=1) x end; m();'
assert_equal '1', 'def m(x=7) x end; m(1)'
assert_equal '1', 'def m(a,x=1) x end; m(7)'
assert_equal '1', 'def m(a,x=7) x end; m(7,1)'
assert_equal '1', 'def m(a,b,x=1) x end; m(7,7)'
assert_equal '1', 'def m(a,b,x=7) x end; m(7,7,1)'
assert_equal '1', 'def m(a,x=1,y=1) x end; m(7)'
assert_equal '1', 'def m(a,x=1,y=1) y end; m(7)'
assert_equal '1', 'def m(a,x=7,y=1) x end; m(7,1)'
assert_equal '1', 'def m(a,x=7,y=1) y end; m(7,1)'
assert_equal '1', 'def m(a,x=7,y=7) x end; m(7,1,1)'
assert_equal '1', 'def m(a,x=7,y=7) y end; m(7,1,1)'
# rest argument
assert_equal '[]', 'def m(*a) a end; m().inspect'
assert_equal '[1]', 'def m(*a) a end; m(1).inspect'
assert_equal '[1, 2]', 'def m(*a) a end; m(1,2).inspect'
assert_equal '[]', 'def m(x,*a) a end; m(7).inspect'
assert_equal '[1]', 'def m(x,*a) a end; m(7,1).inspect'
assert_equal '[1, 2]', 'def m(x,*a) a end; m(7,1,2).inspect'
assert_equal '[]', 'def m(x,y,*a) a end; m(7,7).inspect'
assert_equal '[1]', 'def m(x,y,*a) a end; m(7,7,1).inspect'
assert_equal '[1, 2]', 'def m(x,y,*a) a end; m(7,7,1,2).inspect'
assert_equal '[]', 'def m(x,y=7,*a) a end; m(7).inspect'
assert_equal '[]', 'def m(x,y,z=7,*a) a end; m(7,7).inspect'
assert_equal '[]', 'def m(x,y,z=7,*a) a end; m(7,7,7).inspect'
assert_equal '[]', 'def m(x,y,z=7,zz=7,*a) a end; m(7,7,7).inspect'
assert_equal '[]', 'def m(x,y,z=7,zz=7,*a) a end; m(7,7,7,7).inspect'
assert_equal '1', 'def m(x,y,z=7,zz=1,*a) zz end; m(7,7,7).inspect'
assert_equal '1', 'def m(x,y,z=7,zz=1,*a) zz end; m(7,7,7).inspect'
assert_equal '1', 'def m(x,y,z=7,zz=7,*a) zz end; m(7,7,7,1).inspect'
# block argument
assert_equal 'Proc', 'def m(&block) block end; m{}.class'
assert_equal 'nil', 'def m(&block) block end; m().inspect'
assert_equal 'Proc', 'def m(a,&block) block end; m(7){}.class'
assert_equal 'nil', 'def m(a,&block) block end; m(7).inspect'
assert_equal '1', 'def m(a,&block) a end; m(1){}'
assert_equal 'Proc', 'def m(a,b=nil,&block) block end; m(7){}.class'
assert_equal 'nil', 'def m(a,b=nil,&block) block end; m(7).inspect'
assert_equal 'Proc', 'def m(a,b=nil,&block) block end; m(7,7){}.class'
assert_equal '1', 'def m(a,b=nil,&block) b end; m(7,1){}'
assert_equal 'Proc', 'def m(a,b=nil,*c,&block) block end; m(7){}.class'
assert_equal 'nil', 'def m(a,b=nil,*c,&block) block end; m(7).inspect'
assert_equal '1', 'def m(a,b=nil,*c,&block) a end; m(1).inspect'
assert_equal '1', 'def m(a,b=1,*c,&block) b end; m(7).inspect'
assert_equal '1', 'def m(a,b=7,*c,&block) b end; m(7,1).inspect'
assert_equal '[1]', 'def m(a,b=7,*c,&block) c end; m(7,7,1).inspect'
# splat
assert_equal '1', 'def m(a) a end; m(*[1])'
assert_equal '1', 'def m(x,a) a end; m(7,*[1])'
assert_equal '1', 'def m(x,y,a) a end; m(7,7,*[1])'
assert_equal '1', 'def m(a,b) a end; m(*[1,7])'
assert_equal '1', 'def m(a,b) b end; m(*[7,1])'
assert_equal '1', 'def m(x,a,b) b end; m(7,*[7,1])'
assert_equal '1', 'def m(x,y,a,b) b end; m(7,7,*[7,1])'
assert_equal '1', 'def m(a,b,c) a end; m(*[1,7,7])'
assert_equal '1', 'def m(a,b,c) b end; m(*[7,1,7])'
assert_equal '1', 'def m(a,b,c) c end; m(*[7,7,1])'
assert_equal '1', 'def m(x,a,b,c) a end; m(7,*[1,7,7])'
assert_equal '1', 'def m(x,y,a,b,c) a end; m(7,7,*[1,7,7])'
# hash argument
assert_equal '1', 'def m(h) h end; m(7=>1)[7]'
assert_equal '1', 'def m(h) h end; m(7=>1).size'
assert_equal '1', 'def m(h) h end; m(7=>1, 8=>7)[7]'
assert_equal '2', 'def m(h) h end; m(7=>1, 8=>7).size'
assert_equal '1', 'def m(h) h end; m(7=>1, 8=>7, 9=>7)[7]'
assert_equal '3', 'def m(h) h end; m(7=>1, 8=>7, 9=>7).size'
assert_equal '1', 'def m(x,h) h end; m(7, 7=>1)[7]'
assert_equal '1', 'def m(x,h) h end; m(7, 7=>1, 8=>7)[7]'
assert_equal '1', 'def m(x,h) h end; m(7, 7=>1, 8=>7, 9=>7)[7]'
assert_equal '1', 'def m(x,y,h) h end; m(7,7, 7=>1)[7]'
assert_equal '1', 'def m(x,y,h) h end; m(7,7, 7=>1, 8=>7)[7]'
assert_equal '1', 'def m(x,y,h) h end; m(7,7, 7=>1, 8=>7, 9=>7)[7]'
# block argument
assert_equal '1', %q(def m(&block) mm(&block) end
def mm() yield 1 end
m {|a| a })
assert_equal '1', %q(def m(x,&block) mm(x,&block) end
def mm(x) yield 1 end
m(7) {|a| a })
assert_equal '1', %q(def m(x,y,&block) mm(x,y,&block) end
def mm(x,y) yield 1 end
m(7,7) {|a| a })
# recursive call
assert_equal '1', %q(def m(n) n == 0 ? 1 : m(n-1) end; m(5))
# instance method
assert_equal '1', %q(class C; def m() 1 end end; C.new.m)
assert_equal '1', %q(class C; def m(a) a end end; C.new.m(1))
assert_equal '1', %q(class C; def m(a = 1) a end end; C.new.m)
assert_equal '[1]', %q(class C; def m(*a) a end end; C.new.m(1).inspect)
assert_equal '1', %q( class C
def m() mm() end
def mm() 1 end
end
C.new.m )
# singleton method (const)
assert_equal '1', %q(class C; def C.m() 1 end end; C.m)
assert_equal '1', %q(class C; def C.m(a) a end end; C.m(1))
assert_equal '1', %q(class C; def C.m(a = 1) a end end; C.m)
assert_equal '[1]', %q(class C; def C.m(*a) a end end; C.m(1).inspect)
assert_equal '1', %q(class C; end; def C.m() 1 end; C.m)
assert_equal '1', %q(class C; end; def C.m(a) a end; C.m(1))
assert_equal '1', %q(class C; end; def C.m(a = 1) a end; C.m)
assert_equal '[1]', %q(class C; end; def C.m(*a) a end; C.m(1).inspect)
assert_equal '1', %q(class C; def m() 7 end end; def C.m() 1 end; C.m)
assert_equal '1', %q( class C
def C.m() mm() end
def C.mm() 1 end
end
C.m )
# singleton method (lvar)
assert_equal '1', %q(obj = Object.new; def obj.m() 1 end; obj.m)
assert_equal '1', %q(obj = Object.new; def obj.m(a) a end; obj.m(1))
assert_equal '1', %q(obj = Object.new; def obj.m(a=1) a end; obj.m)
assert_equal '[1]', %q(obj = Object.new; def obj.m(*a) a end; obj.m(1))
assert_equal '1', %q(class C; def m() 7 end; end
obj = C.new
def obj.m() 1 end
obj.m)
# inheritance
assert_equal '1', %q(class A; def m(a) a end end
class B < A; end
B.new.m(1))
assert_equal '1', %q(class A; end
class B < A; def m(a) a end end
B.new.m(1))
assert_equal '1', %q(class A; def m(a) a end end
class B < A; end
class C < B; end
C.new.m(1))
# include
assert_equal '1', %q(class A; def m(a) a end end
module M; end
class B < A; include M; end
B.new.m(1))
assert_equal '1', %q(class A; end
module M; def m(a) a end end
class B < A; include M; end
B.new.m(1))
# alias
assert_equal '1', %q( def a() 1 end
alias m a
m() )
assert_equal '1', %q( class C
def a() 1 end
alias m a
end
C.new.m )
assert_equal '1', %q( class C
def a() 1 end
alias :m a
end
C.new.m )
assert_equal '1', %q( class C
def a() 1 end
alias m :a
end
C.new.m )
assert_equal '1', %q( class C
def a() 1 end
alias :m :a
end
C.new.m )
assert_equal '1', %q( class C
def a() 1 end
alias m a
undef a
end
C.new.m )
# undef
assert_equal '1', %q( class C
def m() end
undef m
end
begin C.new.m; rescue NoMethodError; 1 end )
assert_equal '1', %q( class A
def m() end
end
class C < A
def m() end
undef m
end
begin C.new.m; rescue NoMethodError; 1 end )
assert_equal '1', %q( class A; def a() end end # [yarv-dev:999]
class B < A
def b() end
undef a, b
end
begin B.new.a; rescue NoMethodError; 1 end )
assert_equal '1', %q( class A; def a() end end # [yarv-dev:999]
class B < A
def b() end
undef a, b
end
begin B.new.b; rescue NoMethodError; 1 end )
assert_equal '3', %q{
def m1
1
end
alias m2 m1
alias :"#{'m3'}" m1
m1 + m2 + m3
}, '[ruby-dev:32308]'
assert_equal '1', %q{
def foobar
end
undef :"foo#{:bar}"
1
}, '[ruby-dev:32308]'
assert_equal '1', %q{
def foobar
1
end
alias :"bar#{:baz}" :"foo#{:bar}"
barbaz
}, '[ruby-dev:32308]'
# private
assert_equal '1', %q( class C
def m() mm() end
def mm() 1 end
private :mm
end
C.new.m )
assert_equal '1', %q( class C
def m() 7 end
private :m
end
begin C.m; rescue NoMethodError; 1 end )
assert_equal '1', %q( class C
def C.m() mm() end
def C.mm() 1 end
private_class_method :mm
end
C.m )
assert_equal '1', %q( class C
def C.m() 7 end
private_class_method :m
end
begin C.m; rescue NoMethodError; 1 end )
assert_equal '1', %q( class C; def m() 1 end end
C.new.m # cache
class C
alias mm m; private :mm
end
C.new.m
begin C.new.mm; 7; rescue NoMethodError; 1 end )
# nested method
assert_equal '1', %q( class C
def m
def mm() 1 end
end
end
C.new.m
C.new.mm )
assert_equal '1', %q( class C
def m
def mm() 1 end
end
end
instance_eval "C.new.m; C.new.mm" )
# method_missing
assert_equal ':m', %q( class C
def method_missing(mid, *args) mid end
end
C.new.m.inspect )
assert_equal ':mm', %q( class C
def method_missing(mid, *args) mid end
end
C.new.mm.inspect )
assert_equal '[1, 2]', %q( class C
def method_missing(mid, *args) args end
end
C.new.m(1,2).inspect )
assert_equal '1', %q( class C
def method_missing(mid, *args) yield 1 end
end
C.new.m {|a| a })
assert_equal 'nil', %q( class C
def method_missing(mid, *args, &block) block end
end
C.new.m.inspect )
# send
assert_equal '1', %q( class C; def m() 1 end end;
C.new.__send__(:m) )
assert_equal '1', %q( class C; def m() 1 end end;
C.new.send(:m) )
assert_equal '1', %q( class C; def m(a) a end end;
C.new.send(:m,1) )
assert_equal '1', %q( class C; def m(a,b) a end end;
C.new.send(:m,1,7) )
assert_equal '1', %q( class C; def m(x,a=1) a end end;
C.new.send(:m,7) )
assert_equal '1', %q( class C; def m(x,a=7) a end end;
C.new.send(:m,7,1) )
assert_equal '[1, 2]', %q( class C; def m(*a) a end end;
C.new.send(:m,1,2).inspect )
assert_equal '1', %q( class C; def m() 7 end; private :m end
begin C.new.public_send(:m); rescue NoMethodError; 1 end )
assert_equal '1', %q( class C; def m() 1 end; private :m end
C.new.send(:m) )
# with block
assert_equal '[[:ok1, :foo], [:ok2, :foo, :bar]]',
%q{
class C
def [](a)
$ary << [yield, a]
end
def []=(a, b)
$ary << [yield, a, b]
end
end
$ary = []
C.new[:foo, &lambda{:ok1}]
C.new[:foo, &lambda{:ok2}] = :bar
$ary
}
# with
assert_equal '[:ok1, [:ok2, 11]]', %q{
class C
def []
$ary << :ok1
10
end
def []=(a)
$ary << [:ok2, a]
end
end
$ary = []
C.new[]+=1
$ary
}
# splat and block arguments
assert_equal %q{[[[:x, :y, :z], NilClass], [[1, :x, :y, :z], NilClass], [[1, 2, :x, :y, :z], NilClass], [[:obj], NilClass], [[1, :obj], NilClass], [[1, 2, :obj], NilClass], [[], Proc], [[1], Proc], [[1, 2], Proc], [[], Proc], [[1], Proc], [[1, 2], Proc], [[:x, :y, :z], Proc], [[1, :x, :y, :z], Proc], [[1, 2, :x, :y, :z], Proc]]}, %q{
def m(*args, &b)
$result << [args, b.class]
end
$result = []
ary = [:x, :y, :z]
obj = :obj
b = Proc.new{}
m(*ary)
m(1,*ary)
m(1,2,*ary)
m(*obj)
m(1,*obj)
m(1,2,*obj)
m(){}
m(1){}
m(1,2){}
m(&b)
m(1,&b)
m(1,2,&b)
m(*ary,&b)
m(1,*ary,&b)
m(1,2,*ary,&b)
$result
}
# aset and splat
assert_equal '4', %q{class Foo;def []=(a,b,c,d);end;end;Foo.new[1,*a=[2,3]]=4}
assert_equal '4', %q{class Foo;def []=(a,b,c,d);end;end;def m(&blk)Foo.new[1,*a=[2,3],&blk]=4;end;m{}}
# post test
assert_equal %q{[1, 2, :o1, :o2, [], 3, 4, NilClass, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4)}
assert_equal %q{[1, 2, 3, :o2, [], 4, 5, NilClass, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5)}
assert_equal %q{[1, 2, 3, 4, [], 5, 6, NilClass, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6)}
assert_equal %q{[1, 2, 3, 4, [5], 6, 7, NilClass, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7)}
assert_equal %q{[1, 2, 3, 4, [5, 6], 7, 8, NilClass, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7, 8)}
assert_equal %q{[1, 2, 3, 4, [5, 6, 7], 8, 9, NilClass, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7, 8, 9)}
assert_equal %q{[1, 2, 3, 4, [5, 6, 7, 8], 9, 10, NilClass, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)}
assert_equal %q{[1, 2, 3, 4, [5, 6, 7, 8, 9], 10, 11, NilClass, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11)}
assert_equal %q{[1, 2, :o1, :o2, [], 3, 4, Proc, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4){}}
assert_equal %q{[1, 2, 3, :o2, [], 4, 5, Proc, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5){}}
assert_equal %q{[1, 2, 3, 4, [], 5, 6, Proc, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6){}}
assert_equal %q{[1, 2, 3, 4, [5], 6, 7, Proc, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7){}}
assert_equal %q{[1, 2, 3, 4, [5, 6], 7, 8, Proc, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7, 8){}}
assert_equal %q{[1, 2, 3, 4, [5, 6, 7], 8, 9, Proc, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7, 8, 9){}}
assert_equal %q{[1, 2, 3, 4, [5, 6, 7, 8], 9, 10, Proc, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7, 8, 9, 10){}}
assert_equal %q{[1, 2, 3, 4, [5, 6, 7, 8, 9], 10, 11, Proc, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2, &b)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, b.class, x, y]
end
; m(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11){}}
assert_equal %q{[1, 2, :o1, :o2, [], 3, 4, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, x, y]
end
; m(1, 2, 3, 4)}
assert_equal %q{[1, 2, 3, :o2, [], 4, 5, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, x, y]
end
; m(1, 2, 3, 4, 5)}
assert_equal %q{[1, 2, 3, 4, [], 5, 6, nil, nil]}, %q{
def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2)
x, y = :x, :y if $foo
[m1, m2, o1, o2, r, p1, p2, x, y]
end
; m(1, 2, 3, 4, 5, 6)}
#
# super
#
=begin
# below programs are generated by this program:
BASE = <<EOS__
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; <TEST>; super; end; end
EOS__
tests = {
%q{
def m
} => %q{
C1.new.m
},
#
%q{
def m a
} => %q{
C1.new.m 1
},
%q{
def m a
a = :a
} => %q{
C1.new.m 1
},
#
%q{
def m a, o=:o
} => %q{
C1.new.m 1
C1.new.m 1, 2
},
%q{
def m a, o=:o
a = :a
} => %q{
C1.new.m 1
C1.new.m 1, 2
},
%q{
def m a, o=:o
o = :x
} => %q{
C1.new.m 1
C1.new.m 1, 2
},
#
%q{
def m a, *r
} => %q{
C1.new.m 1
C1.new.m 1, 2
C1.new.m 1, 2, 3
},
%q{
def m a, *r
r = [:x, :y]
} => %q{
C1.new.m 1
C1.new.m 1, 2
C1.new.m 1, 2, 3
},
#
%q{
def m a, o=:o, *r
} => %q{
C1.new.m 1
C1.new.m 1, 2
C1.new.m 1, 2, 3
C1.new.m 1, 2, 3, 4
},
#
%q{
def m a, o=:o, *r, &b
} => %q{
C1.new.m 1
C1.new.m 1, 2
C1.new.m 1, 2, 3
C1.new.m 1, 2, 3, 4
C1.new.m(1){}
C1.new.m(1, 2){}
C1.new.m(1, 2, 3){}
C1.new.m(1, 2, 3, 4){}
},
#
"def m(m1, m2, o1=:o1, o2=:o2, p1, p2)" =>
%q{
C1.new.m(1,2,3,4)
C1.new.m(1,2,3,4,5)
C1.new.m(1,2,3,4,5,6)
},
#
"def m(m1, m2, *r, p1, p2)" =>
%q{
C1.new.m(1,2,3,4)
C1.new.m(1,2,3,4,5)
C1.new.m(1,2,3,4,5,6)
C1.new.m(1,2,3,4,5,6,7)
C1.new.m(1,2,3,4,5,6,7,8)
},
#
"def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2)" =>
%q{
C1.new.m(1,2,3,4)
C1.new.m(1,2,3,4,5)
C1.new.m(1,2,3,4,5,6)
C1.new.m(1,2,3,4,5,6,7)
C1.new.m(1,2,3,4,5,6,7,8)
C1.new.m(1,2,3,4,5,6,7,8,9)
},
###
}
tests.each{|setup, methods| setup = setup.dup; setup.strip!
setup = BASE.gsub(/<TEST>/){setup}
methods.split(/\n/).each{|m| m = m.dup; m.strip!
next if m.empty?
expr = "#{setup}; #{m}"
result = eval(expr)
puts "assert_equal %q{#{result.inspect}}, %q{\n#{expr}}"
puts
}
}
=end
assert_equal %q{[:C0_m, [1, 2, :o1, :o2, 3, 4]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, o1=:o1, o2=:o2, p1, p2); super; end; end
; C1.new.m(1,2,3,4)}
assert_equal %q{[:C0_m, [1, 2, 3, :o2, 4, 5]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, o1=:o1, o2=:o2, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5)}
assert_equal %q{[:C0_m, [1, 2, 3, 4, 5, 6]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, o1=:o1, o2=:o2, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5,6)}
assert_equal %q{[:C0_m, [1, :o]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r; super; end; end
; C1.new.m 1}
assert_equal %q{[:C0_m, [1, 2]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r; super; end; end
; C1.new.m 1, 2}
assert_equal %q{[:C0_m, [1, 2, 3]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r; super; end; end
; C1.new.m 1, 2, 3}
assert_equal %q{[:C0_m, [1, 2, 3, 4]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r; super; end; end
; C1.new.m 1, 2, 3, 4}
assert_equal %q{[:C0_m, [:a]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a
a = :a; super; end; end
; C1.new.m 1}
assert_equal %q{[:C0_m, [1, 2, 3, 4]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4)}
assert_equal %q{[:C0_m, [1, 2, 3, 4, 5]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5)}
assert_equal %q{[:C0_m, [1, 2, 3, 4, 5, 6]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5,6)}
assert_equal %q{[:C0_m, [1, 2, 3, 4, 5, 6, 7]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5,6,7)}
assert_equal %q{[:C0_m, [1, 2, 3, 4, 5, 6, 7, 8]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5,6,7,8)}
assert_equal %q{[:C0_m, [1, :o]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r, &b; super; end; end
; C1.new.m 1}
assert_equal %q{[:C0_m, [1, 2]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r, &b; super; end; end
; C1.new.m 1, 2}
assert_equal %q{[:C0_m, [1, 2, 3]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r, &b; super; end; end
; C1.new.m 1, 2, 3}
assert_equal %q{[:C0_m, [1, 2, 3, 4]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r, &b; super; end; end
; C1.new.m 1, 2, 3, 4}
assert_equal %q{[:C0_m, [1, :o]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r, &b; super; end; end
; C1.new.m(1){}}
assert_equal %q{[:C0_m, [1, 2]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r, &b; super; end; end
; C1.new.m(1, 2){}}
assert_equal %q{[:C0_m, [1, 2, 3]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r, &b; super; end; end
; C1.new.m(1, 2, 3){}}
assert_equal %q{[:C0_m, [1, 2, 3, 4]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o, *r, &b; super; end; end
; C1.new.m(1, 2, 3, 4){}}
assert_equal %q{[:C0_m, [1, :x]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o
o = :x; super; end; end
; C1.new.m 1}
assert_equal %q{[:C0_m, [1, :x]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o
o = :x; super; end; end
; C1.new.m 1, 2}
assert_equal %q{[:C0_m, [:a, :o]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o
a = :a; super; end; end
; C1.new.m 1}
assert_equal %q{[:C0_m, [:a, 2]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o
a = :a; super; end; end
; C1.new.m 1, 2}
assert_equal %q{[:C0_m, [1]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a; super; end; end
; C1.new.m 1}
assert_equal %q{[:C0_m, [1, :x, :y]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, *r
r = [:x, :y]; super; end; end
; C1.new.m 1}
assert_equal %q{[:C0_m, [1, :x, :y]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, *r
r = [:x, :y]; super; end; end
; C1.new.m 1, 2}
assert_equal %q{[:C0_m, [1, :x, :y]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, *r
r = [:x, :y]; super; end; end
; C1.new.m 1, 2, 3}
assert_equal %q{[:C0_m, [1, 2, :o1, :o2, 3, 4]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4)}
assert_equal %q{[:C0_m, [1, 2, 3, :o2, 4, 5]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5)}
assert_equal %q{[:C0_m, [1, 2, 3, 4, 5, 6]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5,6)}
assert_equal %q{[:C0_m, [1, 2, 3, 4, 5, 6, 7]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5,6,7)}
assert_equal %q{[:C0_m, [1, 2, 3, 4, 5, 6, 7, 8]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5,6,7,8)}
assert_equal %q{[:C0_m, [1, 2, 3, 4, 5, 6, 7, 8, 9]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m(m1, m2, o1=:o1, o2=:o2, *r, p1, p2); super; end; end
; C1.new.m(1,2,3,4,5,6,7,8,9)}
assert_equal %q{[:C0_m, [1]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, *r; super; end; end
; C1.new.m 1}
assert_equal %q{[:C0_m, [1, 2]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, *r; super; end; end
; C1.new.m 1, 2}
assert_equal %q{[:C0_m, [1, 2, 3]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, *r; super; end; end
; C1.new.m 1, 2, 3}
assert_equal %q{[:C0_m, []]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m; super; end; end
; C1.new.m}
assert_equal %q{[:C0_m, [1, :o]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o; super; end; end
; C1.new.m 1}
assert_equal %q{[:C0_m, [1, 2]]}, %q{
class C0; def m *args; [:C0_m, args]; end; end
class C1 < C0; def m a, o=:o; super; end; end
; C1.new.m 1, 2}
assert_equal 'ok', %q{
class C
def x=(n)
end
def m
self.x = :ok
end
end
C.new.m
}
assert_equal 'ok', %q{
proc{
$SAFE = 1
class C
def m
:ok
end
end
}.call
C.new.m
}, '[ruby-core:11998]'
assert_equal 'ok', %q{
class B
def m() :fail end
end
class C < B
undef m
begin
remove_method :m
rescue NameError
end
end
begin
C.new.m
rescue NameError
:ok
end
}, '[ruby-dev:31816], [ruby-dev:31817]'
assert_normal_exit %q{
begin
Process.setrlimit(Process::RLIMIT_STACK, 4_206_592)
# FreeBSD SEGVs this less than 4M + 12K bytes.
rescue Exception
exit
end
class C
attr "a" * (10*1024*1024)
end
}, '[ruby-dev:31818]'
assert_equal 'ok', %q{
class Module
def define_method2(name, &block)
define_method(name, &block)
end
end
class C
define_method2(:m) {|x, y| :fail }
end
begin
C.new.m([1,2])
rescue ArgumentError
:ok
end
}
assert_not_match /method_missing/, %q{
STDERR.reopen(STDOUT)
variable_or_mehtod_not_exist
}
assert_equal '[false, false, false, false, true, true]', %q{
class C
define_method(:foo) {
block_given?
}
end
C.new.foo {}
class D
def foo
D.module_eval{
define_method(:m1){
block_given?
}
}
end
def bar
D.module_eval{
define_method(:m2){
block_given?
}
}
end
end
D.new.foo
D.new.bar{}
[C.new.foo, C.new.foo{}, D.new.m1, D.new.m1{}, D.new.m2, D.new.m2{}]
}, '[ruby-core:14813]'
assert_equal 'ok', %q{
class Foo
define_method(:foo) do |&b|
b.call
end
end
Foo.new.foo do
break :ok
end
}, '[ruby-dev:36028]'
assert_equal '[1, 2, [3, 4]]', %q{
def regular(a, b, *c)
[a, b, c]
end
regular(*[], 1, *[], *[2, 3], *[], 4)
}, '[ruby-core:19413]'
assert_equal '[1, [:foo, 3, 4, :foo]]', %q{
def regular(a, *b)
[a, b]
end
a = b = [:foo]
regular(1, *a, *[3, 4], *b)
}
assert_equal '["B", "A"]', %q{
class A
def m
'A'
end
end
class B < A
define_method(:m) do
['B', super()]
end
end
class C < B
end
C.new.m
}
assert_equal 'ok', %q{
module Foo
def foo
begin
super
rescue NoMethodError
:ok
end
end
module_function :foo
end
Foo.foo
}, '[ruby-dev:37587]'
assert_equal 'Object#foo', %q{
class Object
def self.foo
"Object.foo"
end
def foo
"Object#foo"
end
end
module Foo
def foo
begin
super
rescue NoMethodError
:ok
end
end
module_function :foo
end
Foo.foo
}, '[ruby-dev:37587]'
assert_normal_exit %q{
class BasicObject
remove_method :method_missing
end
begin
"a".lalala!
rescue NoMethodError => e
e.message == "undefined method `lalala!' for \"a\":String" ? :ok : :ng
end
}, '[ruby-core:22298]'
assert_equal 'ok', %q{
"hello"[0] ||= "H"
"ok"
}
assert_equal 'ok', %q{
"hello"[0, 1] ||= "H"
"ok"
}
assert_equal 'ok', %q{
class C
define_method(:foo) do
C.class_eval { remove_method(:foo) }
super()
end
end
begin
C.new.foo
rescue NoMethodError
'ok'
end
}
assert_equal 'ok', %q{
[0][0, &proc{}] += 21
'ok'
}, '[ruby-core:30534]'
# should not cache when splat
assert_equal 'ok', %q{
class C
attr_reader :a
def initialize
@a = 1
end
end
def m *args
C.new.a(*args)
end
m()
begin
m(1)
rescue ArgumentError
'ok'
end
}
assert_equal 'DC', %q{
$result = []
class C
def foo *args
$result << 'C'
end
end
class D
def foo *args
$result << 'D'
end
end
o1 = $o1 = C.new
o2 = $o2 = D.new
args = Object.new
def args.to_a
test1 $o2, nil
[]
end
def test1 o, args
o.foo(*args)
end
test1 o1, args
$result.join
}
assert_equal 'DC', %q{
$result = []
class C
def foo *args
$result << 'C'
end
end
class D
def foo *args
$result << 'D'
end
end
o1 = $o1 = C.new
o2 = $o2 = D.new
block = Object.new
def block.to_proc
test2 $o2, %w(a, b, c), nil
Proc.new{}
end
def test2 o, args, block
o.foo(*args, &block)
end
test2 o1, [], block
$result.join
}
assert_equal 'ok', %q{
def foo
binding
["ok"].first
end
foo
foo
}, '[Bug #20178]'