xref: /PHP-5.5/ext/pcre/pcrelib/pcre_exec.c (revision ca02d9c2)
1 /*************************************************
2 *      Perl-Compatible Regular Expressions       *
3 *************************************************/
4 
5 /* PCRE is a library of functions to support regular expressions whose syntax
6 and semantics are as close as possible to those of the Perl 5 language.
7 
8                        Written by Philip Hazel
9            Copyright (c) 1997-2014 University of Cambridge
10 
11 -----------------------------------------------------------------------------
12 Redistribution and use in source and binary forms, with or without
13 modification, are permitted provided that the following conditions are met:
14 
15     * Redistributions of source code must retain the above copyright notice,
16       this list of conditions and the following disclaimer.
17 
18     * Redistributions in binary form must reproduce the above copyright
19       notice, this list of conditions and the following disclaimer in the
20       documentation and/or other materials provided with the distribution.
21 
22     * Neither the name of the University of Cambridge nor the names of its
23       contributors may be used to endorse or promote products derived from
24       this software without specific prior written permission.
25 
26 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
27 AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28 IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29 ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
30 LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
31 CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
32 SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
33 INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
34 CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
35 ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
36 POSSIBILITY OF SUCH DAMAGE.
37 -----------------------------------------------------------------------------
38 */
39 
40 /* This module contains pcre_exec(), the externally visible function that does
41 pattern matching using an NFA algorithm, trying to mimic Perl as closely as
42 possible. There are also some static supporting functions. */
43 
44 #ifdef HAVE_CONFIG_H
45 #include "config.h"
46 #endif
47 
48 #define NLBLOCK md             /* Block containing newline information */
49 #define PSSTART start_subject  /* Field containing processed string start */
50 #define PSEND   end_subject    /* Field containing processed string end */
51 
52 #include "pcre_internal.h"
53 
54 /* Undefine some potentially clashing cpp symbols */
55 
56 #undef min
57 #undef max
58 
59 /* The md->capture_last field uses the lower 16 bits for the last captured
60 substring (which can never be greater than 65535) and a bit in the top half
61 to mean "capture vector overflowed". This odd way of doing things was
62 implemented when it was realized that preserving and restoring the overflow bit
63 whenever the last capture number was saved/restored made for a neater
64 interface, and doing it this way saved on (a) another variable, which would
65 have increased the stack frame size (a big NO-NO in PCRE) and (b) another
66 separate set of save/restore instructions. The following defines are used in
67 implementing this. */
68 
69 #define CAPLMASK    0x0000ffff    /* The bits used for last_capture */
70 #define OVFLMASK    0xffff0000    /* The bits used for the overflow flag */
71 #define OVFLBIT     0x00010000    /* The bit that is set for overflow */
72 
73 /* Values for setting in md->match_function_type to indicate two special types
74 of call to match(). We do it this way to save on using another stack variable,
75 as stack usage is to be discouraged. */
76 
77 #define MATCH_CONDASSERT     1  /* Called to check a condition assertion */
78 #define MATCH_CBEGROUP       2  /* Could-be-empty unlimited repeat group */
79 
80 /* Non-error returns from the match() function. Error returns are externally
81 defined PCRE_ERROR_xxx codes, which are all negative. */
82 
83 #define MATCH_MATCH        1
84 #define MATCH_NOMATCH      0
85 
86 /* Special internal returns from the match() function. Make them sufficiently
87 negative to avoid the external error codes. */
88 
89 #define MATCH_ACCEPT       (-999)
90 #define MATCH_KETRPOS      (-998)
91 #define MATCH_ONCE         (-997)
92 /* The next 5 must be kept together and in sequence so that a test that checks
93 for any one of them can use a range. */
94 #define MATCH_COMMIT       (-996)
95 #define MATCH_PRUNE        (-995)
96 #define MATCH_SKIP         (-994)
97 #define MATCH_SKIP_ARG     (-993)
98 #define MATCH_THEN         (-992)
99 #define MATCH_BACKTRACK_MAX MATCH_THEN
100 #define MATCH_BACKTRACK_MIN MATCH_COMMIT
101 
102 /* Maximum number of ints of offset to save on the stack for recursive calls.
103 If the offset vector is bigger, malloc is used. This should be a multiple of 3,
104 because the offset vector is always a multiple of 3 long. */
105 
106 #define REC_STACK_SAVE_MAX 30
107 
108 /* Min and max values for the common repeats; for the maxima, 0 => infinity */
109 
110 static const char rep_min[] = { 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, };
111 static const char rep_max[] = { 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, };
112 
113 #ifdef PCRE_DEBUG
114 /*************************************************
115 *        Debugging function to print chars       *
116 *************************************************/
117 
118 /* Print a sequence of chars in printable format, stopping at the end of the
119 subject if the requested.
120 
121 Arguments:
122   p           points to characters
123   length      number to print
124   is_subject  TRUE if printing from within md->start_subject
125   md          pointer to matching data block, if is_subject is TRUE
126 
127 Returns:     nothing
128 */
129 
130 static void
pchars(const pcre_uchar * p,int length,BOOL is_subject,match_data * md)131 pchars(const pcre_uchar *p, int length, BOOL is_subject, match_data *md)
132 {
133 pcre_uint32 c;
134 BOOL utf = md->utf;
135 if (is_subject && length > md->end_subject - p) length = md->end_subject - p;
136 while (length-- > 0)
137   if (isprint(c = UCHAR21INCTEST(p))) printf("%c", (char)c); else printf("\\x{%02x}", c);
138 }
139 #endif
140 
141 
142 
143 /*************************************************
144 *          Match a back-reference                *
145 *************************************************/
146 
147 /* Normally, if a back reference hasn't been set, the length that is passed is
148 negative, so the match always fails. However, in JavaScript compatibility mode,
149 the length passed is zero. Note that in caseless UTF-8 mode, the number of
150 subject bytes matched may be different to the number of reference bytes.
151 
152 Arguments:
153   offset      index into the offset vector
154   eptr        pointer into the subject
155   length      length of reference to be matched (number of bytes)
156   md          points to match data block
157   caseless    TRUE if caseless
158 
159 Returns:      >= 0 the number of subject bytes matched
160               -1 no match
161               -2 partial match; always given if at end subject
162 */
163 
164 static int
match_ref(int offset,register PCRE_PUCHAR eptr,int length,match_data * md,BOOL caseless)165 match_ref(int offset, register PCRE_PUCHAR eptr, int length, match_data *md,
166   BOOL caseless)
167 {
168 PCRE_PUCHAR eptr_start = eptr;
169 register PCRE_PUCHAR p = md->start_subject + md->offset_vector[offset];
170 #if defined SUPPORT_UTF && defined SUPPORT_UCP
171 BOOL utf = md->utf;
172 #endif
173 
174 #ifdef PCRE_DEBUG
175 if (eptr >= md->end_subject)
176   printf("matching subject <null>");
177 else
178   {
179   printf("matching subject ");
180   pchars(eptr, length, TRUE, md);
181   }
182 printf(" against backref ");
183 pchars(p, length, FALSE, md);
184 printf("\n");
185 #endif
186 
187 /* Always fail if reference not set (and not JavaScript compatible - in that
188 case the length is passed as zero). */
189 
190 if (length < 0) return -1;
191 
192 /* Separate the caseless case for speed. In UTF-8 mode we can only do this
193 properly if Unicode properties are supported. Otherwise, we can check only
194 ASCII characters. */
195 
196 if (caseless)
197   {
198 #if defined SUPPORT_UTF && defined SUPPORT_UCP
199   if (utf)
200     {
201     /* Match characters up to the end of the reference. NOTE: the number of
202     data units matched may differ, because in UTF-8 there are some characters
203     whose upper and lower case versions code have different numbers of bytes.
204     For example, U+023A (2 bytes in UTF-8) is the upper case version of U+2C65
205     (3 bytes in UTF-8); a sequence of 3 of the former uses 6 bytes, as does a
206     sequence of two of the latter. It is important, therefore, to check the
207     length along the reference, not along the subject (earlier code did this
208     wrong). */
209 
210     PCRE_PUCHAR endptr = p + length;
211     while (p < endptr)
212       {
213       pcre_uint32 c, d;
214       const ucd_record *ur;
215       if (eptr >= md->end_subject) return -2;   /* Partial match */
216       GETCHARINC(c, eptr);
217       GETCHARINC(d, p);
218       ur = GET_UCD(d);
219       if (c != d && c != d + ur->other_case)
220         {
221         const pcre_uint32 *pp = PRIV(ucd_caseless_sets) + ur->caseset;
222         for (;;)
223           {
224           if (c < *pp) return -1;
225           if (c == *pp++) break;
226           }
227         }
228       }
229     }
230   else
231 #endif
232 
233   /* The same code works when not in UTF-8 mode and in UTF-8 mode when there
234   is no UCP support. */
235     {
236     while (length-- > 0)
237       {
238       pcre_uint32 cc, cp;
239       if (eptr >= md->end_subject) return -2;   /* Partial match */
240       cc = UCHAR21TEST(eptr);
241       cp = UCHAR21TEST(p);
242       if (TABLE_GET(cp, md->lcc, cp) != TABLE_GET(cc, md->lcc, cc)) return -1;
243       p++;
244       eptr++;
245       }
246     }
247   }
248 
249 /* In the caseful case, we can just compare the bytes, whether or not we
250 are in UTF-8 mode. */
251 
252 else
253   {
254   while (length-- > 0)
255     {
256     if (eptr >= md->end_subject) return -2;   /* Partial match */
257     if (UCHAR21INCTEST(p) != UCHAR21INCTEST(eptr)) return -1;
258     }
259   }
260 
261 return (int)(eptr - eptr_start);
262 }
263 
264 
265 
266 /***************************************************************************
267 ****************************************************************************
268                    RECURSION IN THE match() FUNCTION
269 
270 The match() function is highly recursive, though not every recursive call
271 increases the recursive depth. Nevertheless, some regular expressions can cause
272 it to recurse to a great depth. I was writing for Unix, so I just let it call
273 itself recursively. This uses the stack for saving everything that has to be
274 saved for a recursive call. On Unix, the stack can be large, and this works
275 fine.
276 
277 It turns out that on some non-Unix-like systems there are problems with
278 programs that use a lot of stack. (This despite the fact that every last chip
279 has oodles of memory these days, and techniques for extending the stack have
280 been known for decades.) So....
281 
282 There is a fudge, triggered by defining NO_RECURSE, which avoids recursive
283 calls by keeping local variables that need to be preserved in blocks of memory
284 obtained from malloc() instead instead of on the stack. Macros are used to
285 achieve this so that the actual code doesn't look very different to what it
286 always used to.
287 
288 The original heap-recursive code used longjmp(). However, it seems that this
289 can be very slow on some operating systems. Following a suggestion from Stan
290 Switzer, the use of longjmp() has been abolished, at the cost of having to
291 provide a unique number for each call to RMATCH. There is no way of generating
292 a sequence of numbers at compile time in C. I have given them names, to make
293 them stand out more clearly.
294 
295 Crude tests on x86 Linux show a small speedup of around 5-8%. However, on
296 FreeBSD, avoiding longjmp() more than halves the time taken to run the standard
297 tests. Furthermore, not using longjmp() means that local dynamic variables
298 don't have indeterminate values; this has meant that the frame size can be
299 reduced because the result can be "passed back" by straight setting of the
300 variable instead of being passed in the frame.
301 ****************************************************************************
302 ***************************************************************************/
303 
304 /* Numbers for RMATCH calls. When this list is changed, the code at HEAP_RETURN
305 below must be updated in sync.  */
306 
307 enum { RM1=1, RM2,  RM3,  RM4,  RM5,  RM6,  RM7,  RM8,  RM9,  RM10,
308        RM11,  RM12, RM13, RM14, RM15, RM16, RM17, RM18, RM19, RM20,
309        RM21,  RM22, RM23, RM24, RM25, RM26, RM27, RM28, RM29, RM30,
310        RM31,  RM32, RM33, RM34, RM35, RM36, RM37, RM38, RM39, RM40,
311        RM41,  RM42, RM43, RM44, RM45, RM46, RM47, RM48, RM49, RM50,
312        RM51,  RM52, RM53, RM54, RM55, RM56, RM57, RM58, RM59, RM60,
313        RM61,  RM62, RM63, RM64, RM65, RM66, RM67 };
314 
315 /* These versions of the macros use the stack, as normal. There are debugging
316 versions and production versions. Note that the "rw" argument of RMATCH isn't
317 actually used in this definition. */
318 
319 #ifndef NO_RECURSE
320 #define REGISTER register
321 
322 #ifdef PCRE_DEBUG
323 #define RMATCH(ra,rb,rc,rd,re,rw) \
324   { \
325   printf("match() called in line %d\n", __LINE__); \
326   rrc = match(ra,rb,mstart,rc,rd,re,rdepth+1); \
327   printf("to line %d\n", __LINE__); \
328   }
329 #define RRETURN(ra) \
330   { \
331   printf("match() returned %d from line %d\n", ra, __LINE__); \
332   return ra; \
333   }
334 #else
335 #define RMATCH(ra,rb,rc,rd,re,rw) \
336   rrc = match(ra,rb,mstart,rc,rd,re,rdepth+1)
337 #define RRETURN(ra) return ra
338 #endif
339 
340 #else
341 
342 
343 /* These versions of the macros manage a private stack on the heap. Note that
344 the "rd" argument of RMATCH isn't actually used in this definition. It's the md
345 argument of match(), which never changes. */
346 
347 #define REGISTER
348 
349 #define RMATCH(ra,rb,rc,rd,re,rw)\
350   {\
351   heapframe *newframe = frame->Xnextframe;\
352   if (newframe == NULL)\
353     {\
354     newframe = (heapframe *)(PUBL(stack_malloc))(sizeof(heapframe));\
355     if (newframe == NULL) RRETURN(PCRE_ERROR_NOMEMORY);\
356     newframe->Xnextframe = NULL;\
357     frame->Xnextframe = newframe;\
358     }\
359   frame->Xwhere = rw;\
360   newframe->Xeptr = ra;\
361   newframe->Xecode = rb;\
362   newframe->Xmstart = mstart;\
363   newframe->Xoffset_top = rc;\
364   newframe->Xeptrb = re;\
365   newframe->Xrdepth = frame->Xrdepth + 1;\
366   newframe->Xprevframe = frame;\
367   frame = newframe;\
368   DPRINTF(("restarting from line %d\n", __LINE__));\
369   goto HEAP_RECURSE;\
370   L_##rw:\
371   DPRINTF(("jumped back to line %d\n", __LINE__));\
372   }
373 
374 #define RRETURN(ra)\
375   {\
376   heapframe *oldframe = frame;\
377   frame = oldframe->Xprevframe;\
378   if (frame != NULL)\
379     {\
380     rrc = ra;\
381     goto HEAP_RETURN;\
382     }\
383   return ra;\
384   }
385 
386 
387 /* Structure for remembering the local variables in a private frame */
388 
389 typedef struct heapframe {
390   struct heapframe *Xprevframe;
391   struct heapframe *Xnextframe;
392 
393   /* Function arguments that may change */
394 
395   PCRE_PUCHAR Xeptr;
396   const pcre_uchar *Xecode;
397   PCRE_PUCHAR Xmstart;
398   int Xoffset_top;
399   eptrblock *Xeptrb;
400   unsigned int Xrdepth;
401 
402   /* Function local variables */
403 
404   PCRE_PUCHAR Xcallpat;
405 #ifdef SUPPORT_UTF
406   PCRE_PUCHAR Xcharptr;
407 #endif
408   PCRE_PUCHAR Xdata;
409   PCRE_PUCHAR Xnext;
410   PCRE_PUCHAR Xpp;
411   PCRE_PUCHAR Xprev;
412   PCRE_PUCHAR Xsaved_eptr;
413 
414   recursion_info Xnew_recursive;
415 
416   BOOL Xcur_is_word;
417   BOOL Xcondition;
418   BOOL Xprev_is_word;
419 
420 #ifdef SUPPORT_UCP
421   int Xprop_type;
422   unsigned int Xprop_value;
423   int Xprop_fail_result;
424   int Xoclength;
425   pcre_uchar Xocchars[6];
426 #endif
427 
428   int Xcodelink;
429   int Xctype;
430   unsigned int Xfc;
431   int Xfi;
432   int Xlength;
433   int Xmax;
434   int Xmin;
435   unsigned int Xnumber;
436   int Xoffset;
437   unsigned int Xop;
438   pcre_int32 Xsave_capture_last;
439   int Xsave_offset1, Xsave_offset2, Xsave_offset3;
440   int Xstacksave[REC_STACK_SAVE_MAX];
441 
442   eptrblock Xnewptrb;
443 
444   /* Where to jump back to */
445 
446   int Xwhere;
447 
448 } heapframe;
449 
450 #endif
451 
452 
453 /***************************************************************************
454 ***************************************************************************/
455 
456 
457 
458 /*************************************************
459 *         Match from current position            *
460 *************************************************/
461 
462 /* This function is called recursively in many circumstances. Whenever it
463 returns a negative (error) response, the outer incarnation must also return the
464 same response. */
465 
466 /* These macros pack up tests that are used for partial matching, and which
467 appear several times in the code. We set the "hit end" flag if the pointer is
468 at the end of the subject and also past the start of the subject (i.e.
469 something has been matched). For hard partial matching, we then return
470 immediately. The second one is used when we already know we are past the end of
471 the subject. */
472 
473 #define CHECK_PARTIAL()\
474   if (md->partial != 0 && eptr >= md->end_subject && \
475       eptr > md->start_used_ptr) \
476     { \
477     md->hitend = TRUE; \
478     if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL); \
479     }
480 
481 #define SCHECK_PARTIAL()\
482   if (md->partial != 0 && eptr > md->start_used_ptr) \
483     { \
484     md->hitend = TRUE; \
485     if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL); \
486     }
487 
488 
489 /* Performance note: It might be tempting to extract commonly used fields from
490 the md structure (e.g. utf, end_subject) into individual variables to improve
491 performance. Tests using gcc on a SPARC disproved this; in the first case, it
492 made performance worse.
493 
494 Arguments:
495    eptr        pointer to current character in subject
496    ecode       pointer to current position in compiled code
497    mstart      pointer to the current match start position (can be modified
498                  by encountering \K)
499    offset_top  current top pointer
500    md          pointer to "static" info for the match
501    eptrb       pointer to chain of blocks containing eptr at start of
502                  brackets - for testing for empty matches
503    rdepth      the recursion depth
504 
505 Returns:       MATCH_MATCH if matched            )  these values are >= 0
506                MATCH_NOMATCH if failed to match  )
507                a negative MATCH_xxx value for PRUNE, SKIP, etc
508                a negative PCRE_ERROR_xxx value if aborted by an error condition
509                  (e.g. stopped by repeated call or recursion limit)
510 */
511 
512 static int
match(REGISTER PCRE_PUCHAR eptr,REGISTER const pcre_uchar * ecode,PCRE_PUCHAR mstart,int offset_top,match_data * md,eptrblock * eptrb,unsigned int rdepth)513 match(REGISTER PCRE_PUCHAR eptr, REGISTER const pcre_uchar *ecode,
514   PCRE_PUCHAR mstart, int offset_top, match_data *md, eptrblock *eptrb,
515   unsigned int rdepth)
516 {
517 /* These variables do not need to be preserved over recursion in this function,
518 so they can be ordinary variables in all cases. Mark some of them with
519 "register" because they are used a lot in loops. */
520 
521 register int  rrc;         /* Returns from recursive calls */
522 register int  i;           /* Used for loops not involving calls to RMATCH() */
523 register pcre_uint32 c;    /* Character values not kept over RMATCH() calls */
524 register BOOL utf;         /* Local copy of UTF flag for speed */
525 
526 BOOL minimize, possessive; /* Quantifier options */
527 BOOL caseless;
528 int condcode;
529 
530 /* When recursion is not being used, all "local" variables that have to be
531 preserved over calls to RMATCH() are part of a "frame". We set up the top-level
532 frame on the stack here; subsequent instantiations are obtained from the heap
533 whenever RMATCH() does a "recursion". See the macro definitions above. Putting
534 the top-level on the stack rather than malloc-ing them all gives a performance
535 boost in many cases where there is not much "recursion". */
536 
537 #ifdef NO_RECURSE
538 heapframe *frame = (heapframe *)md->match_frames_base;
539 
540 /* Copy in the original argument variables */
541 
542 frame->Xeptr = eptr;
543 frame->Xecode = ecode;
544 frame->Xmstart = mstart;
545 frame->Xoffset_top = offset_top;
546 frame->Xeptrb = eptrb;
547 frame->Xrdepth = rdepth;
548 
549 /* This is where control jumps back to to effect "recursion" */
550 
551 HEAP_RECURSE:
552 
553 /* Macros make the argument variables come from the current frame */
554 
555 #define eptr               frame->Xeptr
556 #define ecode              frame->Xecode
557 #define mstart             frame->Xmstart
558 #define offset_top         frame->Xoffset_top
559 #define eptrb              frame->Xeptrb
560 #define rdepth             frame->Xrdepth
561 
562 /* Ditto for the local variables */
563 
564 #ifdef SUPPORT_UTF
565 #define charptr            frame->Xcharptr
566 #endif
567 #define callpat            frame->Xcallpat
568 #define codelink           frame->Xcodelink
569 #define data               frame->Xdata
570 #define next               frame->Xnext
571 #define pp                 frame->Xpp
572 #define prev               frame->Xprev
573 #define saved_eptr         frame->Xsaved_eptr
574 
575 #define new_recursive      frame->Xnew_recursive
576 
577 #define cur_is_word        frame->Xcur_is_word
578 #define condition          frame->Xcondition
579 #define prev_is_word       frame->Xprev_is_word
580 
581 #ifdef SUPPORT_UCP
582 #define prop_type          frame->Xprop_type
583 #define prop_value         frame->Xprop_value
584 #define prop_fail_result   frame->Xprop_fail_result
585 #define oclength           frame->Xoclength
586 #define occhars            frame->Xocchars
587 #endif
588 
589 #define ctype              frame->Xctype
590 #define fc                 frame->Xfc
591 #define fi                 frame->Xfi
592 #define length             frame->Xlength
593 #define max                frame->Xmax
594 #define min                frame->Xmin
595 #define number             frame->Xnumber
596 #define offset             frame->Xoffset
597 #define op                 frame->Xop
598 #define save_capture_last  frame->Xsave_capture_last
599 #define save_offset1       frame->Xsave_offset1
600 #define save_offset2       frame->Xsave_offset2
601 #define save_offset3       frame->Xsave_offset3
602 #define stacksave          frame->Xstacksave
603 
604 #define newptrb            frame->Xnewptrb
605 
606 /* When recursion is being used, local variables are allocated on the stack and
607 get preserved during recursion in the normal way. In this environment, fi and
608 i, and fc and c, can be the same variables. */
609 
610 #else         /* NO_RECURSE not defined */
611 #define fi i
612 #define fc c
613 
614 /* Many of the following variables are used only in small blocks of the code.
615 My normal style of coding would have declared them within each of those blocks.
616 However, in order to accommodate the version of this code that uses an external
617 "stack" implemented on the heap, it is easier to declare them all here, so the
618 declarations can be cut out in a block. The only declarations within blocks
619 below are for variables that do not have to be preserved over a recursive call
620 to RMATCH(). */
621 
622 #ifdef SUPPORT_UTF
623 const pcre_uchar *charptr;
624 #endif
625 const pcre_uchar *callpat;
626 const pcre_uchar *data;
627 const pcre_uchar *next;
628 PCRE_PUCHAR       pp;
629 const pcre_uchar *prev;
630 PCRE_PUCHAR       saved_eptr;
631 
632 recursion_info new_recursive;
633 
634 BOOL cur_is_word;
635 BOOL condition;
636 BOOL prev_is_word;
637 
638 #ifdef SUPPORT_UCP
639 int prop_type;
640 unsigned int prop_value;
641 int prop_fail_result;
642 int oclength;
643 pcre_uchar occhars[6];
644 #endif
645 
646 int codelink;
647 int ctype;
648 int length;
649 int max;
650 int min;
651 unsigned int number;
652 int offset;
653 unsigned int op;
654 pcre_int32 save_capture_last;
655 int save_offset1, save_offset2, save_offset3;
656 int stacksave[REC_STACK_SAVE_MAX];
657 
658 eptrblock newptrb;
659 
660 /* There is a special fudge for calling match() in a way that causes it to
661 measure the size of its basic stack frame when the stack is being used for
662 recursion. The second argument (ecode) being NULL triggers this behaviour. It
663 cannot normally ever be NULL. The return is the negated value of the frame
664 size. */
665 
666 if (ecode == NULL)
667   {
668   if (rdepth == 0)
669     return match((PCRE_PUCHAR)&rdepth, NULL, NULL, 0, NULL, NULL, 1);
670   else
671     {
672     int len = (char *)&rdepth - (char *)eptr;
673     return (len > 0)? -len : len;
674     }
675   }
676 #endif     /* NO_RECURSE */
677 
678 /* To save space on the stack and in the heap frame, I have doubled up on some
679 of the local variables that are used only in localised parts of the code, but
680 still need to be preserved over recursive calls of match(). These macros define
681 the alternative names that are used. */
682 
683 #define allow_zero    cur_is_word
684 #define cbegroup      condition
685 #define code_offset   codelink
686 #define condassert    condition
687 #define matched_once  prev_is_word
688 #define foc           number
689 #define save_mark     data
690 
691 /* These statements are here to stop the compiler complaining about unitialized
692 variables. */
693 
694 #ifdef SUPPORT_UCP
695 prop_value = 0;
696 prop_fail_result = 0;
697 #endif
698 
699 
700 /* This label is used for tail recursion, which is used in a few cases even
701 when NO_RECURSE is not defined, in order to reduce the amount of stack that is
702 used. Thanks to Ian Taylor for noticing this possibility and sending the
703 original patch. */
704 
705 TAIL_RECURSE:
706 
707 /* OK, now we can get on with the real code of the function. Recursive calls
708 are specified by the macro RMATCH and RRETURN is used to return. When
709 NO_RECURSE is *not* defined, these just turn into a recursive call to match()
710 and a "return", respectively (possibly with some debugging if PCRE_DEBUG is
711 defined). However, RMATCH isn't like a function call because it's quite a
712 complicated macro. It has to be used in one particular way. This shouldn't,
713 however, impact performance when true recursion is being used. */
714 
715 #ifdef SUPPORT_UTF
716 utf = md->utf;       /* Local copy of the flag */
717 #else
718 utf = FALSE;
719 #endif
720 
721 /* First check that we haven't called match() too many times, or that we
722 haven't exceeded the recursive call limit. */
723 
724 if (md->match_call_count++ >= md->match_limit) RRETURN(PCRE_ERROR_MATCHLIMIT);
725 if (rdepth >= md->match_limit_recursion) RRETURN(PCRE_ERROR_RECURSIONLIMIT);
726 
727 /* At the start of a group with an unlimited repeat that may match an empty
728 string, the variable md->match_function_type is set to MATCH_CBEGROUP. It is
729 done this way to save having to use another function argument, which would take
730 up space on the stack. See also MATCH_CONDASSERT below.
731 
732 When MATCH_CBEGROUP is set, add the current subject pointer to the chain of
733 such remembered pointers, to be checked when we hit the closing ket, in order
734 to break infinite loops that match no characters. When match() is called in
735 other circumstances, don't add to the chain. The MATCH_CBEGROUP feature must
736 NOT be used with tail recursion, because the memory block that is used is on
737 the stack, so a new one may be required for each match(). */
738 
739 if (md->match_function_type == MATCH_CBEGROUP)
740   {
741   newptrb.epb_saved_eptr = eptr;
742   newptrb.epb_prev = eptrb;
743   eptrb = &newptrb;
744   md->match_function_type = 0;
745   }
746 
747 /* Now start processing the opcodes. */
748 
749 for (;;)
750   {
751   minimize = possessive = FALSE;
752   op = *ecode;
753 
754   switch(op)
755     {
756     case OP_MARK:
757     md->nomatch_mark = ecode + 2;
758     md->mark = NULL;    /* In case previously set by assertion */
759     RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode] + ecode[1], offset_top, md,
760       eptrb, RM55);
761     if ((rrc == MATCH_MATCH || rrc == MATCH_ACCEPT) &&
762          md->mark == NULL) md->mark = ecode + 2;
763 
764     /* A return of MATCH_SKIP_ARG means that matching failed at SKIP with an
765     argument, and we must check whether that argument matches this MARK's
766     argument. It is passed back in md->start_match_ptr (an overloading of that
767     variable). If it does match, we reset that variable to the current subject
768     position and return MATCH_SKIP. Otherwise, pass back the return code
769     unaltered. */
770 
771     else if (rrc == MATCH_SKIP_ARG &&
772         STRCMP_UC_UC_TEST(ecode + 2, md->start_match_ptr) == 0)
773       {
774       md->start_match_ptr = eptr;
775       RRETURN(MATCH_SKIP);
776       }
777     RRETURN(rrc);
778 
779     case OP_FAIL:
780     RRETURN(MATCH_NOMATCH);
781 
782     case OP_COMMIT:
783     RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode], offset_top, md,
784       eptrb, RM52);
785     if (rrc != MATCH_NOMATCH) RRETURN(rrc);
786     RRETURN(MATCH_COMMIT);
787 
788     case OP_PRUNE:
789     RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode], offset_top, md,
790       eptrb, RM51);
791     if (rrc != MATCH_NOMATCH) RRETURN(rrc);
792     RRETURN(MATCH_PRUNE);
793 
794     case OP_PRUNE_ARG:
795     md->nomatch_mark = ecode + 2;
796     md->mark = NULL;    /* In case previously set by assertion */
797     RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode] + ecode[1], offset_top, md,
798       eptrb, RM56);
799     if ((rrc == MATCH_MATCH || rrc == MATCH_ACCEPT) &&
800          md->mark == NULL) md->mark = ecode + 2;
801     if (rrc != MATCH_NOMATCH) RRETURN(rrc);
802     RRETURN(MATCH_PRUNE);
803 
804     case OP_SKIP:
805     RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode], offset_top, md,
806       eptrb, RM53);
807     if (rrc != MATCH_NOMATCH) RRETURN(rrc);
808     md->start_match_ptr = eptr;   /* Pass back current position */
809     RRETURN(MATCH_SKIP);
810 
811     /* Note that, for Perl compatibility, SKIP with an argument does NOT set
812     nomatch_mark. When a pattern match ends with a SKIP_ARG for which there was
813     not a matching mark, we have to re-run the match, ignoring the SKIP_ARG
814     that failed and any that precede it (either they also failed, or were not
815     triggered). To do this, we maintain a count of executed SKIP_ARGs. If a
816     SKIP_ARG gets to top level, the match is re-run with md->ignore_skip_arg
817     set to the count of the one that failed. */
818 
819     case OP_SKIP_ARG:
820     md->skip_arg_count++;
821     if (md->skip_arg_count <= md->ignore_skip_arg)
822       {
823       ecode += PRIV(OP_lengths)[*ecode] + ecode[1];
824       break;
825       }
826     RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode] + ecode[1], offset_top, md,
827       eptrb, RM57);
828     if (rrc != MATCH_NOMATCH) RRETURN(rrc);
829 
830     /* Pass back the current skip name by overloading md->start_match_ptr and
831     returning the special MATCH_SKIP_ARG return code. This will either be
832     caught by a matching MARK, or get to the top, where it causes a rematch
833     with md->ignore_skip_arg set to the value of md->skip_arg_count. */
834 
835     md->start_match_ptr = ecode + 2;
836     RRETURN(MATCH_SKIP_ARG);
837 
838     /* For THEN (and THEN_ARG) we pass back the address of the opcode, so that
839     the branch in which it occurs can be determined. Overload the start of
840     match pointer to do this. */
841 
842     case OP_THEN:
843     RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode], offset_top, md,
844       eptrb, RM54);
845     if (rrc != MATCH_NOMATCH) RRETURN(rrc);
846     md->start_match_ptr = ecode;
847     RRETURN(MATCH_THEN);
848 
849     case OP_THEN_ARG:
850     md->nomatch_mark = ecode + 2;
851     md->mark = NULL;    /* In case previously set by assertion */
852     RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode] + ecode[1], offset_top,
853       md, eptrb, RM58);
854     if ((rrc == MATCH_MATCH || rrc == MATCH_ACCEPT) &&
855          md->mark == NULL) md->mark = ecode + 2;
856     if (rrc != MATCH_NOMATCH) RRETURN(rrc);
857     md->start_match_ptr = ecode;
858     RRETURN(MATCH_THEN);
859 
860     /* Handle an atomic group that does not contain any capturing parentheses.
861     This can be handled like an assertion. Prior to 8.13, all atomic groups
862     were handled this way. In 8.13, the code was changed as below for ONCE, so
863     that backups pass through the group and thereby reset captured values.
864     However, this uses a lot more stack, so in 8.20, atomic groups that do not
865     contain any captures generate OP_ONCE_NC, which can be handled in the old,
866     less stack intensive way.
867 
868     Check the alternative branches in turn - the matching won't pass the KET
869     for this kind of subpattern. If any one branch matches, we carry on as at
870     the end of a normal bracket, leaving the subject pointer, but resetting
871     the start-of-match value in case it was changed by \K. */
872 
873     case OP_ONCE_NC:
874     prev = ecode;
875     saved_eptr = eptr;
876     save_mark = md->mark;
877     do
878       {
879       RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, eptrb, RM64);
880       if (rrc == MATCH_MATCH)  /* Note: _not_ MATCH_ACCEPT */
881         {
882         mstart = md->start_match_ptr;
883         break;
884         }
885       if (rrc == MATCH_THEN)
886         {
887         next = ecode + GET(ecode,1);
888         if (md->start_match_ptr < next &&
889             (*ecode == OP_ALT || *next == OP_ALT))
890           rrc = MATCH_NOMATCH;
891         }
892 
893       if (rrc != MATCH_NOMATCH) RRETURN(rrc);
894       ecode += GET(ecode,1);
895       md->mark = save_mark;
896       }
897     while (*ecode == OP_ALT);
898 
899     /* If hit the end of the group (which could be repeated), fail */
900 
901     if (*ecode != OP_ONCE_NC && *ecode != OP_ALT) RRETURN(MATCH_NOMATCH);
902 
903     /* Continue as from after the group, updating the offsets high water
904     mark, since extracts may have been taken. */
905 
906     do ecode += GET(ecode, 1); while (*ecode == OP_ALT);
907 
908     offset_top = md->end_offset_top;
909     eptr = md->end_match_ptr;
910 
911     /* For a non-repeating ket, just continue at this level. This also
912     happens for a repeating ket if no characters were matched in the group.
913     This is the forcible breaking of infinite loops as implemented in Perl
914     5.005. */
915 
916     if (*ecode == OP_KET || eptr == saved_eptr)
917       {
918       ecode += 1+LINK_SIZE;
919       break;
920       }
921 
922     /* The repeating kets try the rest of the pattern or restart from the
923     preceding bracket, in the appropriate order. The second "call" of match()
924     uses tail recursion, to avoid using another stack frame. */
925 
926     if (*ecode == OP_KETRMIN)
927       {
928       RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, eptrb, RM65);
929       if (rrc != MATCH_NOMATCH) RRETURN(rrc);
930       ecode = prev;
931       goto TAIL_RECURSE;
932       }
933     else  /* OP_KETRMAX */
934       {
935       RMATCH(eptr, prev, offset_top, md, eptrb, RM66);
936       if (rrc != MATCH_NOMATCH) RRETURN(rrc);
937       ecode += 1 + LINK_SIZE;
938       goto TAIL_RECURSE;
939       }
940     /* Control never gets here */
941 
942     /* Handle a capturing bracket, other than those that are possessive with an
943     unlimited repeat. If there is space in the offset vector, save the current
944     subject position in the working slot at the top of the vector. We mustn't
945     change the current values of the data slot, because they may be set from a
946     previous iteration of this group, and be referred to by a reference inside
947     the group. A failure to match might occur after the group has succeeded,
948     if something later on doesn't match. For this reason, we need to restore
949     the working value and also the values of the final offsets, in case they
950     were set by a previous iteration of the same bracket.
951 
952     If there isn't enough space in the offset vector, treat this as if it were
953     a non-capturing bracket. Don't worry about setting the flag for the error
954     case here; that is handled in the code for KET. */
955 
956     case OP_CBRA:
957     case OP_SCBRA:
958     number = GET2(ecode, 1+LINK_SIZE);
959     offset = number << 1;
960 
961 #ifdef PCRE_DEBUG
962     printf("start bracket %d\n", number);
963     printf("subject=");
964     pchars(eptr, 16, TRUE, md);
965     printf("\n");
966 #endif
967 
968     if (offset < md->offset_max)
969       {
970       save_offset1 = md->offset_vector[offset];
971       save_offset2 = md->offset_vector[offset+1];
972       save_offset3 = md->offset_vector[md->offset_end - number];
973       save_capture_last = md->capture_last;
974       save_mark = md->mark;
975 
976       DPRINTF(("saving %d %d %d\n", save_offset1, save_offset2, save_offset3));
977       md->offset_vector[md->offset_end - number] =
978         (int)(eptr - md->start_subject);
979 
980       for (;;)
981         {
982         if (op >= OP_SBRA) md->match_function_type = MATCH_CBEGROUP;
983         RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode], offset_top, md,
984           eptrb, RM1);
985         if (rrc == MATCH_ONCE) break;  /* Backing up through an atomic group */
986 
987         /* If we backed up to a THEN, check whether it is within the current
988         branch by comparing the address of the THEN that is passed back with
989         the end of the branch. If it is within the current branch, and the
990         branch is one of two or more alternatives (it either starts or ends
991         with OP_ALT), we have reached the limit of THEN's action, so convert
992         the return code to NOMATCH, which will cause normal backtracking to
993         happen from now on. Otherwise, THEN is passed back to an outer
994         alternative. This implements Perl's treatment of parenthesized groups,
995         where a group not containing | does not affect the current alternative,
996         that is, (X) is NOT the same as (X|(*F)). */
997 
998         if (rrc == MATCH_THEN)
999           {
1000           next = ecode + GET(ecode,1);
1001           if (md->start_match_ptr < next &&
1002               (*ecode == OP_ALT || *next == OP_ALT))
1003             rrc = MATCH_NOMATCH;
1004           }
1005 
1006         /* Anything other than NOMATCH is passed back. */
1007 
1008         if (rrc != MATCH_NOMATCH) RRETURN(rrc);
1009         md->capture_last = save_capture_last;
1010         ecode += GET(ecode, 1);
1011         md->mark = save_mark;
1012         if (*ecode != OP_ALT) break;
1013         }
1014 
1015       DPRINTF(("bracket %d failed\n", number));
1016       md->offset_vector[offset] = save_offset1;
1017       md->offset_vector[offset+1] = save_offset2;
1018       md->offset_vector[md->offset_end - number] = save_offset3;
1019 
1020       /* At this point, rrc will be one of MATCH_ONCE or MATCH_NOMATCH. */
1021 
1022       RRETURN(rrc);
1023       }
1024 
1025     /* FALL THROUGH ... Insufficient room for saving captured contents. Treat
1026     as a non-capturing bracket. */
1027 
1028     /* VVVVVVVVVVVVVVVVVVVVVVVVV */
1029     /* VVVVVVVVVVVVVVVVVVVVVVVVV */
1030 
1031     DPRINTF(("insufficient capture room: treat as non-capturing\n"));
1032 
1033     /* VVVVVVVVVVVVVVVVVVVVVVVVV */
1034     /* VVVVVVVVVVVVVVVVVVVVVVVVV */
1035 
1036     /* Non-capturing or atomic group, except for possessive with unlimited
1037     repeat and ONCE group with no captures. Loop for all the alternatives.
1038 
1039     When we get to the final alternative within the brackets, we used to return
1040     the result of a recursive call to match() whatever happened so it was
1041     possible to reduce stack usage by turning this into a tail recursion,
1042     except in the case of a possibly empty group. However, now that there is
1043     the possiblity of (*THEN) occurring in the final alternative, this
1044     optimization is no longer always possible.
1045 
1046     We can optimize if we know there are no (*THEN)s in the pattern; at present
1047     this is the best that can be done.
1048 
1049     MATCH_ONCE is returned when the end of an atomic group is successfully
1050     reached, but subsequent matching fails. It passes back up the tree (causing
1051     captured values to be reset) until the original atomic group level is
1052     reached. This is tested by comparing md->once_target with the start of the
1053     group. At this point, the return is converted into MATCH_NOMATCH so that
1054     previous backup points can be taken. */
1055 
1056     case OP_ONCE:
1057     case OP_BRA:
1058     case OP_SBRA:
1059     DPRINTF(("start non-capturing bracket\n"));
1060 
1061     for (;;)
1062       {
1063       if (op >= OP_SBRA || op == OP_ONCE)
1064         md->match_function_type = MATCH_CBEGROUP;
1065 
1066       /* If this is not a possibly empty group, and there are no (*THEN)s in
1067       the pattern, and this is the final alternative, optimize as described
1068       above. */
1069 
1070       else if (!md->hasthen && ecode[GET(ecode, 1)] != OP_ALT)
1071         {
1072         ecode += PRIV(OP_lengths)[*ecode];
1073         goto TAIL_RECURSE;
1074         }
1075 
1076       /* In all other cases, we have to make another call to match(). */
1077 
1078       save_mark = md->mark;
1079       save_capture_last = md->capture_last;
1080       RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode], offset_top, md, eptrb,
1081         RM2);
1082 
1083       /* See comment in the code for capturing groups above about handling
1084       THEN. */
1085 
1086       if (rrc == MATCH_THEN)
1087         {
1088         next = ecode + GET(ecode,1);
1089         if (md->start_match_ptr < next &&
1090             (*ecode == OP_ALT || *next == OP_ALT))
1091           rrc = MATCH_NOMATCH;
1092         }
1093 
1094       if (rrc != MATCH_NOMATCH)
1095         {
1096         if (rrc == MATCH_ONCE)
1097           {
1098           const pcre_uchar *scode = ecode;
1099           if (*scode != OP_ONCE)           /* If not at start, find it */
1100             {
1101             while (*scode == OP_ALT) scode += GET(scode, 1);
1102             scode -= GET(scode, 1);
1103             }
1104           if (md->once_target == scode) rrc = MATCH_NOMATCH;
1105           }
1106         RRETURN(rrc);
1107         }
1108       ecode += GET(ecode, 1);
1109       md->mark = save_mark;
1110       if (*ecode != OP_ALT) break;
1111       md->capture_last = save_capture_last;
1112       }
1113 
1114     RRETURN(MATCH_NOMATCH);
1115 
1116     /* Handle possessive capturing brackets with an unlimited repeat. We come
1117     here from BRAZERO with allow_zero set TRUE. The offset_vector values are
1118     handled similarly to the normal case above. However, the matching is
1119     different. The end of these brackets will always be OP_KETRPOS, which
1120     returns MATCH_KETRPOS without going further in the pattern. By this means
1121     we can handle the group by iteration rather than recursion, thereby
1122     reducing the amount of stack needed. */
1123 
1124     case OP_CBRAPOS:
1125     case OP_SCBRAPOS:
1126     allow_zero = FALSE;
1127 
1128     POSSESSIVE_CAPTURE:
1129     number = GET2(ecode, 1+LINK_SIZE);
1130     offset = number << 1;
1131 
1132 #ifdef PCRE_DEBUG
1133     printf("start possessive bracket %d\n", number);
1134     printf("subject=");
1135     pchars(eptr, 16, TRUE, md);
1136     printf("\n");
1137 #endif
1138 
1139     if (offset >= md->offset_max) goto POSSESSIVE_NON_CAPTURE;
1140 
1141     matched_once = FALSE;
1142     code_offset = (int)(ecode - md->start_code);
1143 
1144     save_offset1 = md->offset_vector[offset];
1145     save_offset2 = md->offset_vector[offset+1];
1146     save_offset3 = md->offset_vector[md->offset_end - number];
1147     save_capture_last = md->capture_last;
1148 
1149     DPRINTF(("saving %d %d %d\n", save_offset1, save_offset2, save_offset3));
1150 
1151     /* Each time round the loop, save the current subject position for use
1152     when the group matches. For MATCH_MATCH, the group has matched, so we
1153     restart it with a new subject starting position, remembering that we had
1154     at least one match. For MATCH_NOMATCH, carry on with the alternatives, as
1155     usual. If we haven't matched any alternatives in any iteration, check to
1156     see if a previous iteration matched. If so, the group has matched;
1157     continue from afterwards. Otherwise it has failed; restore the previous
1158     capture values before returning NOMATCH. */
1159 
1160     for (;;)
1161       {
1162       md->offset_vector[md->offset_end - number] =
1163         (int)(eptr - md->start_subject);
1164       if (op >= OP_SBRA) md->match_function_type = MATCH_CBEGROUP;
1165       RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode], offset_top, md,
1166         eptrb, RM63);
1167       if (rrc == MATCH_KETRPOS)
1168         {
1169         offset_top = md->end_offset_top;
1170         ecode = md->start_code + code_offset;
1171         save_capture_last = md->capture_last;
1172         matched_once = TRUE;
1173         mstart = md->start_match_ptr;    /* In case \K changed it */
1174         if (eptr == md->end_match_ptr)   /* Matched an empty string */
1175           {
1176           do ecode += GET(ecode, 1); while (*ecode == OP_ALT);
1177           break;
1178           }
1179         eptr = md->end_match_ptr;
1180         continue;
1181         }
1182 
1183       /* See comment in the code for capturing groups above about handling
1184       THEN. */
1185 
1186       if (rrc == MATCH_THEN)
1187         {
1188         next = ecode + GET(ecode,1);
1189         if (md->start_match_ptr < next &&
1190             (*ecode == OP_ALT || *next == OP_ALT))
1191           rrc = MATCH_NOMATCH;
1192         }
1193 
1194       if (rrc != MATCH_NOMATCH) RRETURN(rrc);
1195       md->capture_last = save_capture_last;
1196       ecode += GET(ecode, 1);
1197       if (*ecode != OP_ALT) break;
1198       }
1199 
1200     if (!matched_once)
1201       {
1202       md->offset_vector[offset] = save_offset1;
1203       md->offset_vector[offset+1] = save_offset2;
1204       md->offset_vector[md->offset_end - number] = save_offset3;
1205       }
1206 
1207     if (allow_zero || matched_once)
1208       {
1209       ecode += 1 + LINK_SIZE;
1210       break;
1211       }
1212 
1213     RRETURN(MATCH_NOMATCH);
1214 
1215     /* Non-capturing possessive bracket with unlimited repeat. We come here
1216     from BRAZERO with allow_zero = TRUE. The code is similar to the above,
1217     without the capturing complication. It is written out separately for speed
1218     and cleanliness. */
1219 
1220     case OP_BRAPOS:
1221     case OP_SBRAPOS:
1222     allow_zero = FALSE;
1223 
1224     POSSESSIVE_NON_CAPTURE:
1225     matched_once = FALSE;
1226     code_offset = (int)(ecode - md->start_code);
1227     save_capture_last = md->capture_last;
1228 
1229     for (;;)
1230       {
1231       if (op >= OP_SBRA) md->match_function_type = MATCH_CBEGROUP;
1232       RMATCH(eptr, ecode + PRIV(OP_lengths)[*ecode], offset_top, md,
1233         eptrb, RM48);
1234       if (rrc == MATCH_KETRPOS)
1235         {
1236         offset_top = md->end_offset_top;
1237         ecode = md->start_code + code_offset;
1238         matched_once = TRUE;
1239         mstart = md->start_match_ptr;   /* In case \K reset it */
1240         if (eptr == md->end_match_ptr)  /* Matched an empty string */
1241           {
1242           do ecode += GET(ecode, 1); while (*ecode == OP_ALT);
1243           break;
1244           }
1245         eptr = md->end_match_ptr;
1246         continue;
1247         }
1248 
1249       /* See comment in the code for capturing groups above about handling
1250       THEN. */
1251 
1252       if (rrc == MATCH_THEN)
1253         {
1254         next = ecode + GET(ecode,1);
1255         if (md->start_match_ptr < next &&
1256             (*ecode == OP_ALT || *next == OP_ALT))
1257           rrc = MATCH_NOMATCH;
1258         }
1259 
1260       if (rrc != MATCH_NOMATCH) RRETURN(rrc);
1261       ecode += GET(ecode, 1);
1262       if (*ecode != OP_ALT) break;
1263       md->capture_last = save_capture_last;
1264       }
1265 
1266     if (matched_once || allow_zero)
1267       {
1268       ecode += 1 + LINK_SIZE;
1269       break;
1270       }
1271     RRETURN(MATCH_NOMATCH);
1272 
1273     /* Control never reaches here. */
1274 
1275     /* Conditional group: compilation checked that there are no more than two
1276     branches. If the condition is false, skipping the first branch takes us
1277     past the end of the item if there is only one branch, but that's exactly
1278     what we want. */
1279 
1280     case OP_COND:
1281     case OP_SCOND:
1282 
1283     /* The variable codelink will be added to ecode when the condition is
1284     false, to get to the second branch. Setting it to the offset to the ALT
1285     or KET, then incrementing ecode achieves this effect. We now have ecode
1286     pointing to the condition or callout. */
1287 
1288     codelink = GET(ecode, 1);   /* Offset to the second branch */
1289     ecode += 1 + LINK_SIZE;     /* From this opcode */
1290 
1291     /* Because of the way auto-callout works during compile, a callout item is
1292     inserted between OP_COND and an assertion condition. */
1293 
1294     if (*ecode == OP_CALLOUT)
1295       {
1296       if (PUBL(callout) != NULL)
1297         {
1298         PUBL(callout_block) cb;
1299         cb.version          = 2;   /* Version 1 of the callout block */
1300         cb.callout_number   = ecode[1];
1301         cb.offset_vector    = md->offset_vector;
1302 #if defined COMPILE_PCRE8
1303         cb.subject          = (PCRE_SPTR)md->start_subject;
1304 #elif defined COMPILE_PCRE16
1305         cb.subject          = (PCRE_SPTR16)md->start_subject;
1306 #elif defined COMPILE_PCRE32
1307         cb.subject          = (PCRE_SPTR32)md->start_subject;
1308 #endif
1309         cb.subject_length   = (int)(md->end_subject - md->start_subject);
1310         cb.start_match      = (int)(mstart - md->start_subject);
1311         cb.current_position = (int)(eptr - md->start_subject);
1312         cb.pattern_position = GET(ecode, 2);
1313         cb.next_item_length = GET(ecode, 2 + LINK_SIZE);
1314         cb.capture_top      = offset_top/2;
1315         cb.capture_last     = md->capture_last & CAPLMASK;
1316         /* Internal change requires this for API compatibility. */
1317         if (cb.capture_last == 0) cb.capture_last = -1;
1318         cb.callout_data     = md->callout_data;
1319         cb.mark             = md->nomatch_mark;
1320         if ((rrc = (*PUBL(callout))(&cb)) > 0) RRETURN(MATCH_NOMATCH);
1321         if (rrc < 0) RRETURN(rrc);
1322         }
1323 
1324       /* Advance ecode past the callout, so it now points to the condition. We
1325       must adjust codelink so that the value of ecode+codelink is unchanged. */
1326 
1327       ecode += PRIV(OP_lengths)[OP_CALLOUT];
1328       codelink -= PRIV(OP_lengths)[OP_CALLOUT];
1329       }
1330 
1331     /* Test the various possible conditions */
1332 
1333     condition = FALSE;
1334     switch(condcode = *ecode)
1335       {
1336       case OP_RREF:         /* Numbered group recursion test */
1337       if (md->recursive != NULL)     /* Not recursing => FALSE */
1338         {
1339         unsigned int recno = GET2(ecode, 1);   /* Recursion group number*/
1340         condition = (recno == RREF_ANY || recno == md->recursive->group_num);
1341         }
1342       break;
1343 
1344       case OP_DNRREF:       /* Duplicate named group recursion test */
1345       if (md->recursive != NULL)
1346         {
1347         int count = GET2(ecode, 1 + IMM2_SIZE);
1348         pcre_uchar *slot = md->name_table + GET2(ecode, 1) * md->name_entry_size;
1349         while (count-- > 0)
1350           {
1351           unsigned int recno = GET2(slot, 0);
1352           condition = recno == md->recursive->group_num;
1353           if (condition) break;
1354           slot += md->name_entry_size;
1355           }
1356         }
1357       break;
1358 
1359       case OP_CREF:         /* Numbered group used test */
1360       offset = GET2(ecode, 1) << 1;  /* Doubled ref number */
1361       condition = offset < offset_top && md->offset_vector[offset] >= 0;
1362       break;
1363 
1364       case OP_DNCREF:      /* Duplicate named group used test */
1365         {
1366         int count = GET2(ecode, 1 + IMM2_SIZE);
1367         pcre_uchar *slot = md->name_table + GET2(ecode, 1) * md->name_entry_size;
1368         while (count-- > 0)
1369           {
1370           offset = GET2(slot, 0) << 1;
1371           condition = offset < offset_top && md->offset_vector[offset] >= 0;
1372           if (condition) break;
1373           slot += md->name_entry_size;
1374           }
1375         }
1376       break;
1377 
1378       case OP_DEF:     /* DEFINE - always false */
1379       case OP_FAIL:    /* From optimized (?!) condition */
1380       break;
1381 
1382       /* The condition is an assertion. Call match() to evaluate it - setting
1383       md->match_function_type to MATCH_CONDASSERT causes it to stop at the end
1384       of an assertion. */
1385 
1386       default:
1387       md->match_function_type = MATCH_CONDASSERT;
1388       RMATCH(eptr, ecode, offset_top, md, NULL, RM3);
1389       if (rrc == MATCH_MATCH)
1390         {
1391         if (md->end_offset_top > offset_top)
1392           offset_top = md->end_offset_top;  /* Captures may have happened */
1393         condition = TRUE;
1394 
1395         /* Advance ecode past the assertion to the start of the first branch,
1396         but adjust it so that the general choosing code below works. If the
1397         assertion has a quantifier that allows zero repeats we must skip over
1398         the BRAZERO. This is a lunatic thing to do, but somebody did! */
1399 
1400         if (*ecode == OP_BRAZERO) ecode++;
1401         ecode += GET(ecode, 1);
1402         while (*ecode == OP_ALT) ecode += GET(ecode, 1);
1403         ecode += 1 + LINK_SIZE - PRIV(OP_lengths)[condcode];
1404         }
1405 
1406       /* PCRE doesn't allow the effect of (*THEN) to escape beyond an
1407       assertion; it is therefore treated as NOMATCH. Any other return is an
1408       error. */
1409 
1410       else if (rrc != MATCH_NOMATCH && rrc != MATCH_THEN)
1411         {
1412         RRETURN(rrc);         /* Need braces because of following else */
1413         }
1414       break;
1415       }
1416 
1417     /* Choose branch according to the condition */
1418 
1419     ecode += condition? PRIV(OP_lengths)[condcode] : codelink;
1420 
1421     /* We are now at the branch that is to be obeyed. As there is only one, we
1422     can use tail recursion to avoid using another stack frame, except when
1423     there is unlimited repeat of a possibly empty group. In the latter case, a
1424     recursive call to match() is always required, unless the second alternative
1425     doesn't exist, in which case we can just plough on. Note that, for
1426     compatibility with Perl, the | in a conditional group is NOT treated as
1427     creating two alternatives. If a THEN is encountered in the branch, it
1428     propagates out to the enclosing alternative (unless nested in a deeper set
1429     of alternatives, of course). */
1430 
1431     if (condition || ecode[-(1+LINK_SIZE)] == OP_ALT)
1432       {
1433       if (op != OP_SCOND)
1434         {
1435         goto TAIL_RECURSE;
1436         }
1437 
1438       md->match_function_type = MATCH_CBEGROUP;
1439       RMATCH(eptr, ecode, offset_top, md, eptrb, RM49);
1440       RRETURN(rrc);
1441       }
1442 
1443      /* Condition false & no alternative; continue after the group. */
1444 
1445     else
1446       {
1447       }
1448     break;
1449 
1450 
1451     /* Before OP_ACCEPT there may be any number of OP_CLOSE opcodes,
1452     to close any currently open capturing brackets. */
1453 
1454     case OP_CLOSE:
1455     number = GET2(ecode, 1);   /* Must be less than 65536 */
1456     offset = number << 1;
1457 
1458 #ifdef PCRE_DEBUG
1459       printf("end bracket %d at *ACCEPT", number);
1460       printf("\n");
1461 #endif
1462 
1463     md->capture_last = (md->capture_last & OVFLMASK) | number;
1464     if (offset >= md->offset_max) md->capture_last |= OVFLBIT; else
1465       {
1466       md->offset_vector[offset] =
1467         md->offset_vector[md->offset_end - number];
1468       md->offset_vector[offset+1] = (int)(eptr - md->start_subject);
1469 
1470       /* If this group is at or above the current highwater mark, ensure that
1471       any groups between the current high water mark and this group are marked
1472       unset and then update the high water mark. */
1473 
1474       if (offset >= offset_top)
1475         {
1476         register int *iptr = md->offset_vector + offset_top;
1477         register int *iend = md->offset_vector + offset;
1478         while (iptr < iend) *iptr++ = -1;
1479         offset_top = offset + 2;
1480         }
1481       }
1482     ecode += 1 + IMM2_SIZE;
1483     break;
1484 
1485 
1486     /* End of the pattern, either real or forced. */
1487 
1488     case OP_END:
1489     case OP_ACCEPT:
1490     case OP_ASSERT_ACCEPT:
1491 
1492     /* If we have matched an empty string, fail if not in an assertion and not
1493     in a recursion if either PCRE_NOTEMPTY is set, or if PCRE_NOTEMPTY_ATSTART
1494     is set and we have matched at the start of the subject. In both cases,
1495     backtracking will then try other alternatives, if any. */
1496 
1497     if (eptr == mstart && op != OP_ASSERT_ACCEPT &&
1498          md->recursive == NULL &&
1499          (md->notempty ||
1500            (md->notempty_atstart &&
1501              mstart == md->start_subject + md->start_offset)))
1502       RRETURN(MATCH_NOMATCH);
1503 
1504     /* Otherwise, we have a match. */
1505 
1506     md->end_match_ptr = eptr;           /* Record where we ended */
1507     md->end_offset_top = offset_top;    /* and how many extracts were taken */
1508     md->start_match_ptr = mstart;       /* and the start (\K can modify) */
1509 
1510     /* For some reason, the macros don't work properly if an expression is
1511     given as the argument to RRETURN when the heap is in use. */
1512 
1513     rrc = (op == OP_END)? MATCH_MATCH : MATCH_ACCEPT;
1514     RRETURN(rrc);
1515 
1516     /* Assertion brackets. Check the alternative branches in turn - the
1517     matching won't pass the KET for an assertion. If any one branch matches,
1518     the assertion is true. Lookbehind assertions have an OP_REVERSE item at the
1519     start of each branch to move the current point backwards, so the code at
1520     this level is identical to the lookahead case. When the assertion is part
1521     of a condition, we want to return immediately afterwards. The caller of
1522     this incarnation of the match() function will have set MATCH_CONDASSERT in
1523     md->match_function type, and one of these opcodes will be the first opcode
1524     that is processed. We use a local variable that is preserved over calls to
1525     match() to remember this case. */
1526 
1527     case OP_ASSERT:
1528     case OP_ASSERTBACK:
1529     save_mark = md->mark;
1530     if (md->match_function_type == MATCH_CONDASSERT)
1531       {
1532       condassert = TRUE;
1533       md->match_function_type = 0;
1534       }
1535     else condassert = FALSE;
1536 
1537     /* Loop for each branch */
1538 
1539     do
1540       {
1541       RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, NULL, RM4);
1542 
1543       /* A match means that the assertion is true; break out of the loop
1544       that matches its alternatives. */
1545 
1546       if (rrc == MATCH_MATCH || rrc == MATCH_ACCEPT)
1547         {
1548         mstart = md->start_match_ptr;   /* In case \K reset it */
1549         break;
1550         }
1551 
1552       /* If not matched, restore the previous mark setting. */
1553 
1554       md->mark = save_mark;
1555 
1556       /* See comment in the code for capturing groups above about handling
1557       THEN. */
1558 
1559       if (rrc == MATCH_THEN)
1560         {
1561         next = ecode + GET(ecode,1);
1562         if (md->start_match_ptr < next &&
1563             (*ecode == OP_ALT || *next == OP_ALT))
1564           rrc = MATCH_NOMATCH;
1565         }
1566 
1567       /* Anything other than NOMATCH causes the entire assertion to fail,
1568       passing back the return code. This includes COMMIT, SKIP, PRUNE and an
1569       uncaptured THEN, which means they take their normal effect. This
1570       consistent approach does not always have exactly the same effect as in
1571       Perl. */
1572 
1573       if (rrc != MATCH_NOMATCH) RRETURN(rrc);
1574       ecode += GET(ecode, 1);
1575       }
1576     while (*ecode == OP_ALT);   /* Continue for next alternative */
1577 
1578     /* If we have tried all the alternative branches, the assertion has
1579     failed. If not, we broke out after a match. */
1580 
1581     if (*ecode == OP_KET) RRETURN(MATCH_NOMATCH);
1582 
1583     /* If checking an assertion for a condition, return MATCH_MATCH. */
1584 
1585     if (condassert) RRETURN(MATCH_MATCH);
1586 
1587     /* Continue from after a successful assertion, updating the offsets high
1588     water mark, since extracts may have been taken during the assertion. */
1589 
1590     do ecode += GET(ecode,1); while (*ecode == OP_ALT);
1591     ecode += 1 + LINK_SIZE;
1592     offset_top = md->end_offset_top;
1593     continue;
1594 
1595     /* Negative assertion: all branches must fail to match for the assertion to
1596     succeed. */
1597 
1598     case OP_ASSERT_NOT:
1599     case OP_ASSERTBACK_NOT:
1600     save_mark = md->mark;
1601     if (md->match_function_type == MATCH_CONDASSERT)
1602       {
1603       condassert = TRUE;
1604       md->match_function_type = 0;
1605       }
1606     else condassert = FALSE;
1607 
1608     /* Loop for each alternative branch. */
1609 
1610     do
1611       {
1612       RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, NULL, RM5);
1613       md->mark = save_mark;   /* Always restore the mark setting */
1614 
1615       switch(rrc)
1616         {
1617         case MATCH_MATCH:            /* A successful match means */
1618         case MATCH_ACCEPT:           /* the assertion has failed. */
1619         RRETURN(MATCH_NOMATCH);
1620 
1621         case MATCH_NOMATCH:          /* Carry on with next branch */
1622         break;
1623 
1624         /* See comment in the code for capturing groups above about handling
1625         THEN. */
1626 
1627         case MATCH_THEN:
1628         next = ecode + GET(ecode,1);
1629         if (md->start_match_ptr < next &&
1630             (*ecode == OP_ALT || *next == OP_ALT))
1631           {
1632           rrc = MATCH_NOMATCH;
1633           break;
1634           }
1635         /* Otherwise fall through. */
1636 
1637         /* COMMIT, SKIP, PRUNE, and an uncaptured THEN cause the whole
1638         assertion to fail to match, without considering any more alternatives.
1639         Failing to match means the assertion is true. This is a consistent
1640         approach, but does not always have the same effect as in Perl. */
1641 
1642         case MATCH_COMMIT:
1643         case MATCH_SKIP:
1644         case MATCH_SKIP_ARG:
1645         case MATCH_PRUNE:
1646         do ecode += GET(ecode,1); while (*ecode == OP_ALT);
1647         goto NEG_ASSERT_TRUE;   /* Break out of alternation loop */
1648 
1649         /* Anything else is an error */
1650 
1651         default:
1652         RRETURN(rrc);
1653         }
1654 
1655       /* Continue with next branch */
1656 
1657       ecode += GET(ecode,1);
1658       }
1659     while (*ecode == OP_ALT);
1660 
1661     /* All branches in the assertion failed to match. */
1662 
1663     NEG_ASSERT_TRUE:
1664     if (condassert) RRETURN(MATCH_MATCH);  /* Condition assertion */
1665     ecode += 1 + LINK_SIZE;                /* Continue with current branch */
1666     continue;
1667 
1668     /* Move the subject pointer back. This occurs only at the start of
1669     each branch of a lookbehind assertion. If we are too close to the start to
1670     move back, this match function fails. When working with UTF-8 we move
1671     back a number of characters, not bytes. */
1672 
1673     case OP_REVERSE:
1674 #ifdef SUPPORT_UTF
1675     if (utf)
1676       {
1677       i = GET(ecode, 1);
1678       while (i-- > 0)
1679         {
1680         eptr--;
1681         if (eptr < md->start_subject) RRETURN(MATCH_NOMATCH);
1682         BACKCHAR(eptr);
1683         }
1684       }
1685     else
1686 #endif
1687 
1688     /* No UTF-8 support, or not in UTF-8 mode: count is byte count */
1689 
1690       {
1691       eptr -= GET(ecode, 1);
1692       if (eptr < md->start_subject) RRETURN(MATCH_NOMATCH);
1693       }
1694 
1695     /* Save the earliest consulted character, then skip to next op code */
1696 
1697     if (eptr < md->start_used_ptr) md->start_used_ptr = eptr;
1698     ecode += 1 + LINK_SIZE;
1699     break;
1700 
1701     /* The callout item calls an external function, if one is provided, passing
1702     details of the match so far. This is mainly for debugging, though the
1703     function is able to force a failure. */
1704 
1705     case OP_CALLOUT:
1706     if (PUBL(callout) != NULL)
1707       {
1708       PUBL(callout_block) cb;
1709       cb.version          = 2;   /* Version 1 of the callout block */
1710       cb.callout_number   = ecode[1];
1711       cb.offset_vector    = md->offset_vector;
1712 #if defined COMPILE_PCRE8
1713       cb.subject          = (PCRE_SPTR)md->start_subject;
1714 #elif defined COMPILE_PCRE16
1715       cb.subject          = (PCRE_SPTR16)md->start_subject;
1716 #elif defined COMPILE_PCRE32
1717       cb.subject          = (PCRE_SPTR32)md->start_subject;
1718 #endif
1719       cb.subject_length   = (int)(md->end_subject - md->start_subject);
1720       cb.start_match      = (int)(mstart - md->start_subject);
1721       cb.current_position = (int)(eptr - md->start_subject);
1722       cb.pattern_position = GET(ecode, 2);
1723       cb.next_item_length = GET(ecode, 2 + LINK_SIZE);
1724       cb.capture_top      = offset_top/2;
1725       cb.capture_last     = md->capture_last & CAPLMASK;
1726       /* Internal change requires this for API compatibility. */
1727       if (cb.capture_last == 0) cb.capture_last = -1;
1728       cb.callout_data     = md->callout_data;
1729       cb.mark             = md->nomatch_mark;
1730       if ((rrc = (*PUBL(callout))(&cb)) > 0) RRETURN(MATCH_NOMATCH);
1731       if (rrc < 0) RRETURN(rrc);
1732       }
1733     ecode += 2 + 2*LINK_SIZE;
1734     break;
1735 
1736     /* Recursion either matches the current regex, or some subexpression. The
1737     offset data is the offset to the starting bracket from the start of the
1738     whole pattern. (This is so that it works from duplicated subpatterns.)
1739 
1740     The state of the capturing groups is preserved over recursion, and
1741     re-instated afterwards. We don't know how many are started and not yet
1742     finished (offset_top records the completed total) so we just have to save
1743     all the potential data. There may be up to 65535 such values, which is too
1744     large to put on the stack, but using malloc for small numbers seems
1745     expensive. As a compromise, the stack is used when there are no more than
1746     REC_STACK_SAVE_MAX values to store; otherwise malloc is used.
1747 
1748     There are also other values that have to be saved. We use a chained
1749     sequence of blocks that actually live on the stack. Thanks to Robin Houston
1750     for the original version of this logic. It has, however, been hacked around
1751     a lot, so he is not to blame for the current way it works. */
1752 
1753     case OP_RECURSE:
1754       {
1755       recursion_info *ri;
1756       unsigned int recno;
1757 
1758       callpat = md->start_code + GET(ecode, 1);
1759       recno = (callpat == md->start_code)? 0 :
1760         GET2(callpat, 1 + LINK_SIZE);
1761 
1762       /* Check for repeating a recursion without advancing the subject pointer.
1763       This should catch convoluted mutual recursions. (Some simple cases are
1764       caught at compile time.) */
1765 
1766       for (ri = md->recursive; ri != NULL; ri = ri->prevrec)
1767         if (recno == ri->group_num && eptr == ri->subject_position)
1768           RRETURN(PCRE_ERROR_RECURSELOOP);
1769 
1770       /* Add to "recursing stack" */
1771 
1772       new_recursive.group_num = recno;
1773       new_recursive.saved_capture_last = md->capture_last;
1774       new_recursive.subject_position = eptr;
1775       new_recursive.prevrec = md->recursive;
1776       md->recursive = &new_recursive;
1777 
1778       /* Where to continue from afterwards */
1779 
1780       ecode += 1 + LINK_SIZE;
1781 
1782       /* Now save the offset data */
1783 
1784       new_recursive.saved_max = md->offset_end;
1785       if (new_recursive.saved_max <= REC_STACK_SAVE_MAX)
1786         new_recursive.offset_save = stacksave;
1787       else
1788         {
1789         new_recursive.offset_save =
1790           (int *)(PUBL(malloc))(new_recursive.saved_max * sizeof(int));
1791         if (new_recursive.offset_save == NULL) RRETURN(PCRE_ERROR_NOMEMORY);
1792         }
1793       memcpy(new_recursive.offset_save, md->offset_vector,
1794             new_recursive.saved_max * sizeof(int));
1795 
1796       /* OK, now we can do the recursion. After processing each alternative,
1797       restore the offset data and the last captured value. If there were nested
1798       recursions, md->recursive might be changed, so reset it before looping.
1799       */
1800 
1801       DPRINTF(("Recursing into group %d\n", new_recursive.group_num));
1802       cbegroup = (*callpat >= OP_SBRA);
1803       do
1804         {
1805         if (cbegroup) md->match_function_type = MATCH_CBEGROUP;
1806         RMATCH(eptr, callpat + PRIV(OP_lengths)[*callpat], offset_top,
1807           md, eptrb, RM6);
1808         memcpy(md->offset_vector, new_recursive.offset_save,
1809             new_recursive.saved_max * sizeof(int));
1810         md->capture_last = new_recursive.saved_capture_last;
1811         md->recursive = new_recursive.prevrec;
1812         if (rrc == MATCH_MATCH || rrc == MATCH_ACCEPT)
1813           {
1814           DPRINTF(("Recursion matched\n"));
1815           if (new_recursive.offset_save != stacksave)
1816             (PUBL(free))(new_recursive.offset_save);
1817 
1818           /* Set where we got to in the subject, and reset the start in case
1819           it was changed by \K. This *is* propagated back out of a recursion,
1820           for Perl compatibility. */
1821 
1822           eptr = md->end_match_ptr;
1823           mstart = md->start_match_ptr;
1824           goto RECURSION_MATCHED;        /* Exit loop; end processing */
1825           }
1826 
1827         /* PCRE does not allow THEN, SKIP, PRUNE or COMMIT to escape beyond a
1828         recursion; they cause a NOMATCH for the entire recursion. These codes
1829         are defined in a range that can be tested for. */
1830 
1831         if (rrc >= MATCH_BACKTRACK_MIN && rrc <= MATCH_BACKTRACK_MAX)
1832           {
1833           if (new_recursive.offset_save != stacksave)
1834             (PUBL(free))(new_recursive.offset_save);
1835           RRETURN(MATCH_NOMATCH);
1836           }
1837 
1838         /* Any return code other than NOMATCH is an error. */
1839 
1840         if (rrc != MATCH_NOMATCH)
1841           {
1842           DPRINTF(("Recursion gave error %d\n", rrc));
1843           if (new_recursive.offset_save != stacksave)
1844             (PUBL(free))(new_recursive.offset_save);
1845           RRETURN(rrc);
1846           }
1847 
1848         md->recursive = &new_recursive;
1849         callpat += GET(callpat, 1);
1850         }
1851       while (*callpat == OP_ALT);
1852 
1853       DPRINTF(("Recursion didn't match\n"));
1854       md->recursive = new_recursive.prevrec;
1855       if (new_recursive.offset_save != stacksave)
1856         (PUBL(free))(new_recursive.offset_save);
1857       RRETURN(MATCH_NOMATCH);
1858       }
1859 
1860     RECURSION_MATCHED:
1861     break;
1862 
1863     /* An alternation is the end of a branch; scan along to find the end of the
1864     bracketed group and go to there. */
1865 
1866     case OP_ALT:
1867     do ecode += GET(ecode,1); while (*ecode == OP_ALT);
1868     break;
1869 
1870     /* BRAZERO, BRAMINZERO and SKIPZERO occur just before a bracket group,
1871     indicating that it may occur zero times. It may repeat infinitely, or not
1872     at all - i.e. it could be ()* or ()? or even (){0} in the pattern. Brackets
1873     with fixed upper repeat limits are compiled as a number of copies, with the
1874     optional ones preceded by BRAZERO or BRAMINZERO. */
1875 
1876     case OP_BRAZERO:
1877     next = ecode + 1;
1878     RMATCH(eptr, next, offset_top, md, eptrb, RM10);
1879     if (rrc != MATCH_NOMATCH) RRETURN(rrc);
1880     do next += GET(next, 1); while (*next == OP_ALT);
1881     ecode = next + 1 + LINK_SIZE;
1882     break;
1883 
1884     case OP_BRAMINZERO:
1885     next = ecode + 1;
1886     do next += GET(next, 1); while (*next == OP_ALT);
1887     RMATCH(eptr, next + 1+LINK_SIZE, offset_top, md, eptrb, RM11);
1888     if (rrc != MATCH_NOMATCH) RRETURN(rrc);
1889     ecode++;
1890     break;
1891 
1892     case OP_SKIPZERO:
1893     next = ecode+1;
1894     do next += GET(next,1); while (*next == OP_ALT);
1895     ecode = next + 1 + LINK_SIZE;
1896     break;
1897 
1898     /* BRAPOSZERO occurs before a possessive bracket group. Don't do anything
1899     here; just jump to the group, with allow_zero set TRUE. */
1900 
1901     case OP_BRAPOSZERO:
1902     op = *(++ecode);
1903     allow_zero = TRUE;
1904     if (op == OP_CBRAPOS || op == OP_SCBRAPOS) goto POSSESSIVE_CAPTURE;
1905       goto POSSESSIVE_NON_CAPTURE;
1906 
1907     /* End of a group, repeated or non-repeating. */
1908 
1909     case OP_KET:
1910     case OP_KETRMIN:
1911     case OP_KETRMAX:
1912     case OP_KETRPOS:
1913     prev = ecode - GET(ecode, 1);
1914 
1915     /* If this was a group that remembered the subject start, in order to break
1916     infinite repeats of empty string matches, retrieve the subject start from
1917     the chain. Otherwise, set it NULL. */
1918 
1919     if (*prev >= OP_SBRA || *prev == OP_ONCE)
1920       {
1921       saved_eptr = eptrb->epb_saved_eptr;   /* Value at start of group */
1922       eptrb = eptrb->epb_prev;              /* Backup to previous group */
1923       }
1924     else saved_eptr = NULL;
1925 
1926     /* If we are at the end of an assertion group or a non-capturing atomic
1927     group, stop matching and return MATCH_MATCH, but record the current high
1928     water mark for use by positive assertions. We also need to record the match
1929     start in case it was changed by \K. */
1930 
1931     if ((*prev >= OP_ASSERT && *prev <= OP_ASSERTBACK_NOT) ||
1932          *prev == OP_ONCE_NC)
1933       {
1934       md->end_match_ptr = eptr;      /* For ONCE_NC */
1935       md->end_offset_top = offset_top;
1936       md->start_match_ptr = mstart;
1937       RRETURN(MATCH_MATCH);         /* Sets md->mark */
1938       }
1939 
1940     /* For capturing groups we have to check the group number back at the start
1941     and if necessary complete handling an extraction by setting the offsets and
1942     bumping the high water mark. Whole-pattern recursion is coded as a recurse
1943     into group 0, so it won't be picked up here. Instead, we catch it when the
1944     OP_END is reached. Other recursion is handled here. We just have to record
1945     the current subject position and start match pointer and give a MATCH
1946     return. */
1947 
1948     if (*prev == OP_CBRA || *prev == OP_SCBRA ||
1949         *prev == OP_CBRAPOS || *prev == OP_SCBRAPOS)
1950       {
1951       number = GET2(prev, 1+LINK_SIZE);
1952       offset = number << 1;
1953 
1954 #ifdef PCRE_DEBUG
1955       printf("end bracket %d", number);
1956       printf("\n");
1957 #endif
1958 
1959       /* Handle a recursively called group. */
1960 
1961       if (md->recursive != NULL && md->recursive->group_num == number)
1962         {
1963         md->end_match_ptr = eptr;
1964         md->start_match_ptr = mstart;
1965         RRETURN(MATCH_MATCH);
1966         }
1967 
1968       /* Deal with capturing */
1969 
1970       md->capture_last = (md->capture_last & OVFLMASK) | number;
1971       if (offset >= md->offset_max) md->capture_last |= OVFLBIT; else
1972         {
1973         /* If offset is greater than offset_top, it means that we are
1974         "skipping" a capturing group, and that group's offsets must be marked
1975         unset. In earlier versions of PCRE, all the offsets were unset at the
1976         start of matching, but this doesn't work because atomic groups and
1977         assertions can cause a value to be set that should later be unset.
1978         Example: matching /(?>(a))b|(a)c/ against "ac". This sets group 1 as
1979         part of the atomic group, but this is not on the final matching path,
1980         so must be unset when 2 is set. (If there is no group 2, there is no
1981         problem, because offset_top will then be 2, indicating no capture.) */
1982 
1983         if (offset > offset_top)
1984           {
1985           register int *iptr = md->offset_vector + offset_top;
1986           register int *iend = md->offset_vector + offset;
1987           while (iptr < iend) *iptr++ = -1;
1988           }
1989 
1990         /* Now make the extraction */
1991 
1992         md->offset_vector[offset] =
1993           md->offset_vector[md->offset_end - number];
1994         md->offset_vector[offset+1] = (int)(eptr - md->start_subject);
1995         if (offset_top <= offset) offset_top = offset + 2;
1996         }
1997       }
1998 
1999     /* OP_KETRPOS is a possessive repeating ket. Remember the current position,
2000     and return the MATCH_KETRPOS. This makes it possible to do the repeats one
2001     at a time from the outer level, thus saving stack. This must precede the
2002     empty string test - in this case that test is done at the outer level. */
2003 
2004     if (*ecode == OP_KETRPOS)
2005       {
2006       md->start_match_ptr = mstart;    /* In case \K reset it */
2007       md->end_match_ptr = eptr;
2008       md->end_offset_top = offset_top;
2009       RRETURN(MATCH_KETRPOS);
2010       }
2011 
2012     /* For an ordinary non-repeating ket, just continue at this level. This
2013     also happens for a repeating ket if no characters were matched in the
2014     group. This is the forcible breaking of infinite loops as implemented in
2015     Perl 5.005. For a non-repeating atomic group that includes captures,
2016     establish a backup point by processing the rest of the pattern at a lower
2017     level. If this results in a NOMATCH return, pass MATCH_ONCE back to the
2018     original OP_ONCE level, thereby bypassing intermediate backup points, but
2019     resetting any captures that happened along the way. */
2020 
2021     if (*ecode == OP_KET || eptr == saved_eptr)
2022       {
2023       if (*prev == OP_ONCE)
2024         {
2025         RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, eptrb, RM12);
2026         if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2027         md->once_target = prev;  /* Level at which to change to MATCH_NOMATCH */
2028         RRETURN(MATCH_ONCE);
2029         }
2030       ecode += 1 + LINK_SIZE;    /* Carry on at this level */
2031       break;
2032       }
2033 
2034     /* The normal repeating kets try the rest of the pattern or restart from
2035     the preceding bracket, in the appropriate order. In the second case, we can
2036     use tail recursion to avoid using another stack frame, unless we have an
2037     an atomic group or an unlimited repeat of a group that can match an empty
2038     string. */
2039 
2040     if (*ecode == OP_KETRMIN)
2041       {
2042       RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, eptrb, RM7);
2043       if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2044       if (*prev == OP_ONCE)
2045         {
2046         RMATCH(eptr, prev, offset_top, md, eptrb, RM8);
2047         if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2048         md->once_target = prev;  /* Level at which to change to MATCH_NOMATCH */
2049         RRETURN(MATCH_ONCE);
2050         }
2051       if (*prev >= OP_SBRA)    /* Could match an empty string */
2052         {
2053         RMATCH(eptr, prev, offset_top, md, eptrb, RM50);
2054         RRETURN(rrc);
2055         }
2056       ecode = prev;
2057       goto TAIL_RECURSE;
2058       }
2059     else  /* OP_KETRMAX */
2060       {
2061       RMATCH(eptr, prev, offset_top, md, eptrb, RM13);
2062       if (rrc == MATCH_ONCE && md->once_target == prev) rrc = MATCH_NOMATCH;
2063       if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2064       if (*prev == OP_ONCE)
2065         {
2066         RMATCH(eptr, ecode + 1 + LINK_SIZE, offset_top, md, eptrb, RM9);
2067         if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2068         md->once_target = prev;
2069         RRETURN(MATCH_ONCE);
2070         }
2071       ecode += 1 + LINK_SIZE;
2072       goto TAIL_RECURSE;
2073       }
2074     /* Control never gets here */
2075 
2076     /* Not multiline mode: start of subject assertion, unless notbol. */
2077 
2078     case OP_CIRC:
2079     if (md->notbol && eptr == md->start_subject) RRETURN(MATCH_NOMATCH);
2080 
2081     /* Start of subject assertion */
2082 
2083     case OP_SOD:
2084     if (eptr != md->start_subject) RRETURN(MATCH_NOMATCH);
2085     ecode++;
2086     break;
2087 
2088     /* Multiline mode: start of subject unless notbol, or after any newline. */
2089 
2090     case OP_CIRCM:
2091     if (md->notbol && eptr == md->start_subject) RRETURN(MATCH_NOMATCH);
2092     if (eptr != md->start_subject &&
2093         (eptr == md->end_subject || !WAS_NEWLINE(eptr)))
2094       RRETURN(MATCH_NOMATCH);
2095     ecode++;
2096     break;
2097 
2098     /* Start of match assertion */
2099 
2100     case OP_SOM:
2101     if (eptr != md->start_subject + md->start_offset) RRETURN(MATCH_NOMATCH);
2102     ecode++;
2103     break;
2104 
2105     /* Reset the start of match point */
2106 
2107     case OP_SET_SOM:
2108     mstart = eptr;
2109     ecode++;
2110     break;
2111 
2112     /* Multiline mode: assert before any newline, or before end of subject
2113     unless noteol is set. */
2114 
2115     case OP_DOLLM:
2116     if (eptr < md->end_subject)
2117       {
2118       if (!IS_NEWLINE(eptr))
2119         {
2120         if (md->partial != 0 &&
2121             eptr + 1 >= md->end_subject &&
2122             NLBLOCK->nltype == NLTYPE_FIXED &&
2123             NLBLOCK->nllen == 2 &&
2124             UCHAR21TEST(eptr) == NLBLOCK->nl[0])
2125           {
2126           md->hitend = TRUE;
2127           if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
2128           }
2129         RRETURN(MATCH_NOMATCH);
2130         }
2131       }
2132     else
2133       {
2134       if (md->noteol) RRETURN(MATCH_NOMATCH);
2135       SCHECK_PARTIAL();
2136       }
2137     ecode++;
2138     break;
2139 
2140     /* Not multiline mode: assert before a terminating newline or before end of
2141     subject unless noteol is set. */
2142 
2143     case OP_DOLL:
2144     if (md->noteol) RRETURN(MATCH_NOMATCH);
2145     if (!md->endonly) goto ASSERT_NL_OR_EOS;
2146 
2147     /* ... else fall through for endonly */
2148 
2149     /* End of subject assertion (\z) */
2150 
2151     case OP_EOD:
2152     if (eptr < md->end_subject) RRETURN(MATCH_NOMATCH);
2153     SCHECK_PARTIAL();
2154     ecode++;
2155     break;
2156 
2157     /* End of subject or ending \n assertion (\Z) */
2158 
2159     case OP_EODN:
2160     ASSERT_NL_OR_EOS:
2161     if (eptr < md->end_subject &&
2162         (!IS_NEWLINE(eptr) || eptr != md->end_subject - md->nllen))
2163       {
2164       if (md->partial != 0 &&
2165           eptr + 1 >= md->end_subject &&
2166           NLBLOCK->nltype == NLTYPE_FIXED &&
2167           NLBLOCK->nllen == 2 &&
2168           UCHAR21TEST(eptr) == NLBLOCK->nl[0])
2169         {
2170         md->hitend = TRUE;
2171         if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
2172         }
2173       RRETURN(MATCH_NOMATCH);
2174       }
2175 
2176     /* Either at end of string or \n before end. */
2177 
2178     SCHECK_PARTIAL();
2179     ecode++;
2180     break;
2181 
2182     /* Word boundary assertions */
2183 
2184     case OP_NOT_WORD_BOUNDARY:
2185     case OP_WORD_BOUNDARY:
2186       {
2187 
2188       /* Find out if the previous and current characters are "word" characters.
2189       It takes a bit more work in UTF-8 mode. Characters > 255 are assumed to
2190       be "non-word" characters. Remember the earliest consulted character for
2191       partial matching. */
2192 
2193 #ifdef SUPPORT_UTF
2194       if (utf)
2195         {
2196         /* Get status of previous character */
2197 
2198         if (eptr == md->start_subject) prev_is_word = FALSE; else
2199           {
2200           PCRE_PUCHAR lastptr = eptr - 1;
2201           BACKCHAR(lastptr);
2202           if (lastptr < md->start_used_ptr) md->start_used_ptr = lastptr;
2203           GETCHAR(c, lastptr);
2204 #ifdef SUPPORT_UCP
2205           if (md->use_ucp)
2206             {
2207             if (c == '_') prev_is_word = TRUE; else
2208               {
2209               int cat = UCD_CATEGORY(c);
2210               prev_is_word = (cat == ucp_L || cat == ucp_N);
2211               }
2212             }
2213           else
2214 #endif
2215           prev_is_word = c < 256 && (md->ctypes[c] & ctype_word) != 0;
2216           }
2217 
2218         /* Get status of next character */
2219 
2220         if (eptr >= md->end_subject)
2221           {
2222           SCHECK_PARTIAL();
2223           cur_is_word = FALSE;
2224           }
2225         else
2226           {
2227           GETCHAR(c, eptr);
2228 #ifdef SUPPORT_UCP
2229           if (md->use_ucp)
2230             {
2231             if (c == '_') cur_is_word = TRUE; else
2232               {
2233               int cat = UCD_CATEGORY(c);
2234               cur_is_word = (cat == ucp_L || cat == ucp_N);
2235               }
2236             }
2237           else
2238 #endif
2239           cur_is_word = c < 256 && (md->ctypes[c] & ctype_word) != 0;
2240           }
2241         }
2242       else
2243 #endif
2244 
2245       /* Not in UTF-8 mode, but we may still have PCRE_UCP set, and for
2246       consistency with the behaviour of \w we do use it in this case. */
2247 
2248         {
2249         /* Get status of previous character */
2250 
2251         if (eptr == md->start_subject) prev_is_word = FALSE; else
2252           {
2253           if (eptr <= md->start_used_ptr) md->start_used_ptr = eptr - 1;
2254 #ifdef SUPPORT_UCP
2255           if (md->use_ucp)
2256             {
2257             c = eptr[-1];
2258             if (c == '_') prev_is_word = TRUE; else
2259               {
2260               int cat = UCD_CATEGORY(c);
2261               prev_is_word = (cat == ucp_L || cat == ucp_N);
2262               }
2263             }
2264           else
2265 #endif
2266           prev_is_word = MAX_255(eptr[-1])
2267             && ((md->ctypes[eptr[-1]] & ctype_word) != 0);
2268           }
2269 
2270         /* Get status of next character */
2271 
2272         if (eptr >= md->end_subject)
2273           {
2274           SCHECK_PARTIAL();
2275           cur_is_word = FALSE;
2276           }
2277         else
2278 #ifdef SUPPORT_UCP
2279         if (md->use_ucp)
2280           {
2281           c = *eptr;
2282           if (c == '_') cur_is_word = TRUE; else
2283             {
2284             int cat = UCD_CATEGORY(c);
2285             cur_is_word = (cat == ucp_L || cat == ucp_N);
2286             }
2287           }
2288         else
2289 #endif
2290         cur_is_word = MAX_255(*eptr)
2291           && ((md->ctypes[*eptr] & ctype_word) != 0);
2292         }
2293 
2294       /* Now see if the situation is what we want */
2295 
2296       if ((*ecode++ == OP_WORD_BOUNDARY)?
2297            cur_is_word == prev_is_word : cur_is_word != prev_is_word)
2298         RRETURN(MATCH_NOMATCH);
2299       }
2300     break;
2301 
2302     /* Match any single character type except newline; have to take care with
2303     CRLF newlines and partial matching. */
2304 
2305     case OP_ANY:
2306     if (IS_NEWLINE(eptr)) RRETURN(MATCH_NOMATCH);
2307     if (md->partial != 0 &&
2308         eptr + 1 >= md->end_subject &&
2309         NLBLOCK->nltype == NLTYPE_FIXED &&
2310         NLBLOCK->nllen == 2 &&
2311         UCHAR21TEST(eptr) == NLBLOCK->nl[0])
2312       {
2313       md->hitend = TRUE;
2314       if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
2315       }
2316 
2317     /* Fall through */
2318 
2319     /* Match any single character whatsoever. */
2320 
2321     case OP_ALLANY:
2322     if (eptr >= md->end_subject)   /* DO NOT merge the eptr++ here; it must */
2323       {                            /* not be updated before SCHECK_PARTIAL. */
2324       SCHECK_PARTIAL();
2325       RRETURN(MATCH_NOMATCH);
2326       }
2327     eptr++;
2328 #ifdef SUPPORT_UTF
2329     if (utf) ACROSSCHAR(eptr < md->end_subject, *eptr, eptr++);
2330 #endif
2331     ecode++;
2332     break;
2333 
2334     /* Match a single byte, even in UTF-8 mode. This opcode really does match
2335     any byte, even newline, independent of the setting of PCRE_DOTALL. */
2336 
2337     case OP_ANYBYTE:
2338     if (eptr >= md->end_subject)   /* DO NOT merge the eptr++ here; it must */
2339       {                            /* not be updated before SCHECK_PARTIAL. */
2340       SCHECK_PARTIAL();
2341       RRETURN(MATCH_NOMATCH);
2342       }
2343     eptr++;
2344     ecode++;
2345     break;
2346 
2347     case OP_NOT_DIGIT:
2348     if (eptr >= md->end_subject)
2349       {
2350       SCHECK_PARTIAL();
2351       RRETURN(MATCH_NOMATCH);
2352       }
2353     GETCHARINCTEST(c, eptr);
2354     if (
2355 #if defined SUPPORT_UTF || !(defined COMPILE_PCRE8)
2356        c < 256 &&
2357 #endif
2358        (md->ctypes[c] & ctype_digit) != 0
2359        )
2360       RRETURN(MATCH_NOMATCH);
2361     ecode++;
2362     break;
2363 
2364     case OP_DIGIT:
2365     if (eptr >= md->end_subject)
2366       {
2367       SCHECK_PARTIAL();
2368       RRETURN(MATCH_NOMATCH);
2369       }
2370     GETCHARINCTEST(c, eptr);
2371     if (
2372 #if defined SUPPORT_UTF || !(defined COMPILE_PCRE8)
2373        c > 255 ||
2374 #endif
2375        (md->ctypes[c] & ctype_digit) == 0
2376        )
2377       RRETURN(MATCH_NOMATCH);
2378     ecode++;
2379     break;
2380 
2381     case OP_NOT_WHITESPACE:
2382     if (eptr >= md->end_subject)
2383       {
2384       SCHECK_PARTIAL();
2385       RRETURN(MATCH_NOMATCH);
2386       }
2387     GETCHARINCTEST(c, eptr);
2388     if (
2389 #if defined SUPPORT_UTF || !(defined COMPILE_PCRE8)
2390        c < 256 &&
2391 #endif
2392        (md->ctypes[c] & ctype_space) != 0
2393        )
2394       RRETURN(MATCH_NOMATCH);
2395     ecode++;
2396     break;
2397 
2398     case OP_WHITESPACE:
2399     if (eptr >= md->end_subject)
2400       {
2401       SCHECK_PARTIAL();
2402       RRETURN(MATCH_NOMATCH);
2403       }
2404     GETCHARINCTEST(c, eptr);
2405     if (
2406 #if defined SUPPORT_UTF || !(defined COMPILE_PCRE8)
2407        c > 255 ||
2408 #endif
2409        (md->ctypes[c] & ctype_space) == 0
2410        )
2411       RRETURN(MATCH_NOMATCH);
2412     ecode++;
2413     break;
2414 
2415     case OP_NOT_WORDCHAR:
2416     if (eptr >= md->end_subject)
2417       {
2418       SCHECK_PARTIAL();
2419       RRETURN(MATCH_NOMATCH);
2420       }
2421     GETCHARINCTEST(c, eptr);
2422     if (
2423 #if defined SUPPORT_UTF || !(defined COMPILE_PCRE8)
2424        c < 256 &&
2425 #endif
2426        (md->ctypes[c] & ctype_word) != 0
2427        )
2428       RRETURN(MATCH_NOMATCH);
2429     ecode++;
2430     break;
2431 
2432     case OP_WORDCHAR:
2433     if (eptr >= md->end_subject)
2434       {
2435       SCHECK_PARTIAL();
2436       RRETURN(MATCH_NOMATCH);
2437       }
2438     GETCHARINCTEST(c, eptr);
2439     if (
2440 #if defined SUPPORT_UTF || !(defined COMPILE_PCRE8)
2441        c > 255 ||
2442 #endif
2443        (md->ctypes[c] & ctype_word) == 0
2444        )
2445       RRETURN(MATCH_NOMATCH);
2446     ecode++;
2447     break;
2448 
2449     case OP_ANYNL:
2450     if (eptr >= md->end_subject)
2451       {
2452       SCHECK_PARTIAL();
2453       RRETURN(MATCH_NOMATCH);
2454       }
2455     GETCHARINCTEST(c, eptr);
2456     switch(c)
2457       {
2458       default: RRETURN(MATCH_NOMATCH);
2459 
2460       case CHAR_CR:
2461       if (eptr >= md->end_subject)
2462         {
2463         SCHECK_PARTIAL();
2464         }
2465       else if (UCHAR21TEST(eptr) == CHAR_LF) eptr++;
2466       break;
2467 
2468       case CHAR_LF:
2469       break;
2470 
2471       case CHAR_VT:
2472       case CHAR_FF:
2473       case CHAR_NEL:
2474 #ifndef EBCDIC
2475       case 0x2028:
2476       case 0x2029:
2477 #endif  /* Not EBCDIC */
2478       if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);
2479       break;
2480       }
2481     ecode++;
2482     break;
2483 
2484     case OP_NOT_HSPACE:
2485     if (eptr >= md->end_subject)
2486       {
2487       SCHECK_PARTIAL();
2488       RRETURN(MATCH_NOMATCH);
2489       }
2490     GETCHARINCTEST(c, eptr);
2491     switch(c)
2492       {
2493       HSPACE_CASES: RRETURN(MATCH_NOMATCH);  /* Byte and multibyte cases */
2494       default: break;
2495       }
2496     ecode++;
2497     break;
2498 
2499     case OP_HSPACE:
2500     if (eptr >= md->end_subject)
2501       {
2502       SCHECK_PARTIAL();
2503       RRETURN(MATCH_NOMATCH);
2504       }
2505     GETCHARINCTEST(c, eptr);
2506     switch(c)
2507       {
2508       HSPACE_CASES: break;  /* Byte and multibyte cases */
2509       default: RRETURN(MATCH_NOMATCH);
2510       }
2511     ecode++;
2512     break;
2513 
2514     case OP_NOT_VSPACE:
2515     if (eptr >= md->end_subject)
2516       {
2517       SCHECK_PARTIAL();
2518       RRETURN(MATCH_NOMATCH);
2519       }
2520     GETCHARINCTEST(c, eptr);
2521     switch(c)
2522       {
2523       VSPACE_CASES: RRETURN(MATCH_NOMATCH);
2524       default: break;
2525       }
2526     ecode++;
2527     break;
2528 
2529     case OP_VSPACE:
2530     if (eptr >= md->end_subject)
2531       {
2532       SCHECK_PARTIAL();
2533       RRETURN(MATCH_NOMATCH);
2534       }
2535     GETCHARINCTEST(c, eptr);
2536     switch(c)
2537       {
2538       VSPACE_CASES: break;
2539       default: RRETURN(MATCH_NOMATCH);
2540       }
2541     ecode++;
2542     break;
2543 
2544 #ifdef SUPPORT_UCP
2545     /* Check the next character by Unicode property. We will get here only
2546     if the support is in the binary; otherwise a compile-time error occurs. */
2547 
2548     case OP_PROP:
2549     case OP_NOTPROP:
2550     if (eptr >= md->end_subject)
2551       {
2552       SCHECK_PARTIAL();
2553       RRETURN(MATCH_NOMATCH);
2554       }
2555     GETCHARINCTEST(c, eptr);
2556       {
2557       const pcre_uint32 *cp;
2558       const ucd_record *prop = GET_UCD(c);
2559 
2560       switch(ecode[1])
2561         {
2562         case PT_ANY:
2563         if (op == OP_NOTPROP) RRETURN(MATCH_NOMATCH);
2564         break;
2565 
2566         case PT_LAMP:
2567         if ((prop->chartype == ucp_Lu ||
2568              prop->chartype == ucp_Ll ||
2569              prop->chartype == ucp_Lt) == (op == OP_NOTPROP))
2570           RRETURN(MATCH_NOMATCH);
2571         break;
2572 
2573         case PT_GC:
2574         if ((ecode[2] != PRIV(ucp_gentype)[prop->chartype]) == (op == OP_PROP))
2575           RRETURN(MATCH_NOMATCH);
2576         break;
2577 
2578         case PT_PC:
2579         if ((ecode[2] != prop->chartype) == (op == OP_PROP))
2580           RRETURN(MATCH_NOMATCH);
2581         break;
2582 
2583         case PT_SC:
2584         if ((ecode[2] != prop->script) == (op == OP_PROP))
2585           RRETURN(MATCH_NOMATCH);
2586         break;
2587 
2588         /* These are specials */
2589 
2590         case PT_ALNUM:
2591         if ((PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
2592              PRIV(ucp_gentype)[prop->chartype] == ucp_N) == (op == OP_NOTPROP))
2593           RRETURN(MATCH_NOMATCH);
2594         break;
2595 
2596         /* Perl space used to exclude VT, but from Perl 5.18 it is included,
2597         which means that Perl space and POSIX space are now identical. PCRE
2598         was changed at release 8.34. */
2599 
2600         case PT_SPACE:    /* Perl space */
2601         case PT_PXSPACE:  /* POSIX space */
2602         switch(c)
2603           {
2604           HSPACE_CASES:
2605           VSPACE_CASES:
2606           if (op == OP_NOTPROP) RRETURN(MATCH_NOMATCH);
2607           break;
2608 
2609           default:
2610           if ((PRIV(ucp_gentype)[prop->chartype] == ucp_Z) ==
2611             (op == OP_NOTPROP)) RRETURN(MATCH_NOMATCH);
2612           break;
2613           }
2614         break;
2615 
2616         case PT_WORD:
2617         if ((PRIV(ucp_gentype)[prop->chartype] == ucp_L ||
2618              PRIV(ucp_gentype)[prop->chartype] == ucp_N ||
2619              c == CHAR_UNDERSCORE) == (op == OP_NOTPROP))
2620           RRETURN(MATCH_NOMATCH);
2621         break;
2622 
2623         case PT_CLIST:
2624         cp = PRIV(ucd_caseless_sets) + ecode[2];
2625         for (;;)
2626           {
2627           if (c < *cp)
2628             { if (op == OP_PROP) { RRETURN(MATCH_NOMATCH); } else break; }
2629           if (c == *cp++)
2630             { if (op == OP_PROP) break; else { RRETURN(MATCH_NOMATCH); } }
2631           }
2632         break;
2633 
2634         case PT_UCNC:
2635         if ((c == CHAR_DOLLAR_SIGN || c == CHAR_COMMERCIAL_AT ||
2636              c == CHAR_GRAVE_ACCENT || (c >= 0xa0 && c <= 0xd7ff) ||
2637              c >= 0xe000) == (op == OP_NOTPROP))
2638           RRETURN(MATCH_NOMATCH);
2639         break;
2640 
2641         /* This should never occur */
2642 
2643         default:
2644         RRETURN(PCRE_ERROR_INTERNAL);
2645         }
2646 
2647       ecode += 3;
2648       }
2649     break;
2650 
2651     /* Match an extended Unicode sequence. We will get here only if the support
2652     is in the binary; otherwise a compile-time error occurs. */
2653 
2654     case OP_EXTUNI:
2655     if (eptr >= md->end_subject)
2656       {
2657       SCHECK_PARTIAL();
2658       RRETURN(MATCH_NOMATCH);
2659       }
2660     else
2661       {
2662       int lgb, rgb;
2663       GETCHARINCTEST(c, eptr);
2664       lgb = UCD_GRAPHBREAK(c);
2665       while (eptr < md->end_subject)
2666         {
2667         int len = 1;
2668         if (!utf) c = *eptr; else { GETCHARLEN(c, eptr, len); }
2669         rgb = UCD_GRAPHBREAK(c);
2670         if ((PRIV(ucp_gbtable)[lgb] & (1 << rgb)) == 0) break;
2671         lgb = rgb;
2672         eptr += len;
2673         }
2674       }
2675     CHECK_PARTIAL();
2676     ecode++;
2677     break;
2678 #endif  /* SUPPORT_UCP */
2679 
2680 
2681     /* Match a back reference, possibly repeatedly. Look past the end of the
2682     item to see if there is repeat information following. The code is similar
2683     to that for character classes, but repeated for efficiency. Then obey
2684     similar code to character type repeats - written out again for speed.
2685     However, if the referenced string is the empty string, always treat
2686     it as matched, any number of times (otherwise there could be infinite
2687     loops). If the reference is unset, there are two possibilities:
2688 
2689     (a) In the default, Perl-compatible state, set the length negative;
2690     this ensures that every attempt at a match fails. We can't just fail
2691     here, because of the possibility of quantifiers with zero minima.
2692 
2693     (b) If the JavaScript compatibility flag is set, set the length to zero
2694     so that the back reference matches an empty string.
2695 
2696     Otherwise, set the length to the length of what was matched by the
2697     referenced subpattern.
2698 
2699     The OP_REF and OP_REFI opcodes are used for a reference to a numbered group
2700     or to a non-duplicated named group. For a duplicated named group, OP_DNREF
2701     and OP_DNREFI are used. In this case we must scan the list of groups to
2702     which the name refers, and use the first one that is set. */
2703 
2704     case OP_DNREF:
2705     case OP_DNREFI:
2706     caseless = op == OP_DNREFI;
2707       {
2708       int count = GET2(ecode, 1+IMM2_SIZE);
2709       pcre_uchar *slot = md->name_table + GET2(ecode, 1) * md->name_entry_size;
2710       ecode += 1 + 2*IMM2_SIZE;
2711 
2712       /* Setting the default length first and initializing 'offset' avoids
2713       compiler warnings in the REF_REPEAT code. */
2714 
2715       length = (md->jscript_compat)? 0 : -1;
2716       offset = 0;
2717 
2718       while (count-- > 0)
2719         {
2720         offset = GET2(slot, 0) << 1;
2721         if (offset < offset_top && md->offset_vector[offset] >= 0)
2722           {
2723           length = md->offset_vector[offset+1] - md->offset_vector[offset];
2724           break;
2725           }
2726         slot += md->name_entry_size;
2727         }
2728       }
2729     goto REF_REPEAT;
2730 
2731     case OP_REF:
2732     case OP_REFI:
2733     caseless = op == OP_REFI;
2734     offset = GET2(ecode, 1) << 1;               /* Doubled ref number */
2735     ecode += 1 + IMM2_SIZE;
2736     if (offset >= offset_top || md->offset_vector[offset] < 0)
2737       length = (md->jscript_compat)? 0 : -1;
2738     else
2739       length = md->offset_vector[offset+1] - md->offset_vector[offset];
2740 
2741     /* Set up for repetition, or handle the non-repeated case */
2742 
2743     REF_REPEAT:
2744     switch (*ecode)
2745       {
2746       case OP_CRSTAR:
2747       case OP_CRMINSTAR:
2748       case OP_CRPLUS:
2749       case OP_CRMINPLUS:
2750       case OP_CRQUERY:
2751       case OP_CRMINQUERY:
2752       c = *ecode++ - OP_CRSTAR;
2753       minimize = (c & 1) != 0;
2754       min = rep_min[c];                 /* Pick up values from tables; */
2755       max = rep_max[c];                 /* zero for max => infinity */
2756       if (max == 0) max = INT_MAX;
2757       break;
2758 
2759       case OP_CRRANGE:
2760       case OP_CRMINRANGE:
2761       minimize = (*ecode == OP_CRMINRANGE);
2762       min = GET2(ecode, 1);
2763       max = GET2(ecode, 1 + IMM2_SIZE);
2764       if (max == 0) max = INT_MAX;
2765       ecode += 1 + 2 * IMM2_SIZE;
2766       break;
2767 
2768       default:               /* No repeat follows */
2769       if ((length = match_ref(offset, eptr, length, md, caseless)) < 0)
2770         {
2771         if (length == -2) eptr = md->end_subject;   /* Partial match */
2772         CHECK_PARTIAL();
2773         RRETURN(MATCH_NOMATCH);
2774         }
2775       eptr += length;
2776       continue;              /* With the main loop */
2777       }
2778 
2779     /* Handle repeated back references. If the length of the reference is
2780     zero, just continue with the main loop. If the length is negative, it
2781     means the reference is unset in non-Java-compatible mode. If the minimum is
2782     zero, we can continue at the same level without recursion. For any other
2783     minimum, carrying on will result in NOMATCH. */
2784 
2785     if (length == 0) continue;
2786     if (length < 0 && min == 0) continue;
2787 
2788     /* First, ensure the minimum number of matches are present. We get back
2789     the length of the reference string explicitly rather than passing the
2790     address of eptr, so that eptr can be a register variable. */
2791 
2792     for (i = 1; i <= min; i++)
2793       {
2794       int slength;
2795       if ((slength = match_ref(offset, eptr, length, md, caseless)) < 0)
2796         {
2797         if (slength == -2) eptr = md->end_subject;   /* Partial match */
2798         CHECK_PARTIAL();
2799         RRETURN(MATCH_NOMATCH);
2800         }
2801       eptr += slength;
2802       }
2803 
2804     /* If min = max, continue at the same level without recursion.
2805     They are not both allowed to be zero. */
2806 
2807     if (min == max) continue;
2808 
2809     /* If minimizing, keep trying and advancing the pointer */
2810 
2811     if (minimize)
2812       {
2813       for (fi = min;; fi++)
2814         {
2815         int slength;
2816         RMATCH(eptr, ecode, offset_top, md, eptrb, RM14);
2817         if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2818         if (fi >= max) RRETURN(MATCH_NOMATCH);
2819         if ((slength = match_ref(offset, eptr, length, md, caseless)) < 0)
2820           {
2821           if (slength == -2) eptr = md->end_subject;   /* Partial match */
2822           CHECK_PARTIAL();
2823           RRETURN(MATCH_NOMATCH);
2824           }
2825         eptr += slength;
2826         }
2827       /* Control never gets here */
2828       }
2829 
2830     /* If maximizing, find the longest string and work backwards */
2831 
2832     else
2833       {
2834       pp = eptr;
2835       for (i = min; i < max; i++)
2836         {
2837         int slength;
2838         if ((slength = match_ref(offset, eptr, length, md, caseless)) < 0)
2839           {
2840           /* Can't use CHECK_PARTIAL because we don't want to update eptr in
2841           the soft partial matching case. */
2842 
2843           if (slength == -2 && md->partial != 0 &&
2844               md->end_subject > md->start_used_ptr)
2845             {
2846             md->hitend = TRUE;
2847             if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
2848             }
2849           break;
2850           }
2851         eptr += slength;
2852         }
2853 
2854       while (eptr >= pp)
2855         {
2856         RMATCH(eptr, ecode, offset_top, md, eptrb, RM15);
2857         if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2858         eptr -= length;
2859         }
2860       RRETURN(MATCH_NOMATCH);
2861       }
2862     /* Control never gets here */
2863 
2864     /* Match a bit-mapped character class, possibly repeatedly. This op code is
2865     used when all the characters in the class have values in the range 0-255,
2866     and either the matching is caseful, or the characters are in the range
2867     0-127 when UTF-8 processing is enabled. The only difference between
2868     OP_CLASS and OP_NCLASS occurs when a data character outside the range is
2869     encountered.
2870 
2871     First, look past the end of the item to see if there is repeat information
2872     following. Then obey similar code to character type repeats - written out
2873     again for speed. */
2874 
2875     case OP_NCLASS:
2876     case OP_CLASS:
2877       {
2878       /* The data variable is saved across frames, so the byte map needs to
2879       be stored there. */
2880 #define BYTE_MAP ((pcre_uint8 *)data)
2881       data = ecode + 1;                /* Save for matching */
2882       ecode += 1 + (32 / sizeof(pcre_uchar)); /* Advance past the item */
2883 
2884       switch (*ecode)
2885         {
2886         case OP_CRSTAR:
2887         case OP_CRMINSTAR:
2888         case OP_CRPLUS:
2889         case OP_CRMINPLUS:
2890         case OP_CRQUERY:
2891         case OP_CRMINQUERY:
2892         case OP_CRPOSSTAR:
2893         case OP_CRPOSPLUS:
2894         case OP_CRPOSQUERY:
2895         c = *ecode++ - OP_CRSTAR;
2896         if (c < OP_CRPOSSTAR - OP_CRSTAR) minimize = (c & 1) != 0;
2897         else possessive = TRUE;
2898         min = rep_min[c];                 /* Pick up values from tables; */
2899         max = rep_max[c];                 /* zero for max => infinity */
2900         if (max == 0) max = INT_MAX;
2901         break;
2902 
2903         case OP_CRRANGE:
2904         case OP_CRMINRANGE:
2905         case OP_CRPOSRANGE:
2906         minimize = (*ecode == OP_CRMINRANGE);
2907         possessive = (*ecode == OP_CRPOSRANGE);
2908         min = GET2(ecode, 1);
2909         max = GET2(ecode, 1 + IMM2_SIZE);
2910         if (max == 0) max = INT_MAX;
2911         ecode += 1 + 2 * IMM2_SIZE;
2912         break;
2913 
2914         default:               /* No repeat follows */
2915         min = max = 1;
2916         break;
2917         }
2918 
2919       /* First, ensure the minimum number of matches are present. */
2920 
2921 #ifdef SUPPORT_UTF
2922       if (utf)
2923         {
2924         for (i = 1; i <= min; i++)
2925           {
2926           if (eptr >= md->end_subject)
2927             {
2928             SCHECK_PARTIAL();
2929             RRETURN(MATCH_NOMATCH);
2930             }
2931           GETCHARINC(c, eptr);
2932           if (c > 255)
2933             {
2934             if (op == OP_CLASS) RRETURN(MATCH_NOMATCH);
2935             }
2936           else
2937             if ((BYTE_MAP[c/8] & (1 << (c&7))) == 0) RRETURN(MATCH_NOMATCH);
2938           }
2939         }
2940       else
2941 #endif
2942       /* Not UTF mode */
2943         {
2944         for (i = 1; i <= min; i++)
2945           {
2946           if (eptr >= md->end_subject)
2947             {
2948             SCHECK_PARTIAL();
2949             RRETURN(MATCH_NOMATCH);
2950             }
2951           c = *eptr++;
2952 #ifndef COMPILE_PCRE8
2953           if (c > 255)
2954             {
2955             if (op == OP_CLASS) RRETURN(MATCH_NOMATCH);
2956             }
2957           else
2958 #endif
2959             if ((BYTE_MAP[c/8] & (1 << (c&7))) == 0) RRETURN(MATCH_NOMATCH);
2960           }
2961         }
2962 
2963       /* If max == min we can continue with the main loop without the
2964       need to recurse. */
2965 
2966       if (min == max) continue;
2967 
2968       /* If minimizing, keep testing the rest of the expression and advancing
2969       the pointer while it matches the class. */
2970 
2971       if (minimize)
2972         {
2973 #ifdef SUPPORT_UTF
2974         if (utf)
2975           {
2976           for (fi = min;; fi++)
2977             {
2978             RMATCH(eptr, ecode, offset_top, md, eptrb, RM16);
2979             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
2980             if (fi >= max) RRETURN(MATCH_NOMATCH);
2981             if (eptr >= md->end_subject)
2982               {
2983               SCHECK_PARTIAL();
2984               RRETURN(MATCH_NOMATCH);
2985               }
2986             GETCHARINC(c, eptr);
2987             if (c > 255)
2988               {
2989               if (op == OP_CLASS) RRETURN(MATCH_NOMATCH);
2990               }
2991             else
2992               if ((BYTE_MAP[c/8] & (1 << (c&7))) == 0) RRETURN(MATCH_NOMATCH);
2993             }
2994           }
2995         else
2996 #endif
2997         /* Not UTF mode */
2998           {
2999           for (fi = min;; fi++)
3000             {
3001             RMATCH(eptr, ecode, offset_top, md, eptrb, RM17);
3002             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3003             if (fi >= max) RRETURN(MATCH_NOMATCH);
3004             if (eptr >= md->end_subject)
3005               {
3006               SCHECK_PARTIAL();
3007               RRETURN(MATCH_NOMATCH);
3008               }
3009             c = *eptr++;
3010 #ifndef COMPILE_PCRE8
3011             if (c > 255)
3012               {
3013               if (op == OP_CLASS) RRETURN(MATCH_NOMATCH);
3014               }
3015             else
3016 #endif
3017               if ((BYTE_MAP[c/8] & (1 << (c&7))) == 0) RRETURN(MATCH_NOMATCH);
3018             }
3019           }
3020         /* Control never gets here */
3021         }
3022 
3023       /* If maximizing, find the longest possible run, then work backwards. */
3024 
3025       else
3026         {
3027         pp = eptr;
3028 
3029 #ifdef SUPPORT_UTF
3030         if (utf)
3031           {
3032           for (i = min; i < max; i++)
3033             {
3034             int len = 1;
3035             if (eptr >= md->end_subject)
3036               {
3037               SCHECK_PARTIAL();
3038               break;
3039               }
3040             GETCHARLEN(c, eptr, len);
3041             if (c > 255)
3042               {
3043               if (op == OP_CLASS) break;
3044               }
3045             else
3046               if ((BYTE_MAP[c/8] & (1 << (c&7))) == 0) break;
3047             eptr += len;
3048             }
3049 
3050           if (possessive) continue;    /* No backtracking */
3051 
3052           for (;;)
3053             {
3054             RMATCH(eptr, ecode, offset_top, md, eptrb, RM18);
3055             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3056             if (eptr-- == pp) break;        /* Stop if tried at original pos */
3057             BACKCHAR(eptr);
3058             }
3059           }
3060         else
3061 #endif
3062           /* Not UTF mode */
3063           {
3064           for (i = min; i < max; i++)
3065             {
3066             if (eptr >= md->end_subject)
3067               {
3068               SCHECK_PARTIAL();
3069               break;
3070               }
3071             c = *eptr;
3072 #ifndef COMPILE_PCRE8
3073             if (c > 255)
3074               {
3075               if (op == OP_CLASS) break;
3076               }
3077             else
3078 #endif
3079               if ((BYTE_MAP[c/8] & (1 << (c&7))) == 0) break;
3080             eptr++;
3081             }
3082 
3083           if (possessive) continue;    /* No backtracking */
3084 
3085           while (eptr >= pp)
3086             {
3087             RMATCH(eptr, ecode, offset_top, md, eptrb, RM19);
3088             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3089             eptr--;
3090             }
3091           }
3092 
3093         RRETURN(MATCH_NOMATCH);
3094         }
3095 #undef BYTE_MAP
3096       }
3097     /* Control never gets here */
3098 
3099 
3100     /* Match an extended character class. In the 8-bit library, this opcode is
3101     encountered only when UTF-8 mode mode is supported. In the 16-bit and
3102     32-bit libraries, codepoints greater than 255 may be encountered even when
3103     UTF is not supported. */
3104 
3105 #if defined SUPPORT_UTF || !defined COMPILE_PCRE8
3106     case OP_XCLASS:
3107       {
3108       data = ecode + 1 + LINK_SIZE;                /* Save for matching */
3109       ecode += GET(ecode, 1);                      /* Advance past the item */
3110 
3111       switch (*ecode)
3112         {
3113         case OP_CRSTAR:
3114         case OP_CRMINSTAR:
3115         case OP_CRPLUS:
3116         case OP_CRMINPLUS:
3117         case OP_CRQUERY:
3118         case OP_CRMINQUERY:
3119         case OP_CRPOSSTAR:
3120         case OP_CRPOSPLUS:
3121         case OP_CRPOSQUERY:
3122         c = *ecode++ - OP_CRSTAR;
3123         if (c < OP_CRPOSSTAR - OP_CRSTAR) minimize = (c & 1) != 0;
3124         else possessive = TRUE;
3125         min = rep_min[c];                 /* Pick up values from tables; */
3126         max = rep_max[c];                 /* zero for max => infinity */
3127         if (max == 0) max = INT_MAX;
3128         break;
3129 
3130         case OP_CRRANGE:
3131         case OP_CRMINRANGE:
3132         case OP_CRPOSRANGE:
3133         minimize = (*ecode == OP_CRMINRANGE);
3134         possessive = (*ecode == OP_CRPOSRANGE);
3135         min = GET2(ecode, 1);
3136         max = GET2(ecode, 1 + IMM2_SIZE);
3137         if (max == 0) max = INT_MAX;
3138         ecode += 1 + 2 * IMM2_SIZE;
3139         break;
3140 
3141         default:               /* No repeat follows */
3142         min = max = 1;
3143         break;
3144         }
3145 
3146       /* First, ensure the minimum number of matches are present. */
3147 
3148       for (i = 1; i <= min; i++)
3149         {
3150         if (eptr >= md->end_subject)
3151           {
3152           SCHECK_PARTIAL();
3153           RRETURN(MATCH_NOMATCH);
3154           }
3155         GETCHARINCTEST(c, eptr);
3156         if (!PRIV(xclass)(c, data, utf)) RRETURN(MATCH_NOMATCH);
3157         }
3158 
3159       /* If max == min we can continue with the main loop without the
3160       need to recurse. */
3161 
3162       if (min == max) continue;
3163 
3164       /* If minimizing, keep testing the rest of the expression and advancing
3165       the pointer while it matches the class. */
3166 
3167       if (minimize)
3168         {
3169         for (fi = min;; fi++)
3170           {
3171           RMATCH(eptr, ecode, offset_top, md, eptrb, RM20);
3172           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3173           if (fi >= max) RRETURN(MATCH_NOMATCH);
3174           if (eptr >= md->end_subject)
3175             {
3176             SCHECK_PARTIAL();
3177             RRETURN(MATCH_NOMATCH);
3178             }
3179           GETCHARINCTEST(c, eptr);
3180           if (!PRIV(xclass)(c, data, utf)) RRETURN(MATCH_NOMATCH);
3181           }
3182         /* Control never gets here */
3183         }
3184 
3185       /* If maximizing, find the longest possible run, then work backwards. */
3186 
3187       else
3188         {
3189         pp = eptr;
3190         for (i = min; i < max; i++)
3191           {
3192           int len = 1;
3193           if (eptr >= md->end_subject)
3194             {
3195             SCHECK_PARTIAL();
3196             break;
3197             }
3198 #ifdef SUPPORT_UTF
3199           GETCHARLENTEST(c, eptr, len);
3200 #else
3201           c = *eptr;
3202 #endif
3203           if (!PRIV(xclass)(c, data, utf)) break;
3204           eptr += len;
3205           }
3206 
3207         if (possessive) continue;    /* No backtracking */
3208 
3209         for(;;)
3210           {
3211           RMATCH(eptr, ecode, offset_top, md, eptrb, RM21);
3212           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3213           if (eptr-- == pp) break;        /* Stop if tried at original pos */
3214 #ifdef SUPPORT_UTF
3215           if (utf) BACKCHAR(eptr);
3216 #endif
3217           }
3218         RRETURN(MATCH_NOMATCH);
3219         }
3220 
3221       /* Control never gets here */
3222       }
3223 #endif    /* End of XCLASS */
3224 
3225     /* Match a single character, casefully */
3226 
3227     case OP_CHAR:
3228 #ifdef SUPPORT_UTF
3229     if (utf)
3230       {
3231       length = 1;
3232       ecode++;
3233       GETCHARLEN(fc, ecode, length);
3234       if (length > md->end_subject - eptr)
3235         {
3236         CHECK_PARTIAL();             /* Not SCHECK_PARTIAL() */
3237         RRETURN(MATCH_NOMATCH);
3238         }
3239       while (length-- > 0) if (*ecode++ != UCHAR21INC(eptr)) RRETURN(MATCH_NOMATCH);
3240       }
3241     else
3242 #endif
3243     /* Not UTF mode */
3244       {
3245       if (md->end_subject - eptr < 1)
3246         {
3247         SCHECK_PARTIAL();            /* This one can use SCHECK_PARTIAL() */
3248         RRETURN(MATCH_NOMATCH);
3249         }
3250       if (ecode[1] != *eptr++) RRETURN(MATCH_NOMATCH);
3251       ecode += 2;
3252       }
3253     break;
3254 
3255     /* Match a single character, caselessly. If we are at the end of the
3256     subject, give up immediately. */
3257 
3258     case OP_CHARI:
3259     if (eptr >= md->end_subject)
3260       {
3261       SCHECK_PARTIAL();
3262       RRETURN(MATCH_NOMATCH);
3263       }
3264 
3265 #ifdef SUPPORT_UTF
3266     if (utf)
3267       {
3268       length = 1;
3269       ecode++;
3270       GETCHARLEN(fc, ecode, length);
3271 
3272       /* If the pattern character's value is < 128, we have only one byte, and
3273       we know that its other case must also be one byte long, so we can use the
3274       fast lookup table. We know that there is at least one byte left in the
3275       subject. */
3276 
3277       if (fc < 128)
3278         {
3279         pcre_uint32 cc = UCHAR21(eptr);
3280         if (md->lcc[fc] != TABLE_GET(cc, md->lcc, cc)) RRETURN(MATCH_NOMATCH);
3281         ecode++;
3282         eptr++;
3283         }
3284 
3285       /* Otherwise we must pick up the subject character. Note that we cannot
3286       use the value of "length" to check for sufficient bytes left, because the
3287       other case of the character may have more or fewer bytes.  */
3288 
3289       else
3290         {
3291         pcre_uint32 dc;
3292         GETCHARINC(dc, eptr);
3293         ecode += length;
3294 
3295         /* If we have Unicode property support, we can use it to test the other
3296         case of the character, if there is one. */
3297 
3298         if (fc != dc)
3299           {
3300 #ifdef SUPPORT_UCP
3301           if (dc != UCD_OTHERCASE(fc))
3302 #endif
3303             RRETURN(MATCH_NOMATCH);
3304           }
3305         }
3306       }
3307     else
3308 #endif   /* SUPPORT_UTF */
3309 
3310     /* Not UTF mode */
3311       {
3312       if (TABLE_GET(ecode[1], md->lcc, ecode[1])
3313           != TABLE_GET(*eptr, md->lcc, *eptr)) RRETURN(MATCH_NOMATCH);
3314       eptr++;
3315       ecode += 2;
3316       }
3317     break;
3318 
3319     /* Match a single character repeatedly. */
3320 
3321     case OP_EXACT:
3322     case OP_EXACTI:
3323     min = max = GET2(ecode, 1);
3324     ecode += 1 + IMM2_SIZE;
3325     goto REPEATCHAR;
3326 
3327     case OP_POSUPTO:
3328     case OP_POSUPTOI:
3329     possessive = TRUE;
3330     /* Fall through */
3331 
3332     case OP_UPTO:
3333     case OP_UPTOI:
3334     case OP_MINUPTO:
3335     case OP_MINUPTOI:
3336     min = 0;
3337     max = GET2(ecode, 1);
3338     minimize = *ecode == OP_MINUPTO || *ecode == OP_MINUPTOI;
3339     ecode += 1 + IMM2_SIZE;
3340     goto REPEATCHAR;
3341 
3342     case OP_POSSTAR:
3343     case OP_POSSTARI:
3344     possessive = TRUE;
3345     min = 0;
3346     max = INT_MAX;
3347     ecode++;
3348     goto REPEATCHAR;
3349 
3350     case OP_POSPLUS:
3351     case OP_POSPLUSI:
3352     possessive = TRUE;
3353     min = 1;
3354     max = INT_MAX;
3355     ecode++;
3356     goto REPEATCHAR;
3357 
3358     case OP_POSQUERY:
3359     case OP_POSQUERYI:
3360     possessive = TRUE;
3361     min = 0;
3362     max = 1;
3363     ecode++;
3364     goto REPEATCHAR;
3365 
3366     case OP_STAR:
3367     case OP_STARI:
3368     case OP_MINSTAR:
3369     case OP_MINSTARI:
3370     case OP_PLUS:
3371     case OP_PLUSI:
3372     case OP_MINPLUS:
3373     case OP_MINPLUSI:
3374     case OP_QUERY:
3375     case OP_QUERYI:
3376     case OP_MINQUERY:
3377     case OP_MINQUERYI:
3378     c = *ecode++ - ((op < OP_STARI)? OP_STAR : OP_STARI);
3379     minimize = (c & 1) != 0;
3380     min = rep_min[c];                 /* Pick up values from tables; */
3381     max = rep_max[c];                 /* zero for max => infinity */
3382     if (max == 0) max = INT_MAX;
3383 
3384     /* Common code for all repeated single-character matches. We first check
3385     for the minimum number of characters. If the minimum equals the maximum, we
3386     are done. Otherwise, if minimizing, check the rest of the pattern for a
3387     match; if there isn't one, advance up to the maximum, one character at a
3388     time.
3389 
3390     If maximizing, advance up to the maximum number of matching characters,
3391     until eptr is past the end of the maximum run. If possessive, we are
3392     then done (no backing up). Otherwise, match at this position; anything
3393     other than no match is immediately returned. For nomatch, back up one
3394     character, unless we are matching \R and the last thing matched was
3395     \r\n, in which case, back up two bytes. When we reach the first optional
3396     character position, we can save stack by doing a tail recurse.
3397 
3398     The various UTF/non-UTF and caseful/caseless cases are handled separately,
3399     for speed. */
3400 
3401     REPEATCHAR:
3402 #ifdef SUPPORT_UTF
3403     if (utf)
3404       {
3405       length = 1;
3406       charptr = ecode;
3407       GETCHARLEN(fc, ecode, length);
3408       ecode += length;
3409 
3410       /* Handle multibyte character matching specially here. There is
3411       support for caseless matching if UCP support is present. */
3412 
3413       if (length > 1)
3414         {
3415 #ifdef SUPPORT_UCP
3416         pcre_uint32 othercase;
3417         if (op >= OP_STARI &&     /* Caseless */
3418             (othercase = UCD_OTHERCASE(fc)) != fc)
3419           oclength = PRIV(ord2utf)(othercase, occhars);
3420         else oclength = 0;
3421 #endif  /* SUPPORT_UCP */
3422 
3423         for (i = 1; i <= min; i++)
3424           {
3425           if (eptr <= md->end_subject - length &&
3426             memcmp(eptr, charptr, IN_UCHARS(length)) == 0) eptr += length;
3427 #ifdef SUPPORT_UCP
3428           else if (oclength > 0 &&
3429                    eptr <= md->end_subject - oclength &&
3430                    memcmp(eptr, occhars, IN_UCHARS(oclength)) == 0) eptr += oclength;
3431 #endif  /* SUPPORT_UCP */
3432           else
3433             {
3434             CHECK_PARTIAL();
3435             RRETURN(MATCH_NOMATCH);
3436             }
3437           }
3438 
3439         if (min == max) continue;
3440 
3441         if (minimize)
3442           {
3443           for (fi = min;; fi++)
3444             {
3445             RMATCH(eptr, ecode, offset_top, md, eptrb, RM22);
3446             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3447             if (fi >= max) RRETURN(MATCH_NOMATCH);
3448             if (eptr <= md->end_subject - length &&
3449               memcmp(eptr, charptr, IN_UCHARS(length)) == 0) eptr += length;
3450 #ifdef SUPPORT_UCP
3451             else if (oclength > 0 &&
3452                      eptr <= md->end_subject - oclength &&
3453                      memcmp(eptr, occhars, IN_UCHARS(oclength)) == 0) eptr += oclength;
3454 #endif  /* SUPPORT_UCP */
3455             else
3456               {
3457               CHECK_PARTIAL();
3458               RRETURN(MATCH_NOMATCH);
3459               }
3460             }
3461           /* Control never gets here */
3462           }
3463 
3464         else  /* Maximize */
3465           {
3466           pp = eptr;
3467           for (i = min; i < max; i++)
3468             {
3469             if (eptr <= md->end_subject - length &&
3470                 memcmp(eptr, charptr, IN_UCHARS(length)) == 0) eptr += length;
3471 #ifdef SUPPORT_UCP
3472             else if (oclength > 0 &&
3473                      eptr <= md->end_subject - oclength &&
3474                      memcmp(eptr, occhars, IN_UCHARS(oclength)) == 0) eptr += oclength;
3475 #endif  /* SUPPORT_UCP */
3476             else
3477               {
3478               CHECK_PARTIAL();
3479               break;
3480               }
3481             }
3482 
3483           if (possessive) continue;    /* No backtracking */
3484           for(;;)
3485             {
3486             if (eptr <= pp) goto TAIL_RECURSE;
3487             RMATCH(eptr, ecode, offset_top, md, eptrb, RM23);
3488             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3489 #ifdef SUPPORT_UCP
3490             eptr--;
3491             BACKCHAR(eptr);
3492 #else   /* without SUPPORT_UCP */
3493             eptr -= length;
3494 #endif  /* SUPPORT_UCP */
3495             }
3496           }
3497         /* Control never gets here */
3498         }
3499 
3500       /* If the length of a UTF-8 character is 1, we fall through here, and
3501       obey the code as for non-UTF-8 characters below, though in this case the
3502       value of fc will always be < 128. */
3503       }
3504     else
3505 #endif  /* SUPPORT_UTF */
3506       /* When not in UTF-8 mode, load a single-byte character. */
3507       fc = *ecode++;
3508 
3509     /* The value of fc at this point is always one character, though we may
3510     or may not be in UTF mode. The code is duplicated for the caseless and
3511     caseful cases, for speed, since matching characters is likely to be quite
3512     common. First, ensure the minimum number of matches are present. If min =
3513     max, continue at the same level without recursing. Otherwise, if
3514     minimizing, keep trying the rest of the expression and advancing one
3515     matching character if failing, up to the maximum. Alternatively, if
3516     maximizing, find the maximum number of characters and work backwards. */
3517 
3518     DPRINTF(("matching %c{%d,%d} against subject %.*s\n", fc, min, max,
3519       max, (char *)eptr));
3520 
3521     if (op >= OP_STARI)  /* Caseless */
3522       {
3523 #ifdef COMPILE_PCRE8
3524       /* fc must be < 128 if UTF is enabled. */
3525       foc = md->fcc[fc];
3526 #else
3527 #ifdef SUPPORT_UTF
3528 #ifdef SUPPORT_UCP
3529       if (utf && fc > 127)
3530         foc = UCD_OTHERCASE(fc);
3531 #else
3532       if (utf && fc > 127)
3533         foc = fc;
3534 #endif /* SUPPORT_UCP */
3535       else
3536 #endif /* SUPPORT_UTF */
3537         foc = TABLE_GET(fc, md->fcc, fc);
3538 #endif /* COMPILE_PCRE8 */
3539 
3540       for (i = 1; i <= min; i++)
3541         {
3542         pcre_uint32 cc;                 /* Faster than pcre_uchar */
3543         if (eptr >= md->end_subject)
3544           {
3545           SCHECK_PARTIAL();
3546           RRETURN(MATCH_NOMATCH);
3547           }
3548         cc = UCHAR21TEST(eptr);
3549         if (fc != cc && foc != cc) RRETURN(MATCH_NOMATCH);
3550         eptr++;
3551         }
3552       if (min == max) continue;
3553       if (minimize)
3554         {
3555         for (fi = min;; fi++)
3556           {
3557           pcre_uint32 cc;               /* Faster than pcre_uchar */
3558           RMATCH(eptr, ecode, offset_top, md, eptrb, RM24);
3559           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3560           if (fi >= max) RRETURN(MATCH_NOMATCH);
3561           if (eptr >= md->end_subject)
3562             {
3563             SCHECK_PARTIAL();
3564             RRETURN(MATCH_NOMATCH);
3565             }
3566           cc = UCHAR21TEST(eptr);
3567           if (fc != cc && foc != cc) RRETURN(MATCH_NOMATCH);
3568           eptr++;
3569           }
3570         /* Control never gets here */
3571         }
3572       else  /* Maximize */
3573         {
3574         pp = eptr;
3575         for (i = min; i < max; i++)
3576           {
3577           pcre_uint32 cc;               /* Faster than pcre_uchar */
3578           if (eptr >= md->end_subject)
3579             {
3580             SCHECK_PARTIAL();
3581             break;
3582             }
3583           cc = UCHAR21TEST(eptr);
3584           if (fc != cc && foc != cc) break;
3585           eptr++;
3586           }
3587         if (possessive) continue;       /* No backtracking */
3588         for (;;)
3589           {
3590           if (eptr == pp) goto TAIL_RECURSE;
3591           RMATCH(eptr, ecode, offset_top, md, eptrb, RM25);
3592           eptr--;
3593           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3594           }
3595         /* Control never gets here */
3596         }
3597       }
3598 
3599     /* Caseful comparisons (includes all multi-byte characters) */
3600 
3601     else
3602       {
3603       for (i = 1; i <= min; i++)
3604         {
3605         if (eptr >= md->end_subject)
3606           {
3607           SCHECK_PARTIAL();
3608           RRETURN(MATCH_NOMATCH);
3609           }
3610         if (fc != UCHAR21INCTEST(eptr)) RRETURN(MATCH_NOMATCH);
3611         }
3612 
3613       if (min == max) continue;
3614 
3615       if (minimize)
3616         {
3617         for (fi = min;; fi++)
3618           {
3619           RMATCH(eptr, ecode, offset_top, md, eptrb, RM26);
3620           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3621           if (fi >= max) RRETURN(MATCH_NOMATCH);
3622           if (eptr >= md->end_subject)
3623             {
3624             SCHECK_PARTIAL();
3625             RRETURN(MATCH_NOMATCH);
3626             }
3627           if (fc != UCHAR21INCTEST(eptr)) RRETURN(MATCH_NOMATCH);
3628           }
3629         /* Control never gets here */
3630         }
3631       else  /* Maximize */
3632         {
3633         pp = eptr;
3634         for (i = min; i < max; i++)
3635           {
3636           if (eptr >= md->end_subject)
3637             {
3638             SCHECK_PARTIAL();
3639             break;
3640             }
3641           if (fc != UCHAR21TEST(eptr)) break;
3642           eptr++;
3643           }
3644         if (possessive) continue;    /* No backtracking */
3645         for (;;)
3646           {
3647           if (eptr == pp) goto TAIL_RECURSE;
3648           RMATCH(eptr, ecode, offset_top, md, eptrb, RM27);
3649           eptr--;
3650           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3651           }
3652         /* Control never gets here */
3653         }
3654       }
3655     /* Control never gets here */
3656 
3657     /* Match a negated single one-byte character. The character we are
3658     checking can be multibyte. */
3659 
3660     case OP_NOT:
3661     case OP_NOTI:
3662     if (eptr >= md->end_subject)
3663       {
3664       SCHECK_PARTIAL();
3665       RRETURN(MATCH_NOMATCH);
3666       }
3667 #ifdef SUPPORT_UTF
3668     if (utf)
3669       {
3670       register pcre_uint32 ch, och;
3671 
3672       ecode++;
3673       GETCHARINC(ch, ecode);
3674       GETCHARINC(c, eptr);
3675 
3676       if (op == OP_NOT)
3677         {
3678         if (ch == c) RRETURN(MATCH_NOMATCH);
3679         }
3680       else
3681         {
3682 #ifdef SUPPORT_UCP
3683         if (ch > 127)
3684           och = UCD_OTHERCASE(ch);
3685 #else
3686         if (ch > 127)
3687           och = ch;
3688 #endif /* SUPPORT_UCP */
3689         else
3690           och = TABLE_GET(ch, md->fcc, ch);
3691         if (ch == c || och == c) RRETURN(MATCH_NOMATCH);
3692         }
3693       }
3694     else
3695 #endif
3696       {
3697       register pcre_uint32 ch = ecode[1];
3698       c = *eptr++;
3699       if (ch == c || (op == OP_NOTI && TABLE_GET(ch, md->fcc, ch) == c))
3700         RRETURN(MATCH_NOMATCH);
3701       ecode += 2;
3702       }
3703     break;
3704 
3705     /* Match a negated single one-byte character repeatedly. This is almost a
3706     repeat of the code for a repeated single character, but I haven't found a
3707     nice way of commoning these up that doesn't require a test of the
3708     positive/negative option for each character match. Maybe that wouldn't add
3709     very much to the time taken, but character matching *is* what this is all
3710     about... */
3711 
3712     case OP_NOTEXACT:
3713     case OP_NOTEXACTI:
3714     min = max = GET2(ecode, 1);
3715     ecode += 1 + IMM2_SIZE;
3716     goto REPEATNOTCHAR;
3717 
3718     case OP_NOTUPTO:
3719     case OP_NOTUPTOI:
3720     case OP_NOTMINUPTO:
3721     case OP_NOTMINUPTOI:
3722     min = 0;
3723     max = GET2(ecode, 1);
3724     minimize = *ecode == OP_NOTMINUPTO || *ecode == OP_NOTMINUPTOI;
3725     ecode += 1 + IMM2_SIZE;
3726     goto REPEATNOTCHAR;
3727 
3728     case OP_NOTPOSSTAR:
3729     case OP_NOTPOSSTARI:
3730     possessive = TRUE;
3731     min = 0;
3732     max = INT_MAX;
3733     ecode++;
3734     goto REPEATNOTCHAR;
3735 
3736     case OP_NOTPOSPLUS:
3737     case OP_NOTPOSPLUSI:
3738     possessive = TRUE;
3739     min = 1;
3740     max = INT_MAX;
3741     ecode++;
3742     goto REPEATNOTCHAR;
3743 
3744     case OP_NOTPOSQUERY:
3745     case OP_NOTPOSQUERYI:
3746     possessive = TRUE;
3747     min = 0;
3748     max = 1;
3749     ecode++;
3750     goto REPEATNOTCHAR;
3751 
3752     case OP_NOTPOSUPTO:
3753     case OP_NOTPOSUPTOI:
3754     possessive = TRUE;
3755     min = 0;
3756     max = GET2(ecode, 1);
3757     ecode += 1 + IMM2_SIZE;
3758     goto REPEATNOTCHAR;
3759 
3760     case OP_NOTSTAR:
3761     case OP_NOTSTARI:
3762     case OP_NOTMINSTAR:
3763     case OP_NOTMINSTARI:
3764     case OP_NOTPLUS:
3765     case OP_NOTPLUSI:
3766     case OP_NOTMINPLUS:
3767     case OP_NOTMINPLUSI:
3768     case OP_NOTQUERY:
3769     case OP_NOTQUERYI:
3770     case OP_NOTMINQUERY:
3771     case OP_NOTMINQUERYI:
3772     c = *ecode++ - ((op >= OP_NOTSTARI)? OP_NOTSTARI: OP_NOTSTAR);
3773     minimize = (c & 1) != 0;
3774     min = rep_min[c];                 /* Pick up values from tables; */
3775     max = rep_max[c];                 /* zero for max => infinity */
3776     if (max == 0) max = INT_MAX;
3777 
3778     /* Common code for all repeated single-byte matches. */
3779 
3780     REPEATNOTCHAR:
3781     GETCHARINCTEST(fc, ecode);
3782 
3783     /* The code is duplicated for the caseless and caseful cases, for speed,
3784     since matching characters is likely to be quite common. First, ensure the
3785     minimum number of matches are present. If min = max, continue at the same
3786     level without recursing. Otherwise, if minimizing, keep trying the rest of
3787     the expression and advancing one matching character if failing, up to the
3788     maximum. Alternatively, if maximizing, find the maximum number of
3789     characters and work backwards. */
3790 
3791     DPRINTF(("negative matching %c{%d,%d} against subject %.*s\n", fc, min, max,
3792       max, (char *)eptr));
3793 
3794     if (op >= OP_NOTSTARI)     /* Caseless */
3795       {
3796 #ifdef SUPPORT_UTF
3797 #ifdef SUPPORT_UCP
3798       if (utf && fc > 127)
3799         foc = UCD_OTHERCASE(fc);
3800 #else
3801       if (utf && fc > 127)
3802         foc = fc;
3803 #endif /* SUPPORT_UCP */
3804       else
3805 #endif /* SUPPORT_UTF */
3806         foc = TABLE_GET(fc, md->fcc, fc);
3807 
3808 #ifdef SUPPORT_UTF
3809       if (utf)
3810         {
3811         register pcre_uint32 d;
3812         for (i = 1; i <= min; i++)
3813           {
3814           if (eptr >= md->end_subject)
3815             {
3816             SCHECK_PARTIAL();
3817             RRETURN(MATCH_NOMATCH);
3818             }
3819           GETCHARINC(d, eptr);
3820           if (fc == d || (unsigned int)foc == d) RRETURN(MATCH_NOMATCH);
3821           }
3822         }
3823       else
3824 #endif  /* SUPPORT_UTF */
3825       /* Not UTF mode */
3826         {
3827         for (i = 1; i <= min; i++)
3828           {
3829           if (eptr >= md->end_subject)
3830             {
3831             SCHECK_PARTIAL();
3832             RRETURN(MATCH_NOMATCH);
3833             }
3834           if (fc == *eptr || foc == *eptr) RRETURN(MATCH_NOMATCH);
3835           eptr++;
3836           }
3837         }
3838 
3839       if (min == max) continue;
3840 
3841       if (minimize)
3842         {
3843 #ifdef SUPPORT_UTF
3844         if (utf)
3845           {
3846           register pcre_uint32 d;
3847           for (fi = min;; fi++)
3848             {
3849             RMATCH(eptr, ecode, offset_top, md, eptrb, RM28);
3850             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3851             if (fi >= max) RRETURN(MATCH_NOMATCH);
3852             if (eptr >= md->end_subject)
3853               {
3854               SCHECK_PARTIAL();
3855               RRETURN(MATCH_NOMATCH);
3856               }
3857             GETCHARINC(d, eptr);
3858             if (fc == d || (unsigned int)foc == d) RRETURN(MATCH_NOMATCH);
3859             }
3860           }
3861         else
3862 #endif  /*SUPPORT_UTF */
3863         /* Not UTF mode */
3864           {
3865           for (fi = min;; fi++)
3866             {
3867             RMATCH(eptr, ecode, offset_top, md, eptrb, RM29);
3868             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3869             if (fi >= max) RRETURN(MATCH_NOMATCH);
3870             if (eptr >= md->end_subject)
3871               {
3872               SCHECK_PARTIAL();
3873               RRETURN(MATCH_NOMATCH);
3874               }
3875             if (fc == *eptr || foc == *eptr) RRETURN(MATCH_NOMATCH);
3876             eptr++;
3877             }
3878           }
3879         /* Control never gets here */
3880         }
3881 
3882       /* Maximize case */
3883 
3884       else
3885         {
3886         pp = eptr;
3887 
3888 #ifdef SUPPORT_UTF
3889         if (utf)
3890           {
3891           register pcre_uint32 d;
3892           for (i = min; i < max; i++)
3893             {
3894             int len = 1;
3895             if (eptr >= md->end_subject)
3896               {
3897               SCHECK_PARTIAL();
3898               break;
3899               }
3900             GETCHARLEN(d, eptr, len);
3901             if (fc == d || (unsigned int)foc == d) break;
3902             eptr += len;
3903             }
3904           if (possessive) continue;    /* No backtracking */
3905           for(;;)
3906             {
3907             if (eptr <= pp) goto TAIL_RECURSE;
3908             RMATCH(eptr, ecode, offset_top, md, eptrb, RM30);
3909             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3910             eptr--;
3911             BACKCHAR(eptr);
3912             }
3913           }
3914         else
3915 #endif  /* SUPPORT_UTF */
3916         /* Not UTF mode */
3917           {
3918           for (i = min; i < max; i++)
3919             {
3920             if (eptr >= md->end_subject)
3921               {
3922               SCHECK_PARTIAL();
3923               break;
3924               }
3925             if (fc == *eptr || foc == *eptr) break;
3926             eptr++;
3927             }
3928           if (possessive) continue;    /* No backtracking */
3929           for (;;)
3930             {
3931             if (eptr == pp) goto TAIL_RECURSE;
3932             RMATCH(eptr, ecode, offset_top, md, eptrb, RM31);
3933             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3934             eptr--;
3935             }
3936           }
3937         /* Control never gets here */
3938         }
3939       }
3940 
3941     /* Caseful comparisons */
3942 
3943     else
3944       {
3945 #ifdef SUPPORT_UTF
3946       if (utf)
3947         {
3948         register pcre_uint32 d;
3949         for (i = 1; i <= min; i++)
3950           {
3951           if (eptr >= md->end_subject)
3952             {
3953             SCHECK_PARTIAL();
3954             RRETURN(MATCH_NOMATCH);
3955             }
3956           GETCHARINC(d, eptr);
3957           if (fc == d) RRETURN(MATCH_NOMATCH);
3958           }
3959         }
3960       else
3961 #endif
3962       /* Not UTF mode */
3963         {
3964         for (i = 1; i <= min; i++)
3965           {
3966           if (eptr >= md->end_subject)
3967             {
3968             SCHECK_PARTIAL();
3969             RRETURN(MATCH_NOMATCH);
3970             }
3971           if (fc == *eptr++) RRETURN(MATCH_NOMATCH);
3972           }
3973         }
3974 
3975       if (min == max) continue;
3976 
3977       if (minimize)
3978         {
3979 #ifdef SUPPORT_UTF
3980         if (utf)
3981           {
3982           register pcre_uint32 d;
3983           for (fi = min;; fi++)
3984             {
3985             RMATCH(eptr, ecode, offset_top, md, eptrb, RM32);
3986             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
3987             if (fi >= max) RRETURN(MATCH_NOMATCH);
3988             if (eptr >= md->end_subject)
3989               {
3990               SCHECK_PARTIAL();
3991               RRETURN(MATCH_NOMATCH);
3992               }
3993             GETCHARINC(d, eptr);
3994             if (fc == d) RRETURN(MATCH_NOMATCH);
3995             }
3996           }
3997         else
3998 #endif
3999         /* Not UTF mode */
4000           {
4001           for (fi = min;; fi++)
4002             {
4003             RMATCH(eptr, ecode, offset_top, md, eptrb, RM33);
4004             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4005             if (fi >= max) RRETURN(MATCH_NOMATCH);
4006             if (eptr >= md->end_subject)
4007               {
4008               SCHECK_PARTIAL();
4009               RRETURN(MATCH_NOMATCH);
4010               }
4011             if (fc == *eptr++) RRETURN(MATCH_NOMATCH);
4012             }
4013           }
4014         /* Control never gets here */
4015         }
4016 
4017       /* Maximize case */
4018 
4019       else
4020         {
4021         pp = eptr;
4022 
4023 #ifdef SUPPORT_UTF
4024         if (utf)
4025           {
4026           register pcre_uint32 d;
4027           for (i = min; i < max; i++)
4028             {
4029             int len = 1;
4030             if (eptr >= md->end_subject)
4031               {
4032               SCHECK_PARTIAL();
4033               break;
4034               }
4035             GETCHARLEN(d, eptr, len);
4036             if (fc == d) break;
4037             eptr += len;
4038             }
4039           if (possessive) continue;    /* No backtracking */
4040           for(;;)
4041             {
4042             if (eptr <= pp) goto TAIL_RECURSE;
4043             RMATCH(eptr, ecode, offset_top, md, eptrb, RM34);
4044             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4045             eptr--;
4046             BACKCHAR(eptr);
4047             }
4048           }
4049         else
4050 #endif
4051         /* Not UTF mode */
4052           {
4053           for (i = min; i < max; i++)
4054             {
4055             if (eptr >= md->end_subject)
4056               {
4057               SCHECK_PARTIAL();
4058               break;
4059               }
4060             if (fc == *eptr) break;
4061             eptr++;
4062             }
4063           if (possessive) continue;    /* No backtracking */
4064           for (;;)
4065             {
4066             if (eptr == pp) goto TAIL_RECURSE;
4067             RMATCH(eptr, ecode, offset_top, md, eptrb, RM35);
4068             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4069             eptr--;
4070             }
4071           }
4072         /* Control never gets here */
4073         }
4074       }
4075     /* Control never gets here */
4076 
4077     /* Match a single character type repeatedly; several different opcodes
4078     share code. This is very similar to the code for single characters, but we
4079     repeat it in the interests of efficiency. */
4080 
4081     case OP_TYPEEXACT:
4082     min = max = GET2(ecode, 1);
4083     minimize = TRUE;
4084     ecode += 1 + IMM2_SIZE;
4085     goto REPEATTYPE;
4086 
4087     case OP_TYPEUPTO:
4088     case OP_TYPEMINUPTO:
4089     min = 0;
4090     max = GET2(ecode, 1);
4091     minimize = *ecode == OP_TYPEMINUPTO;
4092     ecode += 1 + IMM2_SIZE;
4093     goto REPEATTYPE;
4094 
4095     case OP_TYPEPOSSTAR:
4096     possessive = TRUE;
4097     min = 0;
4098     max = INT_MAX;
4099     ecode++;
4100     goto REPEATTYPE;
4101 
4102     case OP_TYPEPOSPLUS:
4103     possessive = TRUE;
4104     min = 1;
4105     max = INT_MAX;
4106     ecode++;
4107     goto REPEATTYPE;
4108 
4109     case OP_TYPEPOSQUERY:
4110     possessive = TRUE;
4111     min = 0;
4112     max = 1;
4113     ecode++;
4114     goto REPEATTYPE;
4115 
4116     case OP_TYPEPOSUPTO:
4117     possessive = TRUE;
4118     min = 0;
4119     max = GET2(ecode, 1);
4120     ecode += 1 + IMM2_SIZE;
4121     goto REPEATTYPE;
4122 
4123     case OP_TYPESTAR:
4124     case OP_TYPEMINSTAR:
4125     case OP_TYPEPLUS:
4126     case OP_TYPEMINPLUS:
4127     case OP_TYPEQUERY:
4128     case OP_TYPEMINQUERY:
4129     c = *ecode++ - OP_TYPESTAR;
4130     minimize = (c & 1) != 0;
4131     min = rep_min[c];                 /* Pick up values from tables; */
4132     max = rep_max[c];                 /* zero for max => infinity */
4133     if (max == 0) max = INT_MAX;
4134 
4135     /* Common code for all repeated single character type matches. Note that
4136     in UTF-8 mode, '.' matches a character of any length, but for the other
4137     character types, the valid characters are all one-byte long. */
4138 
4139     REPEATTYPE:
4140     ctype = *ecode++;      /* Code for the character type */
4141 
4142 #ifdef SUPPORT_UCP
4143     if (ctype == OP_PROP || ctype == OP_NOTPROP)
4144       {
4145       prop_fail_result = ctype == OP_NOTPROP;
4146       prop_type = *ecode++;
4147       prop_value = *ecode++;
4148       }
4149     else prop_type = -1;
4150 #endif
4151 
4152     /* First, ensure the minimum number of matches are present. Use inline
4153     code for maximizing the speed, and do the type test once at the start
4154     (i.e. keep it out of the loop). Separate the UTF-8 code completely as that
4155     is tidier. Also separate the UCP code, which can be the same for both UTF-8
4156     and single-bytes. */
4157 
4158     if (min > 0)
4159       {
4160 #ifdef SUPPORT_UCP
4161       if (prop_type >= 0)
4162         {
4163         switch(prop_type)
4164           {
4165           case PT_ANY:
4166           if (prop_fail_result) RRETURN(MATCH_NOMATCH);
4167           for (i = 1; i <= min; i++)
4168             {
4169             if (eptr >= md->end_subject)
4170               {
4171               SCHECK_PARTIAL();
4172               RRETURN(MATCH_NOMATCH);
4173               }
4174             GETCHARINCTEST(c, eptr);
4175             }
4176           break;
4177 
4178           case PT_LAMP:
4179           for (i = 1; i <= min; i++)
4180             {
4181             int chartype;
4182             if (eptr >= md->end_subject)
4183               {
4184               SCHECK_PARTIAL();
4185               RRETURN(MATCH_NOMATCH);
4186               }
4187             GETCHARINCTEST(c, eptr);
4188             chartype = UCD_CHARTYPE(c);
4189             if ((chartype == ucp_Lu ||
4190                  chartype == ucp_Ll ||
4191                  chartype == ucp_Lt) == prop_fail_result)
4192               RRETURN(MATCH_NOMATCH);
4193             }
4194           break;
4195 
4196           case PT_GC:
4197           for (i = 1; i <= min; i++)
4198             {
4199             if (eptr >= md->end_subject)
4200               {
4201               SCHECK_PARTIAL();
4202               RRETURN(MATCH_NOMATCH);
4203               }
4204             GETCHARINCTEST(c, eptr);
4205             if ((UCD_CATEGORY(c) == prop_value) == prop_fail_result)
4206               RRETURN(MATCH_NOMATCH);
4207             }
4208           break;
4209 
4210           case PT_PC:
4211           for (i = 1; i <= min; i++)
4212             {
4213             if (eptr >= md->end_subject)
4214               {
4215               SCHECK_PARTIAL();
4216               RRETURN(MATCH_NOMATCH);
4217               }
4218             GETCHARINCTEST(c, eptr);
4219             if ((UCD_CHARTYPE(c) == prop_value) == prop_fail_result)
4220               RRETURN(MATCH_NOMATCH);
4221             }
4222           break;
4223 
4224           case PT_SC:
4225           for (i = 1; i <= min; i++)
4226             {
4227             if (eptr >= md->end_subject)
4228               {
4229               SCHECK_PARTIAL();
4230               RRETURN(MATCH_NOMATCH);
4231               }
4232             GETCHARINCTEST(c, eptr);
4233             if ((UCD_SCRIPT(c) == prop_value) == prop_fail_result)
4234               RRETURN(MATCH_NOMATCH);
4235             }
4236           break;
4237 
4238           case PT_ALNUM:
4239           for (i = 1; i <= min; i++)
4240             {
4241             int category;
4242             if (eptr >= md->end_subject)
4243               {
4244               SCHECK_PARTIAL();
4245               RRETURN(MATCH_NOMATCH);
4246               }
4247             GETCHARINCTEST(c, eptr);
4248             category = UCD_CATEGORY(c);
4249             if ((category == ucp_L || category == ucp_N) == prop_fail_result)
4250               RRETURN(MATCH_NOMATCH);
4251             }
4252           break;
4253 
4254           /* Perl space used to exclude VT, but from Perl 5.18 it is included,
4255           which means that Perl space and POSIX space are now identical. PCRE
4256           was changed at release 8.34. */
4257 
4258           case PT_SPACE:    /* Perl space */
4259           case PT_PXSPACE:  /* POSIX space */
4260           for (i = 1; i <= min; i++)
4261             {
4262             if (eptr >= md->end_subject)
4263               {
4264               SCHECK_PARTIAL();
4265               RRETURN(MATCH_NOMATCH);
4266               }
4267             GETCHARINCTEST(c, eptr);
4268             switch(c)
4269               {
4270               HSPACE_CASES:
4271               VSPACE_CASES:
4272               if (prop_fail_result) RRETURN(MATCH_NOMATCH);
4273               break;
4274 
4275               default:
4276               if ((UCD_CATEGORY(c) == ucp_Z) == prop_fail_result)
4277                 RRETURN(MATCH_NOMATCH);
4278               break;
4279               }
4280             }
4281           break;
4282 
4283           case PT_WORD:
4284           for (i = 1; i <= min; i++)
4285             {
4286             int category;
4287             if (eptr >= md->end_subject)
4288               {
4289               SCHECK_PARTIAL();
4290               RRETURN(MATCH_NOMATCH);
4291               }
4292             GETCHARINCTEST(c, eptr);
4293             category = UCD_CATEGORY(c);
4294             if ((category == ucp_L || category == ucp_N || c == CHAR_UNDERSCORE)
4295                    == prop_fail_result)
4296               RRETURN(MATCH_NOMATCH);
4297             }
4298           break;
4299 
4300           case PT_CLIST:
4301           for (i = 1; i <= min; i++)
4302             {
4303             const pcre_uint32 *cp;
4304             if (eptr >= md->end_subject)
4305               {
4306               SCHECK_PARTIAL();
4307               RRETURN(MATCH_NOMATCH);
4308               }
4309             GETCHARINCTEST(c, eptr);
4310             cp = PRIV(ucd_caseless_sets) + prop_value;
4311             for (;;)
4312               {
4313               if (c < *cp)
4314                 { if (prop_fail_result) break; else { RRETURN(MATCH_NOMATCH); } }
4315               if (c == *cp++)
4316                 { if (prop_fail_result) { RRETURN(MATCH_NOMATCH); } else break; }
4317               }
4318             }
4319           break;
4320 
4321           case PT_UCNC:
4322           for (i = 1; i <= min; i++)
4323             {
4324             if (eptr >= md->end_subject)
4325               {
4326               SCHECK_PARTIAL();
4327               RRETURN(MATCH_NOMATCH);
4328               }
4329             GETCHARINCTEST(c, eptr);
4330             if ((c == CHAR_DOLLAR_SIGN || c == CHAR_COMMERCIAL_AT ||
4331                  c == CHAR_GRAVE_ACCENT || (c >= 0xa0 && c <= 0xd7ff) ||
4332                  c >= 0xe000) == prop_fail_result)
4333               RRETURN(MATCH_NOMATCH);
4334             }
4335           break;
4336 
4337           /* This should not occur */
4338 
4339           default:
4340           RRETURN(PCRE_ERROR_INTERNAL);
4341           }
4342         }
4343 
4344       /* Match extended Unicode sequences. We will get here only if the
4345       support is in the binary; otherwise a compile-time error occurs. */
4346 
4347       else if (ctype == OP_EXTUNI)
4348         {
4349         for (i = 1; i <= min; i++)
4350           {
4351           if (eptr >= md->end_subject)
4352             {
4353             SCHECK_PARTIAL();
4354             RRETURN(MATCH_NOMATCH);
4355             }
4356           else
4357             {
4358             int lgb, rgb;
4359             GETCHARINCTEST(c, eptr);
4360             lgb = UCD_GRAPHBREAK(c);
4361            while (eptr < md->end_subject)
4362               {
4363               int len = 1;
4364               if (!utf) c = *eptr; else { GETCHARLEN(c, eptr, len); }
4365               rgb = UCD_GRAPHBREAK(c);
4366               if ((PRIV(ucp_gbtable)[lgb] & (1 << rgb)) == 0) break;
4367               lgb = rgb;
4368               eptr += len;
4369               }
4370             }
4371           CHECK_PARTIAL();
4372           }
4373         }
4374 
4375       else
4376 #endif     /* SUPPORT_UCP */
4377 
4378 /* Handle all other cases when the coding is UTF-8 */
4379 
4380 #ifdef SUPPORT_UTF
4381       if (utf) switch(ctype)
4382         {
4383         case OP_ANY:
4384         for (i = 1; i <= min; i++)
4385           {
4386           if (eptr >= md->end_subject)
4387             {
4388             SCHECK_PARTIAL();
4389             RRETURN(MATCH_NOMATCH);
4390             }
4391           if (IS_NEWLINE(eptr)) RRETURN(MATCH_NOMATCH);
4392           if (md->partial != 0 &&
4393               eptr + 1 >= md->end_subject &&
4394               NLBLOCK->nltype == NLTYPE_FIXED &&
4395               NLBLOCK->nllen == 2 &&
4396               UCHAR21(eptr) == NLBLOCK->nl[0])
4397             {
4398             md->hitend = TRUE;
4399             if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
4400             }
4401           eptr++;
4402           ACROSSCHAR(eptr < md->end_subject, *eptr, eptr++);
4403           }
4404         break;
4405 
4406         case OP_ALLANY:
4407         for (i = 1; i <= min; i++)
4408           {
4409           if (eptr >= md->end_subject)
4410             {
4411             SCHECK_PARTIAL();
4412             RRETURN(MATCH_NOMATCH);
4413             }
4414           eptr++;
4415           ACROSSCHAR(eptr < md->end_subject, *eptr, eptr++);
4416           }
4417         break;
4418 
4419         case OP_ANYBYTE:
4420         if (eptr > md->end_subject - min) RRETURN(MATCH_NOMATCH);
4421         eptr += min;
4422         break;
4423 
4424         case OP_ANYNL:
4425         for (i = 1; i <= min; i++)
4426           {
4427           if (eptr >= md->end_subject)
4428             {
4429             SCHECK_PARTIAL();
4430             RRETURN(MATCH_NOMATCH);
4431             }
4432           GETCHARINC(c, eptr);
4433           switch(c)
4434             {
4435             default: RRETURN(MATCH_NOMATCH);
4436 
4437             case CHAR_CR:
4438             if (eptr < md->end_subject && UCHAR21(eptr) == CHAR_LF) eptr++;
4439             break;
4440 
4441             case CHAR_LF:
4442             break;
4443 
4444             case CHAR_VT:
4445             case CHAR_FF:
4446             case CHAR_NEL:
4447 #ifndef EBCDIC
4448             case 0x2028:
4449             case 0x2029:
4450 #endif  /* Not EBCDIC */
4451             if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);
4452             break;
4453             }
4454           }
4455         break;
4456 
4457         case OP_NOT_HSPACE:
4458         for (i = 1; i <= min; i++)
4459           {
4460           if (eptr >= md->end_subject)
4461             {
4462             SCHECK_PARTIAL();
4463             RRETURN(MATCH_NOMATCH);
4464             }
4465           GETCHARINC(c, eptr);
4466           switch(c)
4467             {
4468             HSPACE_CASES: RRETURN(MATCH_NOMATCH);  /* Byte and multibyte cases */
4469             default: break;
4470             }
4471           }
4472         break;
4473 
4474         case OP_HSPACE:
4475         for (i = 1; i <= min; i++)
4476           {
4477           if (eptr >= md->end_subject)
4478             {
4479             SCHECK_PARTIAL();
4480             RRETURN(MATCH_NOMATCH);
4481             }
4482           GETCHARINC(c, eptr);
4483           switch(c)
4484             {
4485             HSPACE_CASES: break;  /* Byte and multibyte cases */
4486             default: RRETURN(MATCH_NOMATCH);
4487             }
4488           }
4489         break;
4490 
4491         case OP_NOT_VSPACE:
4492         for (i = 1; i <= min; i++)
4493           {
4494           if (eptr >= md->end_subject)
4495             {
4496             SCHECK_PARTIAL();
4497             RRETURN(MATCH_NOMATCH);
4498             }
4499           GETCHARINC(c, eptr);
4500           switch(c)
4501             {
4502             VSPACE_CASES: RRETURN(MATCH_NOMATCH);
4503             default: break;
4504             }
4505           }
4506         break;
4507 
4508         case OP_VSPACE:
4509         for (i = 1; i <= min; i++)
4510           {
4511           if (eptr >= md->end_subject)
4512             {
4513             SCHECK_PARTIAL();
4514             RRETURN(MATCH_NOMATCH);
4515             }
4516           GETCHARINC(c, eptr);
4517           switch(c)
4518             {
4519             VSPACE_CASES: break;
4520             default: RRETURN(MATCH_NOMATCH);
4521             }
4522           }
4523         break;
4524 
4525         case OP_NOT_DIGIT:
4526         for (i = 1; i <= min; i++)
4527           {
4528           if (eptr >= md->end_subject)
4529             {
4530             SCHECK_PARTIAL();
4531             RRETURN(MATCH_NOMATCH);
4532             }
4533           GETCHARINC(c, eptr);
4534           if (c < 128 && (md->ctypes[c] & ctype_digit) != 0)
4535             RRETURN(MATCH_NOMATCH);
4536           }
4537         break;
4538 
4539         case OP_DIGIT:
4540         for (i = 1; i <= min; i++)
4541           {
4542           pcre_uint32 cc;
4543           if (eptr >= md->end_subject)
4544             {
4545             SCHECK_PARTIAL();
4546             RRETURN(MATCH_NOMATCH);
4547             }
4548           cc = UCHAR21(eptr);
4549           if (cc >= 128 || (md->ctypes[cc] & ctype_digit) == 0)
4550             RRETURN(MATCH_NOMATCH);
4551           eptr++;
4552           /* No need to skip more bytes - we know it's a 1-byte character */
4553           }
4554         break;
4555 
4556         case OP_NOT_WHITESPACE:
4557         for (i = 1; i <= min; i++)
4558           {
4559           pcre_uint32 cc;
4560           if (eptr >= md->end_subject)
4561             {
4562             SCHECK_PARTIAL();
4563             RRETURN(MATCH_NOMATCH);
4564             }
4565           cc = UCHAR21(eptr);
4566           if (cc < 128 && (md->ctypes[cc] & ctype_space) != 0)
4567             RRETURN(MATCH_NOMATCH);
4568           eptr++;
4569           ACROSSCHAR(eptr < md->end_subject, *eptr, eptr++);
4570           }
4571         break;
4572 
4573         case OP_WHITESPACE:
4574         for (i = 1; i <= min; i++)
4575           {
4576           pcre_uint32 cc;
4577           if (eptr >= md->end_subject)
4578             {
4579             SCHECK_PARTIAL();
4580             RRETURN(MATCH_NOMATCH);
4581             }
4582           cc = UCHAR21(eptr);
4583           if (cc >= 128 || (md->ctypes[cc] & ctype_space) == 0)
4584             RRETURN(MATCH_NOMATCH);
4585           eptr++;
4586           /* No need to skip more bytes - we know it's a 1-byte character */
4587           }
4588         break;
4589 
4590         case OP_NOT_WORDCHAR:
4591         for (i = 1; i <= min; i++)
4592           {
4593           pcre_uint32 cc;
4594           if (eptr >= md->end_subject)
4595             {
4596             SCHECK_PARTIAL();
4597             RRETURN(MATCH_NOMATCH);
4598             }
4599           cc = UCHAR21(eptr);
4600           if (cc < 128 && (md->ctypes[cc] & ctype_word) != 0)
4601             RRETURN(MATCH_NOMATCH);
4602           eptr++;
4603           ACROSSCHAR(eptr < md->end_subject, *eptr, eptr++);
4604           }
4605         break;
4606 
4607         case OP_WORDCHAR:
4608         for (i = 1; i <= min; i++)
4609           {
4610           pcre_uint32 cc;
4611           if (eptr >= md->end_subject)
4612             {
4613             SCHECK_PARTIAL();
4614             RRETURN(MATCH_NOMATCH);
4615             }
4616           cc = UCHAR21(eptr);
4617           if (cc >= 128 || (md->ctypes[cc] & ctype_word) == 0)
4618             RRETURN(MATCH_NOMATCH);
4619           eptr++;
4620           /* No need to skip more bytes - we know it's a 1-byte character */
4621           }
4622         break;
4623 
4624         default:
4625         RRETURN(PCRE_ERROR_INTERNAL);
4626         }  /* End switch(ctype) */
4627 
4628       else
4629 #endif     /* SUPPORT_UTF */
4630 
4631       /* Code for the non-UTF-8 case for minimum matching of operators other
4632       than OP_PROP and OP_NOTPROP. */
4633 
4634       switch(ctype)
4635         {
4636         case OP_ANY:
4637         for (i = 1; i <= min; i++)
4638           {
4639           if (eptr >= md->end_subject)
4640             {
4641             SCHECK_PARTIAL();
4642             RRETURN(MATCH_NOMATCH);
4643             }
4644           if (IS_NEWLINE(eptr)) RRETURN(MATCH_NOMATCH);
4645           if (md->partial != 0 &&
4646               eptr + 1 >= md->end_subject &&
4647               NLBLOCK->nltype == NLTYPE_FIXED &&
4648               NLBLOCK->nllen == 2 &&
4649               *eptr == NLBLOCK->nl[0])
4650             {
4651             md->hitend = TRUE;
4652             if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
4653             }
4654           eptr++;
4655           }
4656         break;
4657 
4658         case OP_ALLANY:
4659         if (eptr > md->end_subject - min)
4660           {
4661           SCHECK_PARTIAL();
4662           RRETURN(MATCH_NOMATCH);
4663           }
4664         eptr += min;
4665         break;
4666 
4667         case OP_ANYBYTE:
4668         if (eptr > md->end_subject - min)
4669           {
4670           SCHECK_PARTIAL();
4671           RRETURN(MATCH_NOMATCH);
4672           }
4673         eptr += min;
4674         break;
4675 
4676         case OP_ANYNL:
4677         for (i = 1; i <= min; i++)
4678           {
4679           if (eptr >= md->end_subject)
4680             {
4681             SCHECK_PARTIAL();
4682             RRETURN(MATCH_NOMATCH);
4683             }
4684           switch(*eptr++)
4685             {
4686             default: RRETURN(MATCH_NOMATCH);
4687 
4688             case CHAR_CR:
4689             if (eptr < md->end_subject && *eptr == CHAR_LF) eptr++;
4690             break;
4691 
4692             case CHAR_LF:
4693             break;
4694 
4695             case CHAR_VT:
4696             case CHAR_FF:
4697             case CHAR_NEL:
4698 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
4699             case 0x2028:
4700             case 0x2029:
4701 #endif
4702             if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);
4703             break;
4704             }
4705           }
4706         break;
4707 
4708         case OP_NOT_HSPACE:
4709         for (i = 1; i <= min; i++)
4710           {
4711           if (eptr >= md->end_subject)
4712             {
4713             SCHECK_PARTIAL();
4714             RRETURN(MATCH_NOMATCH);
4715             }
4716           switch(*eptr++)
4717             {
4718             default: break;
4719             HSPACE_BYTE_CASES:
4720 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
4721             HSPACE_MULTIBYTE_CASES:
4722 #endif
4723             RRETURN(MATCH_NOMATCH);
4724             }
4725           }
4726         break;
4727 
4728         case OP_HSPACE:
4729         for (i = 1; i <= min; i++)
4730           {
4731           if (eptr >= md->end_subject)
4732             {
4733             SCHECK_PARTIAL();
4734             RRETURN(MATCH_NOMATCH);
4735             }
4736           switch(*eptr++)
4737             {
4738             default: RRETURN(MATCH_NOMATCH);
4739             HSPACE_BYTE_CASES:
4740 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
4741             HSPACE_MULTIBYTE_CASES:
4742 #endif
4743             break;
4744             }
4745           }
4746         break;
4747 
4748         case OP_NOT_VSPACE:
4749         for (i = 1; i <= min; i++)
4750           {
4751           if (eptr >= md->end_subject)
4752             {
4753             SCHECK_PARTIAL();
4754             RRETURN(MATCH_NOMATCH);
4755             }
4756           switch(*eptr++)
4757             {
4758             VSPACE_BYTE_CASES:
4759 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
4760             VSPACE_MULTIBYTE_CASES:
4761 #endif
4762             RRETURN(MATCH_NOMATCH);
4763             default: break;
4764             }
4765           }
4766         break;
4767 
4768         case OP_VSPACE:
4769         for (i = 1; i <= min; i++)
4770           {
4771           if (eptr >= md->end_subject)
4772             {
4773             SCHECK_PARTIAL();
4774             RRETURN(MATCH_NOMATCH);
4775             }
4776           switch(*eptr++)
4777             {
4778             default: RRETURN(MATCH_NOMATCH);
4779             VSPACE_BYTE_CASES:
4780 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
4781             VSPACE_MULTIBYTE_CASES:
4782 #endif
4783             break;
4784             }
4785           }
4786         break;
4787 
4788         case OP_NOT_DIGIT:
4789         for (i = 1; i <= min; i++)
4790           {
4791           if (eptr >= md->end_subject)
4792             {
4793             SCHECK_PARTIAL();
4794             RRETURN(MATCH_NOMATCH);
4795             }
4796           if (MAX_255(*eptr) && (md->ctypes[*eptr] & ctype_digit) != 0)
4797             RRETURN(MATCH_NOMATCH);
4798           eptr++;
4799           }
4800         break;
4801 
4802         case OP_DIGIT:
4803         for (i = 1; i <= min; i++)
4804           {
4805           if (eptr >= md->end_subject)
4806             {
4807             SCHECK_PARTIAL();
4808             RRETURN(MATCH_NOMATCH);
4809             }
4810           if (!MAX_255(*eptr) || (md->ctypes[*eptr] & ctype_digit) == 0)
4811             RRETURN(MATCH_NOMATCH);
4812           eptr++;
4813           }
4814         break;
4815 
4816         case OP_NOT_WHITESPACE:
4817         for (i = 1; i <= min; i++)
4818           {
4819           if (eptr >= md->end_subject)
4820             {
4821             SCHECK_PARTIAL();
4822             RRETURN(MATCH_NOMATCH);
4823             }
4824           if (MAX_255(*eptr) && (md->ctypes[*eptr] & ctype_space) != 0)
4825             RRETURN(MATCH_NOMATCH);
4826           eptr++;
4827           }
4828         break;
4829 
4830         case OP_WHITESPACE:
4831         for (i = 1; i <= min; i++)
4832           {
4833           if (eptr >= md->end_subject)
4834             {
4835             SCHECK_PARTIAL();
4836             RRETURN(MATCH_NOMATCH);
4837             }
4838           if (!MAX_255(*eptr) || (md->ctypes[*eptr] & ctype_space) == 0)
4839             RRETURN(MATCH_NOMATCH);
4840           eptr++;
4841           }
4842         break;
4843 
4844         case OP_NOT_WORDCHAR:
4845         for (i = 1; i <= min; i++)
4846           {
4847           if (eptr >= md->end_subject)
4848             {
4849             SCHECK_PARTIAL();
4850             RRETURN(MATCH_NOMATCH);
4851             }
4852           if (MAX_255(*eptr) && (md->ctypes[*eptr] & ctype_word) != 0)
4853             RRETURN(MATCH_NOMATCH);
4854           eptr++;
4855           }
4856         break;
4857 
4858         case OP_WORDCHAR:
4859         for (i = 1; i <= min; i++)
4860           {
4861           if (eptr >= md->end_subject)
4862             {
4863             SCHECK_PARTIAL();
4864             RRETURN(MATCH_NOMATCH);
4865             }
4866           if (!MAX_255(*eptr) || (md->ctypes[*eptr] & ctype_word) == 0)
4867             RRETURN(MATCH_NOMATCH);
4868           eptr++;
4869           }
4870         break;
4871 
4872         default:
4873         RRETURN(PCRE_ERROR_INTERNAL);
4874         }
4875       }
4876 
4877     /* If min = max, continue at the same level without recursing */
4878 
4879     if (min == max) continue;
4880 
4881     /* If minimizing, we have to test the rest of the pattern before each
4882     subsequent match. Again, separate the UTF-8 case for speed, and also
4883     separate the UCP cases. */
4884 
4885     if (minimize)
4886       {
4887 #ifdef SUPPORT_UCP
4888       if (prop_type >= 0)
4889         {
4890         switch(prop_type)
4891           {
4892           case PT_ANY:
4893           for (fi = min;; fi++)
4894             {
4895             RMATCH(eptr, ecode, offset_top, md, eptrb, RM36);
4896             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4897             if (fi >= max) RRETURN(MATCH_NOMATCH);
4898             if (eptr >= md->end_subject)
4899               {
4900               SCHECK_PARTIAL();
4901               RRETURN(MATCH_NOMATCH);
4902               }
4903             GETCHARINCTEST(c, eptr);
4904             if (prop_fail_result) RRETURN(MATCH_NOMATCH);
4905             }
4906           /* Control never gets here */
4907 
4908           case PT_LAMP:
4909           for (fi = min;; fi++)
4910             {
4911             int chartype;
4912             RMATCH(eptr, ecode, offset_top, md, eptrb, RM37);
4913             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4914             if (fi >= max) RRETURN(MATCH_NOMATCH);
4915             if (eptr >= md->end_subject)
4916               {
4917               SCHECK_PARTIAL();
4918               RRETURN(MATCH_NOMATCH);
4919               }
4920             GETCHARINCTEST(c, eptr);
4921             chartype = UCD_CHARTYPE(c);
4922             if ((chartype == ucp_Lu ||
4923                  chartype == ucp_Ll ||
4924                  chartype == ucp_Lt) == prop_fail_result)
4925               RRETURN(MATCH_NOMATCH);
4926             }
4927           /* Control never gets here */
4928 
4929           case PT_GC:
4930           for (fi = min;; fi++)
4931             {
4932             RMATCH(eptr, ecode, offset_top, md, eptrb, RM38);
4933             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4934             if (fi >= max) RRETURN(MATCH_NOMATCH);
4935             if (eptr >= md->end_subject)
4936               {
4937               SCHECK_PARTIAL();
4938               RRETURN(MATCH_NOMATCH);
4939               }
4940             GETCHARINCTEST(c, eptr);
4941             if ((UCD_CATEGORY(c) == prop_value) == prop_fail_result)
4942               RRETURN(MATCH_NOMATCH);
4943             }
4944           /* Control never gets here */
4945 
4946           case PT_PC:
4947           for (fi = min;; fi++)
4948             {
4949             RMATCH(eptr, ecode, offset_top, md, eptrb, RM39);
4950             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4951             if (fi >= max) RRETURN(MATCH_NOMATCH);
4952             if (eptr >= md->end_subject)
4953               {
4954               SCHECK_PARTIAL();
4955               RRETURN(MATCH_NOMATCH);
4956               }
4957             GETCHARINCTEST(c, eptr);
4958             if ((UCD_CHARTYPE(c) == prop_value) == prop_fail_result)
4959               RRETURN(MATCH_NOMATCH);
4960             }
4961           /* Control never gets here */
4962 
4963           case PT_SC:
4964           for (fi = min;; fi++)
4965             {
4966             RMATCH(eptr, ecode, offset_top, md, eptrb, RM40);
4967             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4968             if (fi >= max) RRETURN(MATCH_NOMATCH);
4969             if (eptr >= md->end_subject)
4970               {
4971               SCHECK_PARTIAL();
4972               RRETURN(MATCH_NOMATCH);
4973               }
4974             GETCHARINCTEST(c, eptr);
4975             if ((UCD_SCRIPT(c) == prop_value) == prop_fail_result)
4976               RRETURN(MATCH_NOMATCH);
4977             }
4978           /* Control never gets here */
4979 
4980           case PT_ALNUM:
4981           for (fi = min;; fi++)
4982             {
4983             int category;
4984             RMATCH(eptr, ecode, offset_top, md, eptrb, RM59);
4985             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
4986             if (fi >= max) RRETURN(MATCH_NOMATCH);
4987             if (eptr >= md->end_subject)
4988               {
4989               SCHECK_PARTIAL();
4990               RRETURN(MATCH_NOMATCH);
4991               }
4992             GETCHARINCTEST(c, eptr);
4993             category = UCD_CATEGORY(c);
4994             if ((category == ucp_L || category == ucp_N) == prop_fail_result)
4995               RRETURN(MATCH_NOMATCH);
4996             }
4997           /* Control never gets here */
4998 
4999           /* Perl space used to exclude VT, but from Perl 5.18 it is included,
5000           which means that Perl space and POSIX space are now identical. PCRE
5001           was changed at release 8.34. */
5002 
5003           case PT_SPACE:    /* Perl space */
5004           case PT_PXSPACE:  /* POSIX space */
5005           for (fi = min;; fi++)
5006             {
5007             RMATCH(eptr, ecode, offset_top, md, eptrb, RM61);
5008             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5009             if (fi >= max) RRETURN(MATCH_NOMATCH);
5010             if (eptr >= md->end_subject)
5011               {
5012               SCHECK_PARTIAL();
5013               RRETURN(MATCH_NOMATCH);
5014               }
5015             GETCHARINCTEST(c, eptr);
5016             switch(c)
5017               {
5018               HSPACE_CASES:
5019               VSPACE_CASES:
5020               if (prop_fail_result) RRETURN(MATCH_NOMATCH);
5021               break;
5022 
5023               default:
5024               if ((UCD_CATEGORY(c) == ucp_Z) == prop_fail_result)
5025                 RRETURN(MATCH_NOMATCH);
5026               break;
5027               }
5028             }
5029           /* Control never gets here */
5030 
5031           case PT_WORD:
5032           for (fi = min;; fi++)
5033             {
5034             int category;
5035             RMATCH(eptr, ecode, offset_top, md, eptrb, RM62);
5036             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5037             if (fi >= max) RRETURN(MATCH_NOMATCH);
5038             if (eptr >= md->end_subject)
5039               {
5040               SCHECK_PARTIAL();
5041               RRETURN(MATCH_NOMATCH);
5042               }
5043             GETCHARINCTEST(c, eptr);
5044             category = UCD_CATEGORY(c);
5045             if ((category == ucp_L ||
5046                  category == ucp_N ||
5047                  c == CHAR_UNDERSCORE)
5048                    == prop_fail_result)
5049               RRETURN(MATCH_NOMATCH);
5050             }
5051           /* Control never gets here */
5052 
5053           case PT_CLIST:
5054           for (fi = min;; fi++)
5055             {
5056             const pcre_uint32 *cp;
5057             RMATCH(eptr, ecode, offset_top, md, eptrb, RM67);
5058             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5059             if (fi >= max) RRETURN(MATCH_NOMATCH);
5060             if (eptr >= md->end_subject)
5061               {
5062               SCHECK_PARTIAL();
5063               RRETURN(MATCH_NOMATCH);
5064               }
5065             GETCHARINCTEST(c, eptr);
5066             cp = PRIV(ucd_caseless_sets) + prop_value;
5067             for (;;)
5068               {
5069               if (c < *cp)
5070                 { if (prop_fail_result) break; else { RRETURN(MATCH_NOMATCH); } }
5071               if (c == *cp++)
5072                 { if (prop_fail_result) { RRETURN(MATCH_NOMATCH); } else break; }
5073               }
5074             }
5075           /* Control never gets here */
5076 
5077           case PT_UCNC:
5078           for (fi = min;; fi++)
5079             {
5080             RMATCH(eptr, ecode, offset_top, md, eptrb, RM60);
5081             if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5082             if (fi >= max) RRETURN(MATCH_NOMATCH);
5083             if (eptr >= md->end_subject)
5084               {
5085               SCHECK_PARTIAL();
5086               RRETURN(MATCH_NOMATCH);
5087               }
5088             GETCHARINCTEST(c, eptr);
5089             if ((c == CHAR_DOLLAR_SIGN || c == CHAR_COMMERCIAL_AT ||
5090                  c == CHAR_GRAVE_ACCENT || (c >= 0xa0 && c <= 0xd7ff) ||
5091                  c >= 0xe000) == prop_fail_result)
5092               RRETURN(MATCH_NOMATCH);
5093             }
5094           /* Control never gets here */
5095 
5096           /* This should never occur */
5097           default:
5098           RRETURN(PCRE_ERROR_INTERNAL);
5099           }
5100         }
5101 
5102       /* Match extended Unicode sequences. We will get here only if the
5103       support is in the binary; otherwise a compile-time error occurs. */
5104 
5105       else if (ctype == OP_EXTUNI)
5106         {
5107         for (fi = min;; fi++)
5108           {
5109           RMATCH(eptr, ecode, offset_top, md, eptrb, RM41);
5110           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5111           if (fi >= max) RRETURN(MATCH_NOMATCH);
5112           if (eptr >= md->end_subject)
5113             {
5114             SCHECK_PARTIAL();
5115             RRETURN(MATCH_NOMATCH);
5116             }
5117           else
5118             {
5119             int lgb, rgb;
5120             GETCHARINCTEST(c, eptr);
5121             lgb = UCD_GRAPHBREAK(c);
5122             while (eptr < md->end_subject)
5123               {
5124               int len = 1;
5125               if (!utf) c = *eptr; else { GETCHARLEN(c, eptr, len); }
5126               rgb = UCD_GRAPHBREAK(c);
5127               if ((PRIV(ucp_gbtable)[lgb] & (1 << rgb)) == 0) break;
5128               lgb = rgb;
5129               eptr += len;
5130               }
5131             }
5132           CHECK_PARTIAL();
5133           }
5134         }
5135       else
5136 #endif     /* SUPPORT_UCP */
5137 
5138 #ifdef SUPPORT_UTF
5139       if (utf)
5140         {
5141         for (fi = min;; fi++)
5142           {
5143           RMATCH(eptr, ecode, offset_top, md, eptrb, RM42);
5144           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5145           if (fi >= max) RRETURN(MATCH_NOMATCH);
5146           if (eptr >= md->end_subject)
5147             {
5148             SCHECK_PARTIAL();
5149             RRETURN(MATCH_NOMATCH);
5150             }
5151           if (ctype == OP_ANY && IS_NEWLINE(eptr))
5152             RRETURN(MATCH_NOMATCH);
5153           GETCHARINC(c, eptr);
5154           switch(ctype)
5155             {
5156             case OP_ANY:               /* This is the non-NL case */
5157             if (md->partial != 0 &&    /* Take care with CRLF partial */
5158                 eptr >= md->end_subject &&
5159                 NLBLOCK->nltype == NLTYPE_FIXED &&
5160                 NLBLOCK->nllen == 2 &&
5161                 c == NLBLOCK->nl[0])
5162               {
5163               md->hitend = TRUE;
5164               if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
5165               }
5166             break;
5167 
5168             case OP_ALLANY:
5169             case OP_ANYBYTE:
5170             break;
5171 
5172             case OP_ANYNL:
5173             switch(c)
5174               {
5175               default: RRETURN(MATCH_NOMATCH);
5176               case CHAR_CR:
5177               if (eptr < md->end_subject && UCHAR21(eptr) == CHAR_LF) eptr++;
5178               break;
5179 
5180               case CHAR_LF:
5181               break;
5182 
5183               case CHAR_VT:
5184               case CHAR_FF:
5185               case CHAR_NEL:
5186 #ifndef EBCDIC
5187               case 0x2028:
5188               case 0x2029:
5189 #endif  /* Not EBCDIC */
5190               if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);
5191               break;
5192               }
5193             break;
5194 
5195             case OP_NOT_HSPACE:
5196             switch(c)
5197               {
5198               HSPACE_CASES: RRETURN(MATCH_NOMATCH);
5199               default: break;
5200               }
5201             break;
5202 
5203             case OP_HSPACE:
5204             switch(c)
5205               {
5206               HSPACE_CASES: break;
5207               default: RRETURN(MATCH_NOMATCH);
5208               }
5209             break;
5210 
5211             case OP_NOT_VSPACE:
5212             switch(c)
5213               {
5214               VSPACE_CASES: RRETURN(MATCH_NOMATCH);
5215               default: break;
5216               }
5217             break;
5218 
5219             case OP_VSPACE:
5220             switch(c)
5221               {
5222               VSPACE_CASES: break;
5223               default: RRETURN(MATCH_NOMATCH);
5224               }
5225             break;
5226 
5227             case OP_NOT_DIGIT:
5228             if (c < 256 && (md->ctypes[c] & ctype_digit) != 0)
5229               RRETURN(MATCH_NOMATCH);
5230             break;
5231 
5232             case OP_DIGIT:
5233             if (c >= 256 || (md->ctypes[c] & ctype_digit) == 0)
5234               RRETURN(MATCH_NOMATCH);
5235             break;
5236 
5237             case OP_NOT_WHITESPACE:
5238             if (c < 256 && (md->ctypes[c] & ctype_space) != 0)
5239               RRETURN(MATCH_NOMATCH);
5240             break;
5241 
5242             case OP_WHITESPACE:
5243             if (c >= 256 || (md->ctypes[c] & ctype_space) == 0)
5244               RRETURN(MATCH_NOMATCH);
5245             break;
5246 
5247             case OP_NOT_WORDCHAR:
5248             if (c < 256 && (md->ctypes[c] & ctype_word) != 0)
5249               RRETURN(MATCH_NOMATCH);
5250             break;
5251 
5252             case OP_WORDCHAR:
5253             if (c >= 256 || (md->ctypes[c] & ctype_word) == 0)
5254               RRETURN(MATCH_NOMATCH);
5255             break;
5256 
5257             default:
5258             RRETURN(PCRE_ERROR_INTERNAL);
5259             }
5260           }
5261         }
5262       else
5263 #endif
5264       /* Not UTF mode */
5265         {
5266         for (fi = min;; fi++)
5267           {
5268           RMATCH(eptr, ecode, offset_top, md, eptrb, RM43);
5269           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5270           if (fi >= max) RRETURN(MATCH_NOMATCH);
5271           if (eptr >= md->end_subject)
5272             {
5273             SCHECK_PARTIAL();
5274             RRETURN(MATCH_NOMATCH);
5275             }
5276           if (ctype == OP_ANY && IS_NEWLINE(eptr))
5277             RRETURN(MATCH_NOMATCH);
5278           c = *eptr++;
5279           switch(ctype)
5280             {
5281             case OP_ANY:               /* This is the non-NL case */
5282             if (md->partial != 0 &&    /* Take care with CRLF partial */
5283                 eptr >= md->end_subject &&
5284                 NLBLOCK->nltype == NLTYPE_FIXED &&
5285                 NLBLOCK->nllen == 2 &&
5286                 c == NLBLOCK->nl[0])
5287               {
5288               md->hitend = TRUE;
5289               if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
5290               }
5291             break;
5292 
5293             case OP_ALLANY:
5294             case OP_ANYBYTE:
5295             break;
5296 
5297             case OP_ANYNL:
5298             switch(c)
5299               {
5300               default: RRETURN(MATCH_NOMATCH);
5301               case CHAR_CR:
5302               if (eptr < md->end_subject && *eptr == CHAR_LF) eptr++;
5303               break;
5304 
5305               case CHAR_LF:
5306               break;
5307 
5308               case CHAR_VT:
5309               case CHAR_FF:
5310               case CHAR_NEL:
5311 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
5312               case 0x2028:
5313               case 0x2029:
5314 #endif
5315               if (md->bsr_anycrlf) RRETURN(MATCH_NOMATCH);
5316               break;
5317               }
5318             break;
5319 
5320             case OP_NOT_HSPACE:
5321             switch(c)
5322               {
5323               default: break;
5324               HSPACE_BYTE_CASES:
5325 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
5326               HSPACE_MULTIBYTE_CASES:
5327 #endif
5328               RRETURN(MATCH_NOMATCH);
5329               }
5330             break;
5331 
5332             case OP_HSPACE:
5333             switch(c)
5334               {
5335               default: RRETURN(MATCH_NOMATCH);
5336               HSPACE_BYTE_CASES:
5337 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
5338               HSPACE_MULTIBYTE_CASES:
5339 #endif
5340               break;
5341               }
5342             break;
5343 
5344             case OP_NOT_VSPACE:
5345             switch(c)
5346               {
5347               default: break;
5348               VSPACE_BYTE_CASES:
5349 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
5350               VSPACE_MULTIBYTE_CASES:
5351 #endif
5352               RRETURN(MATCH_NOMATCH);
5353               }
5354             break;
5355 
5356             case OP_VSPACE:
5357             switch(c)
5358               {
5359               default: RRETURN(MATCH_NOMATCH);
5360               VSPACE_BYTE_CASES:
5361 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
5362               VSPACE_MULTIBYTE_CASES:
5363 #endif
5364               break;
5365               }
5366             break;
5367 
5368             case OP_NOT_DIGIT:
5369             if (MAX_255(c) && (md->ctypes[c] & ctype_digit) != 0) RRETURN(MATCH_NOMATCH);
5370             break;
5371 
5372             case OP_DIGIT:
5373             if (!MAX_255(c) || (md->ctypes[c] & ctype_digit) == 0) RRETURN(MATCH_NOMATCH);
5374             break;
5375 
5376             case OP_NOT_WHITESPACE:
5377             if (MAX_255(c) && (md->ctypes[c] & ctype_space) != 0) RRETURN(MATCH_NOMATCH);
5378             break;
5379 
5380             case OP_WHITESPACE:
5381             if (!MAX_255(c) || (md->ctypes[c] & ctype_space) == 0) RRETURN(MATCH_NOMATCH);
5382             break;
5383 
5384             case OP_NOT_WORDCHAR:
5385             if (MAX_255(c) && (md->ctypes[c] & ctype_word) != 0) RRETURN(MATCH_NOMATCH);
5386             break;
5387 
5388             case OP_WORDCHAR:
5389             if (!MAX_255(c) || (md->ctypes[c] & ctype_word) == 0) RRETURN(MATCH_NOMATCH);
5390             break;
5391 
5392             default:
5393             RRETURN(PCRE_ERROR_INTERNAL);
5394             }
5395           }
5396         }
5397       /* Control never gets here */
5398       }
5399 
5400     /* If maximizing, it is worth using inline code for speed, doing the type
5401     test once at the start (i.e. keep it out of the loop). Again, keep the
5402     UTF-8 and UCP stuff separate. */
5403 
5404     else
5405       {
5406       pp = eptr;  /* Remember where we started */
5407 
5408 #ifdef SUPPORT_UCP
5409       if (prop_type >= 0)
5410         {
5411         switch(prop_type)
5412           {
5413           case PT_ANY:
5414           for (i = min; i < max; i++)
5415             {
5416             int len = 1;
5417             if (eptr >= md->end_subject)
5418               {
5419               SCHECK_PARTIAL();
5420               break;
5421               }
5422             GETCHARLENTEST(c, eptr, len);
5423             if (prop_fail_result) break;
5424             eptr+= len;
5425             }
5426           break;
5427 
5428           case PT_LAMP:
5429           for (i = min; i < max; i++)
5430             {
5431             int chartype;
5432             int len = 1;
5433             if (eptr >= md->end_subject)
5434               {
5435               SCHECK_PARTIAL();
5436               break;
5437               }
5438             GETCHARLENTEST(c, eptr, len);
5439             chartype = UCD_CHARTYPE(c);
5440             if ((chartype == ucp_Lu ||
5441                  chartype == ucp_Ll ||
5442                  chartype == ucp_Lt) == prop_fail_result)
5443               break;
5444             eptr+= len;
5445             }
5446           break;
5447 
5448           case PT_GC:
5449           for (i = min; i < max; i++)
5450             {
5451             int len = 1;
5452             if (eptr >= md->end_subject)
5453               {
5454               SCHECK_PARTIAL();
5455               break;
5456               }
5457             GETCHARLENTEST(c, eptr, len);
5458             if ((UCD_CATEGORY(c) == prop_value) == prop_fail_result) break;
5459             eptr+= len;
5460             }
5461           break;
5462 
5463           case PT_PC:
5464           for (i = min; i < max; i++)
5465             {
5466             int len = 1;
5467             if (eptr >= md->end_subject)
5468               {
5469               SCHECK_PARTIAL();
5470               break;
5471               }
5472             GETCHARLENTEST(c, eptr, len);
5473             if ((UCD_CHARTYPE(c) == prop_value) == prop_fail_result) break;
5474             eptr+= len;
5475             }
5476           break;
5477 
5478           case PT_SC:
5479           for (i = min; i < max; i++)
5480             {
5481             int len = 1;
5482             if (eptr >= md->end_subject)
5483               {
5484               SCHECK_PARTIAL();
5485               break;
5486               }
5487             GETCHARLENTEST(c, eptr, len);
5488             if ((UCD_SCRIPT(c) == prop_value) == prop_fail_result) break;
5489             eptr+= len;
5490             }
5491           break;
5492 
5493           case PT_ALNUM:
5494           for (i = min; i < max; i++)
5495             {
5496             int category;
5497             int len = 1;
5498             if (eptr >= md->end_subject)
5499               {
5500               SCHECK_PARTIAL();
5501               break;
5502               }
5503             GETCHARLENTEST(c, eptr, len);
5504             category = UCD_CATEGORY(c);
5505             if ((category == ucp_L || category == ucp_N) == prop_fail_result)
5506               break;
5507             eptr+= len;
5508             }
5509           break;
5510 
5511           /* Perl space used to exclude VT, but from Perl 5.18 it is included,
5512           which means that Perl space and POSIX space are now identical. PCRE
5513           was changed at release 8.34. */
5514 
5515           case PT_SPACE:    /* Perl space */
5516           case PT_PXSPACE:  /* POSIX space */
5517           for (i = min; i < max; i++)
5518             {
5519             int len = 1;
5520             if (eptr >= md->end_subject)
5521               {
5522               SCHECK_PARTIAL();
5523               break;
5524               }
5525             GETCHARLENTEST(c, eptr, len);
5526             switch(c)
5527               {
5528               HSPACE_CASES:
5529               VSPACE_CASES:
5530               if (prop_fail_result) goto ENDLOOP99;  /* Break the loop */
5531               break;
5532 
5533               default:
5534               if ((UCD_CATEGORY(c) == ucp_Z) == prop_fail_result)
5535                 goto ENDLOOP99;   /* Break the loop */
5536               break;
5537               }
5538             eptr+= len;
5539             }
5540           ENDLOOP99:
5541           break;
5542 
5543           case PT_WORD:
5544           for (i = min; i < max; i++)
5545             {
5546             int category;
5547             int len = 1;
5548             if (eptr >= md->end_subject)
5549               {
5550               SCHECK_PARTIAL();
5551               break;
5552               }
5553             GETCHARLENTEST(c, eptr, len);
5554             category = UCD_CATEGORY(c);
5555             if ((category == ucp_L || category == ucp_N ||
5556                  c == CHAR_UNDERSCORE) == prop_fail_result)
5557               break;
5558             eptr+= len;
5559             }
5560           break;
5561 
5562           case PT_CLIST:
5563           for (i = min; i < max; i++)
5564             {
5565             const pcre_uint32 *cp;
5566             int len = 1;
5567             if (eptr >= md->end_subject)
5568               {
5569               SCHECK_PARTIAL();
5570               break;
5571               }
5572             GETCHARLENTEST(c, eptr, len);
5573             cp = PRIV(ucd_caseless_sets) + prop_value;
5574             for (;;)
5575               {
5576               if (c < *cp)
5577                 { if (prop_fail_result) break; else goto GOT_MAX; }
5578               if (c == *cp++)
5579                 { if (prop_fail_result) goto GOT_MAX; else break; }
5580               }
5581             eptr += len;
5582             }
5583           GOT_MAX:
5584           break;
5585 
5586           case PT_UCNC:
5587           for (i = min; i < max; i++)
5588             {
5589             int len = 1;
5590             if (eptr >= md->end_subject)
5591               {
5592               SCHECK_PARTIAL();
5593               break;
5594               }
5595             GETCHARLENTEST(c, eptr, len);
5596             if ((c == CHAR_DOLLAR_SIGN || c == CHAR_COMMERCIAL_AT ||
5597                  c == CHAR_GRAVE_ACCENT || (c >= 0xa0 && c <= 0xd7ff) ||
5598                  c >= 0xe000) == prop_fail_result)
5599               break;
5600             eptr += len;
5601             }
5602           break;
5603 
5604           default:
5605           RRETURN(PCRE_ERROR_INTERNAL);
5606           }
5607 
5608         /* eptr is now past the end of the maximum run */
5609 
5610         if (possessive) continue;    /* No backtracking */
5611         for(;;)
5612           {
5613           if (eptr <= pp) goto TAIL_RECURSE;
5614           RMATCH(eptr, ecode, offset_top, md, eptrb, RM44);
5615           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5616           eptr--;
5617           if (utf) BACKCHAR(eptr);
5618           }
5619         }
5620 
5621       /* Match extended Unicode grapheme clusters. We will get here only if the
5622       support is in the binary; otherwise a compile-time error occurs. */
5623 
5624       else if (ctype == OP_EXTUNI)
5625         {
5626         for (i = min; i < max; i++)
5627           {
5628           if (eptr >= md->end_subject)
5629             {
5630             SCHECK_PARTIAL();
5631             break;
5632             }
5633           else
5634             {
5635             int lgb, rgb;
5636             GETCHARINCTEST(c, eptr);
5637             lgb = UCD_GRAPHBREAK(c);
5638             while (eptr < md->end_subject)
5639               {
5640               int len = 1;
5641               if (!utf) c = *eptr; else { GETCHARLEN(c, eptr, len); }
5642               rgb = UCD_GRAPHBREAK(c);
5643               if ((PRIV(ucp_gbtable)[lgb] & (1 << rgb)) == 0) break;
5644               lgb = rgb;
5645               eptr += len;
5646               }
5647             }
5648           CHECK_PARTIAL();
5649           }
5650 
5651         /* eptr is now past the end of the maximum run */
5652 
5653         if (possessive) continue;    /* No backtracking */
5654 
5655         /* We use <= pp rather than == pp to detect the start of the run while
5656         backtracking because the use of \C in UTF mode can cause BACKCHAR to
5657         move back past pp. This is just palliative; the use of \C in UTF mode
5658         is fraught with danger. */
5659 
5660         for(;;)
5661           {
5662           int lgb, rgb;
5663           PCRE_PUCHAR fptr;
5664 
5665           if (eptr <= pp) goto TAIL_RECURSE;   /* At start of char run */
5666           RMATCH(eptr, ecode, offset_top, md, eptrb, RM45);
5667           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5668 
5669           /* Backtracking over an extended grapheme cluster involves inspecting
5670           the previous two characters (if present) to see if a break is
5671           permitted between them. */
5672 
5673           eptr--;
5674           if (!utf) c = *eptr; else
5675             {
5676             BACKCHAR(eptr);
5677             GETCHAR(c, eptr);
5678             }
5679           rgb = UCD_GRAPHBREAK(c);
5680 
5681           for (;;)
5682             {
5683             if (eptr <= pp) goto TAIL_RECURSE;   /* At start of char run */
5684             fptr = eptr - 1;
5685             if (!utf) c = *fptr; else
5686               {
5687               BACKCHAR(fptr);
5688               GETCHAR(c, fptr);
5689               }
5690             lgb = UCD_GRAPHBREAK(c);
5691             if ((PRIV(ucp_gbtable)[lgb] & (1 << rgb)) == 0) break;
5692             eptr = fptr;
5693             rgb = lgb;
5694             }
5695           }
5696         }
5697 
5698       else
5699 #endif   /* SUPPORT_UCP */
5700 
5701 #ifdef SUPPORT_UTF
5702       if (utf)
5703         {
5704         switch(ctype)
5705           {
5706           case OP_ANY:
5707           for (i = min; i < max; i++)
5708             {
5709             if (eptr >= md->end_subject)
5710               {
5711               SCHECK_PARTIAL();
5712               break;
5713               }
5714             if (IS_NEWLINE(eptr)) break;
5715             if (md->partial != 0 &&    /* Take care with CRLF partial */
5716                 eptr + 1 >= md->end_subject &&
5717                 NLBLOCK->nltype == NLTYPE_FIXED &&
5718                 NLBLOCK->nllen == 2 &&
5719                 UCHAR21(eptr) == NLBLOCK->nl[0])
5720               {
5721               md->hitend = TRUE;
5722               if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
5723               }
5724             eptr++;
5725             ACROSSCHAR(eptr < md->end_subject, *eptr, eptr++);
5726             }
5727           break;
5728 
5729           case OP_ALLANY:
5730           if (max < INT_MAX)
5731             {
5732             for (i = min; i < max; i++)
5733               {
5734               if (eptr >= md->end_subject)
5735                 {
5736                 SCHECK_PARTIAL();
5737                 break;
5738                 }
5739               eptr++;
5740               ACROSSCHAR(eptr < md->end_subject, *eptr, eptr++);
5741               }
5742             }
5743           else
5744             {
5745             eptr = md->end_subject;   /* Unlimited UTF-8 repeat */
5746             SCHECK_PARTIAL();
5747             }
5748           break;
5749 
5750           /* The byte case is the same as non-UTF8 */
5751 
5752           case OP_ANYBYTE:
5753           c = max - min;
5754           if (c > (unsigned int)(md->end_subject - eptr))
5755             {
5756             eptr = md->end_subject;
5757             SCHECK_PARTIAL();
5758             }
5759           else eptr += c;
5760           break;
5761 
5762           case OP_ANYNL:
5763           for (i = min; i < max; i++)
5764             {
5765             int len = 1;
5766             if (eptr >= md->end_subject)
5767               {
5768               SCHECK_PARTIAL();
5769               break;
5770               }
5771             GETCHARLEN(c, eptr, len);
5772             if (c == CHAR_CR)
5773               {
5774               if (++eptr >= md->end_subject) break;
5775               if (UCHAR21(eptr) == CHAR_LF) eptr++;
5776               }
5777             else
5778               {
5779               if (c != CHAR_LF &&
5780                   (md->bsr_anycrlf ||
5781                    (c != CHAR_VT && c != CHAR_FF && c != CHAR_NEL
5782 #ifndef EBCDIC
5783                     && c != 0x2028 && c != 0x2029
5784 #endif  /* Not EBCDIC */
5785                     )))
5786                 break;
5787               eptr += len;
5788               }
5789             }
5790           break;
5791 
5792           case OP_NOT_HSPACE:
5793           case OP_HSPACE:
5794           for (i = min; i < max; i++)
5795             {
5796             BOOL gotspace;
5797             int len = 1;
5798             if (eptr >= md->end_subject)
5799               {
5800               SCHECK_PARTIAL();
5801               break;
5802               }
5803             GETCHARLEN(c, eptr, len);
5804             switch(c)
5805               {
5806               HSPACE_CASES: gotspace = TRUE; break;
5807               default: gotspace = FALSE; break;
5808               }
5809             if (gotspace == (ctype == OP_NOT_HSPACE)) break;
5810             eptr += len;
5811             }
5812           break;
5813 
5814           case OP_NOT_VSPACE:
5815           case OP_VSPACE:
5816           for (i = min; i < max; i++)
5817             {
5818             BOOL gotspace;
5819             int len = 1;
5820             if (eptr >= md->end_subject)
5821               {
5822               SCHECK_PARTIAL();
5823               break;
5824               }
5825             GETCHARLEN(c, eptr, len);
5826             switch(c)
5827               {
5828               VSPACE_CASES: gotspace = TRUE; break;
5829               default: gotspace = FALSE; break;
5830               }
5831             if (gotspace == (ctype == OP_NOT_VSPACE)) break;
5832             eptr += len;
5833             }
5834           break;
5835 
5836           case OP_NOT_DIGIT:
5837           for (i = min; i < max; i++)
5838             {
5839             int len = 1;
5840             if (eptr >= md->end_subject)
5841               {
5842               SCHECK_PARTIAL();
5843               break;
5844               }
5845             GETCHARLEN(c, eptr, len);
5846             if (c < 256 && (md->ctypes[c] & ctype_digit) != 0) break;
5847             eptr+= len;
5848             }
5849           break;
5850 
5851           case OP_DIGIT:
5852           for (i = min; i < max; i++)
5853             {
5854             int len = 1;
5855             if (eptr >= md->end_subject)
5856               {
5857               SCHECK_PARTIAL();
5858               break;
5859               }
5860             GETCHARLEN(c, eptr, len);
5861             if (c >= 256 ||(md->ctypes[c] & ctype_digit) == 0) break;
5862             eptr+= len;
5863             }
5864           break;
5865 
5866           case OP_NOT_WHITESPACE:
5867           for (i = min; i < max; i++)
5868             {
5869             int len = 1;
5870             if (eptr >= md->end_subject)
5871               {
5872               SCHECK_PARTIAL();
5873               break;
5874               }
5875             GETCHARLEN(c, eptr, len);
5876             if (c < 256 && (md->ctypes[c] & ctype_space) != 0) break;
5877             eptr+= len;
5878             }
5879           break;
5880 
5881           case OP_WHITESPACE:
5882           for (i = min; i < max; i++)
5883             {
5884             int len = 1;
5885             if (eptr >= md->end_subject)
5886               {
5887               SCHECK_PARTIAL();
5888               break;
5889               }
5890             GETCHARLEN(c, eptr, len);
5891             if (c >= 256 ||(md->ctypes[c] & ctype_space) == 0) break;
5892             eptr+= len;
5893             }
5894           break;
5895 
5896           case OP_NOT_WORDCHAR:
5897           for (i = min; i < max; i++)
5898             {
5899             int len = 1;
5900             if (eptr >= md->end_subject)
5901               {
5902               SCHECK_PARTIAL();
5903               break;
5904               }
5905             GETCHARLEN(c, eptr, len);
5906             if (c < 256 && (md->ctypes[c] & ctype_word) != 0) break;
5907             eptr+= len;
5908             }
5909           break;
5910 
5911           case OP_WORDCHAR:
5912           for (i = min; i < max; i++)
5913             {
5914             int len = 1;
5915             if (eptr >= md->end_subject)
5916               {
5917               SCHECK_PARTIAL();
5918               break;
5919               }
5920             GETCHARLEN(c, eptr, len);
5921             if (c >= 256 || (md->ctypes[c] & ctype_word) == 0) break;
5922             eptr+= len;
5923             }
5924           break;
5925 
5926           default:
5927           RRETURN(PCRE_ERROR_INTERNAL);
5928           }
5929 
5930         if (possessive) continue;    /* No backtracking */
5931         for(;;)
5932           {
5933           if (eptr <= pp) goto TAIL_RECURSE;
5934           RMATCH(eptr, ecode, offset_top, md, eptrb, RM46);
5935           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
5936           eptr--;
5937           BACKCHAR(eptr);
5938           if (ctype == OP_ANYNL && eptr > pp  && UCHAR21(eptr) == CHAR_NL &&
5939               UCHAR21(eptr - 1) == CHAR_CR) eptr--;
5940           }
5941         }
5942       else
5943 #endif  /* SUPPORT_UTF */
5944       /* Not UTF mode */
5945         {
5946         switch(ctype)
5947           {
5948           case OP_ANY:
5949           for (i = min; i < max; i++)
5950             {
5951             if (eptr >= md->end_subject)
5952               {
5953               SCHECK_PARTIAL();
5954               break;
5955               }
5956             if (IS_NEWLINE(eptr)) break;
5957             if (md->partial != 0 &&    /* Take care with CRLF partial */
5958                 eptr + 1 >= md->end_subject &&
5959                 NLBLOCK->nltype == NLTYPE_FIXED &&
5960                 NLBLOCK->nllen == 2 &&
5961                 *eptr == NLBLOCK->nl[0])
5962               {
5963               md->hitend = TRUE;
5964               if (md->partial > 1) RRETURN(PCRE_ERROR_PARTIAL);
5965               }
5966             eptr++;
5967             }
5968           break;
5969 
5970           case OP_ALLANY:
5971           case OP_ANYBYTE:
5972           c = max - min;
5973           if (c > (unsigned int)(md->end_subject - eptr))
5974             {
5975             eptr = md->end_subject;
5976             SCHECK_PARTIAL();
5977             }
5978           else eptr += c;
5979           break;
5980 
5981           case OP_ANYNL:
5982           for (i = min; i < max; i++)
5983             {
5984             if (eptr >= md->end_subject)
5985               {
5986               SCHECK_PARTIAL();
5987               break;
5988               }
5989             c = *eptr;
5990             if (c == CHAR_CR)
5991               {
5992               if (++eptr >= md->end_subject) break;
5993               if (*eptr == CHAR_LF) eptr++;
5994               }
5995             else
5996               {
5997               if (c != CHAR_LF && (md->bsr_anycrlf ||
5998                  (c != CHAR_VT && c != CHAR_FF && c != CHAR_NEL
5999 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
6000                  && c != 0x2028 && c != 0x2029
6001 #endif
6002                  ))) break;
6003               eptr++;
6004               }
6005             }
6006           break;
6007 
6008           case OP_NOT_HSPACE:
6009           for (i = min; i < max; i++)
6010             {
6011             if (eptr >= md->end_subject)
6012               {
6013               SCHECK_PARTIAL();
6014               break;
6015               }
6016             switch(*eptr)
6017               {
6018               default: eptr++; break;
6019               HSPACE_BYTE_CASES:
6020 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
6021               HSPACE_MULTIBYTE_CASES:
6022 #endif
6023               goto ENDLOOP00;
6024               }
6025             }
6026           ENDLOOP00:
6027           break;
6028 
6029           case OP_HSPACE:
6030           for (i = min; i < max; i++)
6031             {
6032             if (eptr >= md->end_subject)
6033               {
6034               SCHECK_PARTIAL();
6035               break;
6036               }
6037             switch(*eptr)
6038               {
6039               default: goto ENDLOOP01;
6040               HSPACE_BYTE_CASES:
6041 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
6042               HSPACE_MULTIBYTE_CASES:
6043 #endif
6044               eptr++; break;
6045               }
6046             }
6047           ENDLOOP01:
6048           break;
6049 
6050           case OP_NOT_VSPACE:
6051           for (i = min; i < max; i++)
6052             {
6053             if (eptr >= md->end_subject)
6054               {
6055               SCHECK_PARTIAL();
6056               break;
6057               }
6058             switch(*eptr)
6059               {
6060               default: eptr++; break;
6061               VSPACE_BYTE_CASES:
6062 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
6063               VSPACE_MULTIBYTE_CASES:
6064 #endif
6065               goto ENDLOOP02;
6066               }
6067             }
6068           ENDLOOP02:
6069           break;
6070 
6071           case OP_VSPACE:
6072           for (i = min; i < max; i++)
6073             {
6074             if (eptr >= md->end_subject)
6075               {
6076               SCHECK_PARTIAL();
6077               break;
6078               }
6079             switch(*eptr)
6080               {
6081               default: goto ENDLOOP03;
6082               VSPACE_BYTE_CASES:
6083 #if defined COMPILE_PCRE16 || defined COMPILE_PCRE32
6084               VSPACE_MULTIBYTE_CASES:
6085 #endif
6086               eptr++; break;
6087               }
6088             }
6089           ENDLOOP03:
6090           break;
6091 
6092           case OP_NOT_DIGIT:
6093           for (i = min; i < max; i++)
6094             {
6095             if (eptr >= md->end_subject)
6096               {
6097               SCHECK_PARTIAL();
6098               break;
6099               }
6100             if (MAX_255(*eptr) && (md->ctypes[*eptr] & ctype_digit) != 0) break;
6101             eptr++;
6102             }
6103           break;
6104 
6105           case OP_DIGIT:
6106           for (i = min; i < max; i++)
6107             {
6108             if (eptr >= md->end_subject)
6109               {
6110               SCHECK_PARTIAL();
6111               break;
6112               }
6113             if (!MAX_255(*eptr) || (md->ctypes[*eptr] & ctype_digit) == 0) break;
6114             eptr++;
6115             }
6116           break;
6117 
6118           case OP_NOT_WHITESPACE:
6119           for (i = min; i < max; i++)
6120             {
6121             if (eptr >= md->end_subject)
6122               {
6123               SCHECK_PARTIAL();
6124               break;
6125               }
6126             if (MAX_255(*eptr) && (md->ctypes[*eptr] & ctype_space) != 0) break;
6127             eptr++;
6128             }
6129           break;
6130 
6131           case OP_WHITESPACE:
6132           for (i = min; i < max; i++)
6133             {
6134             if (eptr >= md->end_subject)
6135               {
6136               SCHECK_PARTIAL();
6137               break;
6138               }
6139             if (!MAX_255(*eptr) || (md->ctypes[*eptr] & ctype_space) == 0) break;
6140             eptr++;
6141             }
6142           break;
6143 
6144           case OP_NOT_WORDCHAR:
6145           for (i = min; i < max; i++)
6146             {
6147             if (eptr >= md->end_subject)
6148               {
6149               SCHECK_PARTIAL();
6150               break;
6151               }
6152             if (MAX_255(*eptr) && (md->ctypes[*eptr] & ctype_word) != 0) break;
6153             eptr++;
6154             }
6155           break;
6156 
6157           case OP_WORDCHAR:
6158           for (i = min; i < max; i++)
6159             {
6160             if (eptr >= md->end_subject)
6161               {
6162               SCHECK_PARTIAL();
6163               break;
6164               }
6165             if (!MAX_255(*eptr) || (md->ctypes[*eptr] & ctype_word) == 0) break;
6166             eptr++;
6167             }
6168           break;
6169 
6170           default:
6171           RRETURN(PCRE_ERROR_INTERNAL);
6172           }
6173 
6174         if (possessive) continue;    /* No backtracking */
6175         for (;;)
6176           {
6177           if (eptr == pp) goto TAIL_RECURSE;
6178           RMATCH(eptr, ecode, offset_top, md, eptrb, RM47);
6179           if (rrc != MATCH_NOMATCH) RRETURN(rrc);
6180           eptr--;
6181           if (ctype == OP_ANYNL && eptr > pp  && *eptr == CHAR_LF &&
6182               eptr[-1] == CHAR_CR) eptr--;
6183           }
6184         }
6185 
6186       /* Control never gets here */
6187       }
6188 
6189     /* There's been some horrible disaster. Arrival here can only mean there is
6190     something seriously wrong in the code above or the OP_xxx definitions. */
6191 
6192     default:
6193     DPRINTF(("Unknown opcode %d\n", *ecode));
6194     RRETURN(PCRE_ERROR_UNKNOWN_OPCODE);
6195     }
6196 
6197   /* Do not stick any code in here without much thought; it is assumed
6198   that "continue" in the code above comes out to here to repeat the main
6199   loop. */
6200 
6201   }             /* End of main loop */
6202 /* Control never reaches here */
6203 
6204 
6205 /* When compiling to use the heap rather than the stack for recursive calls to
6206 match(), the RRETURN() macro jumps here. The number that is saved in
6207 frame->Xwhere indicates which label we actually want to return to. */
6208 
6209 #ifdef NO_RECURSE
6210 #define LBL(val) case val: goto L_RM##val;
6211 HEAP_RETURN:
6212 switch (frame->Xwhere)
6213   {
6214   LBL( 1) LBL( 2) LBL( 3) LBL( 4) LBL( 5) LBL( 6) LBL( 7) LBL( 8)
6215   LBL( 9) LBL(10) LBL(11) LBL(12) LBL(13) LBL(14) LBL(15) LBL(17)
6216   LBL(19) LBL(24) LBL(25) LBL(26) LBL(27) LBL(29) LBL(31) LBL(33)
6217   LBL(35) LBL(43) LBL(47) LBL(48) LBL(49) LBL(50) LBL(51) LBL(52)
6218   LBL(53) LBL(54) LBL(55) LBL(56) LBL(57) LBL(58) LBL(63) LBL(64)
6219   LBL(65) LBL(66)
6220 #if defined SUPPORT_UTF || !defined COMPILE_PCRE8
6221   LBL(20) LBL(21)
6222 #endif
6223 #ifdef SUPPORT_UTF
6224   LBL(16) LBL(18)
6225   LBL(22) LBL(23) LBL(28) LBL(30)
6226   LBL(32) LBL(34) LBL(42) LBL(46)
6227 #ifdef SUPPORT_UCP
6228   LBL(36) LBL(37) LBL(38) LBL(39) LBL(40) LBL(41) LBL(44) LBL(45)
6229   LBL(59) LBL(60) LBL(61) LBL(62) LBL(67)
6230 #endif  /* SUPPORT_UCP */
6231 #endif  /* SUPPORT_UTF */
6232   default:
6233   DPRINTF(("jump error in pcre match: label %d non-existent\n", frame->Xwhere));
6234   return PCRE_ERROR_INTERNAL;
6235   }
6236 #undef LBL
6237 #endif  /* NO_RECURSE */
6238 }
6239 
6240 
6241 /***************************************************************************
6242 ****************************************************************************
6243                    RECURSION IN THE match() FUNCTION
6244 
6245 Undefine all the macros that were defined above to handle this. */
6246 
6247 #ifdef NO_RECURSE
6248 #undef eptr
6249 #undef ecode
6250 #undef mstart
6251 #undef offset_top
6252 #undef eptrb
6253 #undef flags
6254 
6255 #undef callpat
6256 #undef charptr
6257 #undef data
6258 #undef next
6259 #undef pp
6260 #undef prev
6261 #undef saved_eptr
6262 
6263 #undef new_recursive
6264 
6265 #undef cur_is_word
6266 #undef condition
6267 #undef prev_is_word
6268 
6269 #undef ctype
6270 #undef length
6271 #undef max
6272 #undef min
6273 #undef number
6274 #undef offset
6275 #undef op
6276 #undef save_capture_last
6277 #undef save_offset1
6278 #undef save_offset2
6279 #undef save_offset3
6280 #undef stacksave
6281 
6282 #undef newptrb
6283 
6284 #endif
6285 
6286 /* These two are defined as macros in both cases */
6287 
6288 #undef fc
6289 #undef fi
6290 
6291 /***************************************************************************
6292 ***************************************************************************/
6293 
6294 
6295 #ifdef NO_RECURSE
6296 /*************************************************
6297 *          Release allocated heap frames         *
6298 *************************************************/
6299 
6300 /* This function releases all the allocated frames. The base frame is on the
6301 machine stack, and so must not be freed.
6302 
6303 Argument: the address of the base frame
6304 Returns:  nothing
6305 */
6306 
6307 static void
release_match_heapframes(heapframe * frame_base)6308 release_match_heapframes (heapframe *frame_base)
6309 {
6310 heapframe *nextframe = frame_base->Xnextframe;
6311 while (nextframe != NULL)
6312   {
6313   heapframe *oldframe = nextframe;
6314   nextframe = nextframe->Xnextframe;
6315   (PUBL(stack_free))(oldframe);
6316   }
6317 }
6318 #endif
6319 
6320 
6321 /*************************************************
6322 *         Execute a Regular Expression           *
6323 *************************************************/
6324 
6325 /* This function applies a compiled re to a subject string and picks out
6326 portions of the string if it matches. Two elements in the vector are set for
6327 each substring: the offsets to the start and end of the substring.
6328 
6329 Arguments:
6330   argument_re     points to the compiled expression
6331   extra_data      points to extra data or is NULL
6332   subject         points to the subject string
6333   length          length of subject string (may contain binary zeros)
6334   start_offset    where to start in the subject string
6335   options         option bits
6336   offsets         points to a vector of ints to be filled in with offsets
6337   offsetcount     the number of elements in the vector
6338 
6339 Returns:          > 0 => success; value is the number of elements filled in
6340                   = 0 => success, but offsets is not big enough
6341                    -1 => failed to match
6342                  < -1 => some kind of unexpected problem
6343 */
6344 
6345 #if defined COMPILE_PCRE8
6346 PCRE_EXP_DEFN int PCRE_CALL_CONVENTION
pcre_exec(const pcre * argument_re,const pcre_extra * extra_data,PCRE_SPTR subject,int length,int start_offset,int options,int * offsets,int offsetcount)6347 pcre_exec(const pcre *argument_re, const pcre_extra *extra_data,
6348   PCRE_SPTR subject, int length, int start_offset, int options, int *offsets,
6349   int offsetcount)
6350 #elif defined COMPILE_PCRE16
6351 PCRE_EXP_DEFN int PCRE_CALL_CONVENTION
6352 pcre16_exec(const pcre16 *argument_re, const pcre16_extra *extra_data,
6353   PCRE_SPTR16 subject, int length, int start_offset, int options, int *offsets,
6354   int offsetcount)
6355 #elif defined COMPILE_PCRE32
6356 PCRE_EXP_DEFN int PCRE_CALL_CONVENTION
6357 pcre32_exec(const pcre32 *argument_re, const pcre32_extra *extra_data,
6358   PCRE_SPTR32 subject, int length, int start_offset, int options, int *offsets,
6359   int offsetcount)
6360 #endif
6361 {
6362 int rc, ocount, arg_offset_max;
6363 int newline;
6364 BOOL using_temporary_offsets = FALSE;
6365 BOOL anchored;
6366 BOOL startline;
6367 BOOL firstline;
6368 BOOL utf;
6369 BOOL has_first_char = FALSE;
6370 BOOL has_req_char = FALSE;
6371 pcre_uchar first_char = 0;
6372 pcre_uchar first_char2 = 0;
6373 pcre_uchar req_char = 0;
6374 pcre_uchar req_char2 = 0;
6375 match_data match_block;
6376 match_data *md = &match_block;
6377 const pcre_uint8 *tables;
6378 const pcre_uint8 *start_bits = NULL;
6379 PCRE_PUCHAR start_match = (PCRE_PUCHAR)subject + start_offset;
6380 PCRE_PUCHAR end_subject;
6381 PCRE_PUCHAR start_partial = NULL;
6382 PCRE_PUCHAR match_partial = NULL;
6383 PCRE_PUCHAR req_char_ptr = start_match - 1;
6384 
6385 const pcre_study_data *study;
6386 const REAL_PCRE *re = (const REAL_PCRE *)argument_re;
6387 
6388 #ifdef NO_RECURSE
6389 heapframe frame_zero;
6390 frame_zero.Xprevframe = NULL;            /* Marks the top level */
6391 frame_zero.Xnextframe = NULL;            /* None are allocated yet */
6392 md->match_frames_base = &frame_zero;
6393 #endif
6394 
6395 /* Check for the special magic call that measures the size of the stack used
6396 per recursive call of match(). Without the funny casting for sizeof, a Windows
6397 compiler gave this error: "unary minus operator applied to unsigned type,
6398 result still unsigned". Hopefully the cast fixes that. */
6399 
6400 if (re == NULL && extra_data == NULL && subject == NULL && length == -999 &&
6401     start_offset == -999)
6402 #ifdef NO_RECURSE
6403   return -((int)sizeof(heapframe));
6404 #else
6405   return match(NULL, NULL, NULL, 0, NULL, NULL, 0);
6406 #endif
6407 
6408 /* Plausibility checks */
6409 
6410 if ((options & ~PUBLIC_EXEC_OPTIONS) != 0) return PCRE_ERROR_BADOPTION;
6411 if (re == NULL || subject == NULL || (offsets == NULL && offsetcount > 0))
6412   return PCRE_ERROR_NULL;
6413 if (offsetcount < 0) return PCRE_ERROR_BADCOUNT;
6414 if (length < 0) return PCRE_ERROR_BADLENGTH;
6415 if (start_offset < 0 || start_offset > length) return PCRE_ERROR_BADOFFSET;
6416 
6417 /* Check that the first field in the block is the magic number. If it is not,
6418 return with PCRE_ERROR_BADMAGIC. However, if the magic number is equal to
6419 REVERSED_MAGIC_NUMBER we return with PCRE_ERROR_BADENDIANNESS, which
6420 means that the pattern is likely compiled with different endianness. */
6421 
6422 if (re->magic_number != MAGIC_NUMBER)
6423   return re->magic_number == REVERSED_MAGIC_NUMBER?
6424     PCRE_ERROR_BADENDIANNESS:PCRE_ERROR_BADMAGIC;
6425 if ((re->flags & PCRE_MODE) == 0) return PCRE_ERROR_BADMODE;
6426 
6427 /* These two settings are used in the code for checking a UTF-8 string that
6428 follows immediately afterwards. Other values in the md block are used only
6429 during "normal" pcre_exec() processing, not when the JIT support is in use,
6430 so they are set up later. */
6431 
6432 /* PCRE_UTF16 has the same value as PCRE_UTF8. */
6433 utf = md->utf = (re->options & PCRE_UTF8) != 0;
6434 md->partial = ((options & PCRE_PARTIAL_HARD) != 0)? 2 :
6435               ((options & PCRE_PARTIAL_SOFT) != 0)? 1 : 0;
6436 
6437 /* Check a UTF-8 string if required. Pass back the character offset and error
6438 code for an invalid string if a results vector is available. */
6439 
6440 #ifdef SUPPORT_UTF
6441 if (utf && (options & PCRE_NO_UTF8_CHECK) == 0)
6442   {
6443   int erroroffset;
6444   int errorcode = PRIV(valid_utf)((PCRE_PUCHAR)subject, length, &erroroffset);
6445   if (errorcode != 0)
6446     {
6447     if (offsetcount >= 2)
6448       {
6449       offsets[0] = erroroffset;
6450       offsets[1] = errorcode;
6451       }
6452 #if defined COMPILE_PCRE8
6453     return (errorcode <= PCRE_UTF8_ERR5 && md->partial > 1)?
6454       PCRE_ERROR_SHORTUTF8 : PCRE_ERROR_BADUTF8;
6455 #elif defined COMPILE_PCRE16
6456     return (errorcode <= PCRE_UTF16_ERR1 && md->partial > 1)?
6457       PCRE_ERROR_SHORTUTF16 : PCRE_ERROR_BADUTF16;
6458 #elif defined COMPILE_PCRE32
6459     return PCRE_ERROR_BADUTF32;
6460 #endif
6461     }
6462 #if defined COMPILE_PCRE8 || defined COMPILE_PCRE16
6463   /* Check that a start_offset points to the start of a UTF character. */
6464   if (start_offset > 0 && start_offset < length &&
6465       NOT_FIRSTCHAR(((PCRE_PUCHAR)subject)[start_offset]))
6466     return PCRE_ERROR_BADUTF8_OFFSET;
6467 #endif
6468   }
6469 #endif
6470 
6471 /* If the pattern was successfully studied with JIT support, run the JIT
6472 executable instead of the rest of this function. Most options must be set at
6473 compile time for the JIT code to be usable. Fallback to the normal code path if
6474 an unsupported flag is set. */
6475 
6476 #ifdef SUPPORT_JIT
6477 if (extra_data != NULL
6478     && (extra_data->flags & (PCRE_EXTRA_EXECUTABLE_JIT |
6479                              PCRE_EXTRA_TABLES)) == PCRE_EXTRA_EXECUTABLE_JIT
6480     && extra_data->executable_jit != NULL
6481     && (options & ~PUBLIC_JIT_EXEC_OPTIONS) == 0)
6482   {
6483   rc = PRIV(jit_exec)(extra_data, (const pcre_uchar *)subject, length,
6484        start_offset, options, offsets, offsetcount);
6485 
6486   /* PCRE_ERROR_NULL means that the selected normal or partial matching
6487   mode is not compiled. In this case we simply fallback to interpreter. */
6488 
6489   if (rc != PCRE_ERROR_JIT_BADOPTION) return rc;
6490   }
6491 #endif
6492 
6493 /* Carry on with non-JIT matching. This information is for finding all the
6494 numbers associated with a given name, for condition testing. */
6495 
6496 md->name_table = (pcre_uchar *)re + re->name_table_offset;
6497 md->name_count = re->name_count;
6498 md->name_entry_size = re->name_entry_size;
6499 
6500 /* Fish out the optional data from the extra_data structure, first setting
6501 the default values. */
6502 
6503 study = NULL;
6504 md->match_limit = MATCH_LIMIT;
6505 md->match_limit_recursion = MATCH_LIMIT_RECURSION;
6506 md->callout_data = NULL;
6507 
6508 /* The table pointer is always in native byte order. */
6509 
6510 tables = re->tables;
6511 
6512 /* The two limit values override the defaults, whatever their value. */
6513 
6514 if (extra_data != NULL)
6515   {
6516   unsigned long int flags = extra_data->flags;
6517   if ((flags & PCRE_EXTRA_STUDY_DATA) != 0)
6518     study = (const pcre_study_data *)extra_data->study_data;
6519   if ((flags & PCRE_EXTRA_MATCH_LIMIT) != 0)
6520     md->match_limit = extra_data->match_limit;
6521   if ((flags & PCRE_EXTRA_MATCH_LIMIT_RECURSION) != 0)
6522     md->match_limit_recursion = extra_data->match_limit_recursion;
6523   if ((flags & PCRE_EXTRA_CALLOUT_DATA) != 0)
6524     md->callout_data = extra_data->callout_data;
6525   if ((flags & PCRE_EXTRA_TABLES) != 0) tables = extra_data->tables;
6526   }
6527 
6528 /* Limits in the regex override only if they are smaller. */
6529 
6530 if ((re->flags & PCRE_MLSET) != 0 && re->limit_match < md->match_limit)
6531   md->match_limit = re->limit_match;
6532 
6533 if ((re->flags & PCRE_RLSET) != 0 &&
6534     re->limit_recursion < md->match_limit_recursion)
6535   md->match_limit_recursion = re->limit_recursion;
6536 
6537 /* If the exec call supplied NULL for tables, use the inbuilt ones. This
6538 is a feature that makes it possible to save compiled regex and re-use them
6539 in other programs later. */
6540 
6541 if (tables == NULL) tables = PRIV(default_tables);
6542 
6543 /* Set up other data */
6544 
6545 anchored = ((re->options | options) & PCRE_ANCHORED) != 0;
6546 startline = (re->flags & PCRE_STARTLINE) != 0;
6547 firstline = (re->options & PCRE_FIRSTLINE) != 0;
6548 
6549 /* The code starts after the real_pcre block and the capture name table. */
6550 
6551 md->start_code = (const pcre_uchar *)re + re->name_table_offset +
6552   re->name_count * re->name_entry_size;
6553 
6554 md->start_subject = (PCRE_PUCHAR)subject;
6555 md->start_offset = start_offset;
6556 md->end_subject = md->start_subject + length;
6557 end_subject = md->end_subject;
6558 
6559 md->endonly = (re->options & PCRE_DOLLAR_ENDONLY) != 0;
6560 md->use_ucp = (re->options & PCRE_UCP) != 0;
6561 md->jscript_compat = (re->options & PCRE_JAVASCRIPT_COMPAT) != 0;
6562 md->ignore_skip_arg = 0;
6563 
6564 /* Some options are unpacked into BOOL variables in the hope that testing
6565 them will be faster than individual option bits. */
6566 
6567 md->notbol = (options & PCRE_NOTBOL) != 0;
6568 md->noteol = (options & PCRE_NOTEOL) != 0;
6569 md->notempty = (options & PCRE_NOTEMPTY) != 0;
6570 md->notempty_atstart = (options & PCRE_NOTEMPTY_ATSTART) != 0;
6571 
6572 md->hitend = FALSE;
6573 md->mark = md->nomatch_mark = NULL;     /* In case never set */
6574 
6575 md->recursive = NULL;                   /* No recursion at top level */
6576 md->hasthen = (re->flags & PCRE_HASTHEN) != 0;
6577 
6578 md->lcc = tables + lcc_offset;
6579 md->fcc = tables + fcc_offset;
6580 md->ctypes = tables + ctypes_offset;
6581 
6582 /* Handle different \R options. */
6583 
6584 switch (options & (PCRE_BSR_ANYCRLF|PCRE_BSR_UNICODE))
6585   {
6586   case 0:
6587   if ((re->options & (PCRE_BSR_ANYCRLF|PCRE_BSR_UNICODE)) != 0)
6588     md->bsr_anycrlf = (re->options & PCRE_BSR_ANYCRLF) != 0;
6589   else
6590 #ifdef BSR_ANYCRLF
6591   md->bsr_anycrlf = TRUE;
6592 #else
6593   md->bsr_anycrlf = FALSE;
6594 #endif
6595   break;
6596 
6597   case PCRE_BSR_ANYCRLF:
6598   md->bsr_anycrlf = TRUE;
6599   break;
6600 
6601   case PCRE_BSR_UNICODE:
6602   md->bsr_anycrlf = FALSE;
6603   break;
6604 
6605   default: return PCRE_ERROR_BADNEWLINE;
6606   }
6607 
6608 /* Handle different types of newline. The three bits give eight cases. If
6609 nothing is set at run time, whatever was used at compile time applies. */
6610 
6611 switch ((((options & PCRE_NEWLINE_BITS) == 0)? re->options :
6612         (pcre_uint32)options) & PCRE_NEWLINE_BITS)
6613   {
6614   case 0: newline = NEWLINE; break;   /* Compile-time default */
6615   case PCRE_NEWLINE_CR: newline = CHAR_CR; break;
6616   case PCRE_NEWLINE_LF: newline = CHAR_NL; break;
6617   case PCRE_NEWLINE_CR+
6618        PCRE_NEWLINE_LF: newline = (CHAR_CR << 8) | CHAR_NL; break;
6619   case PCRE_NEWLINE_ANY: newline = -1; break;
6620   case PCRE_NEWLINE_ANYCRLF: newline = -2; break;
6621   default: return PCRE_ERROR_BADNEWLINE;
6622   }
6623 
6624 if (newline == -2)
6625   {
6626   md->nltype = NLTYPE_ANYCRLF;
6627   }
6628 else if (newline < 0)
6629   {
6630   md->nltype = NLTYPE_ANY;
6631   }
6632 else
6633   {
6634   md->nltype = NLTYPE_FIXED;
6635   if (newline > 255)
6636     {
6637     md->nllen = 2;
6638     md->nl[0] = (newline >> 8) & 255;
6639     md->nl[1] = newline & 255;
6640     }
6641   else
6642     {
6643     md->nllen = 1;
6644     md->nl[0] = newline;
6645     }
6646   }
6647 
6648 /* Partial matching was originally supported only for a restricted set of
6649 regexes; from release 8.00 there are no restrictions, but the bits are still
6650 defined (though never set). So there's no harm in leaving this code. */
6651 
6652 if (md->partial && (re->flags & PCRE_NOPARTIAL) != 0)
6653   return PCRE_ERROR_BADPARTIAL;
6654 
6655 /* If the expression has got more back references than the offsets supplied can
6656 hold, we get a temporary chunk of working store to use during the matching.
6657 Otherwise, we can use the vector supplied, rounding down its size to a multiple
6658 of 3. */
6659 
6660 ocount = offsetcount - (offsetcount % 3);
6661 arg_offset_max = (2*ocount)/3;
6662 
6663 if (re->top_backref > 0 && re->top_backref >= ocount/3)
6664   {
6665   ocount = re->top_backref * 3 + 3;
6666   md->offset_vector = (int *)(PUBL(malloc))(ocount * sizeof(int));
6667   if (md->offset_vector == NULL) return PCRE_ERROR_NOMEMORY;
6668   using_temporary_offsets = TRUE;
6669   DPRINTF(("Got memory to hold back references\n"));
6670   }
6671 else md->offset_vector = offsets;
6672 md->offset_end = ocount;
6673 md->offset_max = (2*ocount)/3;
6674 md->capture_last = 0;
6675 
6676 /* Reset the working variable associated with each extraction. These should
6677 never be used unless previously set, but they get saved and restored, and so we
6678 initialize them to avoid reading uninitialized locations. Also, unset the
6679 offsets for the matched string. This is really just for tidiness with callouts,
6680 in case they inspect these fields. */
6681 
6682 if (md->offset_vector != NULL)
6683   {
6684   register int *iptr = md->offset_vector + ocount;
6685   register int *iend = iptr - re->top_bracket;
6686   if (iend < md->offset_vector + 2) iend = md->offset_vector + 2;
6687   while (--iptr >= iend) *iptr = -1;
6688   if (offsetcount > 0) md->offset_vector[0] = -1;
6689   if (offsetcount > 1) md->offset_vector[1] = -1;
6690   }
6691 
6692 /* Set up the first character to match, if available. The first_char value is
6693 never set for an anchored regular expression, but the anchoring may be forced
6694 at run time, so we have to test for anchoring. The first char may be unset for
6695 an unanchored pattern, of course. If there's no first char and the pattern was
6696 studied, there may be a bitmap of possible first characters. */
6697 
6698 if (!anchored)
6699   {
6700   if ((re->flags & PCRE_FIRSTSET) != 0)
6701     {
6702     has_first_char = TRUE;
6703     first_char = first_char2 = (pcre_uchar)(re->first_char);
6704     if ((re->flags & PCRE_FCH_CASELESS) != 0)
6705       {
6706       first_char2 = TABLE_GET(first_char, md->fcc, first_char);
6707 #if defined SUPPORT_UCP && !(defined COMPILE_PCRE8)
6708       if (utf && first_char > 127)
6709         first_char2 = UCD_OTHERCASE(first_char);
6710 #endif
6711       }
6712     }
6713   else
6714     if (!startline && study != NULL &&
6715       (study->flags & PCRE_STUDY_MAPPED) != 0)
6716         start_bits = study->start_bits;
6717   }
6718 
6719 /* For anchored or unanchored matches, there may be a "last known required
6720 character" set. */
6721 
6722 if ((re->flags & PCRE_REQCHSET) != 0)
6723   {
6724   has_req_char = TRUE;
6725   req_char = req_char2 = (pcre_uchar)(re->req_char);
6726   if ((re->flags & PCRE_RCH_CASELESS) != 0)
6727     {
6728     req_char2 = TABLE_GET(req_char, md->fcc, req_char);
6729 #if defined SUPPORT_UCP && !(defined COMPILE_PCRE8)
6730     if (utf && req_char > 127)
6731       req_char2 = UCD_OTHERCASE(req_char);
6732 #endif
6733     }
6734   }
6735 
6736 
6737 /* ==========================================================================*/
6738 
6739 /* Loop for handling unanchored repeated matching attempts; for anchored regexs
6740 the loop runs just once. */
6741 
6742 for(;;)
6743   {
6744   PCRE_PUCHAR save_end_subject = end_subject;
6745   PCRE_PUCHAR new_start_match;
6746 
6747   /* If firstline is TRUE, the start of the match is constrained to the first
6748   line of a multiline string. That is, the match must be before or at the first
6749   newline. Implement this by temporarily adjusting end_subject so that we stop
6750   scanning at a newline. If the match fails at the newline, later code breaks
6751   this loop. */
6752 
6753   if (firstline)
6754     {
6755     PCRE_PUCHAR t = start_match;
6756 #ifdef SUPPORT_UTF
6757     if (utf)
6758       {
6759       while (t < md->end_subject && !IS_NEWLINE(t))
6760         {
6761         t++;
6762         ACROSSCHAR(t < end_subject, *t, t++);
6763         }
6764       }
6765     else
6766 #endif
6767     while (t < md->end_subject && !IS_NEWLINE(t)) t++;
6768     end_subject = t;
6769     }
6770 
6771   /* There are some optimizations that avoid running the match if a known
6772   starting point is not found, or if a known later character is not present.
6773   However, there is an option that disables these, for testing and for ensuring
6774   that all callouts do actually occur. The option can be set in the regex by
6775   (*NO_START_OPT) or passed in match-time options. */
6776 
6777   if (((options | re->options) & PCRE_NO_START_OPTIMIZE) == 0)
6778     {
6779     /* Advance to a unique first char if there is one. */
6780 
6781     if (has_first_char)
6782       {
6783       pcre_uchar smc;
6784 
6785       if (first_char != first_char2)
6786         while (start_match < end_subject &&
6787           (smc = UCHAR21TEST(start_match)) != first_char && smc != first_char2)
6788           start_match++;
6789       else
6790         while (start_match < end_subject && UCHAR21TEST(start_match) != first_char)
6791           start_match++;
6792       }
6793 
6794     /* Or to just after a linebreak for a multiline match */
6795 
6796     else if (startline)
6797       {
6798       if (start_match > md->start_subject + start_offset)
6799         {
6800 #ifdef SUPPORT_UTF
6801         if (utf)
6802           {
6803           while (start_match < end_subject && !WAS_NEWLINE(start_match))
6804             {
6805             start_match++;
6806             ACROSSCHAR(start_match < end_subject, *start_match,
6807               start_match++);
6808             }
6809           }
6810         else
6811 #endif
6812         while (start_match < end_subject && !WAS_NEWLINE(start_match))
6813           start_match++;
6814 
6815         /* If we have just passed a CR and the newline option is ANY or ANYCRLF,
6816         and we are now at a LF, advance the match position by one more character.
6817         */
6818 
6819         if (start_match[-1] == CHAR_CR &&
6820              (md->nltype == NLTYPE_ANY || md->nltype == NLTYPE_ANYCRLF) &&
6821              start_match < end_subject &&
6822              UCHAR21TEST(start_match) == CHAR_NL)
6823           start_match++;
6824         }
6825       }
6826 
6827     /* Or to a non-unique first byte after study */
6828 
6829     else if (start_bits != NULL)
6830       {
6831       while (start_match < end_subject)
6832         {
6833         register pcre_uint32 c = UCHAR21TEST(start_match);
6834 #ifndef COMPILE_PCRE8
6835         if (c > 255) c = 255;
6836 #endif
6837         if ((start_bits[c/8] & (1 << (c&7))) != 0) break;
6838         start_match++;
6839         }
6840       }
6841     }   /* Starting optimizations */
6842 
6843   /* Restore fudged end_subject */
6844 
6845   end_subject = save_end_subject;
6846 
6847   /* The following two optimizations are disabled for partial matching or if
6848   disabling is explicitly requested. */
6849 
6850   if (((options | re->options) & PCRE_NO_START_OPTIMIZE) == 0 && !md->partial)
6851     {
6852     /* If the pattern was studied, a minimum subject length may be set. This is
6853     a lower bound; no actual string of that length may actually match the
6854     pattern. Although the value is, strictly, in characters, we treat it as
6855     bytes to avoid spending too much time in this optimization. */
6856 
6857     if (study != NULL && (study->flags & PCRE_STUDY_MINLEN) != 0 &&
6858         (pcre_uint32)(end_subject - start_match) < study->minlength)
6859       {
6860       rc = MATCH_NOMATCH;
6861       break;
6862       }
6863 
6864     /* If req_char is set, we know that that character must appear in the
6865     subject for the match to succeed. If the first character is set, req_char
6866     must be later in the subject; otherwise the test starts at the match point.
6867     This optimization can save a huge amount of backtracking in patterns with
6868     nested unlimited repeats that aren't going to match. Writing separate code
6869     for cased/caseless versions makes it go faster, as does using an
6870     autoincrement and backing off on a match.
6871 
6872     HOWEVER: when the subject string is very, very long, searching to its end
6873     can take a long time, and give bad performance on quite ordinary patterns.
6874     This showed up when somebody was matching something like /^\d+C/ on a
6875     32-megabyte string... so we don't do this when the string is sufficiently
6876     long. */
6877 
6878     if (has_req_char && end_subject - start_match < REQ_BYTE_MAX)
6879       {
6880       register PCRE_PUCHAR p = start_match + (has_first_char? 1:0);
6881 
6882       /* We don't need to repeat the search if we haven't yet reached the
6883       place we found it at last time. */
6884 
6885       if (p > req_char_ptr)
6886         {
6887         if (req_char != req_char2)
6888           {
6889           while (p < end_subject)
6890             {
6891             register pcre_uint32 pp = UCHAR21INCTEST(p);
6892             if (pp == req_char || pp == req_char2) { p--; break; }
6893             }
6894           }
6895         else
6896           {
6897           while (p < end_subject)
6898             {
6899             if (UCHAR21INCTEST(p) == req_char) { p--; break; }
6900             }
6901           }
6902 
6903         /* If we can't find the required character, break the matching loop,
6904         forcing a match failure. */
6905 
6906         if (p >= end_subject)
6907           {
6908           rc = MATCH_NOMATCH;
6909           break;
6910           }
6911 
6912         /* If we have found the required character, save the point where we
6913         found it, so that we don't search again next time round the loop if
6914         the start hasn't passed this character yet. */
6915 
6916         req_char_ptr = p;
6917         }
6918       }
6919     }
6920 
6921 #ifdef PCRE_DEBUG  /* Sigh. Some compilers never learn. */
6922   printf(">>>> Match against: ");
6923   pchars(start_match, end_subject - start_match, TRUE, md);
6924   printf("\n");
6925 #endif
6926 
6927   /* OK, we can now run the match. If "hitend" is set afterwards, remember the
6928   first starting point for which a partial match was found. */
6929 
6930   md->start_match_ptr = start_match;
6931   md->start_used_ptr = start_match;
6932   md->match_call_count = 0;
6933   md->match_function_type = 0;
6934   md->end_offset_top = 0;
6935   md->skip_arg_count = 0;
6936   rc = match(start_match, md->start_code, start_match, 2, md, NULL, 0);
6937   if (md->hitend && start_partial == NULL)
6938     {
6939     start_partial = md->start_used_ptr;
6940     match_partial = start_match;
6941     }
6942 
6943   switch(rc)
6944     {
6945     /* If MATCH_SKIP_ARG reaches this level it means that a MARK that matched
6946     the SKIP's arg was not found. In this circumstance, Perl ignores the SKIP
6947     entirely. The only way we can do that is to re-do the match at the same
6948     point, with a flag to force SKIP with an argument to be ignored. Just
6949     treating this case as NOMATCH does not work because it does not check other
6950     alternatives in patterns such as A(*SKIP:A)B|AC when the subject is AC. */
6951 
6952     case MATCH_SKIP_ARG:
6953     new_start_match = start_match;
6954     md->ignore_skip_arg = md->skip_arg_count;
6955     break;
6956 
6957     /* SKIP passes back the next starting point explicitly, but if it is no
6958     greater than the match we have just done, treat it as NOMATCH. */
6959 
6960     case MATCH_SKIP:
6961     if (md->start_match_ptr > start_match)
6962       {
6963       new_start_match = md->start_match_ptr;
6964       break;
6965       }
6966     /* Fall through */
6967 
6968     /* NOMATCH and PRUNE advance by one character. THEN at this level acts
6969     exactly like PRUNE. Unset ignore SKIP-with-argument. */
6970 
6971     case MATCH_NOMATCH:
6972     case MATCH_PRUNE:
6973     case MATCH_THEN:
6974     md->ignore_skip_arg = 0;
6975     new_start_match = start_match + 1;
6976 #ifdef SUPPORT_UTF
6977     if (utf)
6978       ACROSSCHAR(new_start_match < end_subject, *new_start_match,
6979         new_start_match++);
6980 #endif
6981     break;
6982 
6983     /* COMMIT disables the bumpalong, but otherwise behaves as NOMATCH. */
6984 
6985     case MATCH_COMMIT:
6986     rc = MATCH_NOMATCH;
6987     goto ENDLOOP;
6988 
6989     /* Any other return is either a match, or some kind of error. */
6990 
6991     default:
6992     goto ENDLOOP;
6993     }
6994 
6995   /* Control reaches here for the various types of "no match at this point"
6996   result. Reset the code to MATCH_NOMATCH for subsequent checking. */
6997 
6998   rc = MATCH_NOMATCH;
6999 
7000   /* If PCRE_FIRSTLINE is set, the match must happen before or at the first
7001   newline in the subject (though it may continue over the newline). Therefore,
7002   if we have just failed to match, starting at a newline, do not continue. */
7003 
7004   if (firstline && IS_NEWLINE(start_match)) break;
7005 
7006   /* Advance to new matching position */
7007 
7008   start_match = new_start_match;
7009 
7010   /* Break the loop if the pattern is anchored or if we have passed the end of
7011   the subject. */
7012 
7013   if (anchored || start_match > end_subject) break;
7014 
7015   /* If we have just passed a CR and we are now at a LF, and the pattern does
7016   not contain any explicit matches for \r or \n, and the newline option is CRLF
7017   or ANY or ANYCRLF, advance the match position by one more character. In
7018   normal matching start_match will aways be greater than the first position at
7019   this stage, but a failed *SKIP can cause a return at the same point, which is
7020   why the first test exists. */
7021 
7022   if (start_match > (PCRE_PUCHAR)subject + start_offset &&
7023       start_match[-1] == CHAR_CR &&
7024       start_match < end_subject &&
7025       *start_match == CHAR_NL &&
7026       (re->flags & PCRE_HASCRORLF) == 0 &&
7027         (md->nltype == NLTYPE_ANY ||
7028          md->nltype == NLTYPE_ANYCRLF ||
7029          md->nllen == 2))
7030     start_match++;
7031 
7032   md->mark = NULL;   /* Reset for start of next match attempt */
7033   }                  /* End of for(;;) "bumpalong" loop */
7034 
7035 /* ==========================================================================*/
7036 
7037 /* We reach here when rc is not MATCH_NOMATCH, or if one of the stopping
7038 conditions is true:
7039 
7040 (1) The pattern is anchored or the match was failed by (*COMMIT);
7041 
7042 (2) We are past the end of the subject;
7043 
7044 (3) PCRE_FIRSTLINE is set and we have failed to match at a newline, because
7045     this option requests that a match occur at or before the first newline in
7046     the subject.
7047 
7048 When we have a match and the offset vector is big enough to deal with any
7049 backreferences, captured substring offsets will already be set up. In the case
7050 where we had to get some local store to hold offsets for backreference
7051 processing, copy those that we can. In this case there need not be overflow if
7052 certain parts of the pattern were not used, even though there are more
7053 capturing parentheses than vector slots. */
7054 
7055 ENDLOOP:
7056 
7057 if (rc == MATCH_MATCH || rc == MATCH_ACCEPT)
7058   {
7059   if (using_temporary_offsets)
7060     {
7061     if (arg_offset_max >= 4)
7062       {
7063       memcpy(offsets + 2, md->offset_vector + 2,
7064         (arg_offset_max - 2) * sizeof(int));
7065       DPRINTF(("Copied offsets from temporary memory\n"));
7066       }
7067     if (md->end_offset_top > arg_offset_max) md->capture_last |= OVFLBIT;
7068     DPRINTF(("Freeing temporary memory\n"));
7069     (PUBL(free))(md->offset_vector);
7070     }
7071 
7072   /* Set the return code to the number of captured strings, or 0 if there were
7073   too many to fit into the vector. */
7074 
7075   rc = ((md->capture_last & OVFLBIT) != 0 &&
7076          md->end_offset_top >= arg_offset_max)?
7077     0 : md->end_offset_top/2;
7078 
7079   /* If there is space in the offset vector, set any unused pairs at the end of
7080   the pattern to -1 for backwards compatibility. It is documented that this
7081   happens. In earlier versions, the whole set of potential capturing offsets
7082   was set to -1 each time round the loop, but this is handled differently now.
7083   "Gaps" are set to -1 dynamically instead (this fixes a bug). Thus, it is only
7084   those at the end that need unsetting here. We can't just unset them all at
7085   the start of the whole thing because they may get set in one branch that is
7086   not the final matching branch. */
7087 
7088   if (md->end_offset_top/2 <= re->top_bracket && offsets != NULL)
7089     {
7090     register int *iptr, *iend;
7091     int resetcount = 2 + re->top_bracket * 2;
7092     if (resetcount > offsetcount) resetcount = offsetcount;
7093     iptr = offsets + md->end_offset_top;
7094     iend = offsets + resetcount;
7095     while (iptr < iend) *iptr++ = -1;
7096     }
7097 
7098   /* If there is space, set up the whole thing as substring 0. The value of
7099   md->start_match_ptr might be modified if \K was encountered on the success
7100   matching path. */
7101 
7102   if (offsetcount < 2) rc = 0; else
7103     {
7104     offsets[0] = (int)(md->start_match_ptr - md->start_subject);
7105     offsets[1] = (int)(md->end_match_ptr - md->start_subject);
7106     }
7107 
7108   /* Return MARK data if requested */
7109 
7110   if (extra_data != NULL && (extra_data->flags & PCRE_EXTRA_MARK) != 0)
7111     *(extra_data->mark) = (pcre_uchar *)md->mark;
7112   DPRINTF((">>>> returning %d\n", rc));
7113 #ifdef NO_RECURSE
7114   release_match_heapframes(&frame_zero);
7115 #endif
7116   return rc;
7117   }
7118 
7119 /* Control gets here if there has been an error, or if the overall match
7120 attempt has failed at all permitted starting positions. */
7121 
7122 if (using_temporary_offsets)
7123   {
7124   DPRINTF(("Freeing temporary memory\n"));
7125   (PUBL(free))(md->offset_vector);
7126   }
7127 
7128 /* For anything other than nomatch or partial match, just return the code. */
7129 
7130 if (rc != MATCH_NOMATCH && rc != PCRE_ERROR_PARTIAL)
7131   {
7132   DPRINTF((">>>> error: returning %d\n", rc));
7133 #ifdef NO_RECURSE
7134   release_match_heapframes(&frame_zero);
7135 #endif
7136   return rc;
7137   }
7138 
7139 /* Handle partial matches - disable any mark data */
7140 
7141 if (match_partial != NULL)
7142   {
7143   DPRINTF((">>>> returning PCRE_ERROR_PARTIAL\n"));
7144   md->mark = NULL;
7145   if (offsetcount > 1)
7146     {
7147     offsets[0] = (int)(start_partial - (PCRE_PUCHAR)subject);
7148     offsets[1] = (int)(end_subject - (PCRE_PUCHAR)subject);
7149     if (offsetcount > 2)
7150       offsets[2] = (int)(match_partial - (PCRE_PUCHAR)subject);
7151     }
7152   rc = PCRE_ERROR_PARTIAL;
7153   }
7154 
7155 /* This is the classic nomatch case */
7156 
7157 else
7158   {
7159   DPRINTF((">>>> returning PCRE_ERROR_NOMATCH\n"));
7160   rc = PCRE_ERROR_NOMATCH;
7161   }
7162 
7163 /* Return the MARK data if it has been requested. */
7164 
7165 if (extra_data != NULL && (extra_data->flags & PCRE_EXTRA_MARK) != 0)
7166   *(extra_data->mark) = (pcre_uchar *)md->nomatch_mark;
7167 #ifdef NO_RECURSE
7168   release_match_heapframes(&frame_zero);
7169 #endif
7170 return rc;
7171 }
7172 
7173 /* End of pcre_exec.c */
7174