regcomp.c

   1 /*    regcomp.c
   2  */
   3
   4 /*
   5  * "A fair jaw-cracker dwarf-language must be."  --Samwise Gamgee
   6  */
   7
   8 /* NOTE: this is derived from Henry Spencer's regexp code, and should not
   9  * confused with the original package (see point 3 below).  Thanks, Henry!
  10  */
  11
  12 /* Additional note: this code is very heavily munged from Henry's version
  13  * in places.  In some spots I've traded clarity for efficiency, so don't
  14  * blame Henry for some of the lack of readability.
  15  */
  16
  17 /* The names of the functions have been changed from regcomp and
  18  * regexec to  pregcomp and pregexec in order to avoid conflicts
  19  * with the POSIX routines of the same names.
  20 */
  21
  22 #ifdef PERL_EXT_RE_BUILD
  23 /* need to replace pregcomp et al, so enable that */
  24 #  ifndef PERL_IN_XSUB_RE
  25 #    define PERL_IN_XSUB_RE
  26 #  endif
  27 /* need access to debugger hooks */
  28 #  ifndef DEBUGGING
  29 #    define DEBUGGING
  30 #  endif
  31 #endif
  32
  33 #ifdef PERL_IN_XSUB_RE
  34 /* We *really* need to overwrite these symbols: */
  35 #  define Perl_pregcomp my_regcomp
  36 #  define Perl_regdump my_regdump
  37 #  define Perl_regprop my_regprop
  38 /* *These* symbols are masked to allow static link. */
  39 #  define Perl_pregfree my_regfree
  40 #  define Perl_regnext my_regnext
  41 #  define save_re_context my_save_re_context
  42 #endif
  43
  44 /*SUPPRESS 112*/
  45 /*
  46  * pregcomp and pregexec -- regsub and regerror are not used in perl
  47  *
  48  *      Copyright (c) 1986 by University of Toronto.
  49  *      Written by Henry Spencer.  Not derived from licensed software.
  50  *
  51  *      Permission is granted to anyone to use this software for any
  52  *      purpose on any computer system, and to redistribute it freely,
  53  *      subject to the following restrictions:
  54  *
  55  *      1. The author is not responsible for the consequences of use of
  56  *              this software, no matter how awful, even if they arise
  57  *              from defects in it.
  58  *
  59  *      2. The origin of this software must not be misrepresented, either
  60  *              by explicit claim or by omission.
  61  *
  62  *      3. Altered versions must be plainly marked as such, and must not
  63  *              be misrepresented as being the original software.
  64  *
  65  *
  66  ****    Alterations to Henry's code are...
  67  ****
  68  ****    Copyright (c) 1991-1998, Larry Wall
  69  ****
  70  ****    You may distribute under the terms of either the GNU General Public
  71  ****    License or the Artistic License, as specified in the README file.
  72
  73  *
  74  * Beware that some of this code is subtly aware of the way operator
  75  * precedence is structured in regular expressions.  Serious changes in
  76  * regular-expression syntax might require a total rethink.
  77  */
  78 #include "EXTERN.h"
  79 #include "perl.h"
  80
  81 #ifndef PERL_IN_XSUB_RE
  82 #  include "INTERN.h"
  83 #endif
  84
  85 #define REG_COMP_C
  86 #include "regcomp.h"
  87
  88 #ifdef op
  89 #undef op
  90 #endif /* op */
  91
  92 #ifdef MSDOS
  93 # if defined(BUGGY_MSC6)
  94  /* MSC 6.00A breaks on op/regexp.t test 85 unless we turn this off */
  95  # pragma optimize("a",off)
  96  /* But MSC 6.00A is happy with 'w', for aliases only across function calls*/
  97  # pragma optimize("w",on )
  98 # endif /* BUGGY_MSC6 */
  99 #endif /* MSDOS */
 100
 101 #ifndef STATIC
 102 #define STATIC  static
 103 #endif
 104
 105 #define ISMULT1(c)      ((c) == '*' || (c) == '+' || (c) == '?')
 106 #define ISMULT2(s)      ((*s) == '*' || (*s) == '+' || (*s) == '?' || \
 107         ((*s) == '{' && regcurly(s)))
 108 #ifdef atarist
 109 #define PERL_META       "^$.[()|?+*\\"
 110 #else
 111 #define META    "^$.[()|?+*\\"
 112 #endif
 113
 114 #ifdef SPSTART
 115 #undef SPSTART          /* dratted cpp namespace... */
 116 #endif
 117 /*
 118  * Flags to be passed up and down.
 119  */
 120 #define WORST           0       /* Worst case. */
 121 #define HASWIDTH        0x1     /* Known to match non-null strings. */
 122 #define SIMPLE          0x2     /* Simple enough to be STAR/PLUS operand. */
 123 #define SPSTART         0x4     /* Starts with * or +. */
 124 #define TRYAGAIN        0x8     /* Weeded out a declaration. */
 125
 126 /*
 127  * Forward declarations for pregcomp()'s friends.
 128  */
 129
 130 #ifndef PERL_OBJECT
 131 static regnode *reg _((I32, I32 *));
 132 static regnode *reganode _((U8, U32));
 133 static regnode *regatom _((I32 *));
 134 static regnode *regbranch _((I32 *, I32));
 135 static void regc _((U8, char *));
 136 static void reguni _((UV, char *, I32*));
 137 static regnode *regclass _((void));
 138 static regnode *regclassutf8 _((void));
 139 STATIC I32 regcurly _((char *));
 140 static regnode *reg_node _((U8));
 141 static regnode *regpiece _((I32 *));
 142 static void reginsert _((U8, regnode *));
 143 static void regoptail _((regnode *, regnode *));
 144 static void regtail _((regnode *, regnode *));
 145 static char* regwhite _((char *, char *));
 146 static char* nextchar _((void));
 147 static void re_croak2 _((const char* pat1,const char* pat2,...)) __attribute__((noreturn));
 148 #endif
 149
 150 /* Length of a variant. */
 151
 152 #ifndef PERL_OBJECT
 153 typedef struct {
 154     I32 len_min;
 155     I32 len_delta;
 156     I32 pos_min;                        /* CC */
 157     I32 pos_delta;                      /* CC */
 158     SV *last_found;
 159     I32 last_end;                       /* min value, <0 unless valid. */
 160     I32 last_start_min;                 /* CC */
 161     I32 last_start_max;                 /* CC */
 162     SV **longest;                       /* Either &l_fixed, or &l_float. */
 163     SV *longest_fixed;
 164     I32 offset_fixed;                   /* CC */
 165     SV *longest_float;
 166     I32 offset_float_min;               /* CC */
 167     I32 offset_float_max;               /* CC */
 168     I32 flags;
 169 } scan_data_t;
 170 #endif
 171
 172 static scan_data_t zero_scan_data = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
 173
 174 #define SF_BEFORE_EOL           (SF_BEFORE_SEOL|SF_BEFORE_MEOL)
 175 #define SF_BEFORE_SEOL          0x1
 176 #define SF_BEFORE_MEOL          0x2
 177 #define SF_FIX_BEFORE_EOL       (SF_FIX_BEFORE_SEOL|SF_FIX_BEFORE_MEOL)
 178 #define SF_FL_BEFORE_EOL        (SF_FL_BEFORE_SEOL|SF_FL_BEFORE_MEOL)
 179
 180 #ifdef NO_UNARY_PLUS
 181 #  define SF_FIX_SHIFT_EOL      (0+2)
 182 #  define SF_FL_SHIFT_EOL               (0+4)
 183 #else
 184 #  define SF_FIX_SHIFT_EOL      (+2)
 185 #  define SF_FL_SHIFT_EOL               (+4)
 186 #endif
 187
 188 #define SF_FIX_BEFORE_SEOL      (SF_BEFORE_SEOL << SF_FIX_SHIFT_EOL)
 189 #define SF_FIX_BEFORE_MEOL      (SF_BEFORE_MEOL << SF_FIX_SHIFT_EOL)
 190
 191 #define SF_FL_BEFORE_SEOL       (SF_BEFORE_SEOL << SF_FL_SHIFT_EOL)
 192 #define SF_FL_BEFORE_MEOL       (SF_BEFORE_MEOL << SF_FL_SHIFT_EOL) /* 0x20 */
 193 #define SF_IS_INF               0x40
 194 #define SF_HAS_PAR              0x80
 195 #define SF_IN_PAR               0x100
 196 #define SF_HAS_EVAL             0x200
 197 #define SCF_DO_SUBSTR           0x400
 198
 199 #define RF_utf8         8
 200 #define UTF (PL_reg_flags & RF_utf8)
 201 #define LOC (PL_regflags & PMf_LOCALE)
 202 #define FOLD (PL_regflags & PMf_FOLD)
 203
 204 #define CHR_SVLEN(sv) (UTF ? sv_len_utf8(sv) : SvCUR(sv))
 205 #define CHR_DIST(a,b) (UTF ? utf8_distance(a,b) : a - b)
 206
 207 STATIC void
 208 scan_commit(scan_data_t *data)
 209 {
 210     dTHR;
 211     STRLEN l = CHR_SVLEN(data->last_found);
 212     STRLEN old_l = CHR_SVLEN(*data->longest);
 213
 214     if ((l >= old_l) && ((l > old_l) || (data->flags & SF_BEFORE_EOL))) {
 215         sv_setsv(*data->longest, data->last_found);
 216         if (*data->longest == data->longest_fixed) {
 217             data->offset_fixed = l ? data->last_start_min : data->pos_min;
 218             if (data->flags & SF_BEFORE_EOL)
 219                 data->flags
 220                     |= ((data->flags & SF_BEFORE_EOL) << SF_FIX_SHIFT_EOL);
 221             else
 222                 data->flags &= ~SF_FIX_BEFORE_EOL;
 223         }
 224         else {
 225             data->offset_float_min = l ? data->last_start_min : data->pos_min;
 226             data->offset_float_max = (l
 227                                       ? data->last_start_max
 228                                       : data->pos_min + data->pos_delta);
 229             if (data->flags & SF_BEFORE_EOL)
 230                 data->flags
 231                     |= ((data->flags & SF_BEFORE_EOL) << SF_FL_SHIFT_EOL);
 232             else
 233                 data->flags &= ~SF_FL_BEFORE_EOL;
 234         }
 235     }
 236     SvCUR_set(data->last_found, 0);
 237     data->last_end = -1;
 238     data->flags &= ~SF_BEFORE_EOL;
 239 }
 240
 241 /* Stops at toplevel WHILEM as well as at `last'. At end *scanp is set
 242    to the position after last scanned or to NULL. */
 243
 244 STATIC I32
 245 study_chunk(regnode **scanp, I32 *deltap, regnode *last, scan_data_t *data, U32 flags)
 246                         /* scanp: Start here (read-write). */
 247                         /* deltap: Write maxlen-minlen here. */
 248                         /* last: Stop before this one. */
 249 {
 250     dTHR;
 251     I32 min = 0, pars = 0, code;
 252     regnode *scan = *scanp, *next;
 253     I32 delta = 0;
 254     int is_inf = (flags & SCF_DO_SUBSTR) && (data->flags & SF_IS_INF);
 255     int is_inf_internal = 0;            /* The studied chunk is infinite */
 256     I32 is_par = OP(scan) == OPEN ? ARG(scan) : 0;
 257     scan_data_t data_fake;
 258
 259     while (scan && OP(scan) != END && scan < last) {
 260         /* Peephole optimizer: */
 261
 262         if (regkind[(U8)OP(scan)] == EXACT) {
 263             regnode *n = regnext(scan);
 264             U32 stringok = 1;
 265 #ifdef DEBUGGING
 266             regnode *stop = scan;
 267 #endif
 268
 269             next = scan + (*OPERAND(scan) + 2 - 1)/sizeof(regnode) + 2;
 270             /* Skip NOTHING, merge EXACT*. */
 271             while (n &&
 272                    ( regkind[(U8)OP(n)] == NOTHING ||
 273                      (stringok && (OP(n) == OP(scan))))
 274                    && NEXT_OFF(n)
 275                    && NEXT_OFF(scan) + NEXT_OFF(n) < I16_MAX) {
 276                 if (OP(n) == TAIL || n > next)
 277                     stringok = 0;
 278                 if (regkind[(U8)OP(n)] == NOTHING) {
 279                     NEXT_OFF(scan) += NEXT_OFF(n);
 280                     next = n + NODE_STEP_REGNODE;
 281 #ifdef DEBUGGING
 282                     if (stringok)
 283                         stop = n;
 284 #endif
 285                     n = regnext(n);
 286                 }
 287                 else {
 288                     int oldl = *OPERAND(scan);
 289                     regnode *nnext = regnext(n);
 290
 291                     if (oldl + *OPERAND(n) > U8_MAX)
 292                         break;
 293                     NEXT_OFF(scan) += NEXT_OFF(n);
 294                     *OPERAND(scan) += *OPERAND(n);
 295                     next = n + (*OPERAND(n) + 2 - 1)/sizeof(regnode) + 2;
 296                     /* Now we can overwrite *n : */
 297                     Move(OPERAND(n) + 1, OPERAND(scan) + oldl + 1,
 298                          *OPERAND(n) + 1, char);
 299 #ifdef DEBUGGING
 300                     if (stringok)
 301                         stop = next - 1;
 302 #endif
 303                     n = nnext;
 304                 }
 305             }
 306 #ifdef DEBUGGING
 307             /* Allow dumping */
 308             n = scan + (*OPERAND(scan) + 2 - 1)/sizeof(regnode) + 2;
 309             while (n <= stop) {
 310                 /* Purify reports a benign UMR here sometimes, because we
 311                  * don't initialize the OP() slot of a node when that node
 312                  * is occupied by just the trailing null of the string in
 313                  * an EXACT node */
 314                 if (regkind[(U8)OP(n)] != NOTHING || OP(n) == NOTHING) {
 315                     OP(n) = OPTIMIZED;
 316                     NEXT_OFF(n) = 0;
 317                 }
 318                 n++;
 319             }
 320 #endif
 321
 322         }
 323         if (OP(scan) != CURLYX) {
 324             int max = (reg_off_by_arg[OP(scan)]
 325                        ? I32_MAX
 326                        /* I32 may be smaller than U16 on CRAYs! */
 327                        : (I32_MAX < U16_MAX ? I32_MAX : U16_MAX));
 328             int off = (reg_off_by_arg[OP(scan)] ? ARG(scan) : NEXT_OFF(scan));
 329             int noff;
 330             regnode *n = scan;
 331
 332             /* Skip NOTHING and LONGJMP. */
 333             while ((n = regnext(n))
 334                    && ((regkind[(U8)OP(n)] == NOTHING && (noff = NEXT_OFF(n)))
 335                        || ((OP(n) == LONGJMP) && (noff = ARG(n))))
 336                    && off + noff < max)
 337                 off += noff;
 338             if (reg_off_by_arg[OP(scan)])
 339                 ARG(scan) = off;
 340             else
 341                 NEXT_OFF(scan) = off;
 342         }
 343         if (OP(scan) == BRANCH || OP(scan) == BRANCHJ
 344                    || OP(scan) == IFTHEN || OP(scan) == SUSPEND) {
 345             next = regnext(scan);
 346             code = OP(scan);
 347
 348             if (OP(next) == code || code == IFTHEN || code == SUSPEND) {
 349                 I32 max1 = 0, min1 = I32_MAX, num = 0;
 350
 351                 if (flags & SCF_DO_SUBSTR)
 352                     scan_commit(data);
 353                 while (OP(scan) == code) {
 354                     I32 deltanext, minnext;
 355
 356                     num++;
 357                     data_fake.flags = 0;
 358                     next = regnext(scan);
 359                     scan = NEXTOPER(scan);
 360                     if (code != BRANCH)
 361                         scan = NEXTOPER(scan);
 362                     /* We suppose the run is continuous, last=next...*/
 363                     minnext = study_chunk(&scan, &deltanext, next,
 364                                           &data_fake, 0);
 365                     if (min1 > minnext)
 366                         min1 = minnext;
 367                     if (max1 < minnext + deltanext)
 368                         max1 = minnext + deltanext;
 369                     if (deltanext == I32_MAX)
 370                         is_inf = is_inf_internal = 1;
 371                     scan = next;
 372                     if (data_fake.flags & (SF_HAS_PAR|SF_IN_PAR))
 373                         pars++;
 374                     if (data && (data_fake.flags & SF_HAS_EVAL))
 375                         data->flags |= SF_HAS_EVAL;
 376                     if (code == SUSPEND)
 377                         break;
 378                 }
 379                 if (code == IFTHEN && num < 2) /* Empty ELSE branch */
 380                     min1 = 0;
 381                 if (flags & SCF_DO_SUBSTR) {
 382                     data->pos_min += min1;
 383                     data->pos_delta += max1 - min1;
 384                     if (max1 != min1 || is_inf)
 385                         data->longest = &(data->longest_float);
 386                 }
 387                 min += min1;
 388                 delta += max1 - min1;
 389             }
 390             else if (code == BRANCHJ)   /* single branch is optimized. */
 391                 scan = NEXTOPER(NEXTOPER(scan));
 392             else                        /* single branch is optimized. */
 393                 scan = NEXTOPER(scan);
 394             continue;
 395         }
 396         else if (OP(scan) == EXACT) {
 397             I32 l = *OPERAND(scan);
 398             if (UTF) {
 399                 unsigned char *s = (unsigned char *)(OPERAND(scan)+1);
 400                 unsigned char *e = s + l;
 401                 I32 newl = 0;
 402                 while (s < e) {
 403                     newl++;
 404                     s += UTF8SKIP(s);
 405                 }
 406                 l = newl;
 407             }
 408             min += l;
 409             if (flags & SCF_DO_SUBSTR) { /* Update longest substr. */
 410                 /* The code below prefers earlier match for fixed
 411                    offset, later match for variable offset.  */
 412                 if (data->last_end == -1) { /* Update the start info. */
 413                     data->last_start_min = data->pos_min;
 414                     data->last_start_max = is_inf
 415                         ? I32_MAX : data->pos_min + data->pos_delta;
 416                 }
 417                 sv_catpvn(data->last_found, (char *)(OPERAND(scan)+1), *OPERAND(scan));
 418                 data->last_end = data->pos_min + l;
 419                 data->pos_min += l; /* As in the first entry. */
 420                 data->flags &= ~SF_BEFORE_EOL;
 421             }
 422         }
 423         else if (regkind[(U8)OP(scan)] == EXACT) {
 424             I32 l = *OPERAND(scan);
 425             if (flags & SCF_DO_SUBSTR)
 426                 scan_commit(data);
 427             if (UTF) {
 428                 unsigned char *s = (unsigned char *)(OPERAND(scan)+1);
 429                 unsigned char *e = s + l;
 430                 I32 newl = 0;
 431                 while (s < e) {
 432                     newl++;
 433                     s += UTF8SKIP(s);
 434                 }
 435                 l = newl;
 436             }
 437             min += l;
 438             if (data && (flags & SCF_DO_SUBSTR))
 439                 data->pos_min += l;
 440         }
 441         else if (strchr(varies,OP(scan))) {
 442             I32 mincount, maxcount, minnext, deltanext, pos_before, fl;
 443             regnode *oscan = scan;
 444
 445             switch (regkind[(U8)OP(scan)]) {
 446             case WHILEM:
 447                 scan = NEXTOPER(scan);
 448                 goto finish;
 449             case PLUS:
 450                 if (flags & SCF_DO_SUBSTR) {
 451                     next = NEXTOPER(scan);
 452                     if (OP(next) == EXACT) {
 453                         mincount = 1;
 454                         maxcount = REG_INFTY;
 455                         next = regnext(scan);
 456                         scan = NEXTOPER(scan);
 457                         goto do_curly;
 458                     }
 459                 }
 460                 if (flags & SCF_DO_SUBSTR)
 461                     data->pos_min++;
 462                 min++;
 463                 /* Fall through. */
 464             case STAR:
 465                 is_inf = is_inf_internal = 1;
 466                 scan = regnext(scan);
 467                 if (flags & SCF_DO_SUBSTR) {
 468                     scan_commit(data);
 469                     data->longest = &(data->longest_float);
 470                 }
 471                 goto optimize_curly_tail;
 472             case CURLY:
 473                 mincount = ARG1(scan);
 474                 maxcount = ARG2(scan);
 475                 next = regnext(scan);
 476                 scan = NEXTOPER(scan) + EXTRA_STEP_2ARGS;
 477               do_curly:
 478                 if (flags & SCF_DO_SUBSTR) {
 479                     if (mincount == 0) scan_commit(data);
 480                     pos_before = data->pos_min;
 481                 }
 482                 if (data) {
 483                     fl = data->flags;
 484                     data->flags &= ~(SF_HAS_PAR|SF_IN_PAR|SF_HAS_EVAL);
 485                     if (is_inf)
 486                         data->flags |= SF_IS_INF;
 487                 }
 488                 /* This will finish on WHILEM, setting scan, or on NULL: */
 489                 minnext = study_chunk(&scan, &deltanext, last, data,
 490                                       mincount == 0
 491                                         ? (flags & ~SCF_DO_SUBSTR) : flags);
 492                 if (!scan)              /* It was not CURLYX, but CURLY. */
 493                     scan = next;
 494                 if (ckWARN(WARN_UNSAFE) && (minnext + deltanext == 0)
 495                     && !(data->flags & (SF_HAS_PAR|SF_IN_PAR))
 496                     && maxcount <= 10000) /* Complement check for big count */
 497                     warner(WARN_UNSAFE, "Strange *+?{} on zero-length expression");
 498                 min += minnext * mincount;
 499                 is_inf_internal |= (maxcount == REG_INFTY
 500                                     && (minnext + deltanext) > 0
 501                                    || deltanext == I32_MAX);
 502                 is_inf |= is_inf_internal;
 503                 delta += (minnext + deltanext) * maxcount - minnext * mincount;
 504
 505                 /* Try powerful optimization CURLYX => CURLYN. */
 506                 if (  OP(oscan) == CURLYX && data
 507                       && data->flags & SF_IN_PAR
 508                       && !(data->flags & SF_HAS_EVAL)
 509                       && !deltanext && minnext == 1 ) {
 510                     /* Try to optimize to CURLYN.  */
 511                     regnode *nxt = NEXTOPER(oscan) + EXTRA_STEP_2ARGS;
 512                     regnode *nxt1 = nxt, *nxt2;
 513
 514                     /* Skip open. */
 515                     nxt = regnext(nxt);
 516                     if (!strchr(simple,OP(nxt))
 517                         && !(regkind[(U8)OP(nxt)] == EXACT
 518                              && *OPERAND(nxt) == 1))
 519                         goto nogo;
 520                     nxt2 = nxt;
 521                     nxt = regnext(nxt);
 522                     if (OP(nxt) != CLOSE)
 523                         goto nogo;
 524                     /* Now we know that nxt2 is the only contents: */
 525                     oscan->flags = ARG(nxt);
 526                     OP(oscan) = CURLYN;
 527                     OP(nxt1) = NOTHING; /* was OPEN. */
 528 #ifdef DEBUGGING
 529                     OP(nxt1 + 1) = OPTIMIZED; /* was count. */
 530                     NEXT_OFF(nxt1+ 1) = 0; /* just for consistancy. */
 531                     NEXT_OFF(nxt2) = 0; /* just for consistancy with CURLY. */
 532                     OP(nxt) = OPTIMIZED;        /* was CLOSE. */
 533                     OP(nxt + 1) = OPTIMIZED; /* was count. */
 534                     NEXT_OFF(nxt+ 1) = 0; /* just for consistancy. */
 535 #endif
 536                 }
 537               nogo:
 538
 539                 /* Try optimization CURLYX => CURLYM. */
 540                 if (  OP(oscan) == CURLYX && data
 541                       && !(data->flags & SF_HAS_PAR)
 542                       && !(data->flags & SF_HAS_EVAL)
 543                       && !deltanext  ) {
 544                     /* XXXX How to optimize if data == 0? */
 545                     /* Optimize to a simpler form.  */
 546                     regnode *nxt = NEXTOPER(oscan) + EXTRA_STEP_2ARGS; /* OPEN */
 547                     regnode *nxt2;
 548
 549                     OP(oscan) = CURLYM;
 550                     while ( (nxt2 = regnext(nxt)) /* skip over embedded stuff*/
 551                             && (OP(nxt2) != WHILEM))
 552                         nxt = nxt2;
 553                     OP(nxt2)  = SUCCEED; /* Whas WHILEM */
 554                     /* Need to optimize away parenths. */
 555                     if (data->flags & SF_IN_PAR) {
 556                         /* Set the parenth number.  */
 557                         regnode *nxt1 = NEXTOPER(oscan) + EXTRA_STEP_2ARGS; /* OPEN*/
 558
 559                         if (OP(nxt) != CLOSE)
 560                             FAIL("panic opt close");
 561                         oscan->flags = ARG(nxt);
 562                         OP(nxt1) = OPTIMIZED;   /* was OPEN. */
 563                         OP(nxt) = OPTIMIZED;    /* was CLOSE. */
 564 #ifdef DEBUGGING
 565                         OP(nxt1 + 1) = OPTIMIZED; /* was count. */
 566                         OP(nxt + 1) = OPTIMIZED; /* was count. */
 567                         NEXT_OFF(nxt1 + 1) = 0; /* just for consistancy. */
 568                         NEXT_OFF(nxt + 1) = 0; /* just for consistancy. */
 569 #endif
 570 #if 0
 571                         while ( nxt1 && (OP(nxt1) != WHILEM)) {
 572                             regnode *nnxt = regnext(nxt1);
 573
 574                             if (nnxt == nxt) {
 575                                 if (reg_off_by_arg[OP(nxt1)])
 576                                     ARG_SET(nxt1, nxt2 - nxt1);
 577                                 else if (nxt2 - nxt1 < U16_MAX)
 578                                     NEXT_OFF(nxt1) = nxt2 - nxt1;
 579                                 else
 580                                     OP(nxt) = NOTHING;  /* Cannot beautify */
 581                             }
 582                             nxt1 = nnxt;
 583                         }
 584 #endif
 585                         /* Optimize again: */
 586                         study_chunk(&nxt1, &deltanext, nxt, NULL, 0);
 587                     }
 588                     else
 589                         oscan->flags = 0;
 590                 }
 591                 if (data && fl & (SF_HAS_PAR|SF_IN_PAR))
 592                     pars++;
 593                 if (flags & SCF_DO_SUBSTR) {
 594                     SV *last_str = Nullsv;
 595                     int counted = mincount != 0;
 596
 597                     if (data->last_end > 0 && mincount != 0) { /* Ends with a string. */
 598                         I32 b = pos_before >= data->last_start_min
 599                             ? pos_before : data->last_start_min;
 600                         STRLEN l;
 601                         char *s = SvPV(data->last_found, l);
 602                         I32 old = b - data->last_start_min;
 603
 604                         if (UTF)
 605                             old = utf8_hop((U8*)s, old) - (U8*)s;
 606
 607                         l -= old;
 608                         /* Get the added string: */
 609                         last_str = newSVpv(s  + old, l);
 610                         if (deltanext == 0 && pos_before == b) {
 611                             /* What was added is a constant string */
 612                             if (mincount > 1) {
 613                                 SvGROW(last_str, (mincount * l) + 1);
 614                                 repeatcpy(SvPVX(last_str) + l,
 615                                           SvPVX(last_str), l, mincount - 1);
 616                                 SvCUR(last_str) *= mincount;
 617                                 /* Add additional parts. */
 618                                 SvCUR_set(data->last_found,
 619                                           SvCUR(data->last_found) - l);
 620                                 sv_catsv(data->last_found, last_str);
 621                                 data->last_end += l * (mincount - 1);
 622                             }
 623                         }
 624                     }
 625                     /* It is counted once already... */
 626                     data->pos_min += minnext * (mincount - counted);
 627                     data->pos_delta += - counted * deltanext +
 628                         (minnext + deltanext) * maxcount - minnext * mincount;
 629                     if (mincount != maxcount) {
 630                         scan_commit(data);
 631                         if (mincount && last_str) {
 632                             sv_setsv(data->last_found, last_str);
 633                             data->last_end = data->pos_min;
 634                             data->last_start_min =
 635                                 data->pos_min - CHR_SVLEN(last_str);
 636                             data->last_start_max = is_inf
 637                                 ? I32_MAX
 638                                 : data->pos_min + data->pos_delta
 639                                 - CHR_SVLEN(last_str);
 640                         }
 641                         data->longest = &(data->longest_float);
 642                     }
 643                     SvREFCNT_dec(last_str);
 644                 }
 645                 if (data && (fl & SF_HAS_EVAL))
 646                     data->flags |= SF_HAS_EVAL;
 647               optimize_curly_tail:
 648                 if (OP(oscan) != CURLYX) {
 649                     while (regkind[(U8)OP(next = regnext(oscan))] == NOTHING
 650                            && NEXT_OFF(next))
 651                         NEXT_OFF(oscan) += NEXT_OFF(next);
 652                 }
 653                 continue;
 654             default:                    /* REF only? */
 655                 if (flags & SCF_DO_SUBSTR) {
 656                     scan_commit(data);
 657                     data->longest = &(data->longest_float);
 658                 }
 659                 is_inf = is_inf_internal = 1;
 660                 break;
 661             }
 662         }
 663         else if (strchr(simple,OP(scan)) || regkind[(U8)OP(scan)] == ANYUTF8) {
 664             if (flags & SCF_DO_SUBSTR) {
 665                 scan_commit(data);
 666                 data->pos_min++;
 667             }
 668             min++;
 669         }
 670         else if (regkind[(U8)OP(scan)] == EOL && flags & SCF_DO_SUBSTR) {
 671             data->flags |= (OP(scan) == MEOL
 672                             ? SF_BEFORE_MEOL
 673                             : SF_BEFORE_SEOL);
 674         }
 675         else if (regkind[(U8)OP(scan)] == BRANCHJ
 676                    && (scan->flags || data)
 677                    && (OP(scan) == IFMATCH || OP(scan) == UNLESSM)) {
 678             I32 deltanext, minnext;
 679             regnode *nscan;
 680
 681             data_fake.flags = 0;
 682             next = regnext(scan);
 683             nscan = NEXTOPER(NEXTOPER(scan));
 684             minnext = study_chunk(&nscan, &deltanext, last, &data_fake, 0);
 685             if (scan->flags) {
 686                 if (deltanext) {
 687                     FAIL("variable length lookbehind not implemented");
 688                 }
 689                 else if (minnext > U8_MAX) {
 690                     FAIL2("lookbehind longer than %d not implemented", U8_MAX);
 691                 }
 692                 scan->flags = minnext;
 693             }
 694             if (data && data_fake.flags & (SF_HAS_PAR|SF_IN_PAR))
 695                 pars++;
 696             if (data && (data_fake.flags & SF_HAS_EVAL))
 697                 data->flags |= SF_HAS_EVAL;
 698         }
 699         else if (OP(scan) == OPEN) {
 700             pars++;
 701         }
 702         else if (OP(scan) == CLOSE && ARG(scan) == is_par) {
 703             next = regnext(scan);
 704
 705             if ( next && (OP(next) != WHILEM) && next < last)
 706                 is_par = 0;             /* Disable optimization */
 707         }
 708         else if (OP(scan) == EVAL) {
 709                 if (data)
 710                     data->flags |= SF_HAS_EVAL;
 711         }
 712         /* Else: zero-length, ignore. */
 713         scan = regnext(scan);
 714     }
 715
 716   finish:
 717     *scanp = scan;
 718     *deltap = is_inf_internal ? I32_MAX : delta;
 719     if (flags & SCF_DO_SUBSTR && is_inf)
 720         data->pos_delta = I32_MAX - data->pos_min;
 721     if (is_par > U8_MAX)
 722         is_par = 0;
 723     if (is_par && pars==1 && data) {
 724         data->flags |= SF_IN_PAR;
 725         data->flags &= ~SF_HAS_PAR;
 726     }
 727     else if (pars && data) {
 728         data->flags |= SF_HAS_PAR;
 729         data->flags &= ~SF_IN_PAR;
 730     }
 731     return min;
 732 }
 733
 734 STATIC I32
 735 add_data(I32 n, char *s)
 736 {
 737     dTHR;
 738     if (PL_regcomp_rx->data) {
 739         Renewc(PL_regcomp_rx->data,
 740                sizeof(*PL_regcomp_rx->data) + sizeof(void*) * (PL_regcomp_rx->data->count + n - 1),
 741                char, struct reg_data);
 742         Renew(PL_regcomp_rx->data->what, PL_regcomp_rx->data->count + n, U8);
 743         PL_regcomp_rx->data->count += n;
 744     }
 745     else {
 746         Newc(1207, PL_regcomp_rx->data, sizeof(*PL_regcomp_rx->data) + sizeof(void*) * (n - 1),
 747              char, struct reg_data);
 748         New(1208, PL_regcomp_rx->data->what, n, U8);
 749         PL_regcomp_rx->data->count = n;
 750     }
 751     Copy(s, PL_regcomp_rx->data->what + PL_regcomp_rx->data->count - n, n, U8);
 752     return PL_regcomp_rx->data->count - n;
 753 }
 754
 755 /*
 756  - pregcomp - compile a regular expression into internal code
 757  *
 758  * We can't allocate space until we know how big the compiled form will be,
 759  * but we can't compile it (and thus know how big it is) until we've got a
 760  * place to put the code.  So we cheat:  we compile it twice, once with code
 761  * generation turned off and size counting turned on, and once "for real".
 762  * This also means that we don't allocate space until we are sure that the
 763  * thing really will compile successfully, and we never have to move the
 764  * code and thus invalidate pointers into it.  (Note that it has to be in
 765  * one piece because free() must be able to free it all.) [NB: not true in perl]
 766  *
 767  * Beware that the optimization-preparation code in here knows about some
 768  * of the structure of the compiled regexp.  [I'll say.]
 769  */
 770 regexp *
 771 pregcomp(char *exp, char *xend, PMOP *pm)
 772 {
 773     dTHR;
 774     register regexp *r;
 775     regnode *scan;
 776     SV **longest;
 777     SV *longest_fixed;
 778     SV *longest_float;
 779     regnode *first;
 780     I32 flags;
 781     I32 minlen = 0;
 782     I32 sawplus = 0;
 783     I32 sawopen = 0;
 784
 785     if (exp == NULL)
 786         FAIL("NULL regexp argument");
 787
 788     if (PL_curcop == &compiling ? (PL_hints & HINT_UTF8) : IN_UTF8)
 789         PL_reg_flags |= RF_utf8;
 790     else
 791         PL_reg_flags = 0;
 792
 793     PL_regprecomp = savepvn(exp, xend - exp);
 794     DEBUG_r(PerlIO_printf(Perl_debug_log, "compiling RE `%*s'\n",
 795                           xend - exp, PL_regprecomp));
 796     PL_regflags = pm->op_pmflags;
 797     PL_regsawback = 0;
 798
 799     PL_regseen = 0;
 800     PL_seen_zerolen = *exp == '^' ? -1 : 0;
 801     PL_seen_evals = 0;
 802     PL_extralen = 0;
 803
 804     /* First pass: determine size, legality. */
 805     PL_regcomp_parse = exp;
 806     PL_regxend = xend;
 807     PL_regnaughty = 0;
 808     PL_regnpar = 1;
 809     PL_regsize = 0L;
 810     PL_regcode = &PL_regdummy;
 811     regc((U8)MAGIC, (char*)PL_regcode);
 812     if (reg(0, &flags) == NULL) {
 813         Safefree(PL_regprecomp);
 814         PL_regprecomp = Nullch;
 815         return(NULL);
 816     }
 817     DEBUG_r(PerlIO_printf(Perl_debug_log, "size %d ", PL_regsize));
 818
 819     DEBUG_r(
 820         if (!PL_colorset) {
 821             int i = 0;
 822             char *s = PerlEnv_getenv("TERMCAP_COLORS");
 823
 824             PL_colorset = 1;
 825             if (s) {
 826                 PL_colors[0] = s = savepv(s);
 827                 while (++i < 4) {
 828                     s = strchr(s, '\t');
 829                     if (!s)
 830                         FAIL("Not enough TABs in TERMCAP_COLORS");
 831                     *s = '\0';
 832                     PL_colors[i] = ++s;
 833                 }
 834             }
 835             else {
 836                 while (i < 4)
 837                     PL_colors[i++] = "";
 838             }
 839             /* Reset colors: */
 840             PerlIO_printf(Perl_debug_log, "%s%s%s%s",
 841                           PL_colors[0],PL_colors[1],PL_colors[2],PL_colors[3]);
 842         }
 843         );
 844
 845     /* Small enough for pointer-storage convention?
 846        If extralen==0, this means that we will not need long jumps. */
 847     if (PL_regsize >= 0x10000L && PL_extralen)
 848         PL_regsize += PL_extralen;
 849     else
 850         PL_extralen = 0;
 851
 852     /* Allocate space and initialize. */
 853     Newc(1001, r, sizeof(regexp) + (unsigned)PL_regsize * sizeof(regnode),
 854          char, regexp);
 855     if (r == NULL)
 856         FAIL("regexp out of space");
 857     r->refcnt = 1;
 858     r->prelen = xend - exp;
 859     r->precomp = PL_regprecomp;
 860     r->subbeg = r->subbase = NULL;
 861     r->nparens = PL_regnpar - 1;                /* set early to validate backrefs */
 862     PL_regcomp_rx = r;
 863
 864     /* Second pass: emit code. */
 865     PL_regcomp_parse = exp;
 866     PL_regxend = xend;
 867     PL_regnaughty = 0;
 868     PL_regnpar = 1;
 869     PL_regcode = r->program;
 870     /* Store the count of eval-groups for security checks: */
 871     PL_regcode->next_off = ((PL_seen_evals > U16_MAX) ? U16_MAX : PL_seen_evals);
 872     regc((U8)MAGIC, (char*) PL_regcode++);
 873     r->data = 0;
 874     if (reg(0, &flags) == NULL)
 875         return(NULL);
 876
 877     /* Dig out information for optimizations. */
 878     r->reganch = pm->op_pmflags & PMf_COMPILETIME;
 879     pm->op_pmflags = PL_regflags;
 880     if (UTF)
 881         r->reganch |= ROPT_UTF8;
 882     r->regstclass = NULL;
 883     if (PL_regnaughty >= 10)    /* Probably an expensive pattern. */
 884         r->reganch |= ROPT_NAUGHTY;
 885     scan = r->program + 1;              /* First BRANCH. */
 886
 887     /* XXXX To minimize changes to RE engine we always allocate
 888        3-units-long substrs field. */
 889     Newz(1004, r->substrs, 1, struct reg_substr_data);
 890
 891     if (OP(scan) != BRANCH) {   /* Only one top-level choice. */
 892         scan_data_t data;
 893         I32 fake;
 894         STRLEN longest_float_length, longest_fixed_length;
 895
 896         StructCopy(&zero_scan_data, &data, scan_data_t);
 897         first = scan;
 898         /* Skip introductions and multiplicators >= 1. */
 899         while ((OP(first) == OPEN && (sawopen = 1)) ||
 900             (OP(first) == BRANCH && OP(regnext(first)) != BRANCH) ||
 901             (OP(first) == PLUS) ||
 902             (OP(first) == MINMOD) ||
 903             (regkind[(U8)OP(first)] == CURLY && ARG1(first) > 0) ) {
 904                 if (OP(first) == PLUS)
 905                     sawplus = 1;
 906                 else
 907                     first += regarglen[(U8)OP(first)];
 908                 first = NEXTOPER(first);
 909         }
 910
 911         /* Starting-point info. */
 912       again:
 913         if (OP(first) == EXACT);        /* Empty, get anchored substr later. */
 914         else if (strchr(simple+4,OP(first)))
 915             r->regstclass = first;
 916         else if (regkind[(U8)OP(first)] == BOUND ||
 917                  regkind[(U8)OP(first)] == NBOUND)
 918             r->regstclass = first;
 919         else if (regkind[(U8)OP(first)] == BOL) {
 920             r->reganch |= (OP(first) == MBOL ? ROPT_ANCH_MBOL: ROPT_ANCH_BOL);
 921             first = NEXTOPER(first);
 922             goto again;
 923         }
 924         else if (OP(first) == GPOS) {
 925             r->reganch |= ROPT_ANCH_GPOS;
 926             first = NEXTOPER(first);
 927             goto again;
 928         }
 929         else if ((OP(first) == STAR &&
 930             regkind[(U8)OP(NEXTOPER(first))] == ANY) &&
 931             !(r->reganch & ROPT_ANCH) )
 932         {
 933             /* turn .* into ^.* with an implied $*=1 */
 934             r->reganch |= ROPT_ANCH_BOL | ROPT_IMPLICIT;
 935             first = NEXTOPER(first);
 936             goto again;
 937         }
 938         if (sawplus && (!sawopen || !PL_regsawback))
 939             r->reganch |= ROPT_SKIP;    /* x+ must match 1st of run */
 940
 941         /* Scan is after the zeroth branch, first is atomic matcher. */
 942         DEBUG_r(PerlIO_printf(Perl_debug_log, "first at %d\n",
 943                               first - scan + 1));
 944         /*
 945         * If there's something expensive in the r.e., find the
 946         * longest literal string that must appear and make it the
 947         * regmust.  Resolve ties in favor of later strings, since
 948         * the regstart check works with the beginning of the r.e.
 949         * and avoiding duplication strengthens checking.  Not a
 950         * strong reason, but sufficient in the absence of others.
 951         * [Now we resolve ties in favor of the earlier string if
 952         * it happens that c_offset_min has been invalidated, since the
 953         * earlier string may buy us something the later one won't.]
 954         */
 955         minlen = 0;
 956
 957         data.longest_fixed = newSVpv("",0);
 958         data.longest_float = newSVpv("",0);
 959         data.last_found = newSVpv("",0);
 960         data.longest = &(data.longest_fixed);
 961         first = scan;
 962
 963         minlen = study_chunk(&first, &fake, scan + PL_regsize, /* Up to end */
 964                              &data, SCF_DO_SUBSTR);
 965         if ( PL_regnpar == 1 && data.longest == &(data.longest_fixed)
 966              && data.last_start_min == 0 && data.last_end > 0
 967              && !PL_seen_zerolen
 968              && (!(PL_regseen & REG_SEEN_GPOS) || (r->reganch & ROPT_ANCH_GPOS)))
 969             r->reganch |= ROPT_CHECK_ALL;
 970         scan_commit(&data);
 971         SvREFCNT_dec(data.last_found);
 972
 973         longest_float_length = CHR_SVLEN(data.longest_float);
 974         if (longest_float_length
 975             || (data.flags & SF_FL_BEFORE_EOL
 976                 && (!(data.flags & SF_FL_BEFORE_MEOL)
 977                     || (PL_regflags & PMf_MULTILINE)))) {
 978             if (SvCUR(data.longest_fixed)                       /* ok to leave SvCUR */
 979                 && data.offset_fixed == data.offset_float_min
 980                 && SvCUR(data.longest_fixed) == SvCUR(data.longest_float))
 981                     goto remove_float;          /* As in (a)+. */
 982
 983             r->float_substr = data.longest_float;
 984             r->float_min_offset = data.offset_float_min;
 985             r->float_max_offset = data.offset_float_max;
 986             fbm_compile(r->float_substr, 0);
 987             BmUSEFUL(r->float_substr) = 100;
 988             if (data.flags & SF_FL_BEFORE_EOL /* Cannot have SEOL and MULTI */
 989                 && (!(data.flags & SF_FL_BEFORE_MEOL)
 990                     || (PL_regflags & PMf_MULTILINE)))
 991                 SvTAIL_on(r->float_substr);
 992         }
 993         else {
 994           remove_float:
 995             r->float_substr = Nullsv;
 996             SvREFCNT_dec(data.longest_float);
 997             longest_float_length = 0;
 998         }
 999
1000         longest_fixed_length = CHR_SVLEN(data.longest_fixed);
1001         if (longest_fixed_length
1002             || (data.flags & SF_FIX_BEFORE_EOL /* Cannot have SEOL and MULTI */
1003                 && (!(data.flags & SF_FIX_BEFORE_MEOL)
1004                     || (PL_regflags & PMf_MULTILINE)))) {
1005             r->anchored_substr = data.longest_fixed;
1006             r->anchored_offset = data.offset_fixed;
1007             fbm_compile(r->anchored_substr, 0);
1008             BmUSEFUL(r->anchored_substr) = 100;
1009             if (data.flags & SF_FIX_BEFORE_EOL /* Cannot have SEOL and MULTI */
1010                 && (!(data.flags & SF_FIX_BEFORE_MEOL)
1011                     || (PL_regflags & PMf_MULTILINE)))
1012                 SvTAIL_on(r->anchored_substr);
1013         }
1014         else {
1015             r->anchored_substr = Nullsv;
1016             SvREFCNT_dec(data.longest_fixed);
1017             longest_fixed_length = 0;
1018         }
1019
1020         /* A temporary algorithm prefers floated substr to fixed one to dig more info. */
1021         if (longest_fixed_length > longest_float_length) {
1022             r->check_substr = r->anchored_substr;
1023             r->check_offset_min = r->check_offset_max = r->anchored_offset;
1024             if (r->reganch & ROPT_ANCH_SINGLE)
1025                 r->reganch |= ROPT_NOSCAN;
1026         }
1027         else {
1028             r->check_substr = r->float_substr;
1029             r->check_offset_min = data.offset_float_min;
1030             r->check_offset_max = data.offset_float_max;
1031         }
1032     }
1033     else {
1034         /* Several toplevels. Best we can is to set minlen. */
1035         I32 fake;
1036
1037         DEBUG_r(PerlIO_printf(Perl_debug_log, "\n"));
1038         scan = r->program + 1;
1039         minlen = study_chunk(&scan, &fake, scan + PL_regsize, NULL, 0);
1040         r->check_substr = r->anchored_substr = r->float_substr = Nullsv;
1041     }
1042
1043     r->minlen = minlen;
1044     if (PL_regseen & REG_SEEN_GPOS)
1045         r->reganch |= ROPT_GPOS_SEEN;
1046     if (PL_regseen & REG_SEEN_LOOKBEHIND)
1047         r->reganch |= ROPT_LOOKBEHIND_SEEN;
1048     if (PL_regseen & REG_SEEN_EVAL)
1049         r->reganch |= ROPT_EVAL_SEEN;
1050     Newz(1002, r->startp, PL_regnpar, char*);
1051     Newz(1002, r->endp, PL_regnpar, char*);
1052     DEBUG_r(regdump(r));
1053     return(r);
1054 }
1055
1056 /*
1057  - reg - regular expression, i.e. main body or parenthesized thing
1058  *
1059  * Caller must absorb opening parenthesis.
1060  *
1061  * Combining parenthesis handling with the base level of regular expression
1062  * is a trifle forced, but the need to tie the tails of the branches to what
1063  * follows makes it hard to avoid.
1064  */
1065 STATIC regnode *
1066 reg(I32 paren, I32 *flagp)
1067     /* paren: Parenthesized? 0=top, 1=(, inside: changed to letter. */
1068 {
1069     dTHR;
1070     register regnode *ret;              /* Will be the head of the group. */
1071     register regnode *br;
1072     register regnode *lastbr;
1073     register regnode *ender = 0;
1074     register I32 parno = 0;
1075     I32 flags, oregflags = PL_regflags, have_branch = 0, open = 0;
1076     char c;
1077
1078     *flagp = 0;                         /* Tentatively. */
1079
1080     /* Make an OPEN node, if parenthesized. */
1081     if (paren) {
1082         if (*PL_regcomp_parse == '?') {
1083             U16 posflags = 0, negflags = 0;
1084             U16 *flagsp = &posflags;
1085
1086             PL_regcomp_parse++;
1087             paren = *PL_regcomp_parse++;
1088             ret = NULL;                 /* For look-ahead/behind. */
1089             switch (paren) {
1090             case '<':
1091                 PL_regseen |= REG_SEEN_LOOKBEHIND;
1092                 if (*PL_regcomp_parse == '!')
1093                     paren = ',';
1094                 if (*PL_regcomp_parse != '=' && *PL_regcomp_parse != '!')
1095                     goto unknown;
1096                 PL_regcomp_parse++;
1097             case '=':
1098             case '!':
1099                 PL_seen_zerolen++;
1100             case ':':
1101             case '>':
1102                 break;
1103             case '$':
1104             case '@':
1105                 FAIL2("Sequence (?%c...) not implemented", (int)paren);
1106                 break;
1107             case '#':
1108                 while (*PL_regcomp_parse && *PL_regcomp_parse != ')')
1109                     PL_regcomp_parse++;
1110                 if (*PL_regcomp_parse != ')')
1111                     FAIL("Sequence (?#... not terminated");
1112                 nextchar();
1113                 *flagp = TRYAGAIN;
1114                 return NULL;
1115             case '{':
1116             {
1117                 dTHR;
1118                 I32 count = 1, n = 0;
1119                 char c;
1120                 char *s = PL_regcomp_parse;
1121                 SV *sv;
1122                 OP_4tree *sop, *rop;
1123
1124                 PL_seen_zerolen++;
1125                 PL_regseen |= REG_SEEN_EVAL;
1126                 while (count && (c = *PL_regcomp_parse)) {
1127                     if (c == '\\' && PL_regcomp_parse[1])
1128                         PL_regcomp_parse++;
1129                     else if (c == '{')
1130                         count++;
1131                     else if (c == '}')
1132                         count--;
1133                     PL_regcomp_parse++;
1134                 }
1135                 if (*PL_regcomp_parse != ')')
1136                     FAIL("Sequence (?{...}) not terminated or not {}-balanced");
1137                 if (!SIZE_ONLY) {
1138                     AV *av;
1139
1140                     if (PL_regcomp_parse - 1 - s)
1141                         sv = newSVpv(s, PL_regcomp_parse - 1 - s);
1142                     else
1143                         sv = newSVpv("", 0);
1144
1145                     rop = sv_compile_2op(sv, &sop, "re", &av);
1146
1147                     n = add_data(3, "nso");
1148                     PL_regcomp_rx->data->data[n] = (void*)rop;
1149                     PL_regcomp_rx->data->data[n+1] = (void*)av;
1150                     PL_regcomp_rx->data->data[n+2] = (void*)sop;
1151                     SvREFCNT_dec(sv);
1152                 }
1153                 else {          /* First pass */
1154                     if (PL_reginterp_cnt < ++PL_seen_evals && PL_curcop != &compiling)
1155                         /* No compiled RE interpolated, has runtime
1156                            components ===> unsafe.  */
1157                         FAIL("Eval-group not allowed at runtime, use re 'eval'");
1158                     if (PL_tainted)
1159                         FAIL("Eval-group in insecure regular expression");
1160                 }
1161
1162                 nextchar();
1163                 return reganode(EVAL, n);
1164             }
1165             case '(':
1166             {
1167                 if (PL_regcomp_parse[0] == '?') {
1168                     if (PL_regcomp_parse[1] == '=' || PL_regcomp_parse[1] == '!'
1169                         || PL_regcomp_parse[1] == '<'
1170                         || PL_regcomp_parse[1] == '{') { /* Lookahead or eval. */
1171                         I32 flag;
1172
1173                         ret = reg_node(LOGICAL);
1174                         regtail(ret, reg(1, &flag));
1175                         goto insert_if;
1176                     }
1177                 }
1178                 else if (PL_regcomp_parse[0] >= '1' && PL_regcomp_parse[0] <= '9' ) {
1179                     parno = atoi(PL_regcomp_parse++);
1180
1181                     while (isDIGIT(*PL_regcomp_parse))
1182                         PL_regcomp_parse++;
1183                     ret = reganode(GROUPP, parno);
1184                     if ((c = *nextchar()) != ')')
1185                         FAIL2("Switch (?(number%c not recognized", c);
1186                   insert_if:
1187                     regtail(ret, reganode(IFTHEN, 0));
1188                     br = regbranch(&flags, 1);
1189                     if (br == NULL)
1190                         br = reganode(LONGJMP, 0);
1191                     else
1192                         regtail(br, reganode(LONGJMP, 0));
1193                     c = *nextchar();
1194                     if (c == '|') {
1195                         lastbr = reganode(IFTHEN, 0); /* Fake one for optimizer. */
1196                         regbranch(&flags, 1);
1197                         regtail(ret, lastbr);
1198                         c = *nextchar();
1199                     }
1200                     else
1201                         lastbr = NULL;
1202                     if (c != ')')
1203                         FAIL("Switch (?(condition)... contains too many branches");
1204                     ender = reg_node(TAIL);
1205                     regtail(br, ender);
1206                     if (lastbr) {
1207                         regtail(lastbr, ender);
1208                         regtail(NEXTOPER(NEXTOPER(lastbr)), ender);
1209                     }
1210                     else
1211                         regtail(ret, ender);
1212                     return ret;
1213                 }
1214                 else {
1215                     FAIL2("Unknown condition for (?(%.2s", PL_regcomp_parse);
1216                 }
1217             }
1218             case 0:
1219                 FAIL("Sequence (? incomplete");
1220                 break;
1221             default:
1222                 --PL_regcomp_parse;
1223               parse_flags:
1224                 while (*PL_regcomp_parse && strchr("iogcmsx", *PL_regcomp_parse)) {
1225                     if (*PL_regcomp_parse != 'o')
1226                         pmflag(flagsp, *PL_regcomp_parse);
1227                     ++PL_regcomp_parse;
1228                 }
1229                 if (*PL_regcomp_parse == '-') {
1230                     flagsp = &negflags;
1231                     ++PL_regcomp_parse;
1232                     goto parse_flags;
1233                 }
1234                 PL_regflags |= posflags;
1235                 PL_regflags &= ~negflags;
1236                 if (*PL_regcomp_parse == ':') {
1237                     PL_regcomp_parse++;
1238                     paren = ':';
1239                     break;
1240                 }
1241               unknown:
1242                 if (*PL_regcomp_parse != ')')
1243                     FAIL2("Sequence (?%c...) not recognized", *PL_regcomp_parse);
1244                 nextchar();
1245                 *flagp = TRYAGAIN;
1246                 return NULL;
1247             }
1248         }
1249         else {
1250             parno = PL_regnpar;
1251             PL_regnpar++;
1252             ret = reganode(OPEN, parno);
1253             open = 1;
1254         }
1255     }
1256     else
1257         ret = NULL;
1258
1259     /* Pick up the branches, linking them together. */
1260     br = regbranch(&flags, 1);
1261     if (br == NULL)
1262         return(NULL);
1263     if (*PL_regcomp_parse == '|') {
1264         if (!SIZE_ONLY && PL_extralen) {
1265             reginsert(BRANCHJ, br);
1266         }
1267         else
1268             reginsert(BRANCH, br);
1269         have_branch = 1;
1270         if (SIZE_ONLY)
1271             PL_extralen += 1;           /* For BRANCHJ-BRANCH. */
1272     }
1273     else if (paren == ':') {
1274         *flagp |= flags&SIMPLE;
1275     }
1276     if (open) {                         /* Starts with OPEN. */
1277         regtail(ret, br);               /* OPEN -> first. */
1278     }
1279     else if (paren != '?')              /* Not Conditional */
1280         ret = br;
1281     if (flags&HASWIDTH)
1282         *flagp |= HASWIDTH;
1283     *flagp |= flags&SPSTART;
1284     lastbr = br;
1285     while (*PL_regcomp_parse == '|') {
1286         if (!SIZE_ONLY && PL_extralen) {
1287             ender = reganode(LONGJMP,0);
1288             regtail(NEXTOPER(NEXTOPER(lastbr)), ender); /* Append to the previous. */
1289         }
1290         if (SIZE_ONLY)
1291             PL_extralen += 2;           /* Account for LONGJMP. */
1292         nextchar();
1293         br = regbranch(&flags, 0);
1294         if (br == NULL)
1295             return(NULL);
1296         regtail(lastbr, br);            /* BRANCH -> BRANCH. */
1297         lastbr = br;
1298         if (flags&HASWIDTH)
1299             *flagp |= HASWIDTH;
1300         *flagp |= flags&SPSTART;
1301     }
1302
1303     if (have_branch || paren != ':') {
1304         /* Make a closing node, and hook it on the end. */
1305         switch (paren) {
1306         case ':':
1307             ender = reg_node(TAIL);
1308             break;
1309         case 1:
1310             ender = reganode(CLOSE, parno);
1311             break;
1312         case '<':
1313         case ',':
1314         case '=':
1315         case '!':
1316             *flagp &= ~HASWIDTH;
1317             /* FALL THROUGH */
1318         case '>':
1319             ender = reg_node(SUCCEED);
1320             break;
1321         case 0:
1322             ender = reg_node(END);
1323             break;
1324         }
1325         regtail(lastbr, ender);
1326
1327         if (have_branch) {
1328             /* Hook the tails of the branches to the closing node. */
1329             for (br = ret; br != NULL; br = regnext(br)) {
1330                 regoptail(br, ender);
1331             }
1332         }
1333     }
1334
1335     {
1336         char *p;
1337         static char parens[] = "=!<,>";
1338
1339         if (paren && (p = strchr(parens, paren))) {
1340             int node = ((p - parens) % 2) ? UNLESSM : IFMATCH;
1341             int flag = (p - parens) > 1;
1342
1343             if (paren == '>')
1344                 node = SUSPEND, flag = 0;
1345             reginsert(node,ret);
1346             ret->flags = flag;
1347             regtail(ret, reg_node(TAIL));
1348         }
1349     }
1350
1351     /* Check for proper termination. */
1352     if (paren && (PL_regcomp_parse >= PL_regxend || *nextchar() != ')')) {
1353         FAIL("unmatched () in regexp");
1354     }
1355     else if (!paren && PL_regcomp_parse < PL_regxend) {
1356         if (*PL_regcomp_parse == ')') {
1357             FAIL("unmatched () in regexp");
1358         }
1359         else
1360             FAIL("junk on end of regexp");      /* "Can't happen". */
1361         /* NOTREACHED */
1362     }
1363     if (paren != 0) {
1364         PL_regflags = oregflags;
1365     }
1366
1367     return(ret);
1368 }
1369
1370 /*
1371  - regbranch - one alternative of an | operator
1372  *
1373  * Implements the concatenation operator.
1374  */
1375 STATIC regnode *
1376 regbranch(I32 *flagp, I32 first)
1377 {
1378     dTHR;
1379     register regnode *ret;
1380     register regnode *chain = NULL;
1381     register regnode *latest;
1382     I32 flags = 0, c = 0;
1383
1384     if (first)
1385         ret = NULL;
1386     else {
1387         if (!SIZE_ONLY && PL_extralen)
1388             ret = reganode(BRANCHJ,0);
1389         else
1390             ret = reg_node(BRANCH);
1391     }
1392
1393     if (!first && SIZE_ONLY)
1394         PL_extralen += 1;                       /* BRANCHJ */
1395
1396     *flagp = WORST;                     /* Tentatively. */
1397
1398     PL_regcomp_parse--;
1399     nextchar();
1400     while (PL_regcomp_parse < PL_regxend && *PL_regcomp_parse != '|' && *PL_regcomp_parse != ')') {
1401         flags &= ~TRYAGAIN;
1402         latest = regpiece(&flags);
1403         if (latest == NULL) {
1404             if (flags & TRYAGAIN)
1405                 continue;
1406             return(NULL);
1407         }
1408         else if (ret == NULL)
1409             ret = latest;
1410         *flagp |= flags&HASWIDTH;
1411         if (chain == NULL)      /* First piece. */
1412             *flagp |= flags&SPSTART;
1413         else {
1414             PL_regnaughty++;
1415             regtail(chain, latest);
1416         }
1417         chain = latest;
1418         c++;
1419     }
1420     if (chain == NULL) {        /* Loop ran zero times. */
1421         chain = reg_node(NOTHING);
1422         if (ret == NULL)
1423             ret = chain;
1424     }
1425     if (c == 1) {
1426         *flagp |= flags&SIMPLE;
1427     }
1428
1429     return(ret);
1430 }
1431
1432 /*
1433  - regpiece - something followed by possible [*+?]
1434  *
1435  * Note that the branching code sequences used for ? and the general cases
1436  * of * and + are somewhat optimized:  they use the same NOTHING node as
1437  * both the endmarker for their branch list and the body of the last branch.
1438  * It might seem that this node could be dispensed with entirely, but the
1439  * endmarker role is not redundant.
1440  */
1441 STATIC regnode *
1442 regpiece(I32 *flagp)
1443 {
1444     dTHR;
1445     register regnode *ret;
1446     register char op;
1447     register char *next;
1448     I32 flags;
1449     char *origparse = PL_regcomp_parse;
1450     char *maxpos;
1451     I32 min;
1452     I32 max = REG_INFTY;
1453
1454     ret = regatom(&flags);
1455     if (ret == NULL) {
1456         if (flags & TRYAGAIN)
1457             *flagp |= TRYAGAIN;
1458         return(NULL);
1459     }
1460
1461     op = *PL_regcomp_parse;
1462
1463     if (op == '{' && regcurly(PL_regcomp_parse)) {
1464         next = PL_regcomp_parse + 1;
1465         maxpos = Nullch;
1466         while (isDIGIT(*next) || *next == ',') {
1467             if (*next == ',') {
1468                 if (maxpos)
1469                     break;
1470                 else
1471                     maxpos = next;
1472             }
1473             next++;
1474         }
1475         if (*next == '}') {             /* got one */
1476             if (!maxpos)
1477                 maxpos = next;
1478             PL_regcomp_parse++;
1479             min = atoi(PL_regcomp_parse);
1480             if (*maxpos == ',')
1481                 maxpos++;
1482             else
1483                 maxpos = PL_regcomp_parse;
1484             max = atoi(maxpos);
1485             if (!max && *maxpos != '0')
1486                 max = REG_INFTY;                /* meaning "infinity" */
1487             else if (max >= REG_INFTY)
1488                 FAIL2("Quantifier in {,} bigger than %d", REG_INFTY - 1);
1489             PL_regcomp_parse = next;
1490             nextchar();
1491
1492         do_curly:
1493             if ((flags&SIMPLE)) {
1494                 PL_regnaughty += 2 + PL_regnaughty / 2;
1495                 reginsert(CURLY, ret);
1496             }
1497             else {
1498                 PL_regnaughty += 4 + PL_regnaughty;     /* compound interest */
1499                 regtail(ret, reg_node(WHILEM));
1500                 if (!SIZE_ONLY && PL_extralen) {
1501                     reginsert(LONGJMP,ret);
1502                     reginsert(NOTHING,ret);
1503                     NEXT_OFF(ret) = 3;  /* Go over LONGJMP. */
1504                 }
1505                 reginsert(CURLYX,ret);
1506                 if (!SIZE_ONLY && PL_extralen)
1507                     NEXT_OFF(ret) = 3;  /* Go over NOTHING to LONGJMP. */
1508                 regtail(ret, reg_node(NOTHING));
1509                 if (SIZE_ONLY)
1510                     PL_extralen += 3;
1511             }
1512             ret->flags = 0;
1513
1514             if (min > 0)
1515                 *flagp = WORST;
1516             if (max > 0)
1517                 *flagp |= HASWIDTH;
1518             if (max && max < min)
1519                 FAIL("Can't do {n,m} with n > m");
1520             if (!SIZE_ONLY) {
1521                 ARG1_SET(ret, min);
1522                 ARG2_SET(ret, max);
1523             }
1524
1525             goto nest_check;
1526         }
1527     }
1528
1529     if (!ISMULT1(op)) {
1530         *flagp = flags;
1531         return(ret);
1532     }
1533
1534 #if 0                           /* Now runtime fix should be reliable. */
1535     if (!(flags&HASWIDTH) && op != '?')
1536       FAIL("regexp *+ operand could be empty");
1537 #endif
1538
1539     nextchar();
1540
1541     *flagp = (op != '+') ? (WORST|SPSTART|HASWIDTH) : (WORST|HASWIDTH);
1542
1543     if (op == '*' && (flags&SIMPLE)) {
1544         reginsert(STAR, ret);
1545         ret->flags = 0;
1546         PL_regnaughty += 4;
1547     }
1548     else if (op == '*') {
1549         min = 0;
1550         goto do_curly;
1551     }
1552     else if (op == '+' && (flags&SIMPLE)) {
1553         reginsert(PLUS, ret);
1554         ret->flags = 0;
1555         PL_regnaughty += 3;
1556     }
1557     else if (op == '+') {
1558         min = 1;
1559         goto do_curly;
1560     }
1561     else if (op == '?') {
1562         min = 0; max = 1;
1563         goto do_curly;
1564     }
1565   nest_check:
1566     if (ckWARN(WARN_UNSAFE) && !SIZE_ONLY && !(flags&HASWIDTH) && max > 10000) {
1567         warner(WARN_UNSAFE, "%.*s matches null string many times",
1568             PL_regcomp_parse - origparse, origparse);
1569     }
1570
1571     if (*PL_regcomp_parse == '?') {
1572         nextchar();
1573         reginsert(MINMOD, ret);
1574         regtail(ret, ret + NODE_STEP_REGNODE);
1575     }
1576     if (ISMULT2(PL_regcomp_parse))
1577         FAIL("nested *?+ in regexp");
1578
1579     return(ret);
1580 }
1581
1582 /*
1583  - regatom - the lowest level
1584  *
1585  * Optimization:  gobbles an entire sequence of ordinary characters so that
1586  * it can turn them into a single node, which is smaller to store and
1587  * faster to run.  Backslashed characters are exceptions, each becoming a
1588  * separate node; the code is simpler that way and it's not worth fixing.
1589  *
1590  * [Yes, it is worth fixing, some scripts can run twice the speed.]
1591  */
1592 STATIC regnode *
1593 regatom(I32 *flagp)
1594 {
1595     dTHR;
1596     register regnode *ret = 0;
1597     I32 flags;
1598
1599     *flagp = WORST;             /* Tentatively. */
1600
1601 tryagain:
1602     switch (*PL_regcomp_parse) {
1603     case '^':
1604         PL_seen_zerolen++;
1605         nextchar();
1606         if (PL_regflags & PMf_MULTILINE)
1607             ret = reg_node(MBOL);
1608         else if (PL_regflags & PMf_SINGLELINE)
1609             ret = reg_node(SBOL);
1610         else
1611             ret = reg_node(BOL);
1612         break;
1613     case '$':
1614         if (PL_regcomp_parse[1])
1615             PL_seen_zerolen++;
1616         nextchar();
1617         if (PL_regflags & PMf_MULTILINE)
1618             ret = reg_node(MEOL);
1619         else if (PL_regflags & PMf_SINGLELINE)
1620             ret = reg_node(SEOL);
1621         else
1622             ret = reg_node(EOL);
1623         break;
1624     case '.':
1625         nextchar();
1626         if (UTF) {
1627             if (PL_regflags & PMf_SINGLELINE)
1628                 ret = reg_node(SANYUTF8);
1629             else
1630                 ret = reg_node(ANYUTF8);
1631             *flagp |= HASWIDTH;
1632         }
1633         else {
1634             if (PL_regflags & PMf_SINGLELINE)
1635                 ret = reg_node(SANY);
1636             else
1637                 ret = reg_node(ANY);
1638             *flagp |= HASWIDTH|SIMPLE;
1639         }
1640         PL_regnaughty++;
1641         break;
1642     case '[':
1643         PL_regcomp_parse++;
1644         ret = (UTF ? regclassutf8() : regclass());
1645         if (*PL_regcomp_parse != ']')
1646             FAIL("unmatched [] in regexp");
1647         nextchar();
1648         *flagp |= HASWIDTH|SIMPLE;
1649         break;
1650     case '(':
1651         nextchar();
1652         ret = reg(1, &flags);
1653         if (ret == NULL) {
1654                 if (flags & TRYAGAIN)
1655                     goto tryagain;
1656                 return(NULL);
1657         }
1658         *flagp |= flags&(HASWIDTH|SPSTART|SIMPLE);
1659         break;
1660     case '|':
1661     case ')':
1662         if (flags & TRYAGAIN) {
1663             *flagp |= TRYAGAIN;
1664             return NULL;
1665         }
1666         FAIL2("internal urp in regexp at /%s/", PL_regcomp_parse);
1667                                 /* Supposed to be caught earlier. */
1668         break;
1669     case '{':
1670         if (!regcurly(PL_regcomp_parse)) {
1671             PL_regcomp_parse++;
1672             goto defchar;
1673         }
1674         /* FALL THROUGH */
1675     case '?':
1676     case '+':
1677     case '*':
1678         FAIL("?+*{} follows nothing in regexp");
1679         break;
1680     case '\\':
1681         switch (*++PL_regcomp_parse) {
1682         case 'A':
1683             PL_seen_zerolen++;
1684             ret = reg_node(SBOL);
1685             *flagp |= SIMPLE;
1686             nextchar();
1687             break;
1688         case 'G':
1689             ret = reg_node(GPOS);
1690             PL_regseen |= REG_SEEN_GPOS;
1691             *flagp |= SIMPLE;
1692             nextchar();
1693             break;
1694         case 'Z':
1695             ret = reg_node(SEOL);
1696             *flagp |= SIMPLE;
1697             nextchar();
1698             break;
1699         case 'z':
1700             ret = reg_node(EOS);
1701             *flagp |= SIMPLE;
1702             PL_seen_zerolen++;          /* Do not optimize RE away */
1703             nextchar();
1704             break;
1705         case 'C':
1706             ret = reg_node(SANY);
1707             *flagp |= HASWIDTH|SIMPLE;
1708             nextchar();
1709             break;
1710         case 'X':
1711             ret = reg_node(CLUMP);
1712             *flagp |= HASWIDTH;
1713             nextchar();
1714             if (UTF && !PL_utf8_mark)
1715                 is_utf8_mark((U8*)"~");         /* preload table */
1716             break;
1717         case 'w':
1718             ret = reg_node(
1719                 UTF
1720                     ? (LOC ? ALNUMLUTF8 : ALNUMUTF8)
1721                     : (LOC ? ALNUML     : ALNUM));
1722             *flagp |= HASWIDTH|SIMPLE;
1723             nextchar();
1724             if (UTF && !PL_utf8_alnum)
1725                 is_utf8_alnum((U8*)"a");        /* preload table */
1726             break;
1727         case 'W':
1728             ret = reg_node(
1729                 UTF
1730                     ? (LOC ? NALNUMLUTF8 : NALNUMUTF8)
1731                     : (LOC ? NALNUML     : NALNUM));
1732             *flagp |= HASWIDTH|SIMPLE;
1733             nextchar();
1734             if (UTF && !PL_utf8_alnum)
1735                 is_utf8_alnum((U8*)"a");        /* preload table */
1736             break;
1737         case 'b':
1738             PL_seen_zerolen++;
1739             ret = reg_node(
1740                 UTF
1741                     ? (LOC ? BOUNDLUTF8 : BOUNDUTF8)
1742                     : (LOC ? BOUNDL     : BOUND));
1743             *flagp |= SIMPLE;
1744             nextchar();
1745             if (UTF && !PL_utf8_alnum)
1746                 is_utf8_alnum((U8*)"a");        /* preload table */
1747             break;
1748         case 'B':
1749             PL_seen_zerolen++;
1750             ret = reg_node(
1751                 UTF
1752                     ? (LOC ? NBOUNDLUTF8 : NBOUNDUTF8)
1753                     : (LOC ? NBOUNDL     : NBOUND));
1754             *flagp |= SIMPLE;
1755             nextchar();
1756             if (UTF && !PL_utf8_alnum)
1757                 is_utf8_alnum((U8*)"a");        /* preload table */
1758             break;
1759         case 's':
1760             ret = reg_node(
1761                 UTF
1762                     ? (LOC ? SPACELUTF8 : SPACEUTF8)
1763                     : (LOC ? SPACEL     : SPACE));
1764             *flagp |= HASWIDTH|SIMPLE;
1765             nextchar();
1766             if (UTF && !PL_utf8_space)
1767                 is_utf8_space((U8*)" ");        /* preload table */
1768             break;
1769         case 'S':
1770             ret = reg_node(
1771                 UTF
1772                     ? (LOC ? NSPACELUTF8 : NSPACEUTF8)
1773                     : (LOC ? NSPACEL     : NSPACE));
1774             *flagp |= HASWIDTH|SIMPLE;
1775             nextchar();
1776             if (UTF && !PL_utf8_space)
1777                 is_utf8_space((U8*)" ");        /* preload table */
1778             break;
1779         case 'd':
1780             ret = reg_node(UTF ? DIGITUTF8 : DIGIT);
1781             *flagp |= HASWIDTH|SIMPLE;
1782             nextchar();
1783             if (UTF && !PL_utf8_digit)
1784                 is_utf8_digit((U8*)"1");        /* preload table */
1785             break;
1786         case 'D':
1787             ret = reg_node(UTF ? NDIGITUTF8 : NDIGIT);
1788             *flagp |= HASWIDTH|SIMPLE;
1789             nextchar();
1790             if (UTF && !PL_utf8_digit)
1791                 is_utf8_digit((U8*)"1");        /* preload table */
1792             break;
1793         case 'p':
1794         case 'P':
1795             {   /* a lovely hack--pretend we saw [\pX] instead */
1796                 char* oldregxend = PL_regxend;
1797
1798                 if (PL_regcomp_parse[1] == '{') {
1799                     PL_regxend = strchr(PL_regcomp_parse, '}');
1800                     if (!PL_regxend)
1801                         FAIL("Missing right brace on \\p{}");
1802                     PL_regxend++;
1803                 }
1804                 else
1805                     PL_regxend = PL_regcomp_parse + 2;
1806                 PL_regcomp_parse--;
1807
1808                 ret = regclassutf8();
1809
1810                 PL_regxend = oldregxend;
1811                 PL_regcomp_parse--;
1812                 nextchar();
1813                 *flagp |= HASWIDTH|SIMPLE;
1814             }
1815             break;
1816         case 'n':
1817         case 'r':
1818         case 't':
1819         case 'f':
1820         case 'e':
1821         case 'a':
1822         case 'x':
1823         case 'c':
1824         case '0':
1825             goto defchar;
1826         case '1': case '2': case '3': case '4':
1827         case '5': case '6': case '7': case '8': case '9':
1828             {
1829                 I32 num = atoi(PL_regcomp_parse);
1830
1831                 if (num > 9 && num >= PL_regnpar)
1832                     goto defchar;
1833                 else {
1834                     if (!SIZE_ONLY && num > PL_regcomp_rx->nparens)
1835                         FAIL("reference to nonexistent group");
1836                     PL_regsawback = 1;
1837                     ret = reganode(FOLD
1838                                    ? (LOC ? REFFL : REFF)
1839                                    : REF, num);
1840                     *flagp |= HASWIDTH;
1841                     while (isDIGIT(*PL_regcomp_parse))
1842                         PL_regcomp_parse++;
1843                     PL_regcomp_parse--;
1844                     nextchar();
1845                 }
1846             }
1847             break;
1848         case '\0':
1849             if (PL_regcomp_parse >= PL_regxend)
1850                 FAIL("trailing \\ in regexp");
1851             /* FALL THROUGH */
1852         default:
1853             goto defchar;
1854         }
1855         break;
1856
1857     case '#':
1858         if (PL_regflags & PMf_EXTENDED) {
1859             while (PL_regcomp_parse < PL_regxend && *PL_regcomp_parse != '\n') PL_regcomp_parse++;
1860             if (PL_regcomp_parse < PL_regxend)
1861                 goto tryagain;
1862         }
1863         /* FALL THROUGH */
1864
1865     default: {
1866             register I32 len;
1867             register UV ender;
1868             register char *p;
1869             char *oldp, *s;
1870             I32 numlen;
1871
1872             PL_regcomp_parse++;
1873
1874         defchar:
1875             ret = reg_node(FOLD
1876                           ? (LOC ? EXACTFL : EXACTF)
1877                           : EXACT);
1878             s = (char *) OPERAND(ret);
1879             regc(0, s++);               /* save spot for len */
1880             for (len = 0, p = PL_regcomp_parse - 1;
1881               len < 127 && p < PL_regxend;
1882               len++)
1883             {
1884                 oldp = p;
1885
1886                 if (PL_regflags & PMf_EXTENDED)
1887                     p = regwhite(p, PL_regxend);
1888                 switch (*p) {
1889                 case '^':
1890                 case '$':
1891                 case '.':
1892                 case '[':
1893                 case '(':
1894                 case ')':
1895                 case '|':
1896                     goto loopdone;
1897                 case '\\':
1898                     switch (*++p) {
1899                     case 'A':
1900                     case 'G':
1901                     case 'Z':
1902                     case 'z':
1903                     case 'w':
1904                     case 'W':
1905                     case 'b':
1906                     case 'B':
1907                     case 's':
1908                     case 'S':
1909                     case 'd':
1910                     case 'D':
1911                     case 'p':
1912                     case 'P':
1913                         --p;
1914                         goto loopdone;
1915                     case 'n':
1916                         ender = '\n';
1917                         p++;
1918                         break;
1919                     case 'r':
1920                         ender = '\r';
1921                         p++;
1922                         break;
1923                     case 't':
1924                         ender = '\t';
1925                         p++;
1926                         break;
1927                     case 'f':
1928                         ender = '\f';
1929                         p++;
1930                         break;
1931                     case 'e':
1932                         ender = '\033';
1933                         p++;
1934                         break;
1935                     case 'a':
1936                         ender = '\007';
1937                         p++;
1938                         break;
1939                     case 'x':
1940                         if (*++p == '{') {
1941                             char* e = strchr(p, '}');
1942
1943                             if (!e)
1944                                 FAIL("Missing right brace on \\x{}");
1945                             else if (UTF) {
1946                                 ender = scan_hex(p + 1, e - p, &numlen);
1947                                 if (numlen + len >= 127) {      /* numlen is generous */
1948                                     p--;
1949                                     goto loopdone;
1950                                 }
1951                                 p = e + 1;
1952                             }
1953                             else
1954                                 FAIL("Can't use \\x{} without 'use utf8' declaration");
1955                         }
1956                         else {
1957                             ender = scan_hex(p, 2, &numlen);
1958                             p += numlen;
1959                         }
1960                         break;
1961                     case 'c':
1962                         p++;
1963                         ender = UCHARAT(p++);
1964                         ender = toCTRL(ender);
1965                         break;
1966                     case '0': case '1': case '2': case '3':case '4':
1967                     case '5': case '6': case '7': case '8':case '9':
1968                         if (*p == '0' ||
1969                           (isDIGIT(p[1]) && atoi(p) >= PL_regnpar) ) {
1970                             ender = scan_oct(p, 3, &numlen);
1971                             p += numlen;
1972                         }
1973                         else {
1974                             --p;
1975                             goto loopdone;
1976                         }
1977                         break;
1978                     case '\0':
1979                         if (p >= PL_regxend)
1980                             FAIL("trailing \\ in regexp");
1981                         /* FALL THROUGH */
1982                     default:
1983                         goto normal_default;
1984                     }
1985                     break;
1986                 default:
1987                   normal_default:
1988                     if ((*p & 0xc0) == 0xc0 && UTF) {
1989                         ender = utf8_to_uv((U8*)p, &numlen);
1990                         p += numlen;
1991                     }
1992                     else
1993                         ender = *p++;
1994                     break;
1995                 }
1996                 if (PL_regflags & PMf_EXTENDED)
1997                     p = regwhite(p, PL_regxend);
1998                 if (UTF && FOLD) {
1999                     if (LOC)
2000                         ender = toLOWER_LC_uni(ender);
2001                     else
2002                         ender = toLOWER_uni(ender);
2003                 }
2004                 if (ISMULT2(p)) { /* Back off on ?+*. */
2005                     if (len)
2006                         p = oldp;
2007                     else if (ender >= 0x80 && UTF) {
2008                         reguni(ender, s, &numlen);
2009                         s += numlen;
2010                         len += numlen;
2011                     }
2012                     else {
2013                         len++;
2014                         regc(ender, s++);
2015                     }
2016                     break;
2017                 }
2018                 if (ender >= 0x80 && UTF) {
2019                     reguni(ender, s, &numlen);
2020                     s += numlen;
2021                     len += numlen - 1;
2022                 }
2023                 else
2024                     regc(ender, s++);
2025             }
2026         loopdone:
2027             PL_regcomp_parse = p - 1;
2028             nextchar();
2029             if (len < 0)
2030                 FAIL("internal disaster in regexp");
2031             if (len > 0)
2032                 *flagp |= HASWIDTH;
2033             if (len == 1)
2034                 *flagp |= SIMPLE;
2035             if (!SIZE_ONLY)
2036                 *OPERAND(ret) = len;
2037             regc('\0', s++);
2038             if (SIZE_ONLY) {
2039                 PL_regsize += (len + 2 + sizeof(regnode) - 1) / sizeof(regnode);
2040             }
2041             else {
2042                 PL_regcode += (len + 2 + sizeof(regnode) - 1) / sizeof(regnode);
2043             }
2044         }
2045         break;
2046     }
2047
2048     return(ret);
2049 }
2050
2051 STATIC char *
2052 regwhite(char *p, char *e)
2053 {
2054     while (p < e) {
2055         if (isSPACE(*p))
2056             ++p;
2057         else if (*p == '#') {
2058             do {
2059                 p++;
2060             } while (p < e && *p != '\n');
2061         }
2062         else
2063             break;
2064     }
2065     return p;
2066 }
2067
2068 STATIC regnode *
2069 regclass(void)
2070 {
2071     dTHR;
2072     register char *opnd, *s;
2073     register I32 value;
2074     register I32 lastvalue = 1234;
2075     register I32 range = 0;
2076     register regnode *ret;
2077     register I32 def;
2078     I32 numlen;
2079
2080     s = opnd = (char *) OPERAND(PL_regcode);
2081     ret = reg_node(ANYOF);
2082     for (value = 0; value < 33; value++)
2083         regc(0, s++);
2084     if (*PL_regcomp_parse == '^') {     /* Complement of range. */
2085         PL_regnaughty++;
2086         PL_regcomp_parse++;
2087         if (!SIZE_ONLY)
2088             *opnd |= ANYOF_INVERT;
2089     }
2090     if (!SIZE_ONLY) {
2091         PL_regcode += ANY_SKIP;
2092         if (FOLD)
2093             *opnd |= ANYOF_FOLD;
2094         if (LOC)
2095             *opnd |= ANYOF_LOCALE;
2096     }
2097     else {
2098         PL_regsize += ANY_SKIP;
2099     }
2100     if (*PL_regcomp_parse == ']' || *PL_regcomp_parse == '-')
2101         goto skipcond;          /* allow 1st char to be ] or - */
2102     while (PL_regcomp_parse < PL_regxend && *PL_regcomp_parse != ']') {
2103        skipcond:
2104         value = UCHARAT(PL_regcomp_parse++);
2105         if (value == '[' && PL_regcomp_parse + 1 < PL_regxend &&
2106             /* I smell either [: or [= or [. -- POSIX has been here, right? */
2107             (*PL_regcomp_parse == ':' || *PL_regcomp_parse == '=' || *PL_regcomp_parse == '.')) {
2108             char  posixccc = *PL_regcomp_parse;
2109             char* posixccs = PL_regcomp_parse++;
2110
2111             while (PL_regcomp_parse < PL_regxend && *PL_regcomp_parse != posixccc)
2112                 PL_regcomp_parse++;
2113             if (PL_regcomp_parse == PL_regxend)
2114                 /* Grandfather lone [:, [=, [. */
2115                 PL_regcomp_parse = posixccs;
2116             else {
2117                 PL_regcomp_parse++; /* skip over the posixccc */
2118                 if (*PL_regcomp_parse == ']') {
2119                     /* Not Implemented Yet.
2120                      * (POSIX Extended Character Classes, that is)
2121                      * The text between e.g. [: and :] would start
2122                      * at posixccs + 1 and stop at regcomp_parse - 2. */
2123                     if (ckWARN(WARN_UNSAFE) && !SIZE_ONLY)
2124                         warner(WARN_UNSAFE,
2125                             "Character class syntax [%c %c] is reserved for future extensions", posixccc, posixccc);
2126                     PL_regcomp_parse++; /* skip over the ending ] */
2127                 }
2128             }
2129         }
2130         if (value == '\\') {
2131             value = UCHARAT(PL_regcomp_parse++);
2132             switch (value) {
2133             case 'w':
2134                 if (!SIZE_ONLY) {
2135                     if (LOC)
2136                         *opnd |= ANYOF_ALNUML;
2137                     else {
2138                         for (value = 0; value < 256; value++)
2139                             if (isALNUM(value))
2140                                 ANYOF_SET(opnd, value);
2141                     }
2142                 }
2143                 lastvalue = 1234;
2144                 continue;
2145             case 'W':
2146                 if (!SIZE_ONLY) {
2147                     if (LOC)
2148                         *opnd |= ANYOF_NALNUML;
2149                     else {
2150                         for (value = 0; value < 256; value++)
2151                             if (!isALNUM(value))
2152                                 ANYOF_SET(opnd, value);
2153                     }
2154                 }
2155                 lastvalue = 1234;
2156                 continue;
2157             case 's':
2158                 if (!SIZE_ONLY) {
2159                     if (LOC)
2160                         *opnd |= ANYOF_SPACEL;
2161                     else {
2162                         for (value = 0; value < 256; value++)
2163                             if (isSPACE(value))
2164                                 ANYOF_SET(opnd, value);
2165                     }
2166                 }
2167                 lastvalue = 1234;
2168                 continue;
2169             case 'S':
2170                 if (!SIZE_ONLY) {
2171                     if (LOC)
2172                         *opnd |= ANYOF_NSPACEL;
2173                     else {
2174                         for (value = 0; value < 256; value++)
2175                             if (!isSPACE(value))
2176                                 ANYOF_SET(opnd, value);
2177                     }
2178                 }
2179                 lastvalue = 1234;
2180                 continue;
2181             case 'd':
2182                 if (!SIZE_ONLY) {
2183                     for (value = '0'; value <= '9'; value++)
2184                         ANYOF_SET(opnd, value);
2185                 }
2186                 lastvalue = 1234;
2187                 continue;
2188             case 'D':
2189                 if (!SIZE_ONLY) {
2190                     for (value = 0; value < '0'; value++)
2191                         ANYOF_SET(opnd, value);
2192                     for (value = '9' + 1; value < 256; value++)
2193                         ANYOF_SET(opnd, value);
2194                 }
2195                 lastvalue = 1234;
2196                 continue;
2197             case 'n':
2198                 value = '\n';
2199                 break;
2200             case 'r':
2201                 value = '\r';
2202                 break;
2203             case 't':
2204                 value = '\t';
2205                 break;
2206             case 'f':
2207                 value = '\f';
2208                 break;
2209             case 'b':
2210                 value = '\b';
2211                 break;
2212             case 'e':
2213                 value = '\033';
2214                 break;
2215             case 'a':
2216                 value = '\007';
2217                 break;
2218             case 'x':
2219                 value = scan_hex(PL_regcomp_parse, 2, &numlen);
2220                 PL_regcomp_parse += numlen;
2221                 break;
2222             case 'c':
2223                 value = UCHARAT(PL_regcomp_parse++);
2224                 value = toCTRL(value);
2225                 break;
2226             case '0': case '1': case '2': case '3': case '4':
2227             case '5': case '6': case '7': case '8': case '9':
2228                 value = scan_oct(--PL_regcomp_parse, 3, &numlen);
2229                 PL_regcomp_parse += numlen;
2230                 break;
2231             }
2232         }
2233         if (range) {
2234             if (lastvalue > value)
2235                 FAIL("invalid [] range in regexp");
2236             range = 0;
2237         }
2238         else {
2239             lastvalue = value;
2240             if (*PL_regcomp_parse == '-' && PL_regcomp_parse+1 < PL_regxend &&
2241               PL_regcomp_parse[1] != ']') {
2242                 PL_regcomp_parse++;
2243                 range = 1;
2244                 continue;       /* do it next time */
2245             }
2246         }
2247         if (!SIZE_ONLY) {
2248             for ( ; lastvalue <= value; lastvalue++)
2249                 ANYOF_SET(opnd, lastvalue);
2250         }
2251         lastvalue = value;
2252     }
2253     /* optimize case-insensitive simple patterns (e.g. /[a-z]/i) */
2254     if (!SIZE_ONLY && (*opnd & (0xFF ^ ANYOF_INVERT)) == ANYOF_FOLD) {
2255         for (value = 0; value < 256; ++value) {
2256             if (ANYOF_TEST(opnd, value)) {
2257                 I32 cf = fold[value];
2258                 ANYOF_SET(opnd, cf);
2259             }
2260         }
2261         *opnd &= ~ANYOF_FOLD;
2262     }
2263     /* optimize inverted simple patterns (e.g. [^a-z]) */
2264     if (!SIZE_ONLY && (*opnd & 0xFF) == ANYOF_INVERT) {
2265         for (value = 0; value < 32; ++value)
2266             opnd[1 + value] ^= 0xFF;
2267         *opnd = 0;
2268     }
2269     return ret;
2270 }
2271
2272 STATIC regnode *
2273 regclassutf8(void)
2274 {
2275     register char *opnd, *e;
2276     register U32 value;
2277     register U32 lastvalue = 123456;
2278     register I32 range = 0;
2279     register regnode *ret;
2280     I32 numlen;
2281     I32 n;
2282     SV *listsv;
2283     U8 flags = 0;
2284     dTHR;
2285
2286     if (*PL_regcomp_parse == '^') {     /* Complement of range. */
2287         PL_regnaughty++;
2288         PL_regcomp_parse++;
2289         if (!SIZE_ONLY)
2290             flags |= ANYOF_INVERT;
2291     }
2292     if (!SIZE_ONLY) {
2293         if (FOLD)
2294             flags |= ANYOF_FOLD;
2295         if (LOC)
2296             flags |= ANYOF_LOCALE;
2297         listsv = newSVpv("# comment\n",0);
2298     }
2299
2300     if (*PL_regcomp_parse == ']' || *PL_regcomp_parse == '-')
2301         goto skipcond;          /* allow 1st char to be ] or - */
2302
2303     while (PL_regcomp_parse < PL_regxend && *PL_regcomp_parse != ']') {
2304        skipcond:
2305         value = utf8_to_uv((U8*)PL_regcomp_parse, &numlen);
2306         PL_regcomp_parse += numlen;
2307
2308         if (value == '[' && PL_regcomp_parse + 1 < PL_regxend &&
2309             /* I smell either [: or [= or [. -- POSIX has been here, right? */
2310             (*PL_regcomp_parse == ':' || *PL_regcomp_parse == '=' || *PL_regcomp_parse == '.')) {
2311             char  posixccc = *PL_regcomp_parse;
2312             char* posixccs = PL_regcomp_parse++;
2313
2314             while (PL_regcomp_parse < PL_regxend && *PL_regcomp_parse != posixccc)
2315                 PL_regcomp_parse++;
2316             if (PL_regcomp_parse == PL_regxend)
2317                 /* Grandfather lone [:, [=, [. */
2318                 PL_regcomp_parse = posixccs;
2319             else {
2320                 PL_regcomp_parse++; /* skip over the posixccc */
2321                 if (*PL_regcomp_parse == ']') {
2322                     /* Not Implemented Yet.
2323                      * (POSIX Extended Character Classes, that is)
2324                      * The text between e.g. [: and :] would start
2325                      * at posixccs + 1 and stop at regcomp_parse - 2. */
2326                     if (ckWARN(WARN_UNSAFE) && !SIZE_ONLY)
2327                         warner(WARN_UNSAFE,
2328                             "Character class syntax [%c %c] is reserved for future extensions", posixccc, posixccc);
2329                     PL_regcomp_parse++; /* skip over the ending ] */
2330                 }
2331             }
2332         }
2333
2334         if (value == '\\') {
2335             value = utf8_to_uv((U8*)PL_regcomp_parse, &numlen);
2336             PL_regcomp_parse += numlen;
2337             switch (value) {
2338             case 'w':
2339                 if (!SIZE_ONLY) {
2340                     if (LOC)
2341                         flags |= ANYOF_ALNUML;
2342
2343                     sv_catpvf(listsv, "+utf8::IsAlnum\n");
2344                 }
2345                 lastvalue = 123456;
2346                 continue;
2347             case 'W':
2348                 if (!SIZE_ONLY) {
2349                     if (LOC)
2350                         flags |= ANYOF_NALNUML;
2351
2352                     sv_catpvf(listsv,
2353                         "-utf8::IsAlpha\n-utf8::IsDigit\n0000\t%04x\n%04x\tffff\n",
2354                         '_' - 1,
2355                         '_' + 1);
2356                 }
2357                 lastvalue = 123456;
2358                 continue;
2359             case 's':
2360                 if (!SIZE_ONLY) {
2361                     if (LOC)
2362                         flags |= ANYOF_SPACEL;
2363                     sv_catpvf(listsv, "+utf8::IsSpace\n");
2364                     if (!PL_utf8_space)
2365                         is_utf8_space((U8*)" ");
2366                 }
2367                 lastvalue = 123456;
2368                 continue;
2369             case 'S':
2370                 if (!SIZE_ONLY) {
2371                     if (LOC)
2372                         flags |= ANYOF_NSPACEL;
2373                     sv_catpvf(listsv,
2374                         "!utf8::IsSpace\n");
2375                     if (!PL_utf8_space)
2376                         is_utf8_space((U8*)" ");
2377                 }
2378                 lastvalue = 123456;
2379                 continue;
2380             case 'd':
2381                 if (!SIZE_ONLY) {
2382                     sv_catpvf(listsv, "+utf8::IsDigit\n");
2383                 }
2384                 lastvalue = 123456;
2385                 continue;
2386             case 'D':
2387                 if (!SIZE_ONLY) {
2388                     sv_catpvf(listsv,
2389                         "!utf8::IsDigit\n");
2390                 }
2391                 lastvalue = 123456;
2392                 continue;
2393             case 'p':
2394             case 'P':
2395                 if (*PL_regcomp_parse == '{') {
2396                     e = strchr(PL_regcomp_parse++, '}');
2397                     if (!e)
2398                         FAIL("Missing right brace on \\p{}");
2399                     n = e - PL_regcomp_parse;
2400                 }
2401                 else {
2402                     e = PL_regcomp_parse;
2403                     n = 1;
2404                 }
2405                 if (!SIZE_ONLY) {
2406                     if (value == 'p')
2407                         sv_catpvf(listsv, "+utf8::%.*s\n", n, PL_regcomp_parse);
2408                     else
2409                         sv_catpvf(listsv,
2410                             "!utf8::%.*s\n", n, PL_regcomp_parse);
2411                 }
2412                 PL_regcomp_parse = e + 1;
2413                 lastvalue = 123456;
2414                 continue;
2415             case 'n':
2416                 value = '\n';
2417                 break;
2418             case 'r':
2419                 value = '\r';
2420                 break;
2421             case 't':
2422                 value = '\t';
2423                 break;
2424             case 'f':
2425                 value = '\f';
2426                 break;
2427             case 'b':
2428                 value = '\b';
2429                 break;
2430             case 'e':
2431                 value = '\033';
2432                 break;
2433             case 'a':
2434                 value = '\007';
2435                 break;
2436             case 'x':
2437                 if (*PL_regcomp_parse == '{') {
2438                     e = strchr(PL_regcomp_parse++, '}');
2439                     if (!e)
2440                         FAIL("Missing right brace on \\x{}");
2441                     value = scan_hex(PL_regcomp_parse + 1, e - PL_regcomp_parse, &numlen);
2442                     PL_regcomp_parse = e + 1;
2443                 }
2444                 else {
2445                     value = scan_hex(PL_regcomp_parse, 2, &numlen);
2446                     PL_regcomp_parse += numlen;
2447                 }
2448                 break;
2449             case 'c':
2450                 value = UCHARAT(PL_regcomp_parse++);
2451                 value = toCTRL(value);
2452                 break;
2453             case '0': case '1': case '2': case '3': case '4':
2454             case '5': case '6': case '7': case '8': case '9':
2455                 value = scan_oct(--PL_regcomp_parse, 3, &numlen);
2456                 PL_regcomp_parse += numlen;
2457                 break;
2458             }
2459         }
2460         if (range) {
2461             if (lastvalue > value)
2462                 FAIL("invalid [] range in regexp");
2463             if (!SIZE_ONLY)
2464                 sv_catpvf(listsv, "%04x\t%04x\n", lastvalue, value);
2465             lastvalue = value;
2466             range = 0;
2467         }
2468         else {
2469             lastvalue = value;
2470             if (*PL_regcomp_parse == '-' && PL_regcomp_parse+1 < PL_regxend &&
2471               PL_regcomp_parse[1] != ']') {
2472                 PL_regcomp_parse++;
2473                 range = 1;
2474                 continue;       /* do it next time */
2475             }
2476             if (!SIZE_ONLY)
2477                 sv_catpvf(listsv, "%04x\n", value);
2478         }
2479     }
2480
2481     ret = reganode(ANYOFUTF8, 0);
2482
2483     if (!SIZE_ONLY) {
2484         SV *rv = swash_init("utf8", "", listsv, 1, 0);
2485         SvREFCNT_dec(listsv);
2486         n = add_data(1,"s");
2487         PL_regcomp_rx->data->data[n] = (void*)rv;
2488         ARG1_SET(ret, flags);
2489         ARG2_SET(ret, n);
2490     }
2491
2492     return ret;
2493 }
2494
2495 STATIC char*
2496 nextchar(void)
2497 {
2498     dTHR;
2499     char* retval = PL_regcomp_parse++;
2500
2501     for (;;) {
2502         if (*PL_regcomp_parse == '(' && PL_regcomp_parse[1] == '?' &&
2503                 PL_regcomp_parse[2] == '#') {
2504             while (*PL_regcomp_parse && *PL_regcomp_parse != ')')
2505                 PL_regcomp_parse++;
2506             PL_regcomp_parse++;
2507             continue;
2508         }
2509         if (PL_regflags & PMf_EXTENDED) {
2510             if (isSPACE(*PL_regcomp_parse)) {
2511                 PL_regcomp_parse++;
2512                 continue;
2513             }
2514             else if (*PL_regcomp_parse == '#') {
2515                 while (*PL_regcomp_parse && *PL_regcomp_parse != '\n')
2516                     PL_regcomp_parse++;
2517                 PL_regcomp_parse++;
2518                 continue;
2519             }
2520         }
2521         return retval;
2522     }
2523 }
2524
2525 /*
2526 - reg_node - emit a node
2527 */
2528 STATIC regnode *                        /* Location. */
2529 reg_node(U8 op)
2530 {
2531     dTHR;
2532     register regnode *ret;
2533     register regnode *ptr;
2534
2535     ret = PL_regcode;
2536     if (SIZE_ONLY) {
2537         SIZE_ALIGN(PL_regsize);
2538         PL_regsize += 1;
2539         return(ret);
2540     }
2541
2542     NODE_ALIGN_FILL(ret);
2543     ptr = ret;
2544     FILL_ADVANCE_NODE(ptr, op);
2545     PL_regcode = ptr;
2546
2547     return(ret);
2548 }
2549
2550 /*
2551 - reganode - emit a node with an argument
2552 */
2553 STATIC regnode *                        /* Location. */
2554 reganode(U8 op, U32 arg)
2555 {
2556     dTHR;
2557     register regnode *ret;
2558     register regnode *ptr;
2559
2560     ret = PL_regcode;
2561     if (SIZE_ONLY) {
2562         SIZE_ALIGN(PL_regsize);
2563         PL_regsize += 2;
2564         return(ret);
2565     }
2566
2567     NODE_ALIGN_FILL(ret);
2568     ptr = ret;
2569     FILL_ADVANCE_NODE_ARG(ptr, op, arg);
2570     PL_regcode = ptr;
2571
2572     return(ret);
2573 }
2574
2575 /*
2576 - regc - emit (if appropriate) a Unicode character
2577 */
2578 STATIC void
2579 reguni(UV uv, char* s, I32* lenp)
2580 {
2581     dTHR;
2582     if (SIZE_ONLY) {
2583         U8 tmpbuf[10];
2584         *lenp = uv_to_utf8(tmpbuf, uv) - tmpbuf;
2585     }
2586     else
2587         *lenp = uv_to_utf8((U8*)s, uv) - (U8*)s;
2588
2589 }
2590
2591 /*
2592 - regc - emit (if appropriate) a byte of code
2593 */
2594 STATIC void
2595 regc(U8 b, char* s)
2596 {
2597     dTHR;
2598     if (!SIZE_ONLY)
2599         *s = b;
2600 }
2601
2602 /*
2603 - reginsert - insert an operator in front of already-emitted operand
2604 *
2605 * Means relocating the operand.
2606 */
2607 STATIC void
2608 reginsert(U8 op, regnode *opnd)
2609 {
2610     dTHR;
2611     register regnode *src;
2612     register regnode *dst;
2613     register regnode *place;
2614     register int offset = regarglen[(U8)op];
2615
2616 /* (regkind[(U8)op] == CURLY ? EXTRA_STEP_2ARGS : 0); */
2617
2618     if (SIZE_ONLY) {
2619         PL_regsize += NODE_STEP_REGNODE + offset;
2620         return;
2621     }
2622
2623     src = PL_regcode;
2624     PL_regcode += NODE_STEP_REGNODE + offset;
2625     dst = PL_regcode;
2626     while (src > opnd)
2627         StructCopy(--src, --dst, regnode);
2628
2629     place = opnd;               /* Op node, where operand used to be. */
2630     src = NEXTOPER(place);
2631     FILL_ADVANCE_NODE(place, op);
2632     Zero(src, offset, regnode);
2633 }
2634
2635 /*
2636 - regtail - set the next-pointer at the end of a node chain of p to val.
2637 */
2638 STATIC void
2639 regtail(regnode *p, regnode *val)
2640 {
2641     dTHR;
2642     register regnode *scan;
2643     register regnode *temp;
2644     register I32 offset;
2645
2646     if (SIZE_ONLY)
2647         return;
2648
2649     /* Find last node. */
2650     scan = p;
2651     for (;;) {
2652         temp = regnext(scan);
2653         if (temp == NULL)
2654             break;
2655         scan = temp;
2656     }
2657
2658     if (reg_off_by_arg[OP(scan)]) {
2659         ARG_SET(scan, val - scan);
2660     }
2661     else {
2662         NEXT_OFF(scan) = val - scan;
2663     }
2664 }
2665
2666 /*
2667 - regoptail - regtail on operand of first argument; nop if operandless
2668 */
2669 STATIC void
2670 regoptail(regnode *p, regnode *val)
2671 {
2672     dTHR;
2673     /* "Operandless" and "op != BRANCH" are synonymous in practice. */
2674     if (p == NULL || SIZE_ONLY)
2675         return;
2676     if (regkind[(U8)OP(p)] == BRANCH) {
2677         regtail(NEXTOPER(p), val);
2678     }
2679     else if ( regkind[(U8)OP(p)] == BRANCHJ) {
2680         regtail(NEXTOPER(NEXTOPER(p)), val);
2681     }
2682     else
2683         return;
2684 }
2685
2686 /*
2687  - regcurly - a little FSA that accepts {\d+,?\d*}
2688  */
2689 STATIC I32
2690 regcurly(register char *s)
2691 {
2692     if (*s++ != '{')
2693         return FALSE;
2694     if (!isDIGIT(*s))
2695         return FALSE;
2696     while (isDIGIT(*s))
2697         s++;
2698     if (*s == ',')
2699         s++;
2700     while (isDIGIT(*s))
2701         s++;
2702     if (*s != '}')
2703         return FALSE;
2704     return TRUE;
2705 }
2706
2707
2708 STATIC regnode *
2709 dumpuntil(regnode *start, regnode *node, regnode *last, SV* sv, I32 l)
2710 {
2711 #ifdef DEBUGGING
2712     register char op = EXACT;   /* Arbitrary non-END op. */
2713     register regnode *next, *onode;
2714
2715     while (op != END && (!last || node < last)) {
2716         /* While that wasn't END last time... */
2717
2718         NODE_ALIGN(node);
2719         op = OP(node);
2720         if (op == CLOSE)
2721             l--;
2722         next = regnext(node);
2723         /* Where, what. */
2724         if (OP(node) == OPTIMIZED)
2725             goto after_print;
2726         regprop(sv, node);
2727         PerlIO_printf(Perl_debug_log, "%4d:%*s%s", node - start,
2728                       2*l + 1, "", SvPVX(sv));
2729         if (next == NULL)               /* Next ptr. */
2730             PerlIO_printf(Perl_debug_log, "(0)");
2731         else
2732             PerlIO_printf(Perl_debug_log, "(%d)", next - start);
2733         (void)PerlIO_putc(Perl_debug_log, '\n');
2734       after_print:
2735         if (regkind[(U8)op] == BRANCHJ) {
2736             register regnode *nnode = (OP(next) == LONGJMP
2737                                        ? regnext(next)
2738                                        : next);
2739             if (last && nnode > last)
2740                 nnode = last;
2741             node = dumpuntil(start, NEXTOPER(NEXTOPER(node)), nnode, sv, l + 1);
2742         }
2743         else if (regkind[(U8)op] == BRANCH) {
2744             node = dumpuntil(start, NEXTOPER(node), next, sv, l + 1);
2745         }
2746         else if ( op == CURLY) {   /* `next' might be very big: optimizer */
2747             node = dumpuntil(start, NEXTOPER(node) + EXTRA_STEP_2ARGS,
2748                              NEXTOPER(node) + EXTRA_STEP_2ARGS + 1, sv, l + 1);
2749         }
2750         else if (regkind[(U8)op] == CURLY && op != CURLYX) {
2751             node = dumpuntil(start, NEXTOPER(node) + EXTRA_STEP_2ARGS,
2752                              next, sv, l + 1);
2753         }
2754         else if ( op == PLUS || op == STAR) {
2755             node = dumpuntil(start, NEXTOPER(node), NEXTOPER(node) + 1, sv, l + 1);
2756         }
2757         else if (op == ANYOF) {
2758             node = NEXTOPER(node);
2759             node += ANY_SKIP;
2760         }
2761         else if (regkind[(U8)op] == EXACT) {
2762             /* Literal string, where present. */
2763             node += ((*OPERAND(node)) + 2 + sizeof(regnode) - 1) / sizeof(regnode);
2764             node = NEXTOPER(node);
2765         }
2766         else {
2767             node = NEXTOPER(node);
2768             node += regarglen[(U8)op];
2769         }
2770         if (op == CURLYX || op == OPEN)
2771             l++;
2772         else if (op == WHILEM)
2773             l--;
2774     }
2775 #endif  /* DEBUGGING */
2776     return node;
2777 }
2778
2779 /*
2780  - regdump - dump a regexp onto Perl_debug_log in vaguely comprehensible form
2781  */
2782 void
2783 regdump(regexp *r)
2784 {
2785 #ifdef DEBUGGING
2786     dTHR;
2787     SV *sv = sv_newmortal();
2788
2789     (void)dumpuntil(r->program, r->program + 1, NULL, sv, 0);
2790
2791     /* Header fields of interest. */
2792     if (r->anchored_substr)
2793         PerlIO_printf(Perl_debug_log, "anchored `%s%s%s'%s at %d ",
2794                       PL_colors[0],
2795                       SvPVX(r->anchored_substr),
2796                       PL_colors[1],
2797                       SvTAIL(r->anchored_substr) ? "$" : "",
2798                       r->anchored_offset);
2799     if (r->float_substr)
2800         PerlIO_printf(Perl_debug_log, "floating `%s%s%s'%s at %d..%u ",
2801                       PL_colors[0],
2802                       SvPVX(r->float_substr),
2803                       PL_colors[1],
2804                       SvTAIL(r->float_substr) ? "$" : "",
2805                       r->float_min_offset, r->float_max_offset);
2806     if (r->check_substr)
2807         PerlIO_printf(Perl_debug_log,
2808                       r->check_substr == r->float_substr
2809                       ? "(checking floating" : "(checking anchored");
2810     if (r->reganch & ROPT_NOSCAN)
2811         PerlIO_printf(Perl_debug_log, " noscan");
2812     if (r->reganch & ROPT_CHECK_ALL)
2813         PerlIO_printf(Perl_debug_log, " isall");
2814     if (r->check_substr)
2815         PerlIO_printf(Perl_debug_log, ") ");
2816
2817     if (r->regstclass) {
2818         regprop(sv, r->regstclass);
2819         PerlIO_printf(Perl_debug_log, "stclass `%s' ", SvPVX(sv));
2820     }
2821     if (r->reganch & ROPT_ANCH) {
2822         PerlIO_printf(Perl_debug_log, "anchored");
2823         if (r->reganch & ROPT_ANCH_BOL)
2824             PerlIO_printf(Perl_debug_log, "(BOL)");
2825         if (r->reganch & ROPT_ANCH_MBOL)
2826             PerlIO_printf(Perl_debug_log, "(MBOL)");
2827         if (r->reganch & ROPT_ANCH_GPOS)
2828             PerlIO_printf(Perl_debug_log, "(GPOS)");
2829         PerlIO_putc(Perl_debug_log, ' ');
2830     }
2831     if (r->reganch & ROPT_GPOS_SEEN)
2832         PerlIO_printf(Perl_debug_log, "GPOS ");
2833     if (r->reganch & ROPT_SKIP)
2834         PerlIO_printf(Perl_debug_log, "plus ");
2835     if (r->reganch & ROPT_IMPLICIT)
2836         PerlIO_printf(Perl_debug_log, "implicit ");
2837     PerlIO_printf(Perl_debug_log, "minlen %ld ", (long) r->minlen);
2838     if (r->reganch & ROPT_EVAL_SEEN)
2839         PerlIO_printf(Perl_debug_log, "with eval ");
2840     PerlIO_printf(Perl_debug_log, "\n");
2841 #endif  /* DEBUGGING */
2842 }
2843
2844 /*
2845 - regprop - printable representation of opcode
2846 */
2847 void
2848 regprop(SV *sv, regnode *o)
2849 {
2850 #ifdef DEBUGGING
2851     dTHR;
2852     register char *p = 0;
2853
2854     sv_setpvn(sv, "", 0);
2855     switch (OP(o)) {
2856     case BOL:
2857         p = "BOL";
2858         break;
2859     case MBOL:
2860         p = "MBOL";
2861         break;
2862     case SBOL:
2863         p = "SBOL";
2864         break;
2865     case EOL:
2866         p = "EOL";
2867         break;
2868     case EOS:
2869         p = "EOS";
2870         break;
2871     case MEOL:
2872         p = "MEOL";
2873         break;
2874     case SEOL:
2875         p = "SEOL";
2876         break;
2877     case ANY:
2878         p = "ANY";
2879         break;
2880     case SANY:
2881         p = "SANY";
2882         break;
2883     case ANYUTF8:
2884         p = "ANYUTF8";
2885         break;
2886     case SANYUTF8:
2887         p = "SANYUTF8";
2888         break;
2889     case ANYOFUTF8:
2890         p = "ANYOFUTF8";
2891         break;
2892     case ANYOF:
2893         p = "ANYOF";
2894         break;
2895     case BRANCH:
2896         p = "BRANCH";
2897         break;
2898     case EXACT:
2899         sv_catpvf(sv, "EXACT <%s%s%s>", PL_colors[0], OPERAND(o) + 1, PL_colors[1]);
2900         break;
2901     case EXACTF:
2902         sv_catpvf(sv, "EXACTF <%s%s%s>", PL_colors[0], OPERAND(o) + 1, PL_colors[1]);
2903         break;
2904     case EXACTFL:
2905         sv_catpvf(sv, "EXACTFL <%s%s%s>", PL_colors[0], OPERAND(o) + 1, PL_colors[1]);
2906         break;
2907     case NOTHING:
2908         p = "NOTHING";
2909         break;
2910     case TAIL:
2911         p = "TAIL";
2912         break;
2913     case BACK:
2914         p = "BACK";
2915         break;
2916     case END:
2917         p = "END";
2918         break;
2919     case BOUND:
2920         p = "BOUND";
2921         break;
2922     case BOUNDL:
2923         p = "BOUNDL";
2924         break;
2925     case NBOUND:
2926         p = "NBOUND";
2927         break;
2928     case NBOUNDL:
2929         p = "NBOUNDL";
2930         break;
2931     case CURLY:
2932         sv_catpvf(sv, "CURLY {%d,%d}", ARG1(o), ARG2(o));
2933         break;
2934     case CURLYM:
2935         sv_catpvf(sv, "CURLYM[%d] {%d,%d}", o->flags, ARG1(o), ARG2(o));
2936         break;
2937     case CURLYN:
2938         sv_catpvf(sv, "CURLYN[%d] {%d,%d}", o->flags, ARG1(o), ARG2(o));
2939         break;
2940     case CURLYX:
2941         sv_catpvf(sv, "CURLYX {%d,%d}", ARG1(o), ARG2(o));
2942         break;
2943     case REF:
2944         sv_catpvf(sv, "REF%d", ARG(o));
2945         break;
2946     case REFF:
2947         sv_catpvf(sv, "REFF%d", ARG(o));
2948         break;
2949     case REFFL:
2950         sv_catpvf(sv, "REFFL%d", ARG(o));
2951         break;
2952     case OPEN:
2953         sv_catpvf(sv, "OPEN%d", ARG(o));
2954         break;
2955     case CLOSE:
2956         sv_catpvf(sv, "CLOSE%d", ARG(o));
2957         p = NULL;
2958         break;
2959     case STAR:
2960         p = "STAR";
2961         break;
2962     case PLUS:
2963         p = "PLUS";
2964         break;
2965     case MINMOD:
2966         p = "MINMOD";
2967         break;
2968     case GPOS:
2969         p = "GPOS";
2970         break;
2971     case UNLESSM:
2972         sv_catpvf(sv, "UNLESSM[-%d]", o->flags);
2973         break;
2974     case IFMATCH:
2975         sv_catpvf(sv, "IFMATCH[-%d]", o->flags);
2976         break;
2977     case SUCCEED:
2978         p = "SUCCEED";
2979         break;
2980     case WHILEM:
2981         p = "WHILEM";
2982         break;
2983     case DIGIT:
2984         p = "DIGIT";
2985         break;
2986     case NDIGIT:
2987         p = "NDIGIT";
2988         break;
2989     case ALNUM:
2990         p = "ALNUM";
2991         break;
2992     case NALNUM:
2993         p = "NALNUM";
2994         break;
2995     case SPACE:
2996         p = "SPACE";
2997         break;
2998     case NSPACE:
2999         p = "NSPACE";
3000         break;
3001     case ALNUML:
3002         p = "ALNUML";
3003         break;
3004     case NALNUML:
3005         p = "NALNUML";
3006         break;
3007     case SPACEL:
3008         p = "SPACEL";
3009         break;
3010     case NSPACEL:
3011         p = "NSPACEL";
3012         break;
3013     case EVAL:
3014         p = "EVAL";
3015         break;
3016     case LONGJMP:
3017         p = "LONGJMP";
3018         break;
3019     case BRANCHJ:
3020         p = "BRANCHJ";
3021         break;
3022     case IFTHEN:
3023         p = "IFTHEN";
3024         break;
3025     case GROUPP:
3026         sv_catpvf(sv, "GROUPP%d", ARG(o));
3027         break;
3028     case LOGICAL:
3029         p = "LOGICAL";
3030         break;
3031     case SUSPEND:
3032         p = "SUSPEND";
3033         break;
3034     case RENUM:
3035         p = "RENUM";
3036         break;
3037     case OPTIMIZED:
3038         p = "OPTIMIZED";
3039         break;
3040     default:
3041         FAIL("corrupted regexp opcode");
3042     }
3043     if (p)
3044         sv_catpv(sv, p);
3045 #endif  /* DEBUGGING */
3046 }
3047
3048 void
3049 pregfree(struct regexp *r)
3050 {
3051     dTHR;
3052     if (!r || (--r->refcnt > 0))
3053         return;
3054     if (r->precomp)
3055         Safefree(r->precomp);
3056     if (r->subbase)
3057         Safefree(r->subbase);
3058     if (r->substrs) {
3059         if (r->anchored_substr)
3060             SvREFCNT_dec(r->anchored_substr);
3061         if (r->float_substr)
3062             SvREFCNT_dec(r->float_substr);
3063         Safefree(r->substrs);
3064     }
3065     if (r->data) {
3066         int n = r->data->count;
3067         while (--n >= 0) {
3068             switch (r->data->what[n]) {
3069             case 's':
3070                 SvREFCNT_dec((SV*)r->data->data[n]);
3071                 break;
3072             case 'o':
3073                 op_free((OP_4tree*)r->data->data[n]);
3074                 break;
3075             case 'n':
3076                 break;
3077             default:
3078                 FAIL2("panic: regfree data code '%c'", r->data->what[n]);
3079             }
3080         }
3081         Safefree(r->data->what);
3082         Safefree(r->data);
3083     }
3084     Safefree(r->startp);
3085     Safefree(r->endp);
3086     Safefree(r);
3087 }
3088
3089 /*
3090  - regnext - dig the "next" pointer out of a node
3091  *
3092  * [Note, when REGALIGN is defined there are two places in regmatch()
3093  * that bypass this code for speed.]
3094  */
3095 regnode *
3096 regnext(register regnode *p)
3097 {
3098     dTHR;
3099     register I32 offset;
3100
3101     if (p == &PL_regdummy)
3102         return(NULL);
3103
3104     offset = (reg_off_by_arg[OP(p)] ? ARG(p) : NEXT_OFF(p));
3105     if (offset == 0)
3106         return(NULL);
3107
3108     return(p+offset);
3109 }
3110
3111 STATIC void
3112 re_croak2(const char* pat1,const char* pat2,...)
3113 {
3114     va_list args;
3115     STRLEN l1 = strlen(pat1);
3116     STRLEN l2 = strlen(pat2);
3117     char buf[512];
3118     char *message;
3119
3120     if (l1 > 510)
3121         l1 = 510;
3122     if (l1 + l2 > 510)
3123         l2 = 510 - l1;
3124     Copy(pat1, buf, l1 , char);
3125     Copy(pat2, buf + l1, l2 , char);
3126     buf[l1 + l2] = '\n';
3127     buf[l1 + l2 + 1] = '\0';
3128     va_start(args, pat2);
3129     message = mess(buf, &args);
3130     va_end(args);
3131     l1 = strlen(message);
3132     if (l1 > 512)
3133         l1 = 512;
3134     Copy(message, buf, l1 , char);
3135     buf[l1] = '\0';                     /* Overwrite \n */
3136     croak("%s", buf);
3137 }
3138
3139 /* XXX Here's a total kludge.  But we need to re-enter for swash routines. */
3140
3141 void
3142 save_re_context(void)
3143 {
3144     dTHR;
3145     SAVEPPTR(PL_bostr);
3146     SAVEPPTR(PL_regprecomp);            /* uncompiled string. */
3147     SAVEI32(PL_regnpar);                /* () count. */
3148     SAVEI32(PL_regsize);                /* Code size. */
3149     SAVEI16(PL_regflags);               /* are we folding, multilining? */
3150     SAVEPPTR(PL_reginput);              /* String-input pointer. */
3151     SAVEPPTR(PL_regbol);                /* Beginning of input, for ^ check. */
3152     SAVEPPTR(PL_regeol);                /* End of input, for $ check. */
3153     SAVESPTR(PL_regstartp);             /* Pointer to startp array. */
3154     SAVESPTR(PL_regendp);               /* Ditto for endp. */
3155     SAVESPTR(PL_reglastparen);          /* Similarly for lastparen. */
3156     SAVEPPTR(PL_regtill);               /* How far we are required to go. */
3157     SAVEI32(PL_regprev);                /* char before regbol, \n if none */
3158     SAVESPTR(PL_reg_start_tmp);         /* from regexec.c */
3159     PL_reg_start_tmp = 0;
3160     SAVEFREEPV(PL_reg_start_tmp);
3161     SAVEI32(PL_reg_start_tmpl);         /* from regexec.c */
3162     PL_reg_start_tmpl = 0;
3163     SAVESPTR(PL_regdata);
3164     SAVEI32(PL_reg_flags);              /* from regexec.c */
3165     SAVEI32(PL_reg_eval_set);           /* from regexec.c */
3166     SAVEI32(PL_regnarrate);             /* from regexec.c */
3167     SAVESPTR(PL_regprogram);            /* from regexec.c */
3168     SAVEINT(PL_regindent);              /* from regexec.c */
3169     SAVESPTR(PL_regcc);                 /* from regexec.c */
3170     SAVESPTR(PL_curcop);
3171     SAVESPTR(PL_regcomp_rx);            /* from regcomp.c */
3172     SAVEI32(PL_regseen);                /* from regcomp.c */
3173     SAVEI32(PL_regsawback);             /* Did we see \1, ...? */
3174     SAVEI32(PL_regnaughty);             /* How bad is this pattern? */
3175     SAVESPTR(PL_regcode);               /* Code-emit pointer; &regdummy = don't */
3176     SAVEPPTR(PL_regxend);               /* End of input for compile */
3177     SAVEPPTR(PL_regcomp_parse);         /* Input-scan pointer. */
3178 }