[pcre-dev] PCRE 7.x fails compilation of patterns with optio…

Hi.

Patterns like /(.*(.)?)*/ will make pcre_match not terminate on a match.

I've located the eerror to incorrect assumption that branch 1 might not
be empty. The attached patch against v7.1 should fix the problem.

/Viktor--- pcre_compile.c~    2007-04-17 10:21:58.000000000 +0200

+++ pcre_compile.c    2007-05-31 16:35:31.000000000 +0200
@@ -1370,6 +1370,19 @@
 
   c = *code;
 
+  if (c == OP_BRAZERO || c == OP_BRAMINZERO)
+    {
+      /* Skip over the sub branch, it can be empty */
+      code = code + _pcre_OP_lengths[c];
+      do
+    {
+      code += GET(code, 1);
+    }
+      while (*code == OP_ALT);
+      c = *code;
+      continue;
+    }
+
   if (c == OP_BRA || c == OP_CBRA || c == OP_ONCE)
     {
     BOOL empty_branch;