[ruby-dev:32526] Re: return in rescue in while in eval dumps core

遠藤です。

07/08/27 に Yusuke ENDOH<[e-mail]> さんは書きました:
> 1.9 で以下のようにすると落ちます。
>
>
> $ ./ruby -ve 'eval "while true; return; end rescue p $!"'
(snip)
>
> Index: compile.c
> ===================================================================
> --- compile.c   (revision 13289)
> +++ compile.c   (working copy)
> @@ -3764,6 +3764,7 @@
>                else {
>                    ADD_INSN1(ret, nd_line(node), throw,
>                              INT2FIX(0x01) /* TAG_RETURN */ );
> +                   ADD_INSN(ret, nd_line(node), pop);
>                }
>                break;
>            }

このパッチだと以下で落ちてしまうようです。すみません。


$ ./ruby -e 'eval "1.times { return rescue p $! }"'
#<LocalJumpError: unexpected return>
(eval):1: -- control frame ----------
c:0009 p:0006 s:0017 b:0018 l:000004 d:000017 BLOCK  (eval):1
c:0008 p:---- s:0017 b:0017 l:000016 d:000016 FINISH :each
c:0007 p:---- s:0015 b:0015 l:000014 d:000014 CFUNC  :times
c:0006 p:0008 s:0012 b:0012 l:000004 d:000011 EVAL   (eval):1
c:0005 p:---- s:0011 b:0011 l:000010 d:000010 FINISH :unshift
c:0004 p:---- s:0009 b:0009 l:000008 d:000008 CFUNC  :eval
c:0003 p:0009 s:0005 b:0005 l:000004 d:000004 TOP    -e:1
c:0002 p:---- s:0003 b:0003 l:000002 d:000002 FINISH :inherited
c:0001 p:---- s:0001 b:-001 l:000000 d:000000 ------
---------------------------
DBG> : "(eval):1:in `times'"
DBG> : "(eval):1:in `<main>'"
DBG> : "-e:1:in `eval'"
DBG> : "-e:1:in `<main>'"
-- backtrace of native function call (Use addr2line) --
0x80eb935
0x8109c43
0x8109d0b
0x80e9bd9
0x80ea1f4
0x80e3447
0x805adae
0x8077e8f
0x80e3f53
0x80e6b96
0x80ea1f4
0x805ccd2
0x805d095
0x80e21fe
0x80e3f53
0x80e6b96
0x80ea1f4
0x80ea52b
0x805a6a9
0x805e4e0
0x8058200
0xb7d65ea8
0x8058121
-------------------------------------------------------
[BUG] Stack consistency error (sp: 17, bp: 18)
ruby 1.9.0 (2007-12-10) [i686-linux]

アボートしました


こうすればどちらも落ちなくなりました。でもこれが正しい修正なのかは
よくわかっていません。
# なんで throw の後に pop があるかどうかが影響するんだろう？

Index: compile.c
===================================================================
--- compile.c	(revision 14181)
+++ compile.c	(working copy)
@@ -3776,6 +3776,7 @@
 		else {
 		    ADD_INSN1(ret, nd_line(node), throw,
 			      INT2FIX(0x01) /* TAG_RETURN */ );
+		    if (poped) ADD_INSN(ret, nd_line(node), pop);
 		}
 		break;
 	    }

-- 
Yusuke ENDOH <[e-mail]>