/[pcre]/code/trunk/pcre_exec.c
ViewVC logotype

Diff of /code/trunk/pcre_exec.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 435 by ph10, Sat Sep 5 10:20:44 2009 UTC revision 511 by ph10, Mon Mar 29 09:25:38 2010 UTC
# Line 6  Line 6 
6  and semantics are as close as possible to those of the Perl 5 language.  and semantics are as close as possible to those of the Perl 5 language.
7    
8                         Written by Philip Hazel                         Written by Philip Hazel
9             Copyright (c) 1997-2009 University of Cambridge             Copyright (c) 1997-2010 University of Cambridge
10    
11  -----------------------------------------------------------------------------  -----------------------------------------------------------------------------
12  Redistribution and use in source and binary forms, with or without  Redistribution and use in source and binary forms, with or without
# Line 71  defined PCRE_ERROR_xxx codes, which are Line 71  defined PCRE_ERROR_xxx codes, which are
71  /* Special internal returns from the match() function. Make them sufficiently  /* Special internal returns from the match() function. Make them sufficiently
72  negative to avoid the external error codes. */  negative to avoid the external error codes. */
73    
74  #define MATCH_COMMIT       (-999)  #define MATCH_ACCEPT       (-999)
75  #define MATCH_PRUNE        (-998)  #define MATCH_COMMIT       (-998)
76  #define MATCH_SKIP         (-997)  #define MATCH_PRUNE        (-997)
77  #define MATCH_THEN         (-996)  #define MATCH_SKIP         (-996)
78    #define MATCH_SKIP_ARG     (-995)
79    #define MATCH_THEN         (-994)
80    
81    /* This is a convenience macro for code that occurs many times. */
82    
83    #define MRRETURN(ra) \
84      { \
85      md->mark = markptr; \
86      RRETURN(ra); \
87      }
88    
89  /* Maximum number of ints of offset to save on the stack for recursive calls.  /* Maximum number of ints of offset to save on the stack for recursive calls.
90  If the offset vector is bigger, malloc is used. This should be a multiple of 3,  If the offset vector is bigger, malloc is used. This should be a multiple of 3,
# Line 89  static const char rep_max[] = { 0, 0, 0, Line 99  static const char rep_max[] = { 0, 0, 0,
99    
100    
101    
102  #ifdef DEBUG  #ifdef PCRE_DEBUG
103  /*************************************************  /*************************************************
104  *        Debugging function to print chars       *  *        Debugging function to print chars       *
105  *************************************************/  *************************************************/
# Line 141  match_ref(int offset, register USPTR ept Line 151  match_ref(int offset, register USPTR ept
151  {  {
152  USPTR p = md->start_subject + md->offset_vector[offset];  USPTR p = md->start_subject + md->offset_vector[offset];
153    
154  #ifdef DEBUG  #ifdef PCRE_DEBUG
155  if (eptr >= md->end_subject)  if (eptr >= md->end_subject)
156    printf("matching subject <null>");    printf("matching subject <null>");
157  else  else
# Line 249  enum { RM1=1, RM2,  RM3,  RM4,  RM5,  RM Line 259  enum { RM1=1, RM2,  RM3,  RM4,  RM5,  RM
259    
260  /* These versions of the macros use the stack, as normal. There are debugging  /* These versions of the macros use the stack, as normal. There are debugging
261  versions and production versions. Note that the "rw" argument of RMATCH isn't  versions and production versions. Note that the "rw" argument of RMATCH isn't
262  actuall used in this definition. */  actually used in this definition. */
263    
264  #ifndef NO_RECURSE  #ifndef NO_RECURSE
265  #define REGISTER register  #define REGISTER register
266    
267  #ifdef DEBUG  #ifdef PCRE_DEBUG
268  #define RMATCH(ra,rb,rc,rd,re,rf,rg,rw) \  #define RMATCH(ra,rb,rc,rd,re,rf,rg,rw) \
269    { \    { \
270    printf("match() called in line %d\n", __LINE__); \    printf("match() called in line %d\n", __LINE__); \
271    rrc = match(ra,rb,mstart,rc,rd,re,rf,rg,rdepth+1); \    rrc = match(ra,rb,mstart,markptr,rc,rd,re,rf,rg,rdepth+1); \
272    printf("to line %d\n", __LINE__); \    printf("to line %d\n", __LINE__); \
273    }    }
274  #define RRETURN(ra) \  #define RRETURN(ra) \
# Line 268  actuall used in this definition. */ Line 278  actuall used in this definition. */
278    }    }
279  #else  #else
280  #define RMATCH(ra,rb,rc,rd,re,rf,rg,rw) \  #define RMATCH(ra,rb,rc,rd,re,rf,rg,rw) \
281    rrc = match(ra,rb,mstart,rc,rd,re,rf,rg,rdepth+1)    rrc = match(ra,rb,mstart,markptr,rc,rd,re,rf,rg,rdepth+1)
282  #define RRETURN(ra) return ra  #define RRETURN(ra) return ra
283  #endif  #endif
284    
# Line 288  argument of match(), which never changes Line 298  argument of match(), which never changes
298    newframe->Xeptr = ra;\    newframe->Xeptr = ra;\
299    newframe->Xecode = rb;\    newframe->Xecode = rb;\
300    newframe->Xmstart = mstart;\    newframe->Xmstart = mstart;\
301      newframe->Xmarkptr = markptr;\
302    newframe->Xoffset_top = rc;\    newframe->Xoffset_top = rc;\
303    newframe->Xims = re;\    newframe->Xims = re;\
304    newframe->Xeptrb = rf;\    newframe->Xeptrb = rf;\
# Line 325  typedef struct heapframe { Line 336  typedef struct heapframe {
336    USPTR Xeptr;    USPTR Xeptr;
337    const uschar *Xecode;    const uschar *Xecode;
338    USPTR Xmstart;    USPTR Xmstart;
339      USPTR Xmarkptr;
340    int Xoffset_top;    int Xoffset_top;
341    long int Xims;    long int Xims;
342    eptrblock *Xeptrb;    eptrblock *Xeptrb;
# Line 411  the subject. */ Line 423  the subject. */
423    if (md->partial != 0 && eptr >= md->end_subject && eptr > mstart)\    if (md->partial != 0 && eptr >= md->end_subject && eptr > mstart)\
424      {\      {\
425      md->hitend = TRUE;\      md->hitend = TRUE;\
426      if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);\      if (md->partial > 1) MRRETURN(PCRE_ERROR_PARTIAL);\
427      }      }
428    
429  #define SCHECK_PARTIAL()\  #define SCHECK_PARTIAL()\
430    if (md->partial && eptr > mstart)\    if (md->partial != 0 && eptr > mstart)\
431      {\      {\
432      md->hitend = TRUE;\      md->hitend = TRUE;\
433      if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);\      if (md->partial > 1) MRRETURN(PCRE_ERROR_PARTIAL);\
434      }      }
435    
436    
# Line 432  Arguments: Line 444  Arguments:
444     ecode       pointer to current position in compiled code     ecode       pointer to current position in compiled code
445     mstart      pointer to the current match start position (can be modified     mstart      pointer to the current match start position (can be modified
446                   by encountering \K)                   by encountering \K)
447       markptr     pointer to the most recent MARK name, or NULL
448     offset_top  current top pointer     offset_top  current top pointer
449     md          pointer to "static" info for the match     md          pointer to "static" info for the match
450     ims         current /i, /m, and /s options     ims         current /i, /m, and /s options
# Line 445  Arguments: Line 458  Arguments:
458    
459  Returns:       MATCH_MATCH if matched            )  these values are >= 0  Returns:       MATCH_MATCH if matched            )  these values are >= 0
460                 MATCH_NOMATCH if failed to match  )                 MATCH_NOMATCH if failed to match  )
461                   a negative MATCH_xxx value for PRUNE, SKIP, etc
462                 a negative PCRE_ERROR_xxx value if aborted by an error condition                 a negative PCRE_ERROR_xxx value if aborted by an error condition
463                   (e.g. stopped by repeated call or recursion limit)                   (e.g. stopped by repeated call or recursion limit)
464  */  */
465    
466  static int  static int
467  match(REGISTER USPTR eptr, REGISTER const uschar *ecode, USPTR mstart,  match(REGISTER USPTR eptr, REGISTER const uschar *ecode, USPTR mstart,
468    int offset_top, match_data *md, unsigned long int ims, eptrblock *eptrb,    const uschar *markptr, int offset_top, match_data *md, unsigned long int ims,
469    int flags, unsigned int rdepth)    eptrblock *eptrb, int flags, unsigned int rdepth)
470  {  {
471  /* These variables do not need to be preserved over recursion in this function,  /* These variables do not need to be preserved over recursion in this function,
472  so they can be ordinary variables in all cases. Mark some of them with  so they can be ordinary variables in all cases. Mark some of them with
# Line 480  frame->Xprevframe = NULL;            /* Line 494  frame->Xprevframe = NULL;            /*
494  frame->Xeptr = eptr;  frame->Xeptr = eptr;
495  frame->Xecode = ecode;  frame->Xecode = ecode;
496  frame->Xmstart = mstart;  frame->Xmstart = mstart;
497    frame->Xmarkptr = markptr;
498  frame->Xoffset_top = offset_top;  frame->Xoffset_top = offset_top;
499  frame->Xims = ims;  frame->Xims = ims;
500  frame->Xeptrb = eptrb;  frame->Xeptrb = eptrb;
# Line 495  HEAP_RECURSE: Line 510  HEAP_RECURSE:
510  #define eptr               frame->Xeptr  #define eptr               frame->Xeptr
511  #define ecode              frame->Xecode  #define ecode              frame->Xecode
512  #define mstart             frame->Xmstart  #define mstart             frame->Xmstart
513    #define markptr            frame->Xmarkptr
514  #define offset_top         frame->Xoffset_top  #define offset_top         frame->Xoffset_top
515  #define ims                frame->Xims  #define ims                frame->Xims
516  #define eptrb              frame->Xeptrb  #define eptrb              frame->Xeptrb
# Line 622  TAIL_RECURSE: Line 638  TAIL_RECURSE:
638  /* OK, now we can get on with the real code of the function. Recursive calls  /* OK, now we can get on with the real code of the function. Recursive calls
639  are specified by the macro RMATCH and RRETURN is used to return. When  are specified by the macro RMATCH and RRETURN is used to return. When
640  NO_RECURSE is *not* defined, these just turn into a recursive call to match()  NO_RECURSE is *not* defined, these just turn into a recursive call to match()
641  and a "return", respectively (possibly with some debugging if DEBUG is  and a "return", respectively (possibly with some debugging if PCRE_DEBUG is
642  defined). However, RMATCH isn't like a function call because it's quite a  defined). However, RMATCH isn't like a function call because it's quite a
643  complicated macro. It has to be used in one particular way. This shouldn't,  complicated macro. It has to be used in one particular way. This shouldn't,
644  however, impact performance when true recursion is being used. */  however, impact performance when true recursion is being used. */
# Line 663  for (;;) Line 679  for (;;)
679    {    {
680    minimize = possessive = FALSE;    minimize = possessive = FALSE;
681    op = *ecode;    op = *ecode;
682    
683    switch(op)    switch(op)
684      {      {
685        case OP_MARK:
686        markptr = ecode + 2;
687        RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode] + ecode[1], offset_top, md,
688          ims, eptrb, flags, RM51);
689    
690        /* A return of MATCH_SKIP_ARG means that matching failed at SKIP with an
691        argument, and we must check whether that argument matches this MARK's
692        argument. It is passed back in md->start_match_ptr (an overloading of that
693        variable). If it does match, we reset that variable to the current subject
694        position and return MATCH_SKIP. Otherwise, pass back the return code
695        unaltered. */
696    
697        if (rrc == MATCH_SKIP_ARG &&
698            strcmp((char *)markptr, (char *)(md->start_match_ptr)) == 0)
699          {
700          md->start_match_ptr = eptr;
701          RRETURN(MATCH_SKIP);
702          }
703    
704        if (md->mark == NULL) md->mark = markptr;
705        RRETURN(rrc);
706    
707      case OP_FAIL:      case OP_FAIL:
708      RRETURN(MATCH_NOMATCH);      MRRETURN(MATCH_NOMATCH);
709    
710        case OP_COMMIT:
711        RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md,
712          ims, eptrb, flags, RM52);
713        if (rrc != MATCH_NOMATCH) RRETURN(rrc);
714        MRRETURN(MATCH_COMMIT);
715    
716      case OP_PRUNE:      case OP_PRUNE:
717      RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md,      RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md,
718        ims, eptrb, flags, RM51);        ims, eptrb, flags, RM51);
719      if (rrc != MATCH_NOMATCH) RRETURN(rrc);      if (rrc != MATCH_NOMATCH) RRETURN(rrc);
720      RRETURN(MATCH_PRUNE);      MRRETURN(MATCH_PRUNE);
721    
722      case OP_COMMIT:      case OP_PRUNE_ARG:
723      RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md,      RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode] + ecode[1], offset_top, md,
724        ims, eptrb, flags, RM52);        ims, eptrb, flags, RM51);
725      if (rrc != MATCH_NOMATCH) RRETURN(rrc);      if (rrc != MATCH_NOMATCH) RRETURN(rrc);
726      RRETURN(MATCH_COMMIT);      md->mark = ecode + 2;
727        RRETURN(MATCH_PRUNE);
728    
729      case OP_SKIP:      case OP_SKIP:
730      RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md,      RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md,
731        ims, eptrb, flags, RM53);        ims, eptrb, flags, RM53);
732      if (rrc != MATCH_NOMATCH) RRETURN(rrc);      if (rrc != MATCH_NOMATCH) RRETURN(rrc);
733      md->start_match_ptr = eptr;   /* Pass back current position */      md->start_match_ptr = eptr;   /* Pass back current position */
734      RRETURN(MATCH_SKIP);      MRRETURN(MATCH_SKIP);
735    
736        case OP_SKIP_ARG:
737        RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode] + ecode[1], offset_top, md,
738          ims, eptrb, flags, RM53);
739        if (rrc != MATCH_NOMATCH) RRETURN(rrc);
740    
741        /* Pass back the current skip name by overloading md->start_match_ptr and
742        returning the special MATCH_SKIP_ARG return code. This will either be
743        caught by a matching MARK, or get to the top, where it is treated the same
744        as PRUNE. */
745    
746        md->start_match_ptr = ecode + 2;
747        RRETURN(MATCH_SKIP_ARG);
748    
749      case OP_THEN:      case OP_THEN:
750      RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md,      RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md,
751        ims, eptrb, flags, RM54);        ims, eptrb, flags, RM54);
752      if (rrc != MATCH_NOMATCH) RRETURN(rrc);      if (rrc != MATCH_NOMATCH) RRETURN(rrc);
753        MRRETURN(MATCH_THEN);
754    
755        case OP_THEN_ARG:
756        RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode] + ecode[1], offset_top, md,
757          ims, eptrb, flags, RM54);
758        if (rrc != MATCH_NOMATCH) RRETURN(rrc);
759        md->mark = ecode + 2;
760      RRETURN(MATCH_THEN);      RRETURN(MATCH_THEN);
761    
762      /* Handle a capturing bracket. If there is space in the offset vector, save      /* Handle a capturing bracket. If there is space in the offset vector, save
# Line 713  for (;;) Line 778  for (;;)
778      number = GET2(ecode, 1+LINK_SIZE);      number = GET2(ecode, 1+LINK_SIZE);
779      offset = number << 1;      offset = number << 1;
780    
781  #ifdef DEBUG  #ifdef PCRE_DEBUG
782      printf("start bracket %d\n", number);      printf("start bracket %d\n", number);
783      printf("subject=");      printf("subject=");
784      pchars(eptr, 16, TRUE, md);      pchars(eptr, 16, TRUE, md);
# Line 747  for (;;) Line 812  for (;;)
812        md->offset_vector[offset+1] = save_offset2;        md->offset_vector[offset+1] = save_offset2;
813        md->offset_vector[md->offset_end - number] = save_offset3;        md->offset_vector[md->offset_end - number] = save_offset3;
814    
815          if (rrc != MATCH_THEN) md->mark = markptr;
816        RRETURN(MATCH_NOMATCH);        RRETURN(MATCH_NOMATCH);
817        }        }
818    
# Line 786  for (;;) Line 852  for (;;)
852    
853          RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md, ims,          RMATCH(eptr, ecode + _pcre_OP_lengths[*ecode], offset_top, md, ims,
854            eptrb, flags, RM48);            eptrb, flags, RM48);
855          RRETURN(rrc);          if (rrc == MATCH_NOMATCH) md->mark = markptr;
856            RRETURN(rrc);
857          }          }
858    
859        /* For non-final alternatives, continue the loop for a NOMATCH result;        /* For non-final alternatives, continue the loop for a NOMATCH result;
# Line 829  for (;;) Line 896  for (;;)
896          cb.capture_top      = offset_top/2;          cb.capture_top      = offset_top/2;
897          cb.capture_last     = md->capture_last;          cb.capture_last     = md->capture_last;
898          cb.callout_data     = md->callout_data;          cb.callout_data     = md->callout_data;
899          if ((rrc = (*pcre_callout)(&cb)) > 0) RRETURN(MATCH_NOMATCH);          if ((rrc = (*pcre_callout)(&cb)) > 0) MRRETURN(MATCH_NOMATCH);
900          if (rrc < 0) RRETURN(rrc);          if (rrc < 0) RRETURN(rrc);
901          }          }
902        ecode += _pcre_OP_lengths[OP_CALLOUT];        ecode += _pcre_OP_lengths[OP_CALLOUT];
# Line 839  for (;;) Line 906  for (;;)
906    
907      /* Now see what the actual condition is */      /* Now see what the actual condition is */
908    
909      if (condcode == OP_RREF)         /* Recursion test */      if (condcode == OP_RREF || condcode == OP_NRREF)    /* Recursion test */
910        {        {
911        offset = GET2(ecode, LINK_SIZE + 2);     /* Recursion group number*/        if (md->recursive == NULL)                /* Not recursing => FALSE */
912        condition = md->recursive != NULL &&          {
913          (offset == RREF_ANY || offset == md->recursive->group_num);          condition = FALSE;
914        ecode += condition? 3 : GET(ecode, 1);          ecode += GET(ecode, 1);
915            }
916          else
917            {
918            int recno = GET2(ecode, LINK_SIZE + 2);   /* Recursion group number*/
919            condition =  (recno == RREF_ANY || recno == md->recursive->group_num);
920    
921            /* If the test is for recursion into a specific subpattern, and it is
922            false, but the test was set up by name, scan the table to see if the
923            name refers to any other numbers, and test them. The condition is true
924            if any one is set. */
925    
926            if (!condition && condcode == OP_NRREF && recno != RREF_ANY)
927              {
928              uschar *slotA = md->name_table;
929              for (i = 0; i < md->name_count; i++)
930                {
931                if (GET2(slotA, 0) == recno) break;
932                slotA += md->name_entry_size;
933                }
934    
935              /* Found a name for the number - there can be only one; duplicate
936              names for different numbers are allowed, but not vice versa. First
937              scan down for duplicates. */
938    
939              if (i < md->name_count)
940                {
941                uschar *slotB = slotA;
942                while (slotB > md->name_table)
943                  {
944                  slotB -= md->name_entry_size;
945                  if (strcmp((char *)slotA + 2, (char *)slotB + 2) == 0)
946                    {
947                    condition = GET2(slotB, 0) == md->recursive->group_num;
948                    if (condition) break;
949                    }
950                  else break;
951                  }
952    
953                /* Scan up for duplicates */
954    
955                if (!condition)
956                  {
957                  slotB = slotA;
958                  for (i++; i < md->name_count; i++)
959                    {
960                    slotB += md->name_entry_size;
961                    if (strcmp((char *)slotA + 2, (char *)slotB + 2) == 0)
962                      {
963                      condition = GET2(slotB, 0) == md->recursive->group_num;
964                      if (condition) break;
965                      }
966                    else break;
967                    }
968                  }
969                }
970              }
971    
972            /* Chose branch according to the condition */
973    
974            ecode += condition? 3 : GET(ecode, 1);
975            }
976        }        }
977    
978      else if (condcode == OP_CREF)    /* Group used test */      else if (condcode == OP_CREF || condcode == OP_NCREF)  /* Group used test */
979        {        {
980        offset = GET2(ecode, LINK_SIZE+2) << 1;  /* Doubled ref number */        offset = GET2(ecode, LINK_SIZE+2) << 1;  /* Doubled ref number */
981        condition = offset < offset_top && md->offset_vector[offset] >= 0;        condition = offset < offset_top && md->offset_vector[offset] >= 0;
982    
983          /* If the numbered capture is unset, but the reference was by name,
984          scan the table to see if the name refers to any other numbers, and test
985          them. The condition is true if any one is set. This is tediously similar
986          to the code above, but not close enough to try to amalgamate. */
987    
988          if (!condition && condcode == OP_NCREF)
989            {
990            int refno = offset >> 1;
991            uschar *slotA = md->name_table;
992    
993            for (i = 0; i < md->name_count; i++)
994              {
995              if (GET2(slotA, 0) == refno) break;
996              slotA += md->name_entry_size;
997              }
998    
999            /* Found a name for the number - there can be only one; duplicate names
1000            for different numbers are allowed, but not vice versa. First scan down
1001            for duplicates. */
1002    
1003            if (i < md->name_count)
1004              {
1005              uschar *slotB = slotA;
1006              while (slotB > md->name_table)
1007                {
1008                slotB -= md->name_entry_size;
1009                if (strcmp((char *)slotA + 2, (char *)slotB + 2) == 0)
1010                  {
1011                  offset = GET2(slotB, 0) << 1;
1012                  condition = offset < offset_top &&
1013                    md->offset_vector[offset] >= 0;
1014                  if (condition) break;
1015                  }
1016                else break;
1017                }
1018    
1019              /* Scan up for duplicates */
1020    
1021              if (!condition)
1022                {
1023                slotB = slotA;
1024                for (i++; i < md->name_count; i++)
1025                  {
1026                  slotB += md->name_entry_size;
1027                  if (strcmp((char *)slotA + 2, (char *)slotB + 2) == 0)
1028                    {
1029                    offset = GET2(slotB, 0) << 1;
1030                    condition = offset < offset_top &&
1031                      md->offset_vector[offset] >= 0;
1032                    if (condition) break;
1033                    }
1034                  else break;
1035                  }
1036                }
1037              }
1038            }
1039    
1040          /* Chose branch according to the condition */
1041    
1042        ecode += condition? 3 : GET(ecode, 1);        ecode += condition? 3 : GET(ecode, 1);
1043        }        }
1044    
# Line 911  for (;;) Line 1099  for (;;)
1099      break;      break;
1100    
1101    
1102        /* Before OP_ACCEPT there may be any number of OP_CLOSE opcodes,
1103        to close any currently open capturing brackets. */
1104    
1105        case OP_CLOSE:
1106        number = GET2(ecode, 1);
1107        offset = number << 1;
1108    
1109    #ifdef PCRE_DEBUG
1110          printf("end bracket %d at *ACCEPT", number);
1111          printf("\n");
1112    #endif
1113    
1114        md->capture_last = number;
1115        if (offset >= md->offset_max) md->offset_overflow = TRUE; else
1116          {
1117          md->offset_vector[offset] =
1118            md->offset_vector[md->offset_end - number];
1119          md->offset_vector[offset+1] = eptr - md->start_subject;
1120          if (offset_top <= offset) offset_top = offset + 2;
1121          }
1122        ecode += 3;
1123        break;
1124    
1125    
1126      /* End of the pattern, either real or forced. If we are in a top-level      /* End of the pattern, either real or forced. If we are in a top-level
1127      recursion, we should restore the offsets appropriately and continue from      recursion, we should restore the offsets appropriately and continue from
1128      after the call. */      after the call. */
# Line 924  for (;;) Line 1136  for (;;)
1136        md->recursive = rec->prevrec;        md->recursive = rec->prevrec;
1137        memmove(md->offset_vector, rec->offset_save,        memmove(md->offset_vector, rec->offset_save,
1138          rec->saved_max * sizeof(int));          rec->saved_max * sizeof(int));
1139        mstart = rec->save_start;        offset_top = rec->save_offset_top;
1140        ims = original_ims;        ims = original_ims;
1141        ecode = rec->after_call;        ecode = rec->after_call;
1142        break;        break;
1143        }        }
1144    
1145      /* Otherwise, if PCRE_NOTEMPTY is set, fail if we have matched an empty      /* Otherwise, if we have matched an empty string, fail if PCRE_NOTEMPTY is
1146      string - backtracking will then try other alternatives, if any. */      set, or if PCRE_NOTEMPTY_ATSTART is set and we have matched at the start of
1147        the subject. In both cases, backtracking will then try other alternatives,
1148        if any. */
1149    
1150        if (eptr == mstart &&
1151            (md->notempty ||
1152              (md->notempty_atstart &&
1153                mstart == md->start_subject + md->start_offset)))
1154          MRRETURN(MATCH_NOMATCH);
1155    
1156        /* Otherwise, we have a match. */
1157    
     if (md->notempty && eptr == mstart) RRETURN(MATCH_NOMATCH);  
1158      md->end_match_ptr = eptr;           /* Record where we ended */      md->end_match_ptr = eptr;           /* Record where we ended */
1159      md->end_offset_top = offset_top;    /* and how many extracts were taken */      md->end_offset_top = offset_top;    /* and how many extracts were taken */
1160      md->start_match_ptr = mstart;       /* and the start (\K can modify) */      md->start_match_ptr = mstart;       /* and the start (\K can modify) */
1161      RRETURN(MATCH_MATCH);      MRRETURN(((op == OP_END)? MATCH_MATCH : MATCH_ACCEPT));
1162    
1163      /* Change option settings */      /* Change option settings */
1164    
# Line 959  for (;;) Line 1180  for (;;)
1180        {        {
1181        RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, ims, NULL, 0,        RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, ims, NULL, 0,
1182          RM4);          RM4);
1183        if (rrc == MATCH_MATCH) break;        if (rrc == MATCH_MATCH || rrc == MATCH_ACCEPT)
1184            {
1185            mstart = md->start_match_ptr;   /* In case \K reset it */
1186            break;
1187            }
1188        if (rrc != MATCH_NOMATCH && rrc != MATCH_THEN) RRETURN(rrc);        if (rrc != MATCH_NOMATCH && rrc != MATCH_THEN) RRETURN(rrc);
1189        ecode += GET(ecode, 1);        ecode += GET(ecode, 1);
1190        }        }
1191      while (*ecode == OP_ALT);      while (*ecode == OP_ALT);
1192      if (*ecode == OP_KET) RRETURN(MATCH_NOMATCH);      if (*ecode == OP_KET) MRRETURN(MATCH_NOMATCH);
1193    
1194      /* If checking an assertion for a condition, return MATCH_MATCH. */      /* If checking an assertion for a condition, return MATCH_MATCH. */
1195    
# Line 978  for (;;) Line 1203  for (;;)
1203      offset_top = md->end_offset_top;      offset_top = md->end_offset_top;
1204      continue;      continue;
1205    
1206      /* Negative assertion: all branches must fail to match */      /* Negative assertion: all branches must fail to match. Encountering SKIP,
1207        PRUNE, or COMMIT means we must assume failure without checking subsequent
1208        branches. */
1209    
1210      case OP_ASSERT_NOT:      case OP_ASSERT_NOT:
1211      case OP_ASSERTBACK_NOT:      case OP_ASSERTBACK_NOT:
# Line 986  for (;;) Line 1213  for (;;)
1213        {        {
1214        RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, ims, NULL, 0,        RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, ims, NULL, 0,
1215          RM5);          RM5);
1216        if (rrc == MATCH_MATCH) RRETURN(MATCH_NOMATCH);        if (rrc == MATCH_MATCH || rrc == MATCH_ACCEPT) MRRETURN(MATCH_NOMATCH);
1217          if (rrc == MATCH_SKIP || rrc == MATCH_PRUNE || rrc == MATCH_COMMIT)
1218            {
1219            do ecode += GET(ecode,1); while (*ecode == OP_ALT);
1220            break;
1221            }
1222        if (rrc != MATCH_NOMATCH && rrc != MATCH_THEN) RRETURN(rrc);        if (rrc != MATCH_NOMATCH && rrc != MATCH_THEN) RRETURN(rrc);
1223        ecode += GET(ecode,1);        ecode += GET(ecode,1);
1224        }        }
# Line 1010  for (;;) Line 1242  for (;;)
1242        while (i-- > 0)        while (i-- > 0)
1243          {          {
1244          eptr--;          eptr--;
1245          if (eptr < md->start_subject) RRETURN(MATCH_NOMATCH);          if (eptr < md->start_subject) MRRETURN(MATCH_NOMATCH);
1246          BACKCHAR(eptr);          BACKCHAR(eptr);
1247          }          }
1248        }        }
# Line 1021  for (;;) Line 1253  for (;;)
1253    
1254        {        {
1255        eptr -= GET(ecode, 1);        eptr -= GET(ecode, 1);
1256        if (eptr < md->start_subject) RRETURN(MATCH_NOMATCH);        if (eptr < md->start_subject) MRRETURN(MATCH_NOMATCH);
1257        }        }
1258    
1259      /* Save the earliest consulted character, then skip to next op code */      /* Save the earliest consulted character, then skip to next op code */
# Line 1050  for (;;) Line 1282  for (;;)
1282        cb.capture_top      = offset_top/2;        cb.capture_top      = offset_top/2;
1283        cb.capture_last     = md->capture_last;        cb.capture_last     = md->capture_last;
1284        cb.callout_data     = md->callout_data;        cb.callout_data     = md->callout_data;
1285        if ((rrc = (*pcre_callout)(&cb)) > 0) RRETURN(MATCH_NOMATCH);        if ((rrc = (*pcre_callout)(&cb)) > 0) MRRETURN(MATCH_NOMATCH);
1286        if (rrc < 0) RRETURN(rrc);        if (rrc < 0) RRETURN(rrc);
1287        }        }
1288      ecode += 2 + 2*LINK_SIZE;      ecode += 2 + 2*LINK_SIZE;
# Line 1105  for (;;) Line 1337  for (;;)
1337    
1338        memcpy(new_recursive.offset_save, md->offset_vector,        memcpy(new_recursive.offset_save, md->offset_vector,
1339              new_recursive.saved_max * sizeof(int));              new_recursive.saved_max * sizeof(int));
1340        new_recursive.save_start = mstart;        new_recursive.save_offset_top = offset_top;
       mstart = eptr;  
1341    
1342        /* OK, now we can do the recursion. For each top-level alternative we        /* OK, now we can do the recursion. For each top-level alternative we
1343        restore the offset and recursion data. */        restore the offset and recursion data. */
# Line 1117  for (;;) Line 1348  for (;;)
1348          {          {
1349          RMATCH(eptr, callpat + _pcre_OP_lengths[*callpat], offset_top,          RMATCH(eptr, callpat + _pcre_OP_lengths[*callpat], offset_top,
1350            md, ims, eptrb, flags, RM6);            md, ims, eptrb, flags, RM6);
1351          if (rrc == MATCH_MATCH)          if (rrc == MATCH_MATCH || rrc == MATCH_ACCEPT)
1352            {            {
1353            DPRINTF(("Recursion matched\n"));            DPRINTF(("Recursion matched\n"));
1354            md->recursive = new_recursive.prevrec;            md->recursive = new_recursive.prevrec;
1355            if (new_recursive.offset_save != stacksave)            if (new_recursive.offset_save != stacksave)
1356              (pcre_free)(new_recursive.offset_save);              (pcre_free)(new_recursive.offset_save);
1357            RRETURN(MATCH_MATCH);            MRRETURN(MATCH_MATCH);
1358            }            }
1359          else if (rrc != MATCH_NOMATCH && rrc != MATCH_THEN)          else if (rrc != MATCH_NOMATCH && rrc != MATCH_THEN)
1360            {            {
# Line 1144  for (;;) Line 1375  for (;;)
1375        md->recursive = new_recursive.prevrec;        md->recursive = new_recursive.prevrec;
1376        if (new_recursive.offset_save != stacksave)        if (new_recursive.offset_save != stacksave)
1377          (pcre_free)(new_recursive.offset_save);          (pcre_free)(new_recursive.offset_save);
1378        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1379        }        }
1380      /* Control never reaches here */      /* Control never reaches here */
1381    
# Line 1153  for (;;) Line 1384  for (;;)
1384      a move back into the brackets. Friedl calls these "atomic" subpatterns.      a move back into the brackets. Friedl calls these "atomic" subpatterns.
1385      Check the alternative branches in turn - the matching won't pass the KET      Check the alternative branches in turn - the matching won't pass the KET
1386      for this kind of subpattern. If any one branch matches, we carry on as at      for this kind of subpattern. If any one branch matches, we carry on as at
1387      the end of a normal bracket, leaving the subject pointer. */      the end of a normal bracket, leaving the subject pointer, but resetting
1388        the start-of-match value in case it was changed by \K. */
1389    
1390      case OP_ONCE:      case OP_ONCE:
1391      prev = ecode;      prev = ecode;
# Line 1162  for (;;) Line 1394  for (;;)
1394      do      do
1395        {        {
1396        RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, ims, eptrb, 0, RM7);        RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, ims, eptrb, 0, RM7);
1397        if (rrc == MATCH_MATCH) break;        if (rrc == MATCH_MATCH)  /* Note: _not_ MATCH_ACCEPT */
1398            {
1399            mstart = md->start_match_ptr;
1400            break;
1401            }
1402        if (rrc != MATCH_NOMATCH && rrc != MATCH_THEN) RRETURN(rrc);        if (rrc != MATCH_NOMATCH && rrc != MATCH_THEN) RRETURN(rrc);
1403        ecode += GET(ecode,1);        ecode += GET(ecode,1);
1404        }        }
# Line 1281  for (;;) Line 1517  for (;;)
1517        }        }
1518      else saved_eptr = NULL;      else saved_eptr = NULL;
1519    
1520      /* If we are at the end of an assertion group, stop matching and return      /* If we are at the end of an assertion group or an atomic group, stop
1521      MATCH_MATCH, but record the current high water mark for use by positive      matching and return MATCH_MATCH, but record the current high water mark for
1522      assertions. Do this also for the "once" (atomic) groups. */      use by positive assertions. We also need to record the match start in case
1523        it was changed by \K. */
1524    
1525      if (*prev == OP_ASSERT || *prev == OP_ASSERT_NOT ||      if (*prev == OP_ASSERT || *prev == OP_ASSERT_NOT ||
1526          *prev == OP_ASSERTBACK || *prev == OP_ASSERTBACK_NOT ||          *prev == OP_ASSERTBACK || *prev == OP_ASSERTBACK_NOT ||
# Line 1291  for (;;) Line 1528  for (;;)
1528        {        {
1529        md->end_match_ptr = eptr;      /* For ONCE */        md->end_match_ptr = eptr;      /* For ONCE */
1530        md->end_offset_top = offset_top;        md->end_offset_top = offset_top;
1531        RRETURN(MATCH_MATCH);        md->start_match_ptr = mstart;
1532          MRRETURN(MATCH_MATCH);
1533        }        }
1534    
1535      /* For capturing groups we have to check the group number back at the start      /* For capturing groups we have to check the group number back at the start
# Line 1305  for (;;) Line 1543  for (;;)
1543        number = GET2(prev, 1+LINK_SIZE);        number = GET2(prev, 1+LINK_SIZE);
1544        offset = number << 1;        offset = number << 1;
1545    
1546  #ifdef DEBUG  #ifdef PCRE_DEBUG
1547        printf("end bracket %d", number);        printf("end bracket %d", number);
1548        printf("\n");        printf("\n");
1549  #endif  #endif
# Line 1327  for (;;) Line 1565  for (;;)
1565          recursion_info *rec = md->recursive;          recursion_info *rec = md->recursive;
1566          DPRINTF(("Recursion (%d) succeeded - continuing\n", number));          DPRINTF(("Recursion (%d) succeeded - continuing\n", number));
1567          md->recursive = rec->prevrec;          md->recursive = rec->prevrec;
         mstart = rec->save_start;  
1568          memcpy(md->offset_vector, rec->offset_save,          memcpy(md->offset_vector, rec->offset_save,
1569            rec->saved_max * sizeof(int));            rec->saved_max * sizeof(int));
1570            offset_top = rec->save_offset_top;
1571          ecode = rec->after_call;          ecode = rec->after_call;
1572          ims = original_ims;          ims = original_ims;
1573          break;          break;
# Line 1386  for (;;) Line 1624  for (;;)
1624      /* Start of subject unless notbol, or after internal newline if multiline */      /* Start of subject unless notbol, or after internal newline if multiline */
1625    
1626      case OP_CIRC:      case OP_CIRC:
1627      if (md->notbol && eptr == md->start_subject) RRETURN(MATCH_NOMATCH);      if (md->notbol && eptr == md->start_subject) MRRETURN(MATCH_NOMATCH);
1628      if ((ims & PCRE_MULTILINE) != 0)      if ((ims & PCRE_MULTILINE) != 0)
1629        {        {
1630        if (eptr != md->start_subject &&        if (eptr != md->start_subject &&
1631            (eptr == md->end_subject || !WAS_NEWLINE(eptr)))            (eptr == md->end_subject || !WAS_NEWLINE(eptr)))
1632          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
1633        ecode++;        ecode++;
1634        break;        break;
1635        }        }
# Line 1400  for (;;) Line 1638  for (;;)
1638      /* Start of subject assertion */      /* Start of subject assertion */
1639    
1640      case OP_SOD:      case OP_SOD:
1641      if (eptr != md->start_subject) RRETURN(MATCH_NOMATCH);      if (eptr != md->start_subject) MRRETURN(MATCH_NOMATCH);
1642      ecode++;      ecode++;
1643      break;      break;
1644    
1645      /* Start of match assertion */      /* Start of match assertion */
1646    
1647      case OP_SOM:      case OP_SOM:
1648      if (eptr != md->start_subject + md->start_offset) RRETURN(MATCH_NOMATCH);      if (eptr != md->start_subject + md->start_offset) MRRETURN(MATCH_NOMATCH);
1649      ecode++;      ecode++;
1650      break;      break;
1651    
# Line 1425  for (;;) Line 1663  for (;;)
1663      if ((ims & PCRE_MULTILINE) != 0)      if ((ims & PCRE_MULTILINE) != 0)
1664        {        {
1665        if (eptr < md->end_subject)        if (eptr < md->end_subject)
1666          { if (!IS_NEWLINE(eptr)) RRETURN(MATCH_NOMATCH); }          { if (!IS_NEWLINE(eptr)) MRRETURN(MATCH_NOMATCH); }
1667        else        else
1668          { if (md->noteol) RRETURN(MATCH_NOMATCH); }          { if (md->noteol) MRRETURN(MATCH_NOMATCH); }
1669        ecode++;        ecode++;
1670        break;        break;
1671        }        }
1672      else      else
1673        {        {
1674        if (md->noteol) RRETURN(MATCH_NOMATCH);        if (md->noteol) MRRETURN(MATCH_NOMATCH);
1675        if (!md->endonly)        if (!md->endonly)
1676          {          {
1677          if (eptr != md->end_subject &&          if (eptr != md->end_subject &&
1678              (!IS_NEWLINE(eptr) || eptr != md->end_subject - md->nllen))              (!IS_NEWLINE(eptr) || eptr != md->end_subject - md->nllen))
1679            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
1680          ecode++;          ecode++;
1681          break;          break;
1682          }          }
# Line 1448  for (;;) Line 1686  for (;;)
1686      /* End of subject assertion (\z) */      /* End of subject assertion (\z) */
1687    
1688      case OP_EOD:      case OP_EOD:
1689      if (eptr < md->end_subject) RRETURN(MATCH_NOMATCH);      if (eptr < md->end_subject) MRRETURN(MATCH_NOMATCH);
1690      ecode++;      ecode++;
1691      break;      break;
1692    
# Line 1457  for (;;) Line 1695  for (;;)
1695      case OP_EODN:      case OP_EODN:
1696      if (eptr != md->end_subject &&      if (eptr != md->end_subject &&
1697          (!IS_NEWLINE(eptr) || eptr != md->end_subject - md->nllen))          (!IS_NEWLINE(eptr) || eptr != md->end_subject - md->nllen))
1698        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1699      ecode++;      ecode++;
1700      break;      break;
1701    
# Line 1469  for (;;) Line 1707  for (;;)
1707    
1708        /* Find out if the previous and current characters are "word" characters.        /* Find out if the previous and current characters are "word" characters.
1709        It takes a bit more work in UTF-8 mode. Characters > 255 are assumed to        It takes a bit more work in UTF-8 mode. Characters > 255 are assumed to
1710        be "non-word" characters. Remember the earliest consulted character for        be "non-word" characters. Remember the earliest consulted character for
1711        partial matching. */        partial matching. */
1712    
1713  #ifdef SUPPORT_UTF8  #ifdef SUPPORT_UTF8
# Line 1479  for (;;) Line 1717  for (;;)
1717            {            {
1718            USPTR lastptr = eptr - 1;            USPTR lastptr = eptr - 1;
1719            while((*lastptr & 0xc0) == 0x80) lastptr--;            while((*lastptr & 0xc0) == 0x80) lastptr--;
1720            if (lastptr < md->start_used_ptr) md->start_used_ptr = lastptr;            if (lastptr < md->start_used_ptr) md->start_used_ptr = lastptr;
1721            GETCHAR(c, lastptr);            GETCHAR(c, lastptr);
1722            prev_is_word = c < 256 && (md->ctypes[c] & ctype_word) != 0;            prev_is_word = c < 256 && (md->ctypes[c] & ctype_word) != 0;
1723            }            }
1724          if (eptr >= md->end_subject)          if (eptr >= md->end_subject)
1725            {            {
1726            SCHECK_PARTIAL();            SCHECK_PARTIAL();
1727            cur_is_word = FALSE;            cur_is_word = FALSE;
1728            }            }
1729          else          else
1730            {            {
# Line 1502  for (;;) Line 1740  for (;;)
1740          {          {
1741          if (eptr == md->start_subject) prev_is_word = FALSE; else          if (eptr == md->start_subject) prev_is_word = FALSE; else
1742            {            {
1743            if (eptr <= md->start_used_ptr) md->start_used_ptr = eptr - 1;            if (eptr <= md->start_used_ptr) md->start_used_ptr = eptr - 1;
1744            prev_is_word = ((md->ctypes[eptr[-1]] & ctype_word) != 0);            prev_is_word = ((md->ctypes[eptr[-1]] & ctype_word) != 0);
1745            }            }
1746          if (eptr >= md->end_subject)          if (eptr >= md->end_subject)
1747            {            {
1748            SCHECK_PARTIAL();            SCHECK_PARTIAL();
1749            cur_is_word = FALSE;            cur_is_word = FALSE;
1750            }            }
1751          else cur_is_word = ((md->ctypes[*eptr] & ctype_word) != 0);          else cur_is_word = ((md->ctypes[*eptr] & ctype_word) != 0);
1752          }          }
# Line 1517  for (;;) Line 1755  for (;;)
1755    
1756        if ((*ecode++ == OP_WORD_BOUNDARY)?        if ((*ecode++ == OP_WORD_BOUNDARY)?
1757             cur_is_word == prev_is_word : cur_is_word != prev_is_word)             cur_is_word == prev_is_word : cur_is_word != prev_is_word)
1758          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
1759        }        }
1760      break;      break;
1761    
1762      /* Match a single character type; inline for speed */      /* Match a single character type; inline for speed */
1763    
1764      case OP_ANY:      case OP_ANY:
1765      if (IS_NEWLINE(eptr)) RRETURN(MATCH_NOMATCH);      if (IS_NEWLINE(eptr)) MRRETURN(MATCH_NOMATCH);
1766      /* Fall through */      /* Fall through */
1767    
1768      case OP_ALLANY:      case OP_ALLANY:
1769      if (eptr++ >= md->end_subject)      if (eptr++ >= md->end_subject)
1770        {        {
1771        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1772        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1773        }        }
1774      if (utf8) while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;      if (utf8) while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;
1775      ecode++;      ecode++;
1776      break;      break;
# Line 1541  for (;;) Line 1779  for (;;)
1779      any byte, even newline, independent of the setting of PCRE_DOTALL. */      any byte, even newline, independent of the setting of PCRE_DOTALL. */
1780    
1781      case OP_ANYBYTE:      case OP_ANYBYTE:
1782      if (eptr++ >= md->end_subject)      if (eptr++ >= md->end_subject)
1783        {        {
1784        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1785        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1786        }        }
1787      ecode++;      ecode++;
1788      break;      break;
1789    
1790      case OP_NOT_DIGIT:      case OP_NOT_DIGIT:
1791      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1792        {        {
1793        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1794        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1795        }        }
1796      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1797      if (      if (
1798  #ifdef SUPPORT_UTF8  #ifdef SUPPORT_UTF8
# Line 1562  for (;;) Line 1800  for (;;)
1800  #endif  #endif
1801         (md->ctypes[c] & ctype_digit) != 0         (md->ctypes[c] & ctype_digit) != 0
1802         )         )
1803        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1804      ecode++;      ecode++;
1805      break;      break;
1806    
1807      case OP_DIGIT:      case OP_DIGIT:
1808      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1809        {        {
1810        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1811        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1812        }        }
1813      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1814      if (      if (
1815  #ifdef SUPPORT_UTF8  #ifdef SUPPORT_UTF8
# Line 1579  for (;;) Line 1817  for (;;)
1817  #endif  #endif
1818         (md->ctypes[c] & ctype_digit) == 0         (md->ctypes[c] & ctype_digit) == 0
1819         )         )
1820        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1821      ecode++;      ecode++;
1822      break;      break;
1823    
1824      case OP_NOT_WHITESPACE:      case OP_NOT_WHITESPACE:
1825      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1826        {        {
1827        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1828        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1829        }        }
1830      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1831      if (      if (
1832  #ifdef SUPPORT_UTF8  #ifdef SUPPORT_UTF8
# Line 1596  for (;;) Line 1834  for (;;)
1834  #endif  #endif
1835         (md->ctypes[c] & ctype_space) != 0         (md->ctypes[c] & ctype_space) != 0
1836         )         )
1837        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1838      ecode++;      ecode++;
1839      break;      break;
1840    
1841      case OP_WHITESPACE:      case OP_WHITESPACE:
1842      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1843        {        {
1844        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1845        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1846        }        }
1847      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1848      if (      if (
1849  #ifdef SUPPORT_UTF8  #ifdef SUPPORT_UTF8
# Line 1613  for (;;) Line 1851  for (;;)
1851  #endif  #endif
1852         (md->ctypes[c] & ctype_space) == 0         (md->ctypes[c] & ctype_space) == 0
1853         )         )
1854        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1855      ecode++;      ecode++;
1856      break;      break;
1857    
1858      case OP_NOT_WORDCHAR:      case OP_NOT_WORDCHAR:
1859      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1860        {        {
1861        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1862        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1863        }        }
1864      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1865      if (      if (
1866  #ifdef SUPPORT_UTF8  #ifdef SUPPORT_UTF8
# Line 1630  for (;;) Line 1868  for (;;)
1868  #endif  #endif
1869         (md->ctypes[c] & ctype_word) != 0         (md->ctypes[c] & ctype_word) != 0
1870         )         )
1871        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1872      ecode++;      ecode++;
1873      break;      break;
1874    
1875      case OP_WORDCHAR:      case OP_WORDCHAR:
1876      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1877        {        {
1878        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1879        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1880        }        }
1881      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1882      if (      if (
1883  #ifdef SUPPORT_UTF8  #ifdef SUPPORT_UTF8
# Line 1647  for (;;) Line 1885  for (;;)
1885  #endif  #endif
1886         (md->ctypes[c] & ctype_word) == 0         (md->ctypes[c] & ctype_word) == 0
1887         )         )
1888        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1889      ecode++;      ecode++;
1890      break;      break;
1891    
1892      case OP_ANYNL:      case OP_ANYNL:
1893      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1894        {        {
1895        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1896        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1897        }        }
1898      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1899      switch(c)      switch(c)
1900        {        {
1901        default: RRETURN(MATCH_NOMATCH);        default: MRRETURN(MATCH_NOMATCH);
1902        case 0x000d:        case 0x000d:
1903        if (eptr < md->end_subject && *eptr == 0x0a) eptr++;        if (eptr < md->end_subject && *eptr == 0x0a) eptr++;
1904        break;        break;
# Line 1673  for (;;) Line 1911  for (;;)
1911        case 0x0085:        case 0x0085:
1912        case 0x2028:        case 0x2028:
1913        case 0x2029:        case 0x2029:
1914        if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);        if (md->bsr_anycrlf) MRRETURN(MATCH_NOMATCH);
1915        break;        break;
1916        }        }
1917      ecode++;      ecode++;
1918      break;      break;
1919    
1920      case OP_NOT_HSPACE:      case OP_NOT_HSPACE:
1921      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1922        {        {
1923        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1924        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1925        }        }
1926      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1927      switch(c)      switch(c)
1928        {        {
# Line 1708  for (;;) Line 1946  for (;;)
1946        case 0x202f:    /* NARROW NO-BREAK SPACE */        case 0x202f:    /* NARROW NO-BREAK SPACE */
1947        case 0x205f:    /* MEDIUM MATHEMATICAL SPACE */        case 0x205f:    /* MEDIUM MATHEMATICAL SPACE */
1948        case 0x3000:    /* IDEOGRAPHIC SPACE */        case 0x3000:    /* IDEOGRAPHIC SPACE */
1949        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1950        }        }
1951      ecode++;      ecode++;
1952      break;      break;
1953    
1954      case OP_HSPACE:      case OP_HSPACE:
1955      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1956        {        {
1957        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1958        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1959        }        }
1960      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1961      switch(c)      switch(c)
1962        {        {
1963        default: RRETURN(MATCH_NOMATCH);        default: MRRETURN(MATCH_NOMATCH);
1964        case 0x09:      /* HT */        case 0x09:      /* HT */
1965        case 0x20:      /* SPACE */        case 0x20:      /* SPACE */
1966        case 0xa0:      /* NBSP */        case 0xa0:      /* NBSP */
# Line 1748  for (;;) Line 1986  for (;;)
1986      break;      break;
1987    
1988      case OP_NOT_VSPACE:      case OP_NOT_VSPACE:
1989      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
1990        {        {
1991        SCHECK_PARTIAL();        SCHECK_PARTIAL();
1992        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
1993        }        }
1994      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
1995      switch(c)      switch(c)
1996        {        {
# Line 1764  for (;;) Line 2002  for (;;)
2002        case 0x85:      /* NEL */        case 0x85:      /* NEL */
2003        case 0x2028:    /* LINE SEPARATOR */        case 0x2028:    /* LINE SEPARATOR */
2004        case 0x2029:    /* PARAGRAPH SEPARATOR */        case 0x2029:    /* PARAGRAPH SEPARATOR */
2005        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
2006        }        }
2007      ecode++;      ecode++;
2008      break;      break;
2009    
2010      case OP_VSPACE:      case OP_VSPACE:
2011      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
2012        {        {
2013        SCHECK_PARTIAL();        SCHECK_PARTIAL();
2014        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
2015        }        }
2016      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
2017      switch(c)      switch(c)
2018        {        {
2019        default: RRETURN(MATCH_NOMATCH);        default: MRRETURN(MATCH_NOMATCH);
2020        case 0x0a:      /* LF */        case 0x0a:      /* LF */
2021        case 0x0b:      /* VT */        case 0x0b:      /* VT */
2022        case 0x0c:      /* FF */        case 0x0c:      /* FF */
# Line 1797  for (;;) Line 2035  for (;;)
2035    
2036      case OP_PROP:      case OP_PROP:
2037      case OP_NOTPROP:      case OP_NOTPROP:
2038      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
2039        {        {
2040        SCHECK_PARTIAL();        SCHECK_PARTIAL();
2041        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
2042        }        }
2043      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
2044        {        {
2045        const ucd_record *prop = GET_UCD(c);        const ucd_record *prop = GET_UCD(c);
# Line 1809  for (;;) Line 2047  for (;;)
2047        switch(ecode[1])        switch(ecode[1])
2048          {          {
2049          case PT_ANY:          case PT_ANY:
2050          if (op == OP_NOTPROP) RRETURN(MATCH_NOMATCH);          if (op == OP_NOTPROP) MRRETURN(MATCH_NOMATCH);
2051          break;          break;
2052    
2053          case PT_LAMP:          case PT_LAMP:
2054          if ((prop->chartype == ucp_Lu ||          if ((prop->chartype == ucp_Lu ||
2055               prop->chartype == ucp_Ll ||               prop->chartype == ucp_Ll ||
2056               prop->chartype == ucp_Lt) == (op == OP_NOTPROP))               prop->chartype == ucp_Lt) == (op == OP_NOTPROP))
2057            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
2058           break;           break;
2059    
2060          case PT_GC:          case PT_GC:
2061          if ((ecode[2] != _pcre_ucp_gentype[prop->chartype]) == (op == OP_PROP))          if ((ecode[2] != _pcre_ucp_gentype[prop->chartype]) == (op == OP_PROP))
2062            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
2063          break;          break;
2064    
2065          case PT_PC:          case PT_PC:
2066          if ((ecode[2] != prop->chartype) == (op == OP_PROP))          if ((ecode[2] != prop->chartype) == (op == OP_PROP))
2067            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
2068          break;          break;
2069    
2070          case PT_SC:          case PT_SC:
2071          if ((ecode[2] != prop->script) == (op == OP_PROP))          if ((ecode[2] != prop->script) == (op == OP_PROP))
2072            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
2073          break;          break;
2074    
2075          default:          default:
# Line 1846  for (;;) Line 2084  for (;;)
2084      is in the binary; otherwise a compile-time error occurs. */      is in the binary; otherwise a compile-time error occurs. */
2085    
2086      case OP_EXTUNI:      case OP_EXTUNI:
2087      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
2088        {        {
2089        SCHECK_PARTIAL();        SCHECK_PARTIAL();
2090        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
2091        }        }
2092      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
2093        {        {
2094        int category = UCD_CATEGORY(c);        int category = UCD_CATEGORY(c);
2095        if (category == ucp_M) RRETURN(MATCH_NOMATCH);        if (category == ucp_M) MRRETURN(MATCH_NOMATCH);
2096        while (eptr < md->end_subject)        while (eptr < md->end_subject)
2097          {          {
2098          int len = 1;          int len = 1;
# Line 1930  for (;;) Line 2168  for (;;)
2168          break;          break;
2169    
2170          default:               /* No repeat follows */          default:               /* No repeat follows */
2171          if (!match_ref(offset, eptr, length, md, ims))          if (!match_ref(offset, eptr, length, md, ims))
2172            {            {
2173            CHECK_PARTIAL();            CHECK_PARTIAL();
2174            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
2175            }            }
2176          eptr += length;          eptr += length;
2177          continue;              /* With the main loop */          continue;              /* With the main loop */
2178          }          }
2179    
2180        /* If the length of the reference is zero, just continue with the        /* If the length of the reference is zero, just continue with the
2181        main loop. */        main loop. */
2182    
2183        if (length == 0) continue;        if (length == 0) continue;
2184    
2185        /* First, ensure the minimum number of matches are present. We get back        /* First, ensure the minimum number of matches are present. We get back
# Line 1953  for (;;) Line 2191  for (;;)
2191          if (!match_ref(offset, eptr, length, md, ims))          if (!match_ref(offset, eptr, length, md, ims))
2192            {            {
2193            CHECK_PARTIAL();            CHECK_PARTIAL();
2194            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
2195            }            }
2196          eptr += length;          eptr += length;
2197          }          }
# Line 1971  for (;;) Line 2209  for (;;)
2209            {            {
2210            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM14);            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM14);
2211            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2212            if (fi >= max) RRETURN(MATCH_NOMATCH);            if (fi >= max) MRRETURN(MATCH_NOMATCH);
2213            if (!match_ref(offset, eptr, length, md, ims))            if (!match_ref(offset, eptr, length, md, ims))
2214              {              {
2215              CHECK_PARTIAL();              CHECK_PARTIAL();
2216              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
2217              }              }
2218            eptr += length;            eptr += length;
2219            }            }
# Line 1989  for (;;) Line 2227  for (;;)
2227          pp = eptr;          pp = eptr;
2228          for (i = min; i < max; i++)          for (i = min; i < max; i++)
2229            {            {
2230            if (!match_ref(offset, eptr, length, md, ims)) break;            if (!match_ref(offset, eptr, length, md, ims))
2231                {
2232                CHECK_PARTIAL();
2233                break;
2234                }
2235            eptr += length;            eptr += length;
2236            }            }
2237          while (eptr >= pp)          while (eptr >= pp)
# Line 1998  for (;;) Line 2240  for (;;)
2240            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2241            eptr -= length;            eptr -= length;
2242            }            }
2243          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
2244          }          }
2245        }        }
2246      /* Control never gets here */      /* Control never gets here */
# Line 2060  for (;;) Line 2302  for (;;)
2302            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
2303              {              {
2304              SCHECK_PARTIAL();              SCHECK_PARTIAL();
2305              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
2306              }              }
2307            GETCHARINC(c, eptr);            GETCHARINC(c, eptr);
2308            if (c > 255)            if (c > 255)
2309              {              {
2310              if (op == OP_CLASS) RRETURN(MATCH_NOMATCH);              if (op == OP_CLASS) MRRETURN(MATCH_NOMATCH);
2311              }              }
2312            else            else
2313              {              {
2314              if ((data[c/8] & (1 << (c&7))) == 0) RRETURN(MATCH_NOMATCH);              if ((data[c/8] & (1 << (c&7))) == 0) MRRETURN(MATCH_NOMATCH);
2315              }              }
2316            }            }
2317          }          }
# Line 2082  for (;;) Line 2324  for (;;)
2324            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
2325              {              {
2326              SCHECK_PARTIAL();              SCHECK_PARTIAL();
2327              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
2328              }              }
2329            c = *eptr++;            c = *eptr++;
2330            if ((data[c/8] & (1 << (c&7))) == 0) RRETURN(MATCH_NOMATCH);            if ((data[c/8] & (1 << (c&7))) == 0) MRRETURN(MATCH_NOMATCH);
2331            }            }
2332          }          }
2333    
# Line 2107  for (;;) Line 2349  for (;;)
2349              {              {
2350              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM16);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM16);
2351              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2352              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
2353              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
2354                {                {
2355                SCHECK_PARTIAL();                SCHECK_PARTIAL();
2356                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
2357                }                }
2358              GETCHARINC(c, eptr);              GETCHARINC(c, eptr);
2359              if (c > 255)              if (c > 255)
2360                {                {
2361                if (op == OP_CLASS) RRETURN(MATCH_NOMATCH);                if (op == OP_CLASS) MRRETURN(MATCH_NOMATCH);
2362                }                }
2363              else              else
2364                {                {
2365                if ((data[c/8] & (1 << (c&7))) == 0) RRETURN(MATCH_NOMATCH);                if ((data[c/8] & (1 << (c&7))) == 0) MRRETURN(MATCH_NOMATCH);
2366                }                }
2367              }              }
2368            }            }
# Line 2132  for (;;) Line 2374  for (;;)
2374              {              {
2375              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM17);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM17);
2376              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2377              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
2378              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
2379                {                {
2380                SCHECK_PARTIAL();                SCHECK_PARTIAL();
2381                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
2382                }                }
2383              c = *eptr++;              c = *eptr++;
2384              if ((data[c/8] & (1 << (c&7))) == 0) RRETURN(MATCH_NOMATCH);              if ((data[c/8] & (1 << (c&7))) == 0) MRRETURN(MATCH_NOMATCH);
2385              }              }
2386            }            }
2387          /* Control never gets here */          /* Control never gets here */
# Line 2158  for (;;) Line 2400  for (;;)
2400            for (i = min; i < max; i++)            for (i = min; i < max; i++)
2401              {              {
2402              int len = 1;              int len = 1;
2403              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
2404                  {
2405                  SCHECK_PARTIAL();
2406                  break;
2407                  }
2408              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
2409              if (c > 255)              if (c > 255)
2410                {                {
# Line 2184  for (;;) Line 2430  for (;;)
2430            {            {
2431            for (i = min; i < max; i++)            for (i = min; i < max; i++)
2432              {              {
2433              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
2434                  {
2435                  SCHECK_PARTIAL();
2436                  break;
2437                  }
2438              c = *eptr;              c = *eptr;
2439              if ((data[c/8] & (1 << (c&7))) == 0) break;              if ((data[c/8] & (1 << (c&7))) == 0) break;
2440              eptr++;              eptr++;
# Line 2197  for (;;) Line 2447  for (;;)
2447              }              }
2448            }            }
2449    
2450          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
2451          }          }
2452        }        }
2453      /* Control never gets here */      /* Control never gets here */
# Line 2249  for (;;) Line 2499  for (;;)
2499          if (eptr >= md->end_subject)          if (eptr >= md->end_subject)
2500            {            {
2501            SCHECK_PARTIAL();            SCHECK_PARTIAL();
2502            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
2503            }            }
2504          GETCHARINCTEST(c, eptr);          GETCHARINCTEST(c, eptr);
2505          if (!_pcre_xclass(c, data)) RRETURN(MATCH_NOMATCH);          if (!_pcre_xclass(c, data)) MRRETURN(MATCH_NOMATCH);
2506          }          }
2507    
2508        /* If max == min we can continue with the main loop without the        /* If max == min we can continue with the main loop without the
# Line 2269  for (;;) Line 2519  for (;;)
2519            {            {
2520            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM20);            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM20);
2521            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2522            if (fi >= max) RRETURN(MATCH_NOMATCH);            if (fi >= max) MRRETURN(MATCH_NOMATCH);
2523            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
2524              {              {
2525              SCHECK_PARTIAL();              SCHECK_PARTIAL();
2526              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
2527              }              }
2528            GETCHARINCTEST(c, eptr);            GETCHARINCTEST(c, eptr);
2529            if (!_pcre_xclass(c, data)) RRETURN(MATCH_NOMATCH);            if (!_pcre_xclass(c, data)) MRRETURN(MATCH_NOMATCH);
2530            }            }
2531          /* Control never gets here */          /* Control never gets here */
2532          }          }
# Line 2289  for (;;) Line 2539  for (;;)
2539          for (i = min; i < max; i++)          for (i = min; i < max; i++)
2540            {            {
2541            int len = 1;            int len = 1;
2542            if (eptr >= md->end_subject) break;            if (eptr >= md->end_subject)
2543                {
2544                SCHECK_PARTIAL();
2545                break;
2546                }
2547            GETCHARLENTEST(c, eptr, len);            GETCHARLENTEST(c, eptr, len);
2548            if (!_pcre_xclass(c, data)) break;            if (!_pcre_xclass(c, data)) break;
2549            eptr += len;            eptr += len;
# Line 2301  for (;;) Line 2555  for (;;)
2555            if (eptr-- == pp) break;        /* Stop if tried at original pos */            if (eptr-- == pp) break;        /* Stop if tried at original pos */
2556            if (utf8) BACKCHAR(eptr);            if (utf8) BACKCHAR(eptr);
2557            }            }
2558          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
2559          }          }
2560    
2561        /* Control never gets here */        /* Control never gets here */
# Line 2317  for (;;) Line 2571  for (;;)
2571        length = 1;        length = 1;
2572        ecode++;        ecode++;
2573        GETCHARLEN(fc, ecode, length);        GETCHARLEN(fc, ecode, length);
2574        if (length > md->end_subject - eptr)        if (length > md->end_subject - eptr)
2575          {          {
2576          CHECK_PARTIAL();             /* Not SCHECK_PARTIAL() */          CHECK_PARTIAL();             /* Not SCHECK_PARTIAL() */
2577          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
2578          }          }
2579        while (length-- > 0) if (*ecode++ != *eptr++) RRETURN(MATCH_NOMATCH);        while (length-- > 0) if (*ecode++ != *eptr++) MRRETURN(MATCH_NOMATCH);
2580        }        }
2581      else      else
2582  #endif  #endif
2583    
2584      /* Non-UTF-8 mode */      /* Non-UTF-8 mode */
2585        {        {
2586        if (md->end_subject - eptr < 1)        if (md->end_subject - eptr < 1)
2587          {          {
2588          SCHECK_PARTIAL();            /* This one can use SCHECK_PARTIAL() */          SCHECK_PARTIAL();            /* This one can use SCHECK_PARTIAL() */
2589          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
2590          }          }
2591        if (ecode[1] != *eptr++) RRETURN(MATCH_NOMATCH);        if (ecode[1] != *eptr++) MRRETURN(MATCH_NOMATCH);
2592        ecode += 2;        ecode += 2;
2593        }        }
2594      break;      break;
# Line 2349  for (;;) Line 2603  for (;;)
2603        ecode++;        ecode++;
2604        GETCHARLEN(fc, ecode, length);        GETCHARLEN(fc, ecode, length);
2605    
2606        if (length > md->end_subject - eptr)        if (length > md->end_subject - eptr)
2607          {          {
2608          CHECK_PARTIAL();             /* Not SCHECK_PARTIAL() */          CHECK_PARTIAL();             /* Not SCHECK_PARTIAL() */
2609          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
2610          }          }
2611    
2612        /* If the pattern character's value is < 128, we have only one byte, and        /* If the pattern character's value is < 128, we have only one byte, and
2613        can use the fast lookup table. */        can use the fast lookup table. */
2614    
2615        if (fc < 128)        if (fc < 128)
2616          {          {
2617          if (md->lcc[*ecode++] != md->lcc[*eptr++]) RRETURN(MATCH_NOMATCH);          if (md->lcc[*ecode++] != md->lcc[*eptr++]) MRRETURN(MATCH_NOMATCH);
2618          }          }
2619    
2620        /* Otherwise we must pick up the subject character */        /* Otherwise we must pick up the subject character */
# Line 2379  for (;;) Line 2633  for (;;)
2633  #ifdef SUPPORT_UCP  #ifdef SUPPORT_UCP
2634            if (dc != UCD_OTHERCASE(fc))            if (dc != UCD_OTHERCASE(fc))
2635  #endif  #endif
2636              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
2637            }            }
2638          }          }
2639        }        }
# Line 2388  for (;;) Line 2642  for (;;)
2642    
2643      /* Non-UTF-8 mode */      /* Non-UTF-8 mode */
2644        {        {
2645        if (md->end_subject - eptr < 1)        if (md->end_subject - eptr < 1)
2646          {          {
2647          SCHECK_PARTIAL();            /* This one can use SCHECK_PARTIAL() */          SCHECK_PARTIAL();            /* This one can use SCHECK_PARTIAL() */
2648          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
2649          }          }
2650        if (md->lcc[ecode[1]] != md->lcc[*eptr++]) RRETURN(MATCH_NOMATCH);        if (md->lcc[ecode[1]] != md->lcc[*eptr++]) MRRETURN(MATCH_NOMATCH);
2651        ecode += 2;        ecode += 2;
2652        }        }
2653      break;      break;
# Line 2446  for (;;) Line 2700  for (;;)
2700      case OP_MINQUERY:      case OP_MINQUERY:
2701      c = *ecode++ - OP_STAR;      c = *ecode++ - OP_STAR;
2702      minimize = (c & 1) != 0;      minimize = (c & 1) != 0;
2703    
2704      min = rep_min[c];                 /* Pick up values from tables; */      min = rep_min[c];                 /* Pick up values from tables; */
2705      max = rep_max[c];                 /* zero for max => infinity */      max = rep_max[c];                 /* zero for max => infinity */
2706      if (max == 0) max = INT_MAX;      if (max == 0) max = INT_MAX;
# Line 2487  for (;;) Line 2741  for (;;)
2741            else            else
2742              {              {
2743              CHECK_PARTIAL();              CHECK_PARTIAL();
2744              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
2745              }              }
2746            }            }
2747    
# Line 2499  for (;;) Line 2753  for (;;)
2753              {              {
2754              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM22);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM22);
2755              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2756              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
2757              if (eptr <= md->end_subject - length &&              if (eptr <= md->end_subject - length &&
2758                memcmp(eptr, charptr, length) == 0) eptr += length;                memcmp(eptr, charptr, length) == 0) eptr += length;
2759  #ifdef SUPPORT_UCP  #ifdef SUPPORT_UCP
# Line 2510  for (;;) Line 2764  for (;;)
2764              else              else
2765                {                {
2766                CHECK_PARTIAL();                CHECK_PARTIAL();
2767                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
2768                }                }
2769              }              }
2770            /* Control never gets here */            /* Control never gets here */
# Line 2528  for (;;) Line 2782  for (;;)
2782                       eptr <= md->end_subject - oclength &&                       eptr <= md->end_subject - oclength &&
2783                       memcmp(eptr, occhars, oclength) == 0) eptr += oclength;                       memcmp(eptr, occhars, oclength) == 0) eptr += oclength;
2784  #endif  /* SUPPORT_UCP */  #endif  /* SUPPORT_UCP */
2785              else break;              else
2786                  {
2787                  CHECK_PARTIAL();
2788                  break;
2789                  }
2790              }              }
2791    
2792            if (possessive) continue;            if (possessive) continue;
# Line 2537  for (;;) Line 2795  for (;;)
2795              {              {
2796              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM23);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM23);
2797              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2798              if (eptr == pp) { RRETURN(MATCH_NOMATCH); }              if (eptr == pp) { MRRETURN(MATCH_NOMATCH); }
2799  #ifdef SUPPORT_UCP  #ifdef SUPPORT_UCP
2800              eptr--;              eptr--;
2801              BACKCHAR(eptr);              BACKCHAR(eptr);
# Line 2559  for (;;) Line 2817  for (;;)
2817      /* When not in UTF-8 mode, load a single-byte character. */      /* When not in UTF-8 mode, load a single-byte character. */
2818    
2819      fc = *ecode++;      fc = *ecode++;
2820    
2821      /* The value of fc at this point is always less than 256, though we may or      /* The value of fc at this point is always less than 256, though we may or
2822      may not be in UTF-8 mode. The code is duplicated for the caseless and      may not be in UTF-8 mode. The code is duplicated for the caseless and
2823      caseful cases, for speed, since matching characters is likely to be quite      caseful cases, for speed, since matching characters is likely to be quite
# Line 2580  for (;;) Line 2838  for (;;)
2838          if (eptr >= md->end_subject)          if (eptr >= md->end_subject)
2839            {            {
2840            SCHECK_PARTIAL();            SCHECK_PARTIAL();
2841            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
2842            }            }
2843          if (fc != md->lcc[*eptr++]) RRETURN(MATCH_NOMATCH);          if (fc != md->lcc[*eptr++]) MRRETURN(MATCH_NOMATCH);
2844          }          }
2845        if (min == max) continue;        if (min == max) continue;
2846        if (minimize)        if (minimize)
# Line 2591  for (;;) Line 2849  for (;;)
2849            {            {
2850            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM24);            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM24);
2851            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2852            if (fi >= max) RRETURN(MATCH_NOMATCH);            if (fi >= max) MRRETURN(MATCH_NOMATCH);
2853            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
2854              {              {
2855              SCHECK_PARTIAL();              SCHECK_PARTIAL();
2856              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
2857              }              }
2858            if (fc != md->lcc[*eptr++]) RRETURN(MATCH_NOMATCH);            if (fc != md->lcc[*eptr++]) MRRETURN(MATCH_NOMATCH);
2859            }            }
2860          /* Control never gets here */          /* Control never gets here */
2861          }          }
# Line 2606  for (;;) Line 2864  for (;;)
2864          pp = eptr;          pp = eptr;
2865          for (i = min; i < max; i++)          for (i = min; i < max; i++)
2866            {            {
2867            if (eptr >= md->end_subject || fc != md->lcc[*eptr]) break;            if (eptr >= md->end_subject)
2868                {
2869                SCHECK_PARTIAL();
2870                break;
2871                }
2872              if (fc != md->lcc[*eptr]) break;
2873            eptr++;            eptr++;
2874            }            }
2875    
# Line 2618  for (;;) Line 2881  for (;;)
2881            eptr--;            eptr--;
2882            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2883            }            }
2884          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
2885          }          }
2886        /* Control never gets here */        /* Control never gets here */
2887        }        }
# Line 2632  for (;;) Line 2895  for (;;)
2895          if (eptr >= md->end_subject)          if (eptr >= md->end_subject)
2896            {            {
2897            SCHECK_PARTIAL();            SCHECK_PARTIAL();
2898            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
2899            }            }
2900          if (fc != *eptr++) RRETURN(MATCH_NOMATCH);          if (fc != *eptr++) MRRETURN(MATCH_NOMATCH);
2901          }          }
2902    
2903        if (min == max) continue;        if (min == max) continue;
2904    
2905        if (minimize)        if (minimize)
2906          {          {
2907          for (fi = min;; fi++)          for (fi = min;; fi++)
2908            {            {
2909            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM26);            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM26);
2910            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2911            if (fi >= max) RRETURN(MATCH_NOMATCH);            if (fi >= max) MRRETURN(MATCH_NOMATCH);
2912            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
2913              {              {
2914              SCHECK_PARTIAL();              SCHECK_PARTIAL();
2915              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
2916              }              }
2917            if (fc != *eptr++) RRETURN(MATCH_NOMATCH);            if (fc != *eptr++) MRRETURN(MATCH_NOMATCH);
2918            }            }
2919          /* Control never gets here */          /* Control never gets here */
2920          }          }
# Line 2660  for (;;) Line 2923  for (;;)
2923          pp = eptr;          pp = eptr;
2924          for (i = min; i < max; i++)          for (i = min; i < max; i++)
2925            {            {
2926            if (eptr >= md->end_subject || fc != *eptr) break;            if (eptr >= md->end_subject)
2927                {
2928                SCHECK_PARTIAL();
2929                break;
2930                }
2931              if (fc != *eptr) break;
2932            eptr++;            eptr++;
2933            }            }
2934          if (possessive) continue;          if (possessive) continue;
2935    
2936          while (eptr >= pp)          while (eptr >= pp)
2937            {            {
2938            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM27);            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM27);
2939            eptr--;            eptr--;
2940            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2941            }            }
2942          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
2943          }          }
2944        }        }
2945      /* Control never gets here */      /* Control never gets here */
# Line 2680  for (;;) Line 2948  for (;;)
2948      checking can be multibyte. */      checking can be multibyte. */
2949    
2950      case OP_NOT:      case OP_NOT:
2951      if (eptr >= md->end_subject)      if (eptr >= md->end_subject)
2952        {        {
2953        SCHECK_PARTIAL();        SCHECK_PARTIAL();
2954        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
2955        }        }
2956      ecode++;      ecode++;
2957      GETCHARINCTEST(c, eptr);      GETCHARINCTEST(c, eptr);
2958      if ((ims & PCRE_CASELESS) != 0)      if ((ims & PCRE_CASELESS) != 0)
# Line 2693  for (;;) Line 2961  for (;;)
2961        if (c < 256)        if (c < 256)
2962  #endif  #endif
2963        c = md->lcc[c];        c = md->lcc[c];
2964        if (md->lcc[*ecode++] == c) RRETURN(MATCH_NOMATCH);        if (md->lcc[*ecode++] == c) MRRETURN(MATCH_NOMATCH);
2965        }        }
2966      else      else
2967        {        {
2968        if (*ecode++ == c) RRETURN(MATCH_NOMATCH);        if (*ecode++ == c) MRRETURN(MATCH_NOMATCH);
2969        }        }
2970      break;      break;
2971    
# Line 2791  for (;;) Line 3059  for (;;)
3059            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3060              {              {
3061              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3062              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3063              }              }
3064            GETCHARINC(d, eptr);            GETCHARINC(d, eptr);
3065            if (d < 256) d = md->lcc[d];            if (d < 256) d = md->lcc[d];
3066            if (fc == d) RRETURN(MATCH_NOMATCH);            if (fc == d) MRRETURN(MATCH_NOMATCH);
3067            }            }
3068          }          }
3069        else        else
# Line 2808  for (;;) Line 3076  for (;;)
3076            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3077              {              {
3078              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3079              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3080              }              }
3081            if (fc == md->lcc[*eptr++]) RRETURN(MATCH_NOMATCH);            if (fc == md->lcc[*eptr++]) MRRETURN(MATCH_NOMATCH);
3082            }            }
3083          }          }
3084    
# Line 2827  for (;;) Line 3095  for (;;)
3095              {              {
3096              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM28);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM28);
3097              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3098              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
3099              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
3100                {                {
3101                SCHECK_PARTIAL();                SCHECK_PARTIAL();
3102                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3103                }                }
3104              GETCHARINC(d, eptr);              GETCHARINC(d, eptr);
3105              if (d < 256) d = md->lcc[d];              if (d < 256) d = md->lcc[d];
3106              if (fc == d) RRETURN(MATCH_NOMATCH);              if (fc == d) MRRETURN(MATCH_NOMATCH);
3107              }              }
3108            }            }
3109          else          else
# Line 2846  for (;;) Line 3114  for (;;)
3114              {              {
3115              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM29);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM29);
3116              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3117              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
3118              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
3119                {                {
3120                SCHECK_PARTIAL();                SCHECK_PARTIAL();
3121                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3122                }                }
3123              if (fc == md->lcc[*eptr++]) RRETURN(MATCH_NOMATCH);              if (fc == md->lcc[*eptr++]) MRRETURN(MATCH_NOMATCH);
3124              }              }
3125            }            }
3126          /* Control never gets here */          /* Control never gets here */
# Line 2872  for (;;) Line 3140  for (;;)
3140            for (i = min; i < max; i++)            for (i = min; i < max; i++)
3141              {              {
3142              int len = 1;              int len = 1;
3143              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
3144                  {
3145                  SCHECK_PARTIAL();
3146                  break;
3147                  }
3148              GETCHARLEN(d, eptr, len);              GETCHARLEN(d, eptr, len);
3149              if (d < 256) d = md->lcc[d];              if (d < 256) d = md->lcc[d];
3150              if (fc == d) break;              if (fc == d) break;
# Line 2893  for (;;) Line 3165  for (;;)
3165            {            {
3166            for (i = min; i < max; i++)            for (i = min; i < max; i++)
3167              {              {
3168              if (eptr >= md->end_subject || fc == md->lcc[*eptr]) break;              if (eptr >= md->end_subject)
3169                  {
3170                  SCHECK_PARTIAL();
3171                  break;
3172                  }
3173                if (fc == md->lcc[*eptr]) break;
3174              eptr++;              eptr++;
3175              }              }
3176            if (possessive) continue;            if (possessive) continue;
# Line 2905  for (;;) Line 3182  for (;;)
3182              }              }
3183            }            }
3184    
3185          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
3186          }          }
3187        /* Control never gets here */        /* Control never gets here */
3188        }        }
# Line 2924  for (;;) Line 3201  for (;;)
3201            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3202              {              {
3203              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3204              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3205              }              }
3206            GETCHARINC(d, eptr);            GETCHARINC(d, eptr);
3207            if (fc == d) RRETURN(MATCH_NOMATCH);            if (fc == d) MRRETURN(MATCH_NOMATCH);
3208            }            }
3209          }          }
3210        else        else
# Line 2939  for (;;) Line 3216  for (;;)
3216            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3217              {              {
3218              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3219              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3220              }              }
3221            if (fc == *eptr++) RRETURN(MATCH_NOMATCH);            if (fc == *eptr++) MRRETURN(MATCH_NOMATCH);
3222            }            }
3223          }          }
3224    
# Line 2958  for (;;) Line 3235  for (;;)
3235              {              {
3236              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM32);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM32);
3237              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3238              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
3239              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
3240                {                {
3241                SCHECK_PARTIAL();                SCHECK_PARTIAL();
3242                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3243                }                }
3244              GETCHARINC(d, eptr);              GETCHARINC(d, eptr);
3245              if (fc == d) RRETURN(MATCH_NOMATCH);              if (fc == d) MRRETURN(MATCH_NOMATCH);
3246              }              }
3247            }            }
3248          else          else
# Line 2976  for (;;) Line 3253  for (;;)
3253              {              {
3254              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM33);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM33);
3255              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3256              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
3257              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
3258                {                {
3259                SCHECK_PARTIAL();                SCHECK_PARTIAL();
3260                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3261                }                }
3262              if (fc == *eptr++) RRETURN(MATCH_NOMATCH);              if (fc == *eptr++) MRRETURN(MATCH_NOMATCH);
3263              }              }
3264            }            }
3265          /* Control never gets here */          /* Control never gets here */
# Line 3002  for (;;) Line 3279  for (;;)
3279            for (i = min; i < max; i++)            for (i = min; i < max; i++)
3280              {              {
3281              int len = 1;              int len = 1;
3282              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
3283                  {
3284                  SCHECK_PARTIAL();
3285                  break;
3286                  }
3287              GETCHARLEN(d, eptr, len);              GETCHARLEN(d, eptr, len);
3288              if (fc == d) break;              if (fc == d) break;
3289              eptr += len;              eptr += len;
# Line 3022  for (;;) Line 3303  for (;;)
3303            {            {
3304            for (i = min; i < max; i++)            for (i = min; i < max; i++)
3305              {              {
3306              if (eptr >= md->end_subject || fc == *eptr) break;              if (eptr >= md->end_subject)
3307                  {
3308                  SCHECK_PARTIAL();
3309                  break;
3310                  }
3311                if (fc == *eptr) break;
3312              eptr++;              eptr++;
3313              }              }
3314            if (possessive) continue;            if (possessive) continue;
# Line 3034  for (;;) Line 3320  for (;;)
3320              }              }
3321            }            }
3322    
3323          RRETURN(MATCH_NOMATCH);          MRRETURN(MATCH_NOMATCH);
3324          }          }
3325        }        }
3326      /* Control never gets here */      /* Control never gets here */
# Line 3128  for (;;) Line 3414  for (;;)
3414          switch(prop_type)          switch(prop_type)
3415            {            {
3416            case PT_ANY:            case PT_ANY:
3417            if (prop_fail_result) RRETURN(MATCH_NOMATCH);            if (prop_fail_result) MRRETURN(MATCH_NOMATCH);
3418            for (i = 1; i <= min; i++)            for (i = 1; i <= min; i++)
3419              {              {
3420              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
3421                {                {
3422                SCHECK_PARTIAL();                SCHECK_PARTIAL();
3423                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3424                }                }
3425              GETCHARINCTEST(c, eptr);              GETCHARINCTEST(c, eptr);
3426              }              }
# Line 3146  for (;;) Line 3432  for (;;)
3432              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
3433                {                {
3434                SCHECK_PARTIAL();                SCHECK_PARTIAL();
3435                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3436                }                }
3437              GETCHARINCTEST(c, eptr);              GETCHARINCTEST(c, eptr);
3438              prop_chartype = UCD_CHARTYPE(c);              prop_chartype = UCD_CHARTYPE(c);
3439              if ((prop_chartype == ucp_Lu ||              if ((prop_chartype == ucp_Lu ||
3440                   prop_chartype == ucp_Ll ||                   prop_chartype == ucp_Ll ||
3441                   prop_chartype == ucp_Lt) == prop_fail_result)                   prop_chartype == ucp_Lt) == prop_fail_result)
3442                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3443              }              }
3444            break;            break;
3445    
# Line 3163  for (;;) Line 3449  for (;;)
3449              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
3450                {                {
3451                SCHECK_PARTIAL();                SCHECK_PARTIAL();
3452                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3453                }                }
3454              GETCHARINCTEST(c, eptr);              GETCHARINCTEST(c, eptr);
3455              prop_category = UCD_CATEGORY(c);              prop_category = UCD_CATEGORY(c);
3456              if ((prop_category == prop_value) == prop_fail_result)              if ((prop_category == prop_value) == prop_fail_result)
3457                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3458              }              }
3459            break;            break;
3460    
# Line 3178  for (;;) Line 3464  for (;;)
3464              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
3465                {                {
3466                SCHECK_PARTIAL();                SCHECK_PARTIAL();
3467                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3468                }                }
3469              GETCHARINCTEST(c, eptr);              GETCHARINCTEST(c, eptr);
3470              prop_chartype = UCD_CHARTYPE(c);              prop_chartype = UCD_CHARTYPE(c);
3471              if ((prop_chartype == prop_value) == prop_fail_result)              if ((prop_chartype == prop_value) == prop_fail_result)
3472                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3473              }              }
3474            break;            break;
3475    
# Line 3193  for (;;) Line 3479  for (;;)
3479              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
3480                {                {
3481                SCHECK_PARTIAL();                SCHECK_PARTIAL();
3482                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3483                }                }
3484              GETCHARINCTEST(c, eptr);              GETCHARINCTEST(c, eptr);
3485              prop_script = UCD_SCRIPT(c);              prop_script = UCD_SCRIPT(c);
3486              if ((prop_script == prop_value) == prop_fail_result)              if ((prop_script == prop_value) == prop_fail_result)
3487                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
3488              }              }
3489            break;            break;
3490    
# Line 3217  for (;;) Line 3503  for (;;)
3503            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3504              {              {
3505              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3506              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3507              }              }
3508            GETCHARINCTEST(c, eptr);            GETCHARINCTEST(c, eptr);
3509            prop_category = UCD_CATEGORY(c);            prop_category = UCD_CATEGORY(c);
3510            if (prop_category == ucp_M) RRETURN(MATCH_NOMATCH);            if (prop_category == ucp_M) MRRETURN(MATCH_NOMATCH);
3511            while (eptr < md->end_subject)            while (eptr < md->end_subject)
3512              {              {
3513              int len = 1;              int len = 1;
# Line 3248  for (;;) Line 3534  for (;;)
3534            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3535              {              {
3536              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3537              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3538              }              }
3539            if (IS_NEWLINE(eptr)) RRETURN(MATCH_NOMATCH);            if (IS_NEWLINE(eptr)) MRRETURN(MATCH_NOMATCH);
3540            eptr++;            eptr++;
3541            while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;            while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;
3542            }            }
# Line 3262  for (;;) Line 3548  for (;;)
3548            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3549              {              {
3550              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3551              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3552              }              }
3553            eptr++;            eptr++;
3554            while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;            while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;
# Line 3270  for (;;) Line 3556  for (;;)
3556          break;          break;
3557    
3558          case OP_ANYBYTE:          case OP_ANYBYTE:
3559          if (eptr > md->end_subject - min) RRETURN(MATCH_NOMATCH);          if (eptr > md->end_subject - min) MRRETURN(MATCH_NOMATCH);
3560          eptr += min;          eptr += min;
3561          break;          break;
3562    
# Line 3280  for (;;) Line 3566  for (;;)
3566            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3567              {              {
3568              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3569              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3570              }              }
3571            GETCHARINC(c, eptr);            GETCHARINC(c, eptr);
3572            switch(c)            switch(c)
3573              {              {
3574              default: RRETURN(MATCH_NOMATCH);              default: MRRETURN(MATCH_NOMATCH);
3575              case 0x000d:              case 0x000d:
3576              if (eptr < md->end_subject && *eptr == 0x0a) eptr++;              if (eptr < md->end_subject && *eptr == 0x0a) eptr++;
3577              break;              break;
# Line 3298  for (;;) Line 3584  for (;;)
3584              case 0x0085:              case 0x0085:
3585              case 0x2028:              case 0x2028:
3586              case 0x2029:              case 0x2029:
3587              if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);              if (md->bsr_anycrlf) MRRETURN(MATCH_NOMATCH);
3588              break;              break;
3589              }              }
3590            }            }
# Line 3310  for (;;) Line 3596  for (;;)
3596            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3597              {              {
3598              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3599              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3600              }              }
3601            GETCHARINC(c, eptr);            GETCHARINC(c, eptr);
3602            switch(c)            switch(c)
# Line 3335  for (;;) Line 3621  for (;;)
3621              case 0x202f:    /* NARROW NO-BREAK SPACE */              case 0x202f:    /* NARROW NO-BREAK SPACE */
3622              case 0x205f:    /* MEDIUM MATHEMATICAL SPACE */              case 0x205f:    /* MEDIUM MATHEMATICAL SPACE */
3623              case 0x3000:    /* IDEOGRAPHIC SPACE */              case 0x3000:    /* IDEOGRAPHIC SPACE */
3624              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3625              }              }
3626            }            }
3627          break;          break;
# Line 3346  for (;;) Line 3632  for (;;)
3632            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3633              {              {
3634              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3635              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3636              }              }
3637            GETCHARINC(c, eptr);            GETCHARINC(c, eptr);
3638            switch(c)            switch(c)
3639              {              {
3640              default: RRETURN(MATCH_NOMATCH);              default: MRRETURN(MATCH_NOMATCH);
3641              case 0x09:      /* HT */              case 0x09:      /* HT */
3642              case 0x20:      /* SPACE */              case 0x20:      /* SPACE */
3643              case 0xa0:      /* NBSP */              case 0xa0:      /* NBSP */
# Line 3382  for (;;) Line 3668  for (;;)
3668            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3669              {              {
3670              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3671              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3672              }              }
3673            GETCHARINC(c, eptr);            GETCHARINC(c, eptr);
3674            switch(c)            switch(c)
# Line 3395  for (;;) Line 3681  for (;;)
3681              case 0x85:      /* NEL */              case 0x85:      /* NEL */
3682              case 0x2028:    /* LINE SEPARATOR */              case 0x2028:    /* LINE SEPARATOR */
3683              case 0x2029:    /* PARAGRAPH SEPARATOR */              case 0x2029:    /* PARAGRAPH SEPARATOR */
3684              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3685              }              }
3686            }            }
3687          break;          break;
# Line 3406  for (;;) Line 3692  for (;;)
3692            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3693              {              {
3694              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3695              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3696              }              }
3697            GETCHARINC(c, eptr);            GETCHARINC(c, eptr);
3698            switch(c)            switch(c)
3699              {              {
3700              default: RRETURN(MATCH_NOMATCH);              default: MRRETURN(MATCH_NOMATCH);
3701              case 0x0a:      /* LF */              case 0x0a:      /* LF */
3702              case 0x0b:      /* VT */              case 0x0b:      /* VT */
3703              case 0x0c:      /* FF */              case 0x0c:      /* FF */
# Line 3430  for (;;) Line 3716  for (;;)
3716            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3717              {              {
3718              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3719              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3720              }              }
3721            GETCHARINC(c, eptr);            GETCHARINC(c, eptr);
3722            if (c < 128 && (md->ctypes[c] & ctype_digit) != 0)            if (c < 128 && (md->ctypes[c] & ctype_digit) != 0)
3723              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3724            }            }
3725          break;          break;
3726    
# Line 3444  for (;;) Line 3730  for (;;)
3730            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3731              {              {
3732              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3733              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3734              }              }
3735            if (*eptr >= 128 || (md->ctypes[*eptr++] & ctype_digit) == 0)            if (*eptr >= 128 || (md->ctypes[*eptr++] & ctype_digit) == 0)
3736              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3737            /* No need to skip more bytes - we know it's a 1-byte character */            /* No need to skip more bytes - we know it's a 1-byte character */
3738            }            }
3739          break;          break;
# Line 3458  for (;;) Line 3744  for (;;)
3744            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3745              {              {
3746              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3747              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3748              }              }
3749            if (*eptr < 128 && (md->ctypes[*eptr] & ctype_space) != 0)            if (*eptr < 128 && (md->ctypes[*eptr] & ctype_space) != 0)
3750              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3751            while (++eptr < md->end_subject && (*eptr & 0xc0) == 0x80);            while (++eptr < md->end_subject && (*eptr & 0xc0) == 0x80);
3752            }            }
3753          break;          break;
# Line 3472  for (;;) Line 3758  for (;;)
3758            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3759              {              {
3760              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3761              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3762              }              }
3763            if (*eptr >= 128 || (md->ctypes[*eptr++] & ctype_space) == 0)            if (*eptr >= 128 || (md->ctypes[*eptr++] & ctype_space) == 0)
3764              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3765            /* No need to skip more bytes - we know it's a 1-byte character */            /* No need to skip more bytes - we know it's a 1-byte character */
3766            }            }
3767          break;          break;
# Line 3483  for (;;) Line 3769  for (;;)
3769          case OP_NOT_WORDCHAR:          case OP_NOT_WORDCHAR:
3770          for (i = 1; i <= min; i++)          for (i = 1; i <= min; i++)
3771            {            {
3772            if (eptr >= md->end_subject ||            if (eptr >= md->end_subject)
3773               (*eptr < 128 && (md->ctypes[*eptr] & ctype_word) != 0))              {
3774              RRETURN(MATCH_NOMATCH);              SCHECK_PARTIAL();
3775                MRRETURN(MATCH_NOMATCH);
3776                }
3777              if (*eptr < 128 && (md->ctypes[*eptr] & ctype_word) != 0)
3778                MRRETURN(MATCH_NOMATCH);
3779            while (++eptr < md->end_subject && (*eptr & 0xc0) == 0x80);            while (++eptr < md->end_subject && (*eptr & 0xc0) == 0x80);
3780            }            }
3781          break;          break;
# Line 3496  for (;;) Line 3786  for (;;)
3786            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3787              {              {
3788              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3789              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3790              }              }
3791            if (*eptr >= 128 || (md->ctypes[*eptr++] & ctype_word) == 0)            if (*eptr >= 128 || (md->ctypes[*eptr++] & ctype_word) == 0)
3792              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3793            /* No need to skip more bytes - we know it's a 1-byte character */            /* No need to skip more bytes - we know it's a 1-byte character */
3794            }            }
3795          break;          break;
# Line 3522  for (;;) Line 3812  for (;;)
3812            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3813              {              {
3814              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3815              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3816              }              }
3817            if (IS_NEWLINE(eptr)) RRETURN(MATCH_NOMATCH);            if (IS_NEWLINE(eptr)) MRRETURN(MATCH_NOMATCH);
3818            eptr++;            eptr++;
3819            }            }
3820          break;          break;
3821    
3822          case OP_ALLANY:          case OP_ALLANY:
3823          if (eptr > md->end_subject - min)          if (eptr > md->end_subject - min)
3824            {            {
3825            SCHECK_PARTIAL();            SCHECK_PARTIAL();
3826            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
3827            }            }
3828          eptr += min;          eptr += min;
3829          break;          break;
3830    
3831          case OP_ANYBYTE:          case OP_ANYBYTE:
3832          if (eptr > md->end_subject - min)          if (eptr > md->end_subject - min)
3833            {            {
3834            SCHECK_PARTIAL();            SCHECK_PARTIAL();
3835            RRETURN(MATCH_NOMATCH);            MRRETURN(MATCH_NOMATCH);
3836            }            }
3837          eptr += min;          eptr += min;
3838          break;          break;
3839    
# Line 3553  for (;;) Line 3843  for (;;)
3843            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3844              {              {
3845              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3846              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3847              }              }
3848            switch(*eptr++)            switch(*eptr++)
3849              {              {
3850              default: RRETURN(MATCH_NOMATCH);              default: MRRETURN(MATCH_NOMATCH);
3851              case 0x000d:              case 0x000d:
3852              if (eptr < md->end_subject && *eptr == 0x0a) eptr++;              if (eptr < md->end_subject && *eptr == 0x0a) eptr++;
3853              break;              break;
# Line 3567  for (;;) Line 3857  for (;;)
3857              case 0x000b:              case 0x000b:
3858              case 0x000c:              case 0x000c:
3859              case 0x0085:              case 0x0085:
3860              if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);              if (md->bsr_anycrlf) MRRETURN(MATCH_NOMATCH);
3861              break;              break;
3862              }              }
3863            }            }
# Line 3579  for (;;) Line 3869  for (;;)
3869            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3870              {              {
3871              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3872              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3873              }              }
3874            switch(*eptr++)            switch(*eptr++)
3875              {              {
# Line 3587  for (;;) Line 3877  for (;;)
3877              case 0x09:      /* HT */              case 0x09:      /* HT */
3878              case 0x20:      /* SPACE */              case 0x20:      /* SPACE */
3879              case 0xa0:      /* NBSP */              case 0xa0:      /* NBSP */
3880              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3881              }              }
3882            }            }
3883          break;          break;
# Line 3598  for (;;) Line 3888  for (;;)
3888            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3889              {              {
3890              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3891              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3892              }              }
3893            switch(*eptr++)            switch(*eptr++)
3894              {              {
3895              default: RRETURN(MATCH_NOMATCH);              default: MRRETURN(MATCH_NOMATCH);
3896              case 0x09:      /* HT */              case 0x09:      /* HT */
3897              case 0x20:      /* SPACE */              case 0x20:      /* SPACE */
3898              case 0xa0:      /* NBSP */              case 0xa0:      /* NBSP */
# Line 3617  for (;;) Line 3907  for (;;)
3907            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3908              {              {
3909              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3910              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3911              }              }
3912            switch(*eptr++)            switch(*eptr++)
3913              {              {
# Line 3627  for (;;) Line 3917  for (;;)
3917              case 0x0c:      /* FF */              case 0x0c:      /* FF */
3918              case 0x0d:      /* CR */              case 0x0d:      /* CR */
3919              case 0x85:      /* NEL */              case 0x85:      /* NEL */
3920              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3921              }              }
3922            }            }
3923          break;          break;
# Line 3638  for (;;) Line 3928  for (;;)
3928            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3929              {              {
3930              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3931              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3932              }              }
3933            switch(*eptr++)            switch(*eptr++)
3934              {              {
3935              default: RRETURN(MATCH_NOMATCH);              default: MRRETURN(MATCH_NOMATCH);
3936              case 0x0a:      /* LF */              case 0x0a:      /* LF */
3937              case 0x0b:      /* VT */              case 0x0b:      /* VT */
3938              case 0x0c:      /* FF */              case 0x0c:      /* FF */
# Line 3659  for (;;) Line 3949  for (;;)
3949            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3950              {              {
3951              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3952              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3953              }              }
3954            if ((md->ctypes[*eptr++] & ctype_digit) != 0) RRETURN(MATCH_NOMATCH);            if ((md->ctypes[*eptr++] & ctype_digit) != 0) MRRETURN(MATCH_NOMATCH);
3955            }            }
3956          break;          break;
3957    
# Line 3671  for (;;) Line 3961  for (;;)
3961            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3962              {              {
3963              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3964              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3965              }              }
3966            if ((md->ctypes[*eptr++] & ctype_digit) == 0) RRETURN(MATCH_NOMATCH);            if ((md->ctypes[*eptr++] & ctype_digit) == 0) MRRETURN(MATCH_NOMATCH);
3967            }            }
3968          break;          break;
3969    
# Line 3683  for (;;) Line 3973  for (;;)
3973            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3974              {              {
3975              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3976              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3977              }              }
3978            if ((md->ctypes[*eptr++] & ctype_space) != 0) RRETURN(MATCH_NOMATCH);            if ((md->ctypes[*eptr++] & ctype_space) != 0) MRRETURN(MATCH_NOMATCH);
3979            }            }
3980          break;          break;
3981    
# Line 3695  for (;;) Line 3985  for (;;)
3985            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3986              {              {
3987              SCHECK_PARTIAL();              SCHECK_PARTIAL();
3988              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
3989              }              }
3990            if ((md->ctypes[*eptr++] & ctype_space) == 0) RRETURN(MATCH_NOMATCH);            if ((md->ctypes[*eptr++] & ctype_space) == 0) MRRETURN(MATCH_NOMATCH);
3991            }            }
3992          break;          break;
3993    
# Line 3707  for (;;) Line 3997  for (;;)
3997            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
3998              {              {
3999              SCHECK_PARTIAL();              SCHECK_PARTIAL();
4000              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
4001              }              }
4002            if ((md->ctypes[*eptr++] & ctype_word) != 0)            if ((md->ctypes[*eptr++] & ctype_word) != 0)
4003              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
4004            }            }
4005          break;          break;
4006    
# Line 3720  for (;;) Line 4010  for (;;)
4010            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
4011              {              {
4012              SCHECK_PARTIAL();              SCHECK_PARTIAL();
4013              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
4014              }              }
4015            if ((md->ctypes[*eptr++] & ctype_word) == 0)            if ((md->ctypes[*eptr++] & ctype_word) == 0)
4016              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
4017            }            }
4018          break;          break;
4019    
# Line 3752  for (;;) Line 4042  for (;;)
4042              {              {
4043              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM36);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM36);
4044              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4045              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
4046              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
4047                {                {
4048                SCHECK_PARTIAL();                SCHECK_PARTIAL();
4049                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4050                }                }
4051              GETCHARINC(c, eptr);              GETCHARINC(c, eptr);
4052              if (prop_fail_result) RRETURN(MATCH_NOMATCH);              if (prop_fail_result) MRRETURN(MATCH_NOMATCH);
4053              }              }
4054            /* Control never gets here */            /* Control never gets here */
4055    
# Line 3768  for (;;) Line 4058  for (;;)
4058              {              {
4059              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM37);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM37);
4060              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4061              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
4062              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
4063                {                {
4064                SCHECK_PARTIAL();                SCHECK_PARTIAL();
4065                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4066                }                }
4067              GETCHARINC(c, eptr);              GETCHARINC(c, eptr);
4068              prop_chartype = UCD_CHARTYPE(c);              prop_chartype = UCD_CHARTYPE(c);
4069              if ((prop_chartype == ucp_Lu ||              if ((prop_chartype == ucp_Lu ||
4070                   prop_chartype == ucp_Ll ||                   prop_chartype == ucp_Ll ||
4071                   prop_chartype == ucp_Lt) == prop_fail_result)                   prop_chartype == ucp_Lt) == prop_fail_result)
4072                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4073              }              }
4074            /* Control never gets here */            /* Control never gets here */
4075    
# Line 3788  for (;;) Line 4078  for (;;)
4078              {              {
4079              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM38);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM38);
4080              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4081              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
4082              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
4083                {                {
4084                SCHECK_PARTIAL();                SCHECK_PARTIAL();
4085                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4086                }                }
4087              GETCHARINC(c, eptr);              GETCHARINC(c, eptr);
4088              prop_category = UCD_CATEGORY(c);              prop_category = UCD_CATEGORY(c);
4089              if ((prop_category == prop_value) == prop_fail_result)              if ((prop_category == prop_value) == prop_fail_result)
4090                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4091              }              }
4092            /* Control never gets here */            /* Control never gets here */
4093    
# Line 3806  for (;;) Line 4096  for (;;)
4096              {              {
4097              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM39);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM39);
4098              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4099              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
4100              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
4101                {                {
4102                SCHECK_PARTIAL();                SCHECK_PARTIAL();
4103                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4104                }                }
4105              GETCHARINC(c, eptr);              GETCHARINC(c, eptr);
4106              prop_chartype = UCD_CHARTYPE(c);              prop_chartype = UCD_CHARTYPE(c);
4107              if ((prop_chartype == prop_value) == prop_fail_result)              if ((prop_chartype == prop_value) == prop_fail_result)
4108                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4109              }              }
4110            /* Control never gets here */            /* Control never gets here */
4111    
# Line 3824  for (;;) Line 4114  for (;;)
4114              {              {
4115              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM40);              RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM40);
4116              if (rrc != MATCH_NOMATCH) RRETURN(rrc);              if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4117              if (fi >= max) RRETURN(MATCH_NOMATCH);              if (fi >= max) MRRETURN(MATCH_NOMATCH);
4118              if (eptr >= md->end_subject)              if (eptr >= md->end_subject)
4119                {                {
4120                SCHECK_PARTIAL();                SCHECK_PARTIAL();
4121                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4122                }                }
4123              GETCHARINC(c, eptr);              GETCHARINC(c, eptr);
4124              prop_script = UCD_SCRIPT(c);              prop_script = UCD_SCRIPT(c);
4125              if ((prop_script == prop_value) == prop_fail_result)              if ((prop_script == prop_value) == prop_fail_result)
4126                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4127              }              }
4128            /* Control never gets here */            /* Control never gets here */
4129    
# Line 3851  for (;;) Line 4141  for (;;)
4141            {            {
4142            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM41);            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM41);
4143            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4144            if (fi >= max) RRETURN(MATCH_NOMATCH);            if (fi >= max) MRRETURN(MATCH_NOMATCH);
4145            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
4146              {              {
4147              SCHECK_PARTIAL();              SCHECK_PARTIAL();
4148              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
4149              }              }
4150            GETCHARINCTEST(c, eptr);            GETCHARINCTEST(c, eptr);
4151            prop_category = UCD_CATEGORY(c);            prop_category = UCD_CATEGORY(c);
4152            if (prop_category == ucp_M) RRETURN(MATCH_NOMATCH);            if (prop_category == ucp_M) MRRETURN(MATCH_NOMATCH);
4153            while (eptr < md->end_subject)            while (eptr < md->end_subject)
4154              {              {
4155              int len = 1;              int len = 1;
# Line 3883  for (;;) Line 4173  for (;;)
4173            {            {
4174            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM42);            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM42);
4175            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4176            if (fi >= max) RRETURN(MATCH_NOMATCH);            if (fi >= max) MRRETURN(MATCH_NOMATCH);
4177            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
4178              {              {
4179              SCHECK_PARTIAL();              SCHECK_PARTIAL();
4180              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
4181              }              }
4182            if (ctype == OP_ANY && IS_NEWLINE(eptr))            if (ctype == OP_ANY && IS_NEWLINE(eptr))
4183              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
4184            GETCHARINC(c, eptr);            GETCHARINC(c, eptr);
4185            switch(ctype)            switch(ctype)
4186              {              {
# Line 3902  for (;;) Line 4192  for (;;)
4192              case OP_ANYNL:              case OP_ANYNL:
4193              switch(c)              switch(c)
4194                {                {
4195                default: RRETURN(MATCH_NOMATCH);                default: MRRETURN(MATCH_NOMATCH);
4196                case 0x000d:                case 0x000d:
4197                if (eptr < md->end_subject && *eptr == 0x0a) eptr++;                if (eptr < md->end_subject && *eptr == 0x0a) eptr++;
4198                break;                break;
# Line 3914  for (;;) Line 4204  for (;;)
4204                case 0x0085:                case 0x0085:
4205                case 0x2028:                case 0x2028:
4206                case 0x2029:                case 0x2029:
4207                if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);                if (md->bsr_anycrlf) MRRETURN(MATCH_NOMATCH);
4208                break;                break;
4209                }                }
4210              break;              break;
# Line 3942  for (;;) Line 4232  for (;;)
4232                case 0x202f:    /* NARROW NO-BREAK SPACE */                case 0x202f:    /* NARROW NO-BREAK SPACE */
4233                case 0x205f:    /* MEDIUM MATHEMATICAL SPACE */                case 0x205f:    /* MEDIUM MATHEMATICAL SPACE */
4234                case 0x3000:    /* IDEOGRAPHIC SPACE */                case 0x3000:    /* IDEOGRAPHIC SPACE */
4235                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4236                }                }
4237              break;              break;
4238    
4239              case OP_HSPACE:              case OP_HSPACE:
4240              switch(c)              switch(c)
4241                {                {
4242                default: RRETURN(MATCH_NOMATCH);                default: MRRETURN(MATCH_NOMATCH);
4243                case 0x09:      /* HT */                case 0x09:      /* HT */
4244                case 0x20:      /* SPACE */                case 0x20:      /* SPACE */
4245                case 0xa0:      /* NBSP */                case 0xa0:      /* NBSP */
# Line 3984  for (;;) Line 4274  for (;;)
4274                case 0x85:      /* NEL */                case 0x85:      /* NEL */
4275                case 0x2028:    /* LINE SEPARATOR */                case 0x2028:    /* LINE SEPARATOR */
4276                case 0x2029:    /* PARAGRAPH SEPARATOR */                case 0x2029:    /* PARAGRAPH SEPARATOR */
4277                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4278                }                }
4279              break;              break;
4280    
4281              case OP_VSPACE:              case OP_VSPACE:
4282              switch(c)              switch(c)
4283                {                {
4284                default: RRETURN(MATCH_NOMATCH);                default: MRRETURN(MATCH_NOMATCH);
4285                case 0x0a:      /* LF */                case 0x0a:      /* LF */
4286                case 0x0b:      /* VT */                case 0x0b:      /* VT */
4287                case 0x0c:      /* FF */                case 0x0c:      /* FF */
# Line 4005  for (;;) Line 4295  for (;;)
4295    
4296              case OP_NOT_DIGIT:              case OP_NOT_DIGIT:
4297              if (c < 256 && (md->ctypes[c] & ctype_digit) != 0)              if (c < 256 && (md->ctypes[c] & ctype_digit) != 0)
4298                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4299              break;              break;
4300    
4301              case OP_DIGIT:              case OP_DIGIT:
4302              if (c >= 256 || (md->ctypes[c] & ctype_digit) == 0)              if (c >= 256 || (md->ctypes[c] & ctype_digit) == 0)
4303                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4304              break;              break;
4305    
4306              case OP_NOT_WHITESPACE:              case OP_NOT_WHITESPACE:
4307              if (c < 256 && (md->ctypes[c] & ctype_space) != 0)              if (c < 256 && (md->ctypes[c] & ctype_space) != 0)
4308                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4309              break;              break;
4310    
4311              case OP_WHITESPACE:              case OP_WHITESPACE:
4312              if  (c >= 256 || (md->ctypes[c] & ctype_space) == 0)              if  (c >= 256 || (md->ctypes[c] & ctype_space) == 0)
4313                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4314              break;              break;
4315    
4316              case OP_NOT_WORDCHAR:              case OP_NOT_WORDCHAR:
4317              if (c < 256 && (md->ctypes[c] & ctype_word) != 0)              if (c < 256 && (md->ctypes[c] & ctype_word) != 0)
4318                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4319              break;              break;
4320    
4321              case OP_WORDCHAR:              case OP_WORDCHAR:
4322              if (c >= 256 || (md->ctypes[c] & ctype_word) == 0)              if (c >= 256 || (md->ctypes[c] & ctype_word) == 0)
4323                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4324              break;              break;
4325    
4326              default:              default:
# Line 4046  for (;;) Line 4336  for (;;)
4336            {            {
4337            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM43);            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM43);
4338            if (rrc != MATCH_NOMATCH) RRETURN(rrc);            if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4339            if (fi >= max) RRETURN(MATCH_NOMATCH);            if (fi >= max) MRRETURN(MATCH_NOMATCH);
4340            if (eptr >= md->end_subject)            if (eptr >= md->end_subject)
4341              {              {
4342              SCHECK_PARTIAL();              SCHECK_PARTIAL();
4343              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
4344              }              }
4345            if (ctype == OP_ANY && IS_NEWLINE(eptr))            if (ctype == OP_ANY && IS_NEWLINE(eptr))
4346              RRETURN(MATCH_NOMATCH);              MRRETURN(MATCH_NOMATCH);
4347            c = *eptr++;            c = *eptr++;
4348            switch(ctype)            switch(ctype)
4349              {              {
# Line 4065  for (;;) Line 4355  for (;;)
4355              case OP_ANYNL:              case OP_ANYNL:
4356              switch(c)              switch(c)
4357                {                {
4358                default: RRETURN(MATCH_NOMATCH);                default: MRRETURN(MATCH_NOMATCH);
4359                case 0x000d:                case 0x000d:
4360                if (eptr < md->end_subject && *eptr == 0x0a) eptr++;                if (eptr < md->end_subject && *eptr == 0x0a) eptr++;
4361                break;                break;
# Line 4076  for (;;) Line 4366  for (;;)
4366                case 0x000b:                case 0x000b:
4367                case 0x000c:                case 0x000c:
4368                case 0x0085:                case 0x0085:
4369                if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);                if (md->bsr_anycrlf) MRRETURN(MATCH_NOMATCH);
4370                break;                break;
4371                }                }
4372              break;              break;
# Line 4088  for (;;) Line 4378  for (;;)
4378                case 0x09:      /* HT */                case 0x09:      /* HT */
4379                case 0x20:      /* SPACE */                case 0x20:      /* SPACE */
4380                case 0xa0:      /* NBSP */                case 0xa0:      /* NBSP */
4381                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4382                }                }
4383              break;              break;
4384    
4385              case OP_HSPACE:              case OP_HSPACE:
4386              switch(c)              switch(c)
4387                {                {
4388                default: RRETURN(MATCH_NOMATCH);                default: MRRETURN(MATCH_NOMATCH);
4389                case 0x09:      /* HT */                case 0x09:      /* HT */
4390                case 0x20:      /* SPACE */                case 0x20:      /* SPACE */
4391                case 0xa0:      /* NBSP */                case 0xa0:      /* NBSP */
# Line 4112  for (;;) Line 4402  for (;;)
4402                case 0x0c:      /* FF */                case 0x0c:      /* FF */
4403                case 0x0d:      /* CR */                case 0x0d:      /* CR */
4404                case 0x85:      /* NEL */                case 0x85:      /* NEL */
4405                RRETURN(MATCH_NOMATCH);                MRRETURN(MATCH_NOMATCH);
4406                }                }
4407              break;              break;
4408    
4409              case OP_VSPACE:              case OP_VSPACE:
4410              switch(c)              switch(c)
4411                {                {
4412                default: RRETURN(MATCH_NOMATCH);                default: MRRETURN(MATCH_NOMATCH);
4413                case 0x0a:      /* LF */                case 0x0a:      /* LF */
4414                case 0x0b:      /* VT */                case 0x0b:      /* VT */
4415                case 0x0c:      /* FF */                case 0x0c:      /* FF */
# Line 4130  for (;;) Line 4420  for (;;)
4420              break;              break;
4421    
4422              case OP_NOT_DIGIT:              case OP_NOT_DIGIT:
4423              if ((md->ctypes[c] & ctype_digit) != 0) RRETURN(MATCH_NOMATCH);              if ((md->ctypes[c] & ctype_digit) != 0) MRRETURN(MATCH_NOMATCH);
4424              break;              break;
4425    
4426              case OP_DIGIT:              case OP_DIGIT:
4427              if ((md->ctypes[c] & ctype_digit) == 0) RRETURN(MATCH_NOMATCH);              if ((md->ctypes[c] & ctype_digit) == 0) MRRETURN(MATCH_NOMATCH);
4428              break;              break;
4429    
4430              case OP_NOT_WHITESPACE:              case OP_NOT_WHITESPACE:
4431              if ((md->ctypes[c] & ctype_space) != 0) RRETURN(MATCH_NOMATCH);              if ((md->ctypes[c] & ctype_space) != 0) MRRETURN(MATCH_NOMATCH);
4432              break;              break;
4433    
4434              case OP_WHITESPACE:              case OP_WHITESPACE:
4435              if  ((md->ctypes[c] & ctype_space) == 0) RRETURN(MATCH_NOMATCH);              if  ((md->ctypes[c] & ctype_space) == 0) MRRETURN(MATCH_NOMATCH);
4436              break;              break;
4437    
4438              case OP_NOT_WORDCHAR:              case OP_NOT_WORDCHAR:
4439              if ((md->ctypes[c] & ctype_word) != 0) RRETURN(MATCH_NOMATCH);              if ((md->ctypes[c] & ctype_word) != 0) MRRETURN(MATCH_NOMATCH);
4440              break;              break;
4441    
4442              case OP_WORDCHAR:              case OP_WORDCHAR:
4443              if ((md->ctypes[c] & ctype_word) == 0) RRETURN(MATCH_NOMATCH);              if ((md->ctypes[c] & ctype_word) == 0) MRRETURN(MATCH_NOMATCH);
4444              break;              break;
4445    
4446              default:              default:
# Line 4178  for (;;) Line 4468  for (;;)
4468            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4469              {              {
4470              int len = 1;              int len = 1;
4471              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4472                  {
4473                  SCHECK_PARTIAL();
4474                  break;
4475                  }
4476              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4477              if (prop_fail_result) break;              if (prop_fail_result) break;
4478              eptr+= len;              eptr+= len;
# Line 4189  for (;;) Line 4483  for (;;)
4483            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4484              {              {
4485              int len = 1;              int len = 1;
4486              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4487                  {
4488                  SCHECK_PARTIAL();
4489                  break;
4490                  }
4491              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4492              prop_chartype = UCD_CHARTYPE(c);              prop_chartype = UCD_CHARTYPE(c);
4493              if ((prop_chartype == ucp_Lu ||              if ((prop_chartype == ucp_Lu ||
# Line 4204  for (;;) Line 4502  for (;;)
4502            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4503              {              {
4504              int len = 1;              int len = 1;
4505              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4506                  {
4507                  SCHECK_PARTIAL();
4508                  break;
4509                  }
4510              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4511              prop_category = UCD_CATEGORY(c);              prop_category = UCD_CATEGORY(c);
4512              if ((prop_category == prop_value) == prop_fail_result)              if ((prop_category == prop_value) == prop_fail_result)
# Line 4217  for (;;) Line 4519  for (;;)
4519            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4520              {              {
4521              int len = 1;              int len = 1;
4522              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4523                  {
4524                  SCHECK_PARTIAL();
4525                  break;
4526                  }
4527              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4528              prop_chartype = UCD_CHARTYPE(c);              prop_chartype = UCD_CHARTYPE(c);
4529              if ((prop_chartype == prop_value) == prop_fail_result)              if ((prop_chartype == prop_value) == prop_fail_result)
# Line 4230  for (;;) Line 4536  for (;;)
4536            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4537              {              {
4538              int len = 1;              int len = 1;
4539              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4540                  {
4541                  SCHECK_PARTIAL();
4542                  break;
4543                  }
4544              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4545              prop_script = UCD_SCRIPT(c);              prop_script = UCD_SCRIPT(c);
4546              if ((prop_script == prop_value) == prop_fail_result)              if ((prop_script == prop_value) == prop_fail_result)
# Line 4259  for (;;) Line 4569  for (;;)
4569          {          {
4570          for (i = min; i < max; i++)          for (i = min; i < max; i++)
4571            {            {
4572            if (eptr >= md->end_subject) break;            if (eptr >= md->end_subject)
4573                {
4574                SCHECK_PARTIAL();
4575                break;
4576                }
4577            GETCHARINCTEST(c, eptr);            GETCHARINCTEST(c, eptr);
4578            prop_category = UCD_CATEGORY(c);            prop_category = UCD_CATEGORY(c);
4579            if (prop_category == ucp_M) break;            if (prop_category == ucp_M) break;
# Line 4279  for (;;) Line 4593  for (;;)
4593          /* eptr is now past the end of the maximum run */          /* eptr is now past the end of the maximum run */
4594    
4595          if (possessive) continue;          if (possessive) continue;
4596    
4597          for(;;)          for(;;)
4598            {            {
4599            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM45);            RMATCH(eptr, ecode, offset_top, md, ims, eptrb, 0, RM45);
# Line 4314  for (;;) Line 4629  for (;;)
4629              {              {
4630              for (i = min; i < max; i++)              for (i = min; i < max; i++)
4631                {                {
4632                if (eptr >= md->end_subject || IS_NEWLINE(eptr)) break;                if (eptr >= md->end_subject)
4633                    {
4634                    SCHECK_PARTIAL();
4635                    break;
4636                    }
4637                  if (IS_NEWLINE(eptr)) break;
4638                eptr++;                eptr++;
4639                while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;                while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;
4640                }                }
# Line 4326  for (;;) Line 4646  for (;;)
4646              {              {
4647              for (i = min; i < max; i++)              for (i = min; i < max; i++)
4648                {                {
4649                if (eptr >= md->end_subject || IS_NEWLINE(eptr)) break;                if (eptr >= md->end_subject)
4650                    {
4651                    SCHECK_PARTIAL();
4652                    break;
4653                    }
4654                  if (IS_NEWLINE(eptr)) break;
4655                eptr++;                eptr++;
4656                while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;                while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;
4657                }                }
# Line 4338  for (;;) Line 4663  for (;;)
4663              {              {
4664              for (i = min; i < max; i++)              for (i = min; i < max; i++)
4665                {                {
4666                if (eptr >= md->end_subject) break;                if (eptr >= md->end_subject)
4667                    {
4668                    SCHECK_PARTIAL();
4669                    break;
4670                    }
4671                eptr++;                eptr++;
4672                while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;                while (eptr < md->end_subject && (*eptr & 0xc0) == 0x80) eptr++;
4673                }                }
# Line 4351  for (;;) Line 4680  for (;;)
4680            case OP_ANYBYTE:            case OP_ANYBYTE:
4681            c = max - min;            c = max - min;
4682            if (c > (unsigned int)(md->end_subject - eptr))            if (c > (unsigned int)(md->end_subject - eptr))
4683              c = md->end_subject - eptr;              {
4684            eptr += c;              eptr = md->end_subject;
4685                SCHECK_PARTIAL();
4686                }
4687              else eptr += c;
4688            break;            break;
4689    
4690            case OP_ANYNL:            case OP_ANYNL:
4691            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4692              {              {
4693              int len = 1;              int len = 1;
4694              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4695                  {
4696                  SCHECK_PARTIAL();
4697                  break;
4698                  }
4699              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4700              if (c == 0x000d)              if (c == 0x000d)
4701                {                {
# Line 4384  for (;;) Line 4720  for (;;)
4720              {              {
4721              BOOL gotspace;              BOOL gotspace;
4722              int len = 1;              int len = 1;
4723              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4724                  {
4725                  SCHECK_PARTIAL();
4726                  break;
4727                  }
4728              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4729              switch(c)              switch(c)
4730                {                {
# Line 4422  for (;;) Line 4762  for (;;)
4762              {              {
4763              BOOL gotspace;              BOOL gotspace;
4764              int len = 1;              int len = 1;
4765              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4766                  {
4767                  SCHECK_PARTIAL();
4768                  break;
4769                  }
4770              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4771              switch(c)              switch(c)
4772                {                {
# Line 4446  for (;;) Line 4790  for (;;)
4790            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4791              {              {
4792              int len = 1;              int len = 1;
4793              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4794                  {
4795                  SCHECK_PARTIAL();
4796                  break;
4797                  }
4798              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4799              if (c < 256 && (md->ctypes[c] & ctype_digit) != 0) break;              if (c < 256 && (md->ctypes[c] & ctype_digit) != 0) break;
4800              eptr+= len;              eptr+= len;
# Line 4457  for (;;) Line 4805  for (;;)
4805            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4806              {              {
4807              int len = 1;              int len = 1;
4808              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4809                  {
4810                  SCHECK_PARTIAL();
4811                  break;
4812                  }
4813              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4814              if (c >= 256 ||(md->ctypes[c] & ctype_digit) == 0) break;              if (c >= 256 ||(md->ctypes[c] & ctype_digit) == 0) break;
4815              eptr+= len;              eptr+= len;
# Line 4468  for (;;) Line 4820  for (;;)
4820            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4821              {              {
4822              int len = 1;              int len = 1;
4823              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4824                  {
4825                  SCHECK_PARTIAL();
4826                  break;
4827                  }
4828              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4829              if (c < 256 && (md->ctypes[c] & ctype_space) != 0) break;              if (c < 256 && (md->ctypes[c] & ctype_space) != 0) break;
4830              eptr+= len;              eptr+= len;
# Line 4479  for (;;) Line 4835  for (;;)
4835            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4836              {              {
4837              int len = 1;              int len = 1;
4838              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4839                  {
4840                  SCHECK_PARTIAL();
4841                  break;
4842                  }
4843              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4844              if (c >= 256 ||(md->ctypes[c] & ctype_space) == 0) break;              if (c >= 256 ||(md->ctypes[c] & ctype_space) == 0) break;
4845              eptr+= len;              eptr+= len;
# Line 4490  for (;;) Line 4850  for (;;)
4850            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4851              {              {
4852              int len = 1;              int len = 1;
4853              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4854                  {
4855                  SCHECK_PARTIAL();
4856                  break;
4857                  }
4858              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4859              if (c < 256 && (md->ctypes[c] & ctype_word) != 0) break;              if (c < 256 && (md->ctypes[c] & ctype_word) != 0) break;
4860              eptr+= len;              eptr+= len;
# Line 4501  for (;;) Line 4865  for (;;)
4865            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4866              {              {
4867              int len = 1;              int len = 1;
4868              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4869                  {
4870                  SCHECK_PARTIAL();
4871                  break;
4872                  }
4873              GETCHARLEN(c, eptr, len);              GETCHARLEN(c, eptr, len);
4874              if (c >= 256 || (md->ctypes[c] & ctype_word) == 0) break;              if (c >= 256 || (md->ctypes[c] & ctype_word) == 0) break;
4875              eptr+= len;              eptr+= len;
# Line 4533  for (;;) Line 4901  for (;;)
4901            case OP_ANY:            case OP_ANY:
4902            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4903              {              {
4904              if (eptr >= md->end_subject || IS_NEWLINE(eptr)) break;              if (eptr >= md->end_subject)
4905                  {
4906                  SCHECK_PARTIAL();
4907                  break;
4908                  }
4909                if (IS_NEWLINE(eptr)) break;
4910              eptr++;              eptr++;
4911              }              }
4912            break;            break;
# Line 4542  for (;;) Line 4915  for (;;)
4915            case OP_ANYBYTE:            case OP_ANYBYTE:
4916            c = max - min;            c = max - min;
4917            if (c > (unsigned int)(md->end_subject - eptr))            if (c > (unsigned int)(md->end_subject - eptr))
4918              c = md->end_subject - eptr;              {
4919            eptr += c;              eptr = md->end_subject;
4920                SCHECK_PARTIAL();
4921                }
4922              else eptr += c;
4923            break;            break;
4924    
4925            case OP_ANYNL:            case OP_ANYNL:
4926            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4927              {              {
4928              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4929                  {
4930                  SCHECK_PARTIAL();
4931                  break;
4932                  }
4933              c = *eptr;              c = *eptr;
4934              if (c == 0x000d)              if (c == 0x000d)
4935                {                {
# Line 4570  for (;;) Line 4950  for (;;)
4950            case OP_NOT_HSPACE:            case OP_NOT_HSPACE:
4951            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4952              {              {
4953              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4954                  {
4955                  SCHECK_PARTIAL();
4956                  break;
4957                  }
4958              c = *eptr;              c = *eptr;
4959              if (c == 0x09 || c == 0x20 || c == 0xa0) break;              if (c == 0x09 || c == 0x20 || c == 0xa0) break;
4960              eptr++;              eptr++;
# Line 4580  for (;;) Line 4964  for (;;)
4964            case OP_HSPACE:            case OP_HSPACE:
4965            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4966              {              {
4967              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4968                  {
4969                  SCHECK_PARTIAL();
4970                  break;
4971                  }
4972              c = *eptr;              c = *eptr;
4973              if (c != 0x09 && c != 0x20 && c != 0xa0) break;              if (c != 0x09 && c != 0x20 && c != 0xa0) break;
4974              eptr++;              eptr++;
# Line 4590  for (;;) Line 4978  for (;;)
4978            case OP_NOT_VSPACE:            case OP_NOT_VSPACE:
4979            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4980              {              {
4981              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4982                  {
4983                  SCHECK_PARTIAL();
4984                  break;
4985                  }
4986              c = *eptr;              c = *eptr;
4987              if (c == 0x0a || c == 0x0b || c == 0x0c || c == 0x0d || c == 0x85)              if (c == 0x0a || c == 0x0b || c == 0x0c || c == 0x0d || c == 0x85)
4988                break;                break;
# Line 4601  for (;;) Line 4993  for (;;)
4993            case OP_VSPACE:            case OP_VSPACE:
4994            for (i = min; i < max; i++)            for (i = min; i < max; i++)
4995              {              {
4996              if (eptr >= md->end_subject) break;              if (eptr >= md->end_subject)
4997                  {
4998                  SCHECK_PARTIAL();
4999                  break;
5000                  }
5001              c = *eptr;              c = *eptr;
5002              if (c != 0x0a && c != 0x0b && c != 0x0c && c != 0x0d && c != 0x85)              if (c != 0x0a && c != 0x0b && c != 0x0c && c != 0x0d && c != 0x85)
5003                break;                break;
# Line 4612  for (;;) Line 5008  for (;;)
5008            case OP_NOT_DIGIT:            case OP_NOT_DIGIT:
5009            for (i = min; i < max; i++)            for (i = min; i < max; i++)
5010              {              {
5011              if (eptr >= md->end_subject || (md->ctypes[*eptr] & ctype_digit) != 0)              if (eptr >= md->end_subject)
5012                  {
5013                  SCHECK_PARTIAL();
5014                break;                break;
5015                  }
5016                if ((md->ctypes[*eptr] & ctype_digit) != 0) break;
5017              eptr++;              eptr++;
5018              }              }
5019            break;            break;
# Line 4621  for (;;) Line 5021  for (;;)
5021            case OP_DIGIT:            case OP_DIGIT:
5022            for (i = min; i < max; i++)            for (i = min; i < max; i++)
5023              {              {
5024              if (eptr >= md->end_subject || (md->ctypes[*eptr] & ctype_digit) == 0)              if (eptr >= md->end_subject)
5025                  {
5026                  SCHECK_PARTIAL();
5027                break;                break;
5028                  }
5029                if ((md->ctypes[*eptr] & ctype_digit) == 0) break;
5030              eptr++;              eptr++;
5031              }              }
5032            break;            break;
# Line 4630  for (;;) Line 5034  for (;;)
5034            case OP_NOT_WHITESPACE:            case OP_NOT_WHITESPACE:
5035            for (i = min; i < max; i++)            for (i = min; i < max; i++)
5036              {              {
5037              if (eptr >= md->end_subject || (md->ctypes[*eptr] & ctype_space) != 0)              if (eptr >= md->end_subject)
5038                  {
5039                  SCHECK_PARTIAL();
5040                break;                break;
5041                  }
5042                if ((md->ctypes[*eptr] & ctype_space) != 0) break;
5043              eptr++;              eptr++;
5044              }              }
5045            break;            break;
# Line 4639  for (;;) Line 5047  for (;;)
5047            case OP_WHITESPACE:            case OP_WHITESPACE:
5048            for (i = min; i < max; i++)            for (i = min; i < max; i++)
5049              {              {
5050              if (eptr >= md->end_subject || (md->ctypes[*eptr] & ctype_space) == 0)              if (eptr >= md->end_subject)
5051                  {
5052                  SCHECK_PARTIAL();
5053                break;                break;
5054                  }
5055                if ((md->ctypes[*eptr] & ctype_space) == 0) break;
5056              eptr++;              eptr++;
5057              }              }
5058            break;            break;
# Line 4648  for (;;) Line 5060  for (;;)
5060            case OP_NOT_WORDCHAR:            case OP_NOT_WORDCHAR:
5061            for (i = min; i < max; i++)            for (i = min; i < max; i++)
5062              {              {
5063              if (eptr >= md->end_subject || (md->ctypes[*eptr] & ctype_word) != 0)              if (eptr >= md->end_subject)
5064                  {
5065                  SCHECK_PARTIAL();
5066                break;                break;
5067                  }
5068                if ((md->ctypes[*eptr] & ctype_word) != 0) break;
5069              eptr++;              eptr++;
5070              }              }
5071            break;            break;
# Line 4657  for (;;) Line 5073  for (;;)
5073            case OP_WORDCHAR:            case OP_WORDCHAR:
5074            for (i = min; i < max; i++)            for (i = min; i < max; i++)
5075              {              {
5076              if (eptr >= md->end_subject || (md->ctypes[*eptr] & ctype_word) == 0)              if (eptr >= md->end_subject)
5077                  {
5078                  SCHECK_PARTIAL();
5079                break;                break;
5080                  }
5081                if ((md->ctypes[*eptr] & ctype_word) == 0) break;
5082              eptr++;              eptr++;
5083              }              }
5084            break;            break;
# Line 4680  for (;;) Line 5100  for (;;)
5100    
5101        /* Get here if we can't make it match with any permitted repetitions */        /* Get here if we can't make it match with any permitted repetitions */
5102    
5103        RRETURN(MATCH_NOMATCH);        MRRETURN(MATCH_NOMATCH);
5104        }        }
5105      /* Control never gets here */      /* Control never gets here */
5106    
# Line 4853  if (re == NULL || subject == NULL || Line 5273  if (re == NULL || subject == NULL ||
5273     (offsets == NULL && offsetcount > 0)) return PCRE_ERROR_NULL;     (offsets == NULL && offsetcount > 0)) return PCRE_ERROR_NULL;
5274  if (offsetcount < 0) return PCRE_ERROR_BADCOUNT;  if (offsetcount < 0) return PCRE_ERROR_BADCOUNT;
5275    
5276    /* This information is for finding all the numbers associated with a given
5277    name, for condition testing. */
5278    
5279    md->name_table = (uschar *)re + re->name_table_offset;
5280    md->name_count = re->name_count;
5281    md->name_entry_size = re->name_entry_size;
5282    
5283  /* Fish out the optional data from the extra_data structure, first setting  /* Fish out the optional data from the extra_data structure, first setting
5284  the default values. */  the default values. */
5285    
# Line 4920  md->jscript_compat = (re->options & PCRE Line 5347  md->jscript_compat = (re->options & PCRE
5347  md->notbol = (options & PCRE_NOTBOL) != 0;  md->notbol = (options & PCRE_NOTBOL) != 0;
5348  md->noteol = (options & PCRE_NOTEOL) != 0;  md->noteol = (options & PCRE_NOTEOL) != 0;
5349  md->notempty = (options & PCRE_NOTEMPTY) != 0;  md->notempty = (options & PCRE_NOTEMPTY) != 0;
5350    md->notempty_atstart = (options & PCRE_NOTEMPTY_ATSTART) != 0;
5351  md->partial = ((options & PCRE_PARTIAL_HARD) != 0)? 2 :  md->partial = ((options & PCRE_PARTIAL_HARD) != 0)? 2 :
5352                ((options & PCRE_PARTIAL_SOFT) != 0)? 1 : 0;                ((options & PCRE_PARTIAL_SOFT) != 0)? 1 : 0;
5353  md->hitend = FALSE;  md->hitend = FALSE;
5354    md->mark = NULL;                        /* In case never set */
5355    
5356  md->recursive = NULL;                   /* No recursion at top level */  md->recursive = NULL;                   /* No recursion at top level */
5357    
# Line 5084  if (!anchored) Line 5513  if (!anchored)
5513      }      }
5514    else    else
5515      if (!startline && study != NULL &&      if (!startline && study != NULL &&
5516        (study->options & PCRE_STUDY_MAPPED) != 0)        (study->flags & PCRE_STUDY_MAPPED) != 0)
5517          start_bits = study->start_bits;          start_bits = study->start_bits;
5518    }    }
5519    
# Line 5211  for(;;) Line 5640  for(;;)
5640    
5641    end_subject = save_end_subject;    end_subject = save_end_subject;
5642    
5643  #ifdef DEBUG  /* Sigh. Some compilers never learn. */    /* The following two optimizations are disabled for partial matching or if
   printf(">>>> Match against: ");  
   pchars(start_match, end_subject - start_match, TRUE, md);  
   printf("\n");  
 #endif  
   
   /* If req_byte is set, we know that that character must appear in the  
   subject for the match to succeed. If the first character is set, req_byte  
   must be later in the subject; otherwise the test starts at the match point.  
   This optimization can save a huge amount of backtracking in patterns with  
   nested unlimited repeats that aren't going to match. Writing separate code  
   for cased/caseless versions makes it go faster, as does using an  
   autoincrement and backing off on a match.  
   
   HOWEVER: when the subject string is very, very long, searching to its end  
   can take a long time, and give bad performance on quite ordinary patterns.  
   This showed up when somebody was matching something like /^\d+C/ on a  
   32-megabyte string... so we don't do this when the string is sufficiently  
   long.  
   
   ALSO: this processing is disabled when partial matching is requested, or if  
5644    disabling is explicitly requested. */    disabling is explicitly requested. */
5645    
5646    if ((options & PCRE_NO_START_OPTIMIZE) == 0 &&    if ((options & PCRE_NO_START_OPTIMIZE) == 0 && !md->partial)
       req_byte >= 0 &&  
       end_subject - start_match < REQ_BYTE_MAX &&  
       !md->partial)  
5647      {      {
5648      register USPTR p = start_match + ((first_byte >= 0)? 1 : 0);      /* If the pattern was studied, a minimum subject length may be set. This is
5649        a lower bound; no actual string of that length may actually match the
5650        pattern. Although the value is, strictly, in characters, we treat it as
5651        bytes to avoid spending too much time in this optimization. */
5652    
5653      /* We don't need to repeat the search if we haven't yet reached the      if (study != NULL && (study->flags & PCRE_STUDY_MINLEN) != 0 &&
5654      place we found it at last time. */          (pcre_uint32)(end_subject - start_match) < study->minlength)
5655          {
5656          rc = MATCH_NOMATCH;
5657          break;
5658          }
5659    
5660      if (p > req_byte_ptr)      /* If req_byte is set, we know that that character must appear in the
5661        subject for the match to succeed. If the first character is set, req_byte
5662        must be later in the subject; otherwise the test starts at the match point.
5663        This optimization can save a huge amount of backtracking in patterns with
5664        nested unlimited repeats that aren't going to match. Writing separate code
5665        for cased/caseless versions makes it go faster, as does using an
5666        autoincrement and backing off on a match.
5667    
5668        HOWEVER: when the subject string is very, very long, searching to its end
5669        can take a long time, and give bad performance on quite ordinary patterns.
5670        This showed up when somebody was matching something like /^\d+C/ on a
5671        32-megabyte string... so we don't do this when the string is sufficiently
5672        long. */
5673    
5674        if (req_byte >= 0 && end_subject - start_match < REQ_BYTE_MAX)
5675        {        {
5676        if (req_byte_caseless)        register USPTR p = start_match + ((first_byte >= 0)? 1 : 0);
5677    
5678          /* We don't need to repeat the search if we haven't yet reached the
5679          place we found it at last time. */
5680    
5681          if (p > req_byte_ptr)
5682          {          {
5683          while (p < end_subject)          if (req_byte_caseless)
5684            {            {
5685            register int pp = *p++;            while (p < end_subject)
5686            if (pp == req_byte || pp == req_byte2) { p--; break; }              {
5687                register int pp = *p++;
5688                if (pp == req_byte || pp == req_byte2) { p--; break; }
5689                }
5690            }            }
5691          }          else
       else  
         {  
         while (p < end_subject)  
5692            {            {
5693            if (*p++ == req_byte) { p--; break; }            while (p < end_subject)
5694                {
5695                if (*p++ == req_byte) { p--; break; }
5696                }
5697            }            }
         }  
5698    
5699        /* If we can't find the required character, break the matching loop,          /* If we can't find the required character, break the matching loop,
5700        forcing a match failure. */          forcing a match failure. */
5701    
5702        if (p >= end_subject)          if (p >= end_subject)
5703          {            {
5704          rc = MATCH_NOMATCH;            rc = MATCH_NOMATCH;
5705          break;            break;
5706          }            }
5707    
5708        /* If we have found the required character, save the point where we          /* If we have found the required character, save the point where we
5709        found it, so that we don't search again next time round the loop if          found it, so that we don't search again next time round the loop if
5710        the start hasn't passed this character yet. */          the start hasn't passed this character yet. */
5711    
5712        req_byte_ptr = p;          req_byte_ptr = p;
5713            }
5714        }        }
5715      }      }
5716    
5717    #ifdef PCRE_DEBUG  /* Sigh. Some compilers never learn. */
5718      printf(">>>> Match against: ");
5719      pchars(start_match, end_subject - start_match, TRUE, md);
5720      printf("\n");
5721    #endif
5722    
5723    /* OK, we can now run the match. If "hitend" is set afterwards, remember the    /* OK, we can now run the match. If "hitend" is set afterwards, remember the
5724    first starting point for which a partial match was found. */    first starting point for which a partial match was found. */
5725    
5726    md->start_match_ptr = start_match;    md->start_match_ptr = start_match;
5727    md->start_used_ptr = start_match;    md->start_used_ptr = start_match;
5728    md->match_call_count = 0;    md->match_call_count = 0;
5729    rc = match(start_match, md->start_code, start_match, 2, md, ims, NULL, 0, 0);    rc = match(start_match, md->start_code, start_match, NULL, 2, md, ims, NULL,
5730        0, 0);
5731    if (md->hitend && start_partial == NULL) start_partial = md->start_used_ptr;    if (md->hitend && start_partial == NULL) start_partial = md->start_used_ptr;
5732    
5733    switch(rc)    switch(rc)
5734      {      {
5735      /* NOMATCH and PRUNE advance by one character. THEN at this level acts      /* NOMATCH and PRUNE advance by one character. If MATCH_SKIP_ARG reaches
5736      exactly like PRUNE. */      this level it means that a MARK that matched the SKIP's arg was not found.
5737        We treat this as NOMATCH. THEN at this level acts exactly like PRUNE. */
5738    
5739      case MATCH_NOMATCH:      case MATCH_NOMATCH:
5740      case MATCH_PRUNE:      case MATCH_PRUNE:
5741        case MATCH_SKIP_ARG:
5742      case MATCH_THEN:      case MATCH_THEN:
5743      new_start_match = start_match + 1;      new_start_match = start_match + 1;
5744  #ifdef SUPPORT_UTF8  #ifdef SUPPORT_UTF8
# Line 5316  for(;;) Line 5760  for(;;)
5760      rc = MATCH_NOMATCH;      rc = MATCH_NOMATCH;
5761      goto ENDLOOP;      goto ENDLOOP;
5762    
5763      /* Any other return is some kind of error. */      /* Any other return is either a match, or some kind of error. */
5764    
5765      default:      default:
5766      goto ENDLOOP;      goto ENDLOOP;
# Line 5355  for(;;) Line 5799  for(;;)
5799           md->nllen == 2))           md->nllen == 2))
5800      start_match++;      start_match++;
5801    
5802    }   /* End of for(;;) "bumpalong" loop */    md->mark = NULL;   /* Reset for start of next match attempt */
5803      }                  /* End of for(;;) "bumpalong" loop */
5804    
5805  /* ==========================================================================*/  /* ==========================================================================*/
5806    
# Line 5379  capturing parentheses than vector slots. Line 5824  capturing parentheses than vector slots.
5824    
5825  ENDLOOP:  ENDLOOP:
5826    
5827  if (rc == MATCH_MATCH)  if (rc == MATCH_MATCH || rc == MATCH_ACCEPT)
5828    {    {
5829    if (using_temporary_offsets)    if (using_temporary_offsets)
5830      {      {
# Line 5410  if (rc == MATCH_MATCH) Line 5855  if (rc == MATCH_MATCH)
5855      }      }
5856    
5857    DPRINTF((">>>> returning %d\n", rc));    DPRINTF((">>>> returning %d\n", rc));
5858    return rc;    goto RETURN_MARK;
5859    }    }
5860    
5861  /* Control gets here if there has been an error, or if the overall match  /* Control gets here if there has been an error, or if the overall match
# Line 5421  if (using_temporary_offsets) Line 5866  if (using_temporary_offsets)
5866    DPRINTF(("Freeing temporary memory\n"));    DPRINTF(("Freeing temporary memory\n"));
5867    (pcre_free)(md->offset_vector);    (pcre_free)(md->offset_vector);
5868    }    }
5869    
5870    /* For anything other than nomatch or partial match, just return the code. */
5871    
5872  if (rc != MATCH_NOMATCH && rc != PCRE_ERROR_PARTIAL)  if (rc != MATCH_NOMATCH && rc != PCRE_ERROR_PARTIAL)
5873    {    {
5874    DPRINTF((">>>> error: returning %d\n", rc));    DPRINTF((">>>> error: returning %d\n", rc));
5875    return rc;    return rc;
5876    }    }
5877  else if (start_partial != NULL)  
5878    /* Handle partial matches - disable any mark data */
5879    
5880    if (start_partial != NULL)
5881    {    {
5882    DPRINTF((">>>> returning PCRE_ERROR_PARTIAL\n"));    DPRINTF((">>>> returning PCRE_ERROR_PARTIAL\n"));
5883      md->mark = NULL;
5884    if (offsetcount > 1)    if (offsetcount > 1)
5885      {      {
5886      offsets[0] = start_partial - (USPTR)subject;      offsets[0] = start_partial - (USPTR)subject;
5887      offsets[1] = end_subject - (USPTR)subject;      offsets[1] = end_subject - (USPTR)subject;
5888      }      }
5889    return PCRE_ERROR_PARTIAL;    rc = PCRE_ERROR_PARTIAL;
5890    }    }
5891    
5892    /* This is the classic nomatch case */
5893    
5894  else  else
5895    {    {
5896    DPRINTF((">>>> returning PCRE_ERROR_NOMATCH\n"));    DPRINTF((">>>> returning PCRE_ERROR_NOMATCH\n"));
5897    return PCRE_ERROR_NOMATCH;    rc = PCRE_ERROR_NOMATCH;
5898    }    }
5899    
5900    /* Return the MARK data if it has been requested. */
5901    
5902    RETURN_MARK:
5903    
5904    if (extra_data != NULL && (extra_data->flags & PCRE_EXTRA_MARK) != 0)
5905      *(extra_data->mark) = (unsigned char *)(md->mark);
5906    return rc;
5907  }  }
5908    
5909  /* End of pcre_exec.c */  /* End of pcre_exec.c */

Legend:
Removed from v.435  
changed lines
  Added in v.511

  ViewVC Help
Powered by ViewVC 1.1.5