/[pcre]/code/trunk/pcre_compile.c

Diff of /code/trunk/pcre_compile.c

Parent Directory | Revision Log | View Patch Patch

-revision 602 by ph10,
Wed May 25 08:29:03 2011 UTC
+revision 605 by ph10,
Fri Jun  3 18:18:30 2011 UTC
 Line 545 
 static const unsigned char ebcdic_charta
  /* Definition to allow mutual recursion */
  static BOOL
-   compile_regex(int, int, uschar **, const uschar **, int *, BOOL, BOOL, int,
+   compile_regex(int, uschar **, const uschar **, int *, BOOL, BOOL, int, int *,
-     int *, int *, branch_chain *, compile_data *, int *);
+     int *, branch_chain *, compile_data *, int *);
 Line 1403 
 does not.
  Arguments:
    code         pointer to the start of the group
-   options      pointer to external options
-   optbit       the option bit whose changing is significant, or
-                  zero if none are
    skipassert   TRUE if certain assertions are to be skipped
  Returns:       pointer to the first significant opcode
  */
  static const uschar*
- first_significant_code(const uschar *code, int *options, int optbit,
+ first_significant_code(const uschar *code, BOOL skipassert)
-   BOOL skipassert)
  {
  for (;;)
    {
-Line 1468 
 and doing the check at the end; a flag s
+Line 1464 
 and doing the check at the end; a flag s
  Arguments:
    code     points to the start of the pattern (the bracket)
-   options  the compiling options
+   utf8     TRUE in UTF-8 mode
    atend    TRUE if called when the pattern is complete
    cd       the "compile data" structure
-Line 1479 
 Returns:   the fixed length,
+Line 1475 
 Returns:   the fixed length,
  */
  static int
- find_fixedlength(uschar *code, int options, BOOL atend, compile_data *cd)
+ find_fixedlength(uschar *code, BOOL utf8, BOOL atend, compile_data *cd)
  {
  int length = -1;
-Line 1496 
 for (;;)
+Line 1492 
 for (;;)
    register int op = *cc;
    switch (op)
      {
+     /* We only need to continue for OP_CBRA (normal capturing bracket) and
+     OP_BRA (normal non-capturing bracket) because the other variants of these
+     opcodes are all concerned with unlimited repeated groups, which of course
+     are not of fixed length. They will cause a -1 response from the default
+     case of this switch. */
      case OP_CBRA:
      case OP_BRA:
      case OP_ONCE:
      case OP_COND:
-     d = find_fixedlength(cc + ((op == OP_CBRA)? 2:0), options, atend, cd);
+     d = find_fixedlength(cc + ((op == OP_CBRA)? 2:0), utf8, atend, cd);
      if (d < 0) return d;
      branchlength += d;
      do cc += GET(cc, 1); while (*cc == OP_ALT);
-Line 1509 
 for (;;)
+Line 1511 
 for (;;)
      /* Reached end of a branch; if it's a ket it is the end of a nested
      call. If it's ALT it is an alternation in a nested call. If it is
-     END it's the end of the outer call. All can be handled by the same code. */
+     END it's the end of the outer call. All can be handled by the same code.
+     Note that we must not include the OP_KETRxxx opcodes here, because they
+     all imply an unlimited repeat. */
      case OP_ALT:
      case OP_KET:
-     case OP_KETRMAX:
-     case OP_KETRMIN:
      case OP_END:
      if (length < 0) length = branchlength;
        else if (length != branchlength) return -1;
-Line 1532 
 for (;;)
+Line 1534 
 for (;;)
      cs = ce = (uschar *)cd->start_code + GET(cc, 1);  /* Start subpattern */
      do ce += GET(ce, 1); while (*ce == OP_ALT);       /* End subpattern */
      if (cc > cs && cc < ce) return -1;                /* Recursion */
-     d = find_fixedlength(cs + 2, options, atend, cd);
+     d = find_fixedlength(cs + 2, utf8, atend, cd);
      if (d < 0) return d;
      branchlength += d;
      cc += 1 + LINK_SIZE;
-Line 1575 
 for (;;)
+Line 1577 
 for (;;)
      case OP_CHAR:
      case OP_CHARI:
      case OP_NOT:
      case OP_NOTI:
      branchlength++;
      cc += 2;
  #ifdef SUPPORT_UTF8
-     if ((options & PCRE_UTF8) != 0 && cc[-1] >= 0xc0)
+     if (utf8 && cc[-1] >= 0xc0) cc += _pcre_utf8_table4[cc[-1] & 0x3f];
-       cc += _pcre_utf8_table4[cc[-1] & 0x3f];
  #endif
      break;
-Line 1591 
 for (;;)
+Line 1592 
 for (;;)
      branchlength += GET2(cc,1);
      cc += 4;
  #ifdef SUPPORT_UTF8
-     if ((options & PCRE_UTF8) != 0 && cc[-1] >= 0xc0)
+     if (utf8 && cc[-1] >= 0xc0) cc += _pcre_utf8_table4[cc[-1] & 0x3f];
-       cc += _pcre_utf8_table4[cc[-1] & 0x3f];
  #endif
      break;
 Line 1712 
 for (;;)
    /* Handle capturing bracket */
-   else if (c == OP_CBRA)
+   else if (c == OP_CBRA || c == OP_SCBRA ||
+            c == OP_CBRAPOS || c == OP_SCBRAPOS)
      {
      int n = GET2(code, 1+LINK_SIZE);
      if (n == number) return (uschar *)code;
-Line 1954 
 could_be_empty_branch(const uschar *code
+Line 1955 
 could_be_empty_branch(const uschar *code
    compile_data *cd)
  {
  register int c;
- for (code = first_significant_code(code + _pcre_OP_lengths[*code], NULL, 0, TRUE);
+ for (code = first_significant_code(code + _pcre_OP_lengths[*code], TRUE);
       code < endcode;
-      code = first_significant_code(code + _pcre_OP_lengths[c], NULL, 0, TRUE))
+      code = first_significant_code(code + _pcre_OP_lengths[c], TRUE))
    {
    const uschar *ccode;
-Line 1972 
 for (code = first_significant_code(code
+Line 1973 
 for (code = first_significant_code(code
      continue;
      }
-   /* Groups with zero repeats can of course be empty; skip them. */
-   if (c == OP_BRAZERO || c == OP_BRAMINZERO || c == OP_SKIPZERO)
-     {
-     code += _pcre_OP_lengths[c];
-     do code += GET(code, 1); while (*code == OP_ALT);
-     c = *code;
-     continue;
-     }
    /* For a recursion/subroutine call, if its end has been reached, which
    implies a subroutine call, we can scan it. */
-Line 2004 
 for (code = first_significant_code(code
+Line 1995 
 for (code = first_significant_code(code
      continue;
      }
+   /* Groups with zero repeats can of course be empty; skip them. */
+   if (c == OP_BRAZERO || c == OP_BRAMINZERO || c == OP_SKIPZERO ||
+       c == OP_BRAPOSZERO)
+     {
+     code += _pcre_OP_lengths[c];
+     do code += GET(code, 1); while (*code == OP_ALT);
+     c = *code;
+     continue;
+     }
+   /* A nested group that is already marked as "could be empty" can just be
+   skipped. */
+   if (c == OP_SBRA  || c == OP_SBRAPOS ||
+       c == OP_SCBRA || c == OP_SCBRAPOS)
+     {
+     do code += GET(code, 1); while (*code == OP_ALT);
+     c = *code;
+     continue;
+     }
    /* For other groups, scan the branches. */
-   if (c == OP_BRA || c == OP_CBRA || c == OP_ONCE || c == OP_COND)
+   if (c == OP_BRA  || c == OP_BRAPOS ||
+       c == OP_CBRA || c == OP_CBRAPOS ||
+       c == OP_ONCE || c == OP_COND)
      {
      BOOL empty_branch;
      if (GET(code, 1) == 0) return TRUE;    /* Hit unclosed bracket */
-Line 2135 
 for (code = first_significant_code(code
+Line 2150 
 for (code = first_significant_code(code
      case OP_KET:
      case OP_KETRMAX:
      case OP_KETRMIN:
+     case OP_KETRPOS:
      case OP_ALT:
      return TRUE;
-Line 2682 
 if (next >= 0) switch(op_code)
+Line 2698 
 if (next >= 0) switch(op_code)
    return (c != cd->fcc[next]);  /* Non-UTF-8 mode */
    /* For OP_NOT and OP_NOTI, the data is always a single-byte character. These
    opcodes are not used for multi-byte characters, because they are coded using
    an XCLASS instead. */
    case OP_NOT:
    return (c = *previous) == next;
    case OP_NOTI:
    if ((c = *previous) == next) return TRUE;
  #ifdef SUPPORT_UTF8
    if (utf8)
-Line 4201 
 for (;; ptr++)
+Line 4217 
 for (;; ptr++)
      if (*previous == OP_CHAR || *previous == OP_CHARI)
        {
        op_type = (*previous == OP_CHAR)? 0 : OP_STARI - OP_STAR;
        /* Deal with UTF-8 characters that take up more than one byte. It's
        easier to write this out separately than try to macrify it. Use c to
        hold the length of the character in bytes, plus 0x80 to flag that it's a
-Line 4246 
 for (;; ptr++)
+Line 4262 
 for (;; ptr++)
      /* If previous was a single negated character ([^a] or similar), we use
      one of the special opcodes, replacing it. The code is shared with single-
      character repeats by setting opt_type to add a suitable offset into
      repeat_type. We can also test for auto-possessification. OP_NOT and OP_NOTI
      are currently used only for single-byte chars. */
      else if (*previous == OP_NOT || *previous == OP_NOTI)
-Line 4483 
 for (;; ptr++)
+Line 4499 
 for (;; ptr++)
        }
      /* If previous was a bracket group, we may have to replicate it in certain
-     cases. */
+     cases. Note that at this point we can encounter only the "basic" BRA and
+     KET opcodes, as this is the place where they get converted into the more
+     special varieties. */
      else if (*previous == OP_BRA  || *previous == OP_CBRA ||
               *previous == OP_ONCE || *previous == OP_COND)
        {
        register int i;
-       int ketoffset = 0;
        int len = (int)(code - previous);
        uschar *bralink = NULL;
+       uschar *brazeroptr = NULL;
        /* Repeating a DEFINE group is pointless */
        if (*previous == OP_COND && previous[LINK_SIZE+1] == OP_DEF)
-Line 4501 
 for (;; ptr++)
+Line 4519 
 for (;; ptr++)
          goto FAILED;
          }
-       /* If the maximum repeat count is unlimited, find the end of the bracket
-       by scanning through from the start, and compute the offset back to it
-       from the current code pointer. */
-       if (repeat_max == -1)
-         {
-         register uschar *ket = previous;
-         do ket += GET(ket, 1); while (*ket != OP_KET);
-         ketoffset = (int)(code - ket);
-         }
        /* The case of a zero minimum is special because of the need to stick
        OP_BRAZERO in front of it, and because the group appears once in the
        data, whereas in other cases it appears the minimum number of times. For
-Line 4553 
 for (;; ptr++)
+Line 4560 
 for (;; ptr++)
              *previous++ = OP_SKIPZERO;
              goto END_REPEAT;
              }
+           brazeroptr = previous;    /* Save for possessive optimizing */
            *previous++ = OP_BRAZERO + repeat_type;
            }
-Line 4717 
 for (;; ptr++)
+Line 4725 
 for (;; ptr++)
            }
          }
-       /* If the maximum is unlimited, set a repeater in the final copy. We
+       /* If the maximum is unlimited, set a repeater in the final copy. For
-       can't just offset backwards from the current code point, because we
+       ONCE brackets, that's all we need to do.
-       don't know if there's been an options resetting after the ket. The
-       correct offset was computed above.
+       Otherwise, if the quantifier was possessive, we convert the BRA code to
+       the POS form, and the KET code to KETRPOS. (It turns out to be convenient
+       at runtime to detect this kind of subpattern at both the start and at the
+       end.) The use of special opcodes makes it possible to reduce greatly the
+       stack usage in pcre_exec(). If the group is preceded by OP_BRAZERO,
+       convert this to OP_BRAPOSZERO. Then cancel the possessive flag so that
+       the default action below, of wrapping everything inside atomic brackets,
+       does not happen.
        Then, when we are doing the actual compile phase, check to see whether
-       this group is a non-atomic one that could match an empty string. If so,
+       this group is one that could match an empty string. If so, convert the
-       convert the initial operator to the S form (e.g. OP_BRA -> OP_SBRA) so
+       initial operator to the S form (e.g. OP_BRA -> OP_SBRA) so that runtime
-       that runtime checking can be done. [This check is also applied to
+       checking can be done. [This check is also applied to ONCE groups at
-       atomic groups at runtime, but in a different way.] */
+       runtime, but in a different way.] */
        else
          {
-         uschar *ketcode = code - ketoffset;
+         uschar *ketcode = code - 1 - LINK_SIZE;
          uschar *bracode = ketcode - GET(ketcode, 1);
-         *ketcode = OP_KETRMAX + repeat_type;
-         if (lengthptr == NULL && *bracode != OP_ONCE)
+         if (*bracode == OP_ONCE)
+           *ketcode = OP_KETRMAX + repeat_type;
+         else
            {
-           uschar *scode = bracode;
+           if (possessive_quantifier)
-           do
              {
-             if (could_be_empty_branch(scode, ketcode, utf8, cd))
+             *bracode += 1;                   /* Switch to xxxPOS opcodes */
+             *ketcode = OP_KETRPOS;
+             if (brazeroptr != NULL) *brazeroptr = OP_BRAPOSZERO;
+             possessive_quantifier = FALSE;
+             }
+           else *ketcode = OP_KETRMAX + repeat_type;
+           if (lengthptr == NULL)
+             {
+             uschar *scode = bracode;
+             do
                {
-               *bracode += OP_SBRA - OP_BRA;
+               if (could_be_empty_branch(scode, ketcode, utf8, cd))
-               break;
+                 {
+                 *bracode += OP_SBRA - OP_BRA;
+                 break;
+                 }
+               scode += GET(scode, 1);
                }
-             scode += GET(scode, 1);
+             while (*scode == OP_ALT);
              }
-           while (*scode == OP_ALT);
            }
          }
        }
-Line 4766 
 for (;; ptr++)
+Line 4795 
 for (;; ptr++)
        }
      /* If the character following a repeat is '+', or if certain optimization
-     tests above succeeded, possessive_quantifier is TRUE. For some of the
+     tests above succeeded, possessive_quantifier is TRUE. For some opcodes,
-     simpler opcodes, there is an special alternative opcode for this. For
+     there are special alternative opcodes for this case. For anything else, we
-     anything else, we wrap the entire repeated item inside OP_ONCE brackets.
+     wrap the entire repeated item inside OP_ONCE brackets. Logically, the '+'
-     The '+' notation is just syntactic sugar, taken from Sun's Java package,
+     notation is just syntactic sugar, taken from Sun's Java package, but the
-     but the special opcodes can optimize it a bit. The repeated item starts at
+     special opcodes can optimize it.
-     tempcode, not at previous, which might be the first part of a string whose
-     (former) last char we repeated.
+     Possessively repeated subpatterns have already been handled in the code
+     just above, so possessive_quantifier is always FALSE for them at this
+     stage.
+     Note that the repeated item starts at tempcode, not at previous, which
+     might be the first part of a string whose (former) last char we repeated.
      Possessifying an 'exact' quantifier has no effect, so we can ignore it. But
      an 'upto' may follow. We skip over an 'exact' item, and then test the
-Line 5714 
 for (;; ptr++)
+Line 5748 
 for (;; ptr++)
          is necessary to ensure we correctly detect the start of the pattern in
          both phases.
-         If we are not at the pattern start, compile code to change the ims
+         If we are not at the pattern start, reset the greedy defaults and the
-         options if this setting actually changes any of them, and reset the
+         case value for firstbyte and reqbyte. */
-         greedy defaults and the case value for firstbyte and reqbyte. */
          if (*ptr == CHAR_RIGHT_PARENTHESIS)
            {
-Line 5733 
 for (;; ptr++)
+Line 5766 
 for (;; ptr++)
              }
            /* Change options at this level, and pass them back for use
-           in subsequent branches. When not at the start of the pattern, this
+           in subsequent branches. */
-           information is also necessary so that a resetting item can be
-           compiled at the end of a group (if we are in a group). */
            *optionsptr = options = newoptions;
            previous = NULL;       /* This item can't be repeated */
-Line 5773 
 for (;; ptr++)
+Line 5804 
 for (;; ptr++)
      /* Process nested bracketed regex. Assertions may not be repeated, but
      other kinds can be. All their opcodes are >= OP_ONCE. We copy code into a
-     non-register variable in order to be able to pass its address because some
+     non-register variable (tempcode) in order to be able to pass its address
-     compilers complain otherwise. Pass in a new setting for the ims options if
+     because some compilers complain otherwise. */
-     they have changed. */
      previous = (bravalue >= OP_ONCE)? code : NULL;
      *code = bravalue;
-Line 5785 
 for (;; ptr++)
+Line 5815 
 for (;; ptr++)
      if (!compile_regex(
           newoptions,                   /* The complete new option state */
-          options & PCRE_IMS,           /* The previous ims option state */
           &tempcode,                    /* Where to put code (updated) */
           &ptr,                         /* Input pointer (updated) */
           errorcodeptr,                 /* Where to put an error message */
-Line 5872 
 for (;; ptr++)
+Line 5901 
 for (;; ptr++)
          goto FAILED;
          }
        *lengthptr += length_prevgroup - 2 - 2*LINK_SIZE;
-       *code++ = OP_BRA;
+       code++;   /* This already contains bravalue */
        PUTINC(code, 0, 1 + LINK_SIZE);
        *code++ = OP_KET;
        PUTINC(code, 0, 1 + LINK_SIZE);
-Line 6242 
 value of lengthptr distinguishes the two
+Line 6271 
 value of lengthptr distinguishes the two
  Arguments:
    options        option bits, including any changes for this subpattern
-   oldims         previous settings of ims option bits
    codeptr        -> the address of the current code pointer
    ptrptr         -> the address of the current pattern pointer
    errorcodeptr   -> pointer to error code variable
-Line 6260 
 Returns:         TRUE on success
+Line 6288 
 Returns:         TRUE on success
  */
  static BOOL
- compile_regex(int options, int oldims, uschar **codeptr, const uschar **ptrptr,
+ compile_regex(int options, uschar **codeptr, const uschar **ptrptr,
    int *errorcodeptr, BOOL lookbehind, BOOL reset_bracount, int skipbytes,
    int *firstbyteptr, int *reqbyteptr, branch_chain *bcptr, compile_data *cd,
    int *lengthptr)
-Line 6277 
 int branchfirstbyte, branchreqbyte;
+Line 6305 
 int branchfirstbyte, branchreqbyte;
  int length;
  int orig_bracount;
  int max_bracount;
- int old_external_options = cd->external_options;
  branch_chain bc;
  bc.outer = bcptr;
-Line 6301 
 pre-compile phase to find out whether an
+Line 6328 
 pre-compile phase to find out whether an
  /* If this is a capturing subpattern, add to the chain of open capturing items
  so that we can detect them if (*ACCEPT) is encountered. This is also used to
- detect groups that contain recursive back references to themselves. */
+ detect groups that contain recursive back references to themselves. Note that
+ only OP_CBRA need be tested here; changing this opcode to one of its variants,
+ e.g. OP_SCBRAPOS, happens later, after the group has been compiled. */
  if (*code == OP_CBRA)
    {
-Line 6347 
 for (;;)
+Line 6376 
 for (;;)
      return FALSE;
      }
-   /* If the external options have changed during this branch, it means that we
-   are at the top level, and a leading option setting has been encountered. We
-   need to re-set the original option values to take account of this so that,
-   during the pre-compile phase, we know to allow for a re-set at the start of
-   subsequent branches. */
-   if (old_external_options != cd->external_options)
-     oldims = cd->external_options & PCRE_IMS;
    /* Keep the highest bracket count in case (?| was used and some branch
    has fewer than the rest. */
-Line 6416 
 for (;;)
+Line 6436 
 for (;;)
        {
        int fixed_length;
        *code = OP_END;
-       fixed_length = find_fixedlength(last_branch, options, FALSE, cd);
+       fixed_length = find_fixedlength(last_branch,  (options & PCRE_UTF8) != 0,
+         FALSE, cd);
        DPRINTF(("fixed length = %d\n", fixed_length));
        if (fixed_length == -3)
          {
-Line 6437 
 for (;;)
+Line 6458 
 for (;;)
    of offsets, with the field in the BRA item now becoming an offset to the
    first alternative. If there are no alternatives, it points to the end of the
    group. The length in the terminating ket is always the length of the whole
-   bracketed item. If any of the ims options were changed inside the group,
+   bracketed item. Return leaving the pointer at the terminating char. */
-   compile a resetting op-code following, except at the very end of the pattern.
-   Return leaving the pointer at the terminating char. */
    if (*ptr != CHAR_VERTICAL_LINE)
      {
-Line 6564 
 of the more common cases more precisely.
+Line 6583 
 of the more common cases more precisely.
  Arguments:
    code           points to start of expression (the bracket)
-   options        points to the options setting
    bracket_map    a bitmap of which brackets we are inside while testing; this
                    handles up to substring 31; after that we just have to take
                    the less precise approach
-Line 6574 
 Returns:     TRUE or FALSE
+Line 6592 
 Returns:     TRUE or FALSE
  */
  static BOOL
- is_anchored(register const uschar *code, int *options, unsigned int bracket_map,
+ is_anchored(register const uschar *code, unsigned int bracket_map,
    unsigned int backref_map)
  {
  do {
     const uschar *scode = first_significant_code(code + _pcre_OP_lengths[*code],
-      options, PCRE_MULTILINE, FALSE);
+      FALSE);
     register int op = *scode;
     /* Non-capturing brackets */
-    if (op == OP_BRA)
+    if (op == OP_BRA  || op == OP_BRAPOS ||
+        op == OP_SBRA || op == OP_SBRAPOS)
       {
-      if (!is_anchored(scode, options, bracket_map, backref_map)) return FALSE;
+      if (!is_anchored(scode, bracket_map, backref_map)) return FALSE;
       }
     /* Capturing brackets */
-    else if (op == OP_CBRA)
+    else if (op == OP_CBRA  || op == OP_CBRAPOS ||
+             op == OP_SCBRA || op == OP_SCBRAPOS)
       {
       int n = GET2(scode, 1+LINK_SIZE);
       int new_map = bracket_map | ((n < 32)? (1 << n) : 1);
-      if (!is_anchored(scode, options, new_map, backref_map)) return FALSE;
+      if (!is_anchored(scode, new_map, backref_map)) return FALSE;
       }
     /* Other brackets */
     else if (op == OP_ASSERT || op == OP_ONCE || op == OP_COND)
       {
-      if (!is_anchored(scode, options, bracket_map, backref_map)) return FALSE;
+      if (!is_anchored(scode, bracket_map, backref_map)) return FALSE;
       }
     /* .* is not anchored unless DOTALL is set (which generates OP_ALLANY) and
-Line 6653 
 is_startline(const uschar *code, unsigne
+Line 6673 
 is_startline(const uschar *code, unsigne
  {
  do {
     const uschar *scode = first_significant_code(code + _pcre_OP_lengths[*code],
-      NULL, 0, FALSE);
+      FALSE);
     register int op = *scode;
     /* If we are at the start of a conditional assertion group, *both* the
-Line 6680 
 do {
+Line 6700 
 do {
         scode += 1 + LINK_SIZE;
         break;
         }
-      scode = first_significant_code(scode, NULL, 0, FALSE);
+      scode = first_significant_code(scode, FALSE);
       op = *scode;
       }
     /* Non-capturing brackets */
-    if (op == OP_BRA)
+    if (op == OP_BRA  || op == OP_BRAPOS ||
+        op == OP_SBRA || op == OP_SBRAPOS)
       {
       if (!is_startline(scode, bracket_map, backref_map)) return FALSE;
       }
     /* Capturing brackets */
-    else if (op == OP_CBRA)
+    else if (op == OP_CBRA  || op == OP_CBRAPOS ||
+             op == OP_SCBRA || op == OP_SCBRAPOS)
       {
       int n = GET2(scode, 1+LINK_SIZE);
       int new_map = bracket_map | ((n < 32)? (1 << n) : 1);
-Line 6743 
 we return that char, otherwise -1.
+Line 6765 
 we return that char, otherwise -1.
  Arguments:
    code       points to start of expression (the bracket)
-   options    pointer to the options (used to check casing changes)
    inassert   TRUE if in an assertion
  Returns:     -1 or the fixed first char
  */
  static int
- find_firstassertedchar(const uschar *code, int *options, BOOL inassert)
+ find_firstassertedchar(const uschar *code, BOOL inassert)
  {
  register int c = -1;
  do {
     int d;
-    const uschar *scode =
+    int xl = (*code == OP_CBRA || *code == OP_SCBRA ||
-      first_significant_code(code + 1+LINK_SIZE, options, PCRE_CASELESS, TRUE);
+              *code == OP_CBRAPOS || *code == OP_SCBRAPOS)? 2:0;
+    const uschar *scode = first_significant_code(code + 1+LINK_SIZE + xl, TRUE);
     register int op = *scode;
     switch(op)
-Line 6765 
 do {
+Line 6787 
 do {
       return -1;
       case OP_BRA:
+      case OP_BRAPOS:
       case OP_CBRA:
+      case OP_SCBRA:
+      case OP_CBRAPOS:
+      case OP_SCBRAPOS:
       case OP_ASSERT:
       case OP_ONCE:
       case OP_COND:
-      if ((d = find_firstassertedchar(scode, options, op == OP_ASSERT)) < 0)
+      if ((d = find_firstassertedchar(scode, op == OP_ASSERT)) < 0)
         return -1;
       if (c < 0) c = d; else if (c != d) return -1;
       break;
-      case OP_EXACT:       /* Fall through */
+      case OP_EXACT:
       scode += 2;
+      /* Fall through */
       case OP_CHAR:
-      case OP_CHARI:
       case OP_PLUS:
       case OP_MINPLUS:
       case OP_POSPLUS:
       if (!inassert) return -1;
-      if (c < 0)
+      if (c < 0) c = scode[1];
-        {
+        else if (c != scode[1]) return -1;
-        c = scode[1];
+      break;
-        if ((*options & PCRE_CASELESS) != 0) c |= REQ_CASELESS;
-        }
+      case OP_EXACTI:
-      else if (c != scode[1]) return -1;
+      scode += 2;
+      /* Fall through */
+      case OP_CHARI:
+      case OP_PLUSI:
+      case OP_MINPLUSI:
+      case OP_POSPLUSI:
+      if (!inassert) return -1;
+      if (c < 0) c = scode[1] | REQ_CASELESS;
+        else if (c != scode[1]) return -1;
       break;
       }
-Line 6939 
 while (ptr[skipatstart] == CHAR_LEFT_PAR
+Line 6974 
 while (ptr[skipatstart] == CHAR_LEFT_PAR
  utf8 = (options & PCRE_UTF8) != 0;
  /* Can't support UTF8 unless PCRE has been compiled to include the code. The
  return of an error code from _pcre_valid_utf8() is a new feature, introduced in
  release 8.13. The only use we make of it here is to adjust the offset value to
  the end of the string for a short string error, for compatibility with previous
  versions. */
  #ifdef SUPPORT_UTF8
-Line 7063 
 outside can help speed up starting point
+Line 7098 
 outside can help speed up starting point
  ptr += skipatstart;
  code = cworkspace;
  *code = OP_BRA;
- (void)compile_regex(cd->external_options, cd->external_options & PCRE_IMS,
+ (void)compile_regex(cd->external_options, &code, &ptr, &errorcode, FALSE,
-   &code, &ptr, &errorcode, FALSE, FALSE, 0, &firstbyte, &reqbyte, NULL, cd,
+   FALSE, 0, &firstbyte, &reqbyte, NULL, cd, &length);
-   &length);
  if (errorcode != 0) goto PCRE_EARLY_ERROR_RETURN;
  DPRINTF(("end pre-compile: length=%d workspace=%d\n", length,
-Line 7137 
 of the function here. */
+Line 7171 
 of the function here. */
  ptr = (const uschar *)pattern + skipatstart;
  code = (uschar *)codestart;
  *code = OP_BRA;
- (void)compile_regex(re->options, re->options & PCRE_IMS, &code, &ptr,
+ (void)compile_regex(re->options, &code, &ptr, &errorcode, FALSE, FALSE, 0,
-   &errorcode, FALSE, FALSE, 0, &firstbyte, &reqbyte, NULL, cd, NULL);
+   &firstbyte, &reqbyte, NULL, cd, NULL);
  re->top_bracket = cd->bracount;
  re->top_backref = cd->top_backref;
  re->flags = cd->external_flags;
-Line 7204 
 if (cd->check_lookbehind)
+Line 7238 
 if (cd->check_lookbehind)
        uschar *be = cc - 1 - LINK_SIZE + GET(cc, -LINK_SIZE);
        int end_op = *be;
        *be = OP_END;
-       fixed_length = find_fixedlength(cc, re->options, TRUE, cd);
+       fixed_length = find_fixedlength(cc, (re->options & PCRE_UTF8) != 0, TRUE,
+         cd);
        *be = end_op;
        DPRINTF(("fixed length = %d\n", fixed_length));
        if (fixed_length < 0)
-Line 7243 
 start with ^. and also when all branches
+Line 7278 
 start with ^. and also when all branches
  if ((re->options & PCRE_ANCHORED) == 0)
    {
-   int temp_options = re->options;   /* May get changed during these scans */
+   if (is_anchored(codestart, 0, cd->backref_map))
-   if (is_anchored(codestart, &temp_options, 0, cd->backref_map))
      re->options |= PCRE_ANCHORED;
    else
      {
      if (firstbyte < 0)
-       firstbyte = find_firstassertedchar(codestart, &temp_options, FALSE);
+       firstbyte = find_firstassertedchar(codestart, FALSE);
      if (firstbyte >= 0)   /* Remove caseless flag for non-caseable chars */
        {
        int ch = firstbyte & 255;

 Legend:



Removed from v.602
 


changed lines


 
Added in v.605
 Legend:



Removed from v.602
 


changed lines


 
Added in v.605
-Removed from v.602
+Added in v.605

webmaster@exim.org	ViewVC Help
Powered by ViewVC 1.1.12