[ruby-list:33056] Re: regex bug?

Yamamoto Atsushiさんの<[e-mail]>から
> 正規表現が何やら変な動作をするようです．(Ruby1.6.[245]で確認．)
> 
> irb(main):001:0> /([ab]+)\1/ =~ "baa"
> nil
> irb(main):002:0> /([a]+)\1/ =~ "baa"
> 1
> irb(main):003:0> /([ac]+)\1/ =~ "baa"
> 1
> 
> 一番上の ([ab]+)\1 は aa にマッチしないといけないのですが，なぜか nil
> を返してきます．これは間違いですよね?
> 
> 言葉で説明しにくいのですが「上記のような場合」におかしな結果を返します．
> 
> 文字クラスの一文字以上の閉包で，直前にその文字クラスにマッチする文字が
> ある時，かつ後ろで後方参照を使っている時，です．

regex.cのバグと思います。

このようなパターンのときに、コンパイル時にbufp->stclassがセットされるために、
re_search()の中でre_match()が一度失敗したときの次の探索開始位置を決める処理で
これを参照して不正な開始位置にしてしまうので、マッチングに失敗するようです。

もっと良い修正方法があるかもしれませんが。

--- regex.c.orig	Mon Dec 10 16:22:50 2001
+++ regex.c	Fri Dec 28 12:25:00 2001
@@ -2393,7 +2393,8 @@ re_compile_pattern(pattern, size, bufp)
 	p0 += mcnt+1;
 	mcnt = EXTRACT_UNSIGNED_AND_INCR(p0);
 	p0 += 8*mcnt;
-	if (*p0 == maybe_finalize_jump) {
+	if (*p0 == maybe_finalize_jump &&
+	    (p0[3] != stop_memory || p0[6] != duplicate)) {
 	  bufp->stclass = laststart;
 	}
       }
--
小迫＠ソフネック   渋谷区恵比寿1-15-1