Bug #2226: case 文の式が省略され when 節に配列展開があるときの挙動

• Status: Closed
• Assignee: matz (Yukihiro Matsumoto)
• Target version: 1.9.2
• ruby -v: ruby 1.9.2dev (2009-10-22 trunk 25433) [x86_64-freebsd8.0]

[wanabe (_ wanabe)]

=begin
ワナベと申します。

case 文の式が省略され、かつ when 節に配列展開があるときの挙動、
より具体的には NODE_ARGSCAT, NODE_ARGSPUSH の
コンパイル結果が正しくないように思います。
通常の NODE_CASE と同じように処理するのはどうでしょうか。

$ cat test.rb
case
when *[], false
p :ng1
else
p :ok
end

case
when *false, []
p :ok
else
p :ng2
end

begin
case
when false, *nonexistent_var, false
p :ng3
else
p :ng4
end
rescue NameError
p :ok
end

$ ruby -v test.rb
ruby 1.9.2dev (2009-10-17 trunk 25387) [i386-mingw32]
:ng1
:ng2
:ng3

Index: compile.c

--- compile.c (revision 25387)
+++ compile.c (working copy)
@@ -3116,41 +3116,31 @@
ADD_INSNL(body_seq, nd_line(node), jump, endlabel);

    vals = node->nd_head;

•  if (vals && nd_type(vals) == NODE_ARRAY) {
  

•  if (!vals) {
  

•  rb_bug("NODE_WHEN: must be NODE_ARRAY, but 0");
  

•  }
  

•  switch (nd_type(vals)) {
  

•    case NODE_ARRAY:
   while (vals) {
       val = vals->nd_head;
       COMPILE(ret, "when2", val);
       ADD_INSNL(ret, nd_line(val), branchif, l1);
       vals = vals->nd_next;
   }
  

•  break;
  

•    case NODE_SPLAT:
  

•    case NODE_ARGSCAT:
  

•    case NODE_ARGSPUSH:
  

•  ADD_INSN(ret, nd_line(vals), putnil);
  

•  COMPILE(ret, "when2/cond splat", vals);
  

•  ADD_INSN1(ret, nd_line(vals), checkincludearray, Qfalse);
  

•  ADD_INSN(ret, nd_line(vals), pop);
  

•  ADD_INSNL(ret, nd_line(vals), branchif, l1);
  

•  break;
  

•    default:
  

•  rb_bug("NODE_WHEN: unknown node (%s)",
  

•         ruby_node_name(nd_type(vals)));
   }
  

•  else if (nd_type(vals) == NODE_SPLAT ||
  

•       nd_type(vals) == NODE_ARGSCAT ||
  

•       nd_type(vals) == NODE_ARGSPUSH) {
  

•  NODE *val = vals->nd_head;
  

•  if (nd_type(vals) == NODE_ARGSCAT || nd_type(vals) == NODE_ARGSPUSH) {
  

•      NODE *vs = vals->nd_head;
  

•      val = vals->nd_body;
  

•      while (vs) {
  

•  	NODE* val = vs->nd_head;
  

•  	COMPILE(ret, "when/argscat", val);
  

•  	ADD_INSNL(ret, nd_line(val), branchif, l1);
  

•  	vs = vs->nd_next;
  

•      }
  

•  }
  

•  ADD_INSN(ret, nd_line(val), putnil);
  

•  COMPILE(ret, "when2/splat", val);
  

•  ADD_INSN1(ret, nd_line(val), checkincludearray, Qfalse);
  

•  ADD_INSN(ret, nd_line(val), pop);
  

•  ADD_INSNL(ret, nd_line(val), branchif, l1);
  

•  }
  

•  else {
  

•  rb_bug("err");
  

•  }
   node = node->nd_next;
  

  }
  /* else */

--
ワナベ
=end

[naruse (Yui NARUSE)]

• Category set to core
• Status changed from Open to Assigned
• Assignee set to matz (Yukihiro Matsumoto)
• Target version set to 1.9.2
• ruby -v set to ruby 1.9.2dev (2009-10-22 trunk 25433) [x86_64-freebsd8.0]

=begin

=end

[wanabe (_ wanabe)]

=begin
まつもとさん（あるいはささださん？）
このチケットについて、よろしければ意見をお聞きしたいのですがどうでしょうか。
（バグではない、バグだがパッチが正しくない、コミットしてよい、など）
催促するようで申し訳ありません。
=end

[mame (Yusuke Endoh)]

=begin
wanabe さん
遠藤です。

2009年10月18日6:16 wanabe [e-mail]:

case 文の式が省略され、かつ when 節に配列展開があるときの挙動、
より具体的には NODE_ARGSCAT, NODE_ARGSPUSH の
コンパイル結果が正しくないように思います。
通常の NODE_CASE と同じように処理するのはどうでしょうか。

2010年1月29日2:37 _ wanabe [e-mail]:

まつもとさん（あるいはささださん？）
このチケットについて、よろしければ意見をお聞きしたいのですがどうでしょうか。
（バグではない、バグだがパッチが正しくない、コミットしてよい、など）

確かにバグだと思いますし、ワナベさんのパッチで正しいと思います。
反対もないようなので、コミットしちゃってください。

ただ、一応、以下の点が非互換になるようです。

$ ruby -ve 'case; when true, *x; p :ok; end'
ruby 1.8.7 (2008-08-11 patchlevel 72) [i486-linux]
:ok

$ ./ruby -ve 'case; when true, *x; p :ok; end'
ruby 1.9.2dev (2010-04-16 trunk 27359) [i686-linux]
-e:1:in <main>': undefined local variable or method x' for
main:Object (NameError)

といっても、NODE_CASE の方ではワナベさんのパッチの前から非互換な
ようです。

$ ruby -ve 'case "foo"; when "foo", *x; p :ok; end'
ruby 1.8.7 (2008-08-11 patchlevel 72) [i486-linux]
:ok

$ ./ruby -ve 'case "foo"; when "foo", *x; p :ok; end'
ruby 1.9.2dev (2010-04-16 trunk 27359) [i686-linux]
-e:1:in <main>': undefined local variable or method x' for
main:Object (NameError)

実害はほぼないと思うのですが、もし暇だったら見てやってください。

--
Yusuke ENDOH [e-mail]

=end

[wanabe (_ wanabe)]

• Status changed from Assigned to Closed
• % Done changed from 0 to 100

=begin
This issue was solved with changeset r27376.
_, thank you for reporting this issue.
Your contribution to Ruby is greatly appreciated.
May Ruby be with you.

=end