[ruby-dev:31334] Re: Invalid error message by illegal regexp

なかだです。

At Thu, 2 Aug 2007 13:45:04 +0900,
KIMURA Koichi wrote in [ruby-dev:31333]:
> ruby -e "/a(?=b)?/.match('a')"
> とか
> ruby -e "/a(?=b?/.match('a')"
> としたときに、
> 
> 0: uninitialized Regexp (TypeError)
> 
> という適切ではないであろうエラーメッセージが出力されます。

すいません。直そうとは思っていたんですが、後回しにしたまま忘れて
ました。

> rb_reg_initialize で失敗した(not 0が返ってきた)ときの対処を変えるか 
> rb_reg_desc内部の判定を調節すれば良いと思いますが、具体的な修正方法
> はお任せします。

元々は、rb_compile_errorを呼ぶときはrb_reg_descには0を渡していた
ので、失敗したら rb_reg_desc(s, len, 0) でもいいと思いますが、オ
プションが表示されていないことに気がつきました。

オプションの変換回りも整理して、こんなところでどうでしょうか。


Index: re.c
===================================================================
--- re.c	(revision 12861)
+++ re.c	(working copy)
@@ -197,4 +197,39 @@ char_to_option(int c)
 }
 
+static char *
+option_to_str(char str[4], int options)
+{
+    char *p = str;
+    if (options & ONIG_OPTION_MULTILINE) *p++ = 'm';
+    if (options & ONIG_OPTION_IGNORECASE) *p++ = 'i';
+    if (options & ONIG_OPTION_EXTEND) *p++ = 'x';
+    *p = 0;
+    return str;
+}
+
+static const char *
+arg_kcode(int options)
+{
+    switch (options & ARG_KCODE_MASK) {
+      case ARG_KCODE_NONE: return "n";
+      case ARG_KCODE_EUC:  return "e";
+      case ARG_KCODE_SJIS: return "s";
+      case ARG_KCODE_UTF8: return "u";
+    }
+    return "";
+}
+
+static const char *
+opt_kcode(int flags)
+{
+    switch (flags) {
+      case KCODE_NONE: return "n";
+      case KCODE_EUC:  return "e";
+      case KCODE_SJIS: return "s";
+      case KCODE_UTF8: return "u";
+    }
+    return "";
+}
+
 extern int
 rb_char_to_option_kcode(int c, int *option, int *kcode)
@@ -417,27 +452,11 @@ rb_reg_desc(const char *s, long len, VAL
     rb_str_buf_cat2(str, "/");
     if (re) {
+	char opts[4];
 	rb_reg_check(re);
-	if (RREGEXP(re)->ptr->options & ONIG_OPTION_MULTILINE)
-	    rb_str_buf_cat2(str, "m");
-	if (RREGEXP(re)->ptr->options & ONIG_OPTION_IGNORECASE)
-	    rb_str_buf_cat2(str, "i");
-	if (RREGEXP(re)->ptr->options & ONIG_OPTION_EXTEND)
-	    rb_str_buf_cat2(str, "x");
+	if (*option_to_str(opts, RREGEXP(re)->ptr->options))
+	    rb_str_buf_cat2(str, opts);
 
 	if (FL_TEST(re, KCODE_FIXED)) {
-	    switch ((RBASIC(re)->flags & KCODE_MASK)) {
-	      case KCODE_NONE:
-		rb_str_buf_cat2(str, "n");
-		break;
-	      case KCODE_EUC:
-		rb_str_buf_cat2(str, "e");
-		break;
-	      case KCODE_SJIS:
-		rb_str_buf_cat2(str, "s");
-		break;
-	      case KCODE_UTF8:
-		rb_str_buf_cat2(str, "u");
-		break;
-	    }
+	    rb_str_buf_cat2(str, opt_kcode(RBASIC(re)->flags & KCODE_MASK));
 	}
     }
@@ -514,4 +533,5 @@ rb_reg_to_s(VALUE re)
     const UChar* ptr;
     VALUE str = rb_str_buf_new2("(?");
+    char optbuf[5];
 
     rb_reg_check(re);
@@ -578,13 +598,10 @@ rb_reg_to_s(VALUE re)
     }
 
-    if (options & ONIG_OPTION_MULTILINE) rb_str_buf_cat2(str, "m");
-    if (options & ONIG_OPTION_IGNORECASE) rb_str_buf_cat2(str, "i");
-    if (options & ONIG_OPTION_EXTEND) rb_str_buf_cat2(str, "x");
+    if (*option_to_str(optbuf, options)) rb_str_buf_cat2(str, optbuf);
 
     if ((options & embeddable) != embeddable) {
-	rb_str_buf_cat2(str, "-");
-	if (!(options & ONIG_OPTION_MULTILINE)) rb_str_buf_cat2(str, "m");
-	if (!(options & ONIG_OPTION_IGNORECASE)) rb_str_buf_cat2(str, "i");
-	if (!(options & ONIG_OPTION_EXTEND)) rb_str_buf_cat2(str, "x");
+	optbuf[0] = '-';
+	option_to_str(optbuf + 1, ~options)
+	rb_str_buf_cat2(str, optbuf);
     }
 
@@ -1528,5 +1545,12 @@ rb_reg_compile(const char *s, long len, 
 
     if (rb_reg_initialize(re, s, len, options, err) != 0) {
-	VALUE desc = rb_reg_desc(s, len, re);
+	char opts[6];
+	VALUE desc = rb_str_buf_new2("/");
+
+	rb_reg_expr_str(desc, s, len);
+	opts[0] = '/';
+	option_to_str(opts + 1, options);
+	strlcat(opts, arg_kcode(options), sizeof(opts));
+	rb_str_buf_cat2(desc, opts);
 	rb_compile_error(file, line, "%s: %s", err, RSTRING_PTR(desc));
     }
@@ -2066,20 +2090,9 @@ rb_reg_s_union(int argc, VALUE *argv)
         args[0] = source;
         args[1] = Qnil;
-        switch (kcode) {
-          case -1:
+        if (kcode == -1) {
             args[2] = Qnil;
-            break;
-          case KCODE_NONE:
-            args[2] = rb_str_new2("n");
-            break;
-          case KCODE_EUC:
-            args[2] = rb_str_new2("e");
-            break;
-          case KCODE_SJIS:
-            args[2] = rb_str_new2("s");
-            break;
-          case KCODE_UTF8:
-            args[2] = rb_str_new2("u");
-            break;
+	}
+	else {
+            args[2] = rb_str_new2(opt_kcode(kcode));
         }
         return rb_class_new_instance(3, args, rb_cRegexp);


-- 
--- 僕の前にBugはない。
--- 僕の後ろにBugはできる。
    中田 伸悦