e576bb2002-10-11Martin Nilsson /* || This file is part of Pike. For copyright information see COPYRIGHT. || Pike is distributed under GPL, LGPL and MPL. See the file COPYING || for more information. */
1b10db2002-10-08Martin Nilsson  /*
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  * regexp.c - regular expression matching * * DESCRIPTION * * Underneath the reformatting and comment blocks which were added to * make it consistent with the rest of the code, you will find a * modified version of Henry Specer's regular expression library. * Henry's functions were modified to provide the minimal regular * expression matching, as required by P1003. Henry's code was * copyrighted, and copy of the copyright message and restrictions * are provided, verbatim, below: * * Copyright (c) 1986 by University of Toronto. * Written by Henry Spencer. Not derived from licensed software. * * Permission is granted to anyone to use this software for any * purpose on any computer system, and to redistribute it freely, * subject to the following restrictions: * * 1. The author is not responsible for the consequences of use of * this software, no matter how awful, even if they arise * from defects in it. * * 2. The origin of this software must not be misrepresented, either * by explicit claim or by omission. * * 3. Altered versions must be plainly marked as such, and must not * be misrepresented as being the original software. * * * This version modified by Ian Phillipps to return pointer to terminating * NUL on substitution string. [ Temp mail address ex-igp@camcon.co.uk ] * * Altered by amylaar to support excompatible option and the * operators \< and >\ . ( 7.Sep. 1991 ) * * regsub altered by amylaar to take an additional parameter specifying * maximum number of bytes that can be written to the memory region * pointed to by dest * * Also altered by Fredrik Hubinette to handle the + operator and * eight-bit chars. Mars 22 1996 * * * Beware that some of this code is subtly aware of the way operator * precedence is structured in regular expressions. Serious changes in * regular-expression syntax might require a total rethink. * * AUTHORS * * Mark H. Colburn, NAPS International (mark@jhereg.mn.org) * Henry Spencer, University of Torronto (henry@utzoo.edu) * * Sponsored by The USENIX Association for public distribution. * */ /* Headers */ #include "global.h" #include <ctype.h>
932a1d1997-09-10Henrik Grubbström (Grubba) #ifdef HAVE_STRING_H #include <string.h> #endif /* HAVE_STRING_H */
7369d31997-02-11Fredrik Hübinette (Hubbe) #include "pike_regexp.h"
9aa6fa1997-05-19Fredrik Hübinette (Hubbe) #include "pike_memory.h"
b2d3e42000-12-01Fredrik Hübinette (Hubbe) #include "pike_error.h"
151a6c2010-08-16Martin Stjernholm #include "interpret.h"
ab6aec1997-02-11Fredrik Hübinette (Hubbe) 
e48a9b2006-07-10Martin Nilsson #undef NOTHING
6dc2772000-07-28Fredrik Hübinette (Hubbe) 
ab6aec1997-02-11Fredrik Hübinette (Hubbe) /* * The "internal use only" fields in regexp.h are present to pass info from * compile to execute that permits the execute phase to run lots faster on * simple cases. They are: * * regstart char that must begin a match; '\0' if none obvious * reganch is the match anchored (at beginning-of-line only)? * regmust string (pointer into program) that match must include, or NULL * regmlen length of regmust string * * Regstart and reganch permit very fast decisions on suitable starting points * for a match, cutting down the work a lot. Regmust permits fast rejection * of lines that cannot possibly match. The regmust tests are costly enough * that regcomp() supplies a regmust only if the r.e. contains something * potentially expensive (at present, the only such thing detected is * or + * at the start of the r.e., which can involve a lot of backup). Regmlen is * supplied because the test in regexec() needs it and regcomp() is computing * it anyway. */ /* * Structure for regexp "program". This is essentially a linear encoding * of a nondeterministic finite-state machine (aka syntax charts or * "railroad normal form" in parsing technology). Each node is an opcode * plus a "nxt" pointer, possibly plus an operand. "Nxt" pointers of * all nodes except BRANCH implement concatenation; a "nxt" pointer with * a BRANCH on both ends of it is connecting two alternatives. (Here we * have one of the subtle syntax dependencies: an individual BRANCH (as * opposed to a collection of them) is never concatenated with anything * because of operator precedence.) The operand of some types of node is * a literal string; for others, it is a node leading into a sub-FSM. In * particular, the operand of a BRANCH node is the first node of the branch. * (NB this is *not* a tree structure: the tail of the branch connects * to the thing following the set of BRANCHes.) The opcodes are: */ /* definition number opnd? meaning */ #define END 0 /* no End of program. */ #define BOL 1 /* no Match "" at beginning of line. */ #define EOL 2 /* no Match "" at end of line. */ #define ANY 3 /* no Match any one character. */ #define ANYOF 4 /* str Match any character in this string. */ #define ANYBUT 5 /* str Match any character not in this * string. */ #define BRANCH 6 /* node Match this alternative, or the * nxt... */ #define BACK 7 /* no Match "", "nxt" ptr points backward. */ #define EXACTLY 8 /* str Match this string. */ #define NOTHING 9 /* no Match empty string. */ #define STAR 10 /* node Match this (simple) thing 0 or more * times. */ #define WORDSTART 11 /* node matching a start of a word */ #define WORDEND 12 /* node matching an end of a word */
4138da2010-08-16Martin Stjernholm #define KPLUS 13 /* node Match this (simple) thing 1 or more * times. */
ab6aec1997-02-11Fredrik Hübinette (Hubbe) #define OPEN 20 /* no Mark this point in input as start of * #n. */ /* OPEN+1 is number 1, etc. */
bfe7631998-03-25Fredrik Hübinette (Hubbe) #define CLOSE (OPEN+NSUBEXP) /* no Analogous to OPEN. */
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* * Opcode notes: * * BRANCH The set of branches constituting a single choice are hooked * together with their "nxt" pointers, since precedence prevents * anything being concatenated to any individual branch. The * "nxt" pointer of the last BRANCH in a choice points to the * thing following the whole choice. This is also where the * final "nxt" pointer of each individual branch points; each * branch starts with the operand node of a BRANCH node. * * BACK Normal "nxt" pointers all implicitly point forward; BACK * exists to make loop structures possible. *
4138da2010-08-16Martin Stjernholm  * STAR,KPLUS Complex cases are implemented as circular BRANCH structures
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  * using BACK. Simple cases (one character per match) are
4138da2010-08-16Martin Stjernholm  * implemented with STAR or KPLUS for speed and to minimize * recursive plunges.
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  * * OPEN,CLOSE ...are numbered at compile time. */ /* * A node is one char of opcode followed by two chars of "nxt" pointer. * "Nxt" pointers are stored as two 8-bit pieces, high order first. The * value is a positive offset from the opcode of the node containing it. * An operand, if any, simply follows the node. (Note that much of the * code generation knows about this implicit relationship.) * * Using two bytes for the "nxt" pointer is vast overkill for most things, * but allows patterns to get big without disasters. */ #define OP(p) (*(p)) #define NEXT(p) (((*((p)+1)&0377)<<8) + (*((p)+2)&0377)) #define OPERAND(p) ((p) + 3) /* * Utility definitions. */
b2d3e42000-12-01Fredrik Hübinette (Hubbe) #define regerror(X) Pike_error("Regexp: %s\n",X);
ab6aec1997-02-11Fredrik Hübinette (Hubbe) #define SPECIAL 0x100 #define LBRAC ('('|SPECIAL) #define RBRAC (')'|SPECIAL) #define ASTERIX ('*'|SPECIAL) #define PLUS ('+'|SPECIAL) #define OR_OP ('|'|SPECIAL) #define DOLLAR ('$'|SPECIAL) #define DOT ('.'|SPECIAL) #define CARET ('^'|SPECIAL) #define LSQBRAC ('['|SPECIAL) #define RSQBRAC (']'|SPECIAL) #define LSHBRAC ('<'|SPECIAL) #define RSHBRAC ('>'|SPECIAL) #define FAIL(m) { regerror(m); return(NULL); } #define ISMULT(c) ((c) == ASTERIX || (c)==PLUS) #define META "^$.[()|*+\\" #ifndef CHARBITS #define CHARBITS 0xff #define UCHARAT(p) ((int)*(unsigned char *)(p)) #else #define UCHARAT(p) ((int)*(p)&CHARBITS) #endif #define ISWORDPART(c) ( isalnum(c) || (c) == '_' ) /* * Flags to be passed up and down. */ #define HASWIDTH 01 /* Known never to match null string. */
4138da2010-08-16Martin Stjernholm #define SIMPLE 02 /* Simple enough to be STAR or KPLUS operand. */
ab6aec1997-02-11Fredrik Hübinette (Hubbe) #define SPSTART 04 /* Starts with * */ #define WORST 0 /* Worst case. */ /* * Global work variables for regcomp(). */ static short *regparse; /* Input-scan pointer. */ static int regnpar; /* () count. */ static char regdummy; static char *regcode; /* Code-emit pointer; &regdummy = don't. */ static long regsize; /* Code size. */ /* * Forward declarations for regcomp()'s friends. */ #ifndef STATIC #define STATIC static #endif
be478c1997-08-30Henrik Grubbström (Grubba) STATIC char *reg(int, int *); STATIC char *regbranch(int *); STATIC char *regpiece(int *); STATIC char *regatom(int *); STATIC char *regnode(char); STATIC char *regnext(register char *); STATIC void regc(char b); STATIC void reginsert(char, char *); STATIC void regtail(char *, char *); STATIC void regoptail(char *, char *);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* - regcomp - compile a regular expression into internal code * * We can't allocate space until we know how big the compiled form will be, * but we can't compile it (and thus know how big it is) until we've got a * place to put the code. So we cheat: we compile it twice, once with code * generation turned off and size counting turned on, and once "for real". * This also means that we don't allocate space until we are sure that the * thing really will compile successfully, and we never have to move the * code and thus invalidate pointers into it. (Note that it has to be in * one piece because free() must be able to free it all.) * * Beware that the optimization-preparation code in here knows about some * of the structure of the compiled regexp. */
21ba561997-02-11Fredrik Hübinette (Hubbe) regexp *pike_regcomp(char *exp,int excompat)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { register regexp *r; register char *scan; register char *longest;
4ed1bf2000-09-14Henrik Grubbström (Grubba)  register ptrdiff_t len;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  int flags; short *exp2,*dest,c;
bf75192015-04-19Martin Nilsson  if (exp == NULL)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  FAIL("NULL argument");
dc8d022014-04-27Martin Nilsson  exp2=xalloc( (strlen(exp)+1) * sizeof(short) );
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  for ( scan=exp,dest=exp2;( c= UCHARAT(scan++)); ) { switch (c) { case '(': case ')': *dest++ = excompat ? c : c | SPECIAL; break; case '.': case '*': case '+': case '|': case '$': case '^': case '[': case ']': *dest++ = c | SPECIAL; break; case '\\': switch ( c = *scan++ ) { case '(': case ')': *dest++ = excompat ? c | SPECIAL : c; break; case '<': case '>': *dest++ = c | SPECIAL; break; case '{': case '}': FAIL("sorry, unimplemented operator"); case 'b': *dest++ = '\b'; break; case 't': *dest++ = '\t'; break; case 'r': *dest++ = '\r'; break; default: *dest++ = c; } break; default: *dest++ = c; } } *dest=0; /* First pass: determine size, legality. */ regparse = exp2; regnpar = 1; regsize = 0L; regcode = &regdummy;
bf75192015-04-19Martin Nilsson  if (reg(0, &flags) == NULL) return (NULL);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* Small enough for pointer-storage convention? */ if (regsize >= 32767L) /* Probably could be 65535L. */ FAIL("regexp too big"); /* Allocate space. */
dc8d022014-04-27Martin Nilsson  r = xalloc(sizeof(regexp) + (unsigned) regsize);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* Second pass: emit code. */ regparse = exp2; regnpar = 1; regcode = r->program; if (reg(0, &flags) == NULL)
bf75192015-04-19Martin Nilsson  return (NULL);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* Dig out information for optimizations. */ r->regstart = '\0'; /* Worst-case defaults. */ r->reganch = 0; r->regmust = NULL; r->regmlen = 0;
dd7b3c2003-08-12Martin Nilsson  scan = r->program; /* First BRANCH. */
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  if (OP(regnext(scan)) == END) { /* Only one top-level choice. */ scan = OPERAND(scan); /* Starting-point info. */ if (OP(scan) == EXACTLY) r->regstart = *OPERAND(scan); else if (OP(scan) == BOL) r->reganch++; /* * If there's something expensive in the r.e., find the longest * literal string that must appear and make it the regmust. Resolve * ties in favor of later strings, since the regstart check works * with the beginning of the r.e. and avoiding duplication * strengthens checking. Not a strong reason, but sufficient in the * absence of others. */ if (flags & SPSTART) { longest = NULL; len = 0; for (; scan != NULL; scan = regnext(scan)) if (OP(scan) == EXACTLY &&
4ed1bf2000-09-14Henrik Grubbström (Grubba)  strlen(OPERAND(scan)) >= (size_t)len) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  longest = OPERAND(scan); len = strlen(OPERAND(scan)); } r->regmust = longest; r->regmlen = len; } }
0ec7522014-04-27Martin Nilsson  free(exp2);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  return (r); } /* - reg - regular expression, i.e. main body or parenthesized thing * * Caller must absorb opening parenthesis. * * Combining parenthesis handling with the base level of regular expression * is a trifle forced, but the need to tie the tails of the branches to what * follows makes it hard to avoid. */
ae9a031997-11-07Henrik Grubbström (Grubba) static char *reg(int paren,int *flagp)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { register char *ret; register char *br; register char *ender; register int parno=0; /* make gcc happy */ int flags; *flagp = HASWIDTH; /* Tentatively. */ /* Make an OPEN node, if parenthesized. */ if (paren) { if (regnpar >= NSUBEXP) FAIL("too many ()"); parno = regnpar; regnpar++;
f258372000-09-08Henrik Grubbström (Grubba)  ret = regnode((char)(OPEN + parno));
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  } else
bf75192015-04-19Martin Nilsson  ret = NULL;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* Pick up the branches, linking them together. */ br = regbranch(&flags);
bf75192015-04-19Martin Nilsson  if (br == NULL) return (NULL); if (ret != NULL)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regtail(ret, br); /* OPEN -> first. */ else ret = br; if (!(flags & HASWIDTH)) *flagp &= ~HASWIDTH; *flagp |= flags & SPSTART; while (*regparse == OR_OP) { regparse++; br = regbranch(&flags);
bf75192015-04-19Martin Nilsson  if (br == NULL) return (NULL);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regtail(ret, br); /* BRANCH -> BRANCH. */ if (!(flags & HASWIDTH)) *flagp &= ~HASWIDTH; *flagp |= flags & SPSTART; } /* Make a closing node, and hook it on the end. */
a309212000-09-11Henrik Grubbström (Grubba)  ender = regnode((char)((paren) ? (CLOSE + parno) : END));
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regtail(ret, ender); /* Hook the tails of the branches to the closing node. */
bf75192015-04-19Martin Nilsson  for (br = ret; br != NULL; br = regnext(br))
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regoptail(br, ender); /* Check for proper termination. */ if (paren && *regparse++ != RBRAC) { FAIL("unmatched ()"); } else if (!paren && *regparse != '\0') { if (*regparse == RBRAC) { FAIL("unmatched ()"); } else FAIL("junk on end");/* "Can't happen". */ /* NOTREACHED */ } return (ret); } /* - regbranch - one alternative of an | operator * * Implements the concatenation operator. */
ae9a031997-11-07Henrik Grubbström (Grubba) static char *regbranch(int *flagp)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { register char *ret; register char *chain; register char *latest; int flags; *flagp = WORST; /* Tentatively. */ ret = regnode(BRANCH);
bf75192015-04-19Martin Nilsson  chain = NULL;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  while (*regparse != '\0' && *regparse != OR_OP && *regparse != RBRAC) { latest = regpiece(&flags);
bf75192015-04-19Martin Nilsson  if (latest == NULL) return (NULL);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  *flagp |= flags & HASWIDTH;
bf75192015-04-19Martin Nilsson  if (chain == NULL) /* First piece. */
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  *flagp |= flags & SPSTART; else regtail(chain, latest); chain = latest; }
bf75192015-04-19Martin Nilsson  if (chain == NULL) /* Loop ran zero times. */
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regnode(NOTHING); return (ret); } /*
4138da2010-08-16Martin Stjernholm  - regpiece - something followed by possible [*] or [+]
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  * * Note that the branching code sequence used for * is somewhat optimized: * they use the same NOTHING node as both the endmarker for their branch * list and the body of the last branch. It might seem that this node could * be dispensed with entirely, but the endmarker role is not redundant. */
ae9a031997-11-07Henrik Grubbström (Grubba) static char *regpiece(int *flagp)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { register char *ret; register short op; /* register char *nxt; */ int flags; ret = regatom(&flags);
bf75192015-04-19Martin Nilsson  if (ret == NULL) return (NULL);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  op = *regparse; if (!ISMULT(op)) { *flagp = flags; return (ret); } if (!(flags & HASWIDTH)) FAIL("* or + operand could be empty"); *flagp = (WORST | SPSTART); if(op == ASTERIX) { if (flags & SIMPLE) { reginsert(STAR, ret); } else { /* Emit x* as (x&|), where & means "self". */ reginsert(BRANCH, ret); /* Either x */ regoptail(ret, regnode(BACK)); /* and loop */ regoptail(ret, ret); /* back */ regtail(ret, regnode(BRANCH)); /* or */ regtail(ret, regnode(NOTHING)); /* null. */ } } else if(op == PLUS) {
4138da2010-08-16Martin Stjernholm  if (flags & SIMPLE) { reginsert(KPLUS, ret); } else {
061ce82010-08-16Martin Stjernholm  /* ret -> 1: x nxt: 2 * tmp -> 2: BRANCH op: 3 nxt: 4 * 3: BACK nxt: 1 * 4: BRANCH op: 5 nxt: 5 * 5: NOTHING */
4138da2010-08-16Martin Stjernholm  char *tmp; tmp=regnode(BACK); reginsert(BRANCH, tmp); regtail(ret, tmp); regoptail(tmp, ret); regtail(ret, regnode(BRANCH)); regtail(ret, regnode(NOTHING)); }
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  } regparse++; if (ISMULT(*regparse)) FAIL("nested * or +"); return (ret); } /* - regatom - the lowest level * * Optimization: gobbles an entire sequence of ordinary characters so that * it can turn them into a single node, which is smaller to store and * faster to run. */
ae9a031997-11-07Henrik Grubbström (Grubba) static char *regatom(int *flagp)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { register char *ret; int flags; *flagp = WORST; /* Tentatively. */ switch (*regparse++) { case CARET: ret = regnode(BOL); break; case DOLLAR: ret = regnode(EOL); break; case DOT: ret = regnode(ANY); *flagp |= HASWIDTH | SIMPLE; break; case LSHBRAC: ret = regnode(WORDSTART); break; case RSHBRAC: ret = regnode(WORDEND); break; case LSQBRAC:{ register int class; register int classend; if (*regparse == CARET) { /* Complement of range. */ ret = regnode(ANYBUT); regparse++; } else ret = regnode(ANYOF); if (*regparse == RSQBRAC || *regparse == '-')
f258372000-09-08Henrik Grubbström (Grubba)  regc((char)(*regparse++));
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  while (*regparse != '\0' && *regparse != RSQBRAC) { if (*regparse == '-') { regparse++; if (*regparse == RSQBRAC || *regparse == '\0') regc('-'); else { class = (CHARBITS & *(regparse - 2)) + 1; classend = (CHARBITS & *(regparse)); if (class > classend + 1) FAIL("invalid [] range"); for (; class <= classend; class++)
f258372000-09-08Henrik Grubbström (Grubba)  regc((char)class);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regparse++; } } else
f258372000-09-08Henrik Grubbström (Grubba)  regc((char)(*regparse++));
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  } regc('\0'); if (*regparse != RSQBRAC) FAIL("unmatched []"); regparse++; *flagp |= HASWIDTH | SIMPLE; } break; case LBRAC: ret = reg(1, &flags);
bf75192015-04-19Martin Nilsson  if (ret == NULL) return (NULL);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  *flagp |= flags & (HASWIDTH | SPSTART); break; case '\0': case OR_OP: case RBRAC: FAIL("internal urp"); /* Supposed to be caught earlier. */ case ASTERIX: FAIL("* follows nothing\n"); default:{ register int len; register short ender; regparse--; for (len=0; regparse[len] && !(regparse[len]&SPECIAL) && regparse[len] != RSQBRAC; len++) ; if (len <= 0) { FAIL("internal disaster"); } ender = *(regparse + len); if (len > 1 && ISMULT(ender)) len--; /* Back off clear of * operand. */ *flagp |= HASWIDTH; if (len == 1) *flagp |= SIMPLE; ret = regnode(EXACTLY); while (len > 0) {
f258372000-09-08Henrik Grubbström (Grubba)  regc((char)(*regparse++));
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  len--; } regc('\0'); } break; } return (ret); } /* - regnode - emit a node */
b191e61997-09-06Henrik Grubbström (Grubba) static char *regnode(char op)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { register char *ret; register char *ptr; ret = regcode; if (ret == &regdummy) { regsize += 3; return (ret); } ptr = ret; *ptr++ = op; *ptr++ = '\0'; /* Null "nxt" pointer. */ *ptr++ = '\0'; regcode = ptr; return (ret); } /* - regc - emit (if appropriate) a byte of code */
b191e61997-09-06Henrik Grubbström (Grubba) static void regc(char b)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { if (regcode != &regdummy) *regcode++ = b; else regsize++; } /* - reginsert - insert an operator in front of already-emitted operand * * Means relocating the operand. */
b191e61997-09-06Henrik Grubbström (Grubba) static void reginsert(char op, char *opnd)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { register char *src; register char *dst; register char *place; if (regcode == &regdummy) { regsize += 3; return; } src = regcode; regcode += 3; dst = regcode; while (src > opnd) *--dst = *--src; place = opnd; /* Op node, where operand used to be. */ *place++ = op; *place++ = '\0'; *place++ = '\0'; } /* - regtail - set the next-pointer at the end of a node chain */
ae9a031997-11-07Henrik Grubbström (Grubba) static void regtail(char *p, char *val)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) {
a17d762000-08-11Henrik Grubbström (Grubba)  register char *scan; register char *temp; register ptrdiff_t offset;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  if (p == &regdummy) return; /* Find last node. */ scan = p; for (;;) { temp = regnext(scan);
bf75192015-04-19Martin Nilsson  if (temp == NULL)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  break; scan = temp; } if (OP(scan) == BACK) offset = scan - val; else offset = val - scan;
a17d762000-08-11Henrik Grubbström (Grubba)  *(scan + 1) = DO_NOT_WARN((offset >> 8) & 0377); *(scan + 2) = DO_NOT_WARN(offset & 0377);
ab6aec1997-02-11Fredrik Hübinette (Hubbe) } /* - regoptail - regtail on operand of first argument; nop if operandless */
ae9a031997-11-07Henrik Grubbström (Grubba) static void regoptail(char *p, char *val)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { /* "Operandless" and "op != BRANCH" are synonymous in practice. */
bf75192015-04-19Martin Nilsson  if (p == NULL || p == &regdummy || OP(p) != BRANCH)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  return; regtail(OPERAND(p), val); } /* * regexec and friends */ /* * Global work variables for regexec(). */ static char *reginput; /* String-input pointer. */ static char *regbol; /* Beginning of input, for ^ check. */ static char **regstartp; /* Pointer to startp array. */ static char **regendp; /* Ditto for endp. */ /* * Forwards. */
4ed1bf2000-09-14Henrik Grubbström (Grubba) STATIC int regtry(regexp *, char *); STATIC int regmatch(char *); STATIC ptrdiff_t regrepeat(char *);
ab6aec1997-02-11Fredrik Hübinette (Hubbe) 
71f3a21998-11-22Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
ab6aec1997-02-11Fredrik Hübinette (Hubbe) int regnarrate = 0;
be478c1997-08-30Henrik Grubbström (Grubba) void regdump(regexp *); STATIC char *regprop(char *op);
ab6aec1997-02-11Fredrik Hübinette (Hubbe) #endif /* - regexec - match a regexp against a string */
21ba561997-02-11Fredrik Hübinette (Hubbe) int pike_regexec(regexp *prog, char *string)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { register char *s; /* Be paranoid... */
bf75192015-04-19Martin Nilsson  if (prog == NULL || string == NULL) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regerror("NULL parameter"); return (0); }
dd7b3c2003-08-12Martin Nilsson 
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* If there is a "must appear" string, look for it. */
bf75192015-04-19Martin Nilsson  if (prog->regmust != NULL) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  s = string;
bf75192015-04-19Martin Nilsson  while ((s = strchr(s, prog->regmust[0])) != NULL) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  if (strncmp(s, prog->regmust, prog->regmlen) == 0) break; /* Found it. */ s++; }
bf75192015-04-19Martin Nilsson  if (s == NULL) /* Not present. */
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  return (0); } /* Mark beginning of line for ^ . */ regbol = string; /* Simplest case: anchored match need be tried only once. */ if (prog->reganch) return (regtry(prog, string)); /* Messy cases: unanchored match. */ s = string; if (prog->regstart != '\0') /* We know what char it must start with. */
bf75192015-04-19Martin Nilsson  while ((s = strchr(s, prog->regstart)) != NULL) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  if (regtry(prog, s)) return (1); s++; } else /* We don't -- general case. */ do { if (regtry(prog, s)) return (1); } while (*s++ != '\0'); /* Failure. */ return (0); } /* - regtry - try match at specific point */ #ifdef __STDC__ static int regtry(regexp *prog, char *string) #else static int regtry(prog, string) regexp *prog; char *string; #endif { register int i; register char **sp; register char **ep; reginput = string; regstartp = prog->startp; regendp = prog->endp; sp = prog->startp; ep = prog->endp; for (i = NSUBEXP; i > 0; i--) {
bf75192015-04-19Martin Nilsson  *sp++ = NULL; *ep++ = NULL;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  }
dd7b3c2003-08-12Martin Nilsson  if (regmatch(prog->program)) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  prog->startp[0] = string; prog->endp[0] = reginput; return (1); } else return (0); } /* - regmatch - main matching routine * * Conceptually the strategy is simple: check to see whether the current * node matches, call self recursively to see whether the rest matches, * and then act accordingly. In practice we make some effort to avoid * recursion, in particular by going through "ordinary" nodes (that don't * need to know whether the rest of the match failed) by a loop instead of * by recursion. */ #ifdef __STDC__ static int regmatch(char *prog) #else static int regmatch(prog) char *prog; #endif { register char *scan; /* Current node. */ char *nxt; /* nxt node. */
151a6c2010-08-16Martin Stjernholm  check_c_stack (4 * sizeof (void *));
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  scan = prog;
71f3a21998-11-22Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
bf75192015-04-19Martin Nilsson  if (scan != NULL && regnarrate)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  fprintf(stderr, "%s(\n", regprop(scan)); #endif
bf75192015-04-19Martin Nilsson  while (scan != NULL) {
71f3a21998-11-22Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  if (regnarrate) fprintf(stderr, "%s...\n", regprop(scan)); #endif nxt = regnext(scan); switch (OP(scan)) { case BOL: if (reginput != regbol) return (0); break; case EOL: if (*reginput != '\0') return (0); break; case ANY: if (*reginput == '\0') return (0); reginput++; break; case WORDSTART: if (reginput == regbol) break; if (*reginput == '\0' ||
2916001998-01-16Henrik Grubbström (Grubba)  ISWORDPART( *((unsigned char *)reginput-1) ) || !ISWORDPART( *((unsigned char *)reginput) ) )
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  return (0); break; case WORDEND: if (*reginput == '\0') break; if ( reginput == regbol ||
2916001998-01-16Henrik Grubbström (Grubba)  !ISWORDPART( *((unsigned char *)reginput-1) ) || ISWORDPART( *((unsigned char *)reginput) ) )
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  return (0); break; case EXACTLY:{
4ed1bf2000-09-14Henrik Grubbström (Grubba)  register ptrdiff_t len;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  register char *opnd; opnd = OPERAND(scan); /* Inline the first character, for speed. */ if (*opnd != *reginput) return (0); len = strlen(opnd); if (len > 1 && strncmp(opnd, reginput, len) != 0) return (0); reginput += len; } break; case ANYOF: if (*reginput == '\0' ||
bf75192015-04-19Martin Nilsson  strchr(OPERAND(scan), *reginput) == NULL)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  return (0); reginput++; break; case ANYBUT: if (*reginput == '\0' ||
bf75192015-04-19Martin Nilsson  strchr(OPERAND(scan), *reginput) != NULL)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  return (0); reginput++; break; case NOTHING: break; case BACK: break; case BRANCH:{ register char *save; if (OP(nxt) != BRANCH) /* No choice. */ nxt = OPERAND(scan); /* Avoid recursion. */ else { do { save = reginput; if (regmatch(OPERAND(scan))) return (1); reginput = save; scan = regnext(scan);
bf75192015-04-19Martin Nilsson  } while (scan != NULL && OP(scan) == BRANCH);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  return (0); /* NOTREACHED */ } } break;
4138da2010-08-16Martin Stjernholm  case KPLUS:
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  case STAR:{ register char nextch;
4ed1bf2000-09-14Henrik Grubbström (Grubba)  register ptrdiff_t no;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  register char *save;
4ed1bf2000-09-14Henrik Grubbström (Grubba)  register ptrdiff_t minimum;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* * Lookahead to avoid useless match attempts when we know * what character comes next. */ nextch = '\0'; if (OP(nxt) == EXACTLY) nextch = *OPERAND(nxt); minimum = (OP(scan) == STAR) ? 0 : 1; save = reginput;
e0ece82000-09-03Marcus Comstedt  no = regrepeat(OPERAND(scan)); while (no >= minimum) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* If it could work, try it. */ if (nextch == '\0' || *reginput == nextch) if (regmatch(nxt)) return (1); /* Couldn't or didn't -- back up. */ no--; reginput = save + no; } return (0); } case END: return (1); /* Success! */ default:
bfe7631998-03-25Fredrik Hübinette (Hubbe)  if(OP(scan) >= OPEN && OP(scan)<OPEN+NSUBEXP) { register int no; register char *save; no = OP(scan) - OPEN; save = reginput; if (regmatch(nxt)) { /* * Don't set startp if some later invocation of the same * parentheses already has. */
bf75192015-04-19Martin Nilsson  if (regstartp[no] == NULL)
bfe7631998-03-25Fredrik Hübinette (Hubbe)  regstartp[no] = save; return (1); } else return (0); } if(OP(scan) >= CLOSE && OP(scan)<CLOSE+NSUBEXP) { register int no; register char *save; no = OP(scan) - CLOSE; save = reginput; if (regmatch(nxt)) { /* * Don't set endp if some later invocation of the same * parentheses already has. */
bf75192015-04-19Martin Nilsson  if (regendp[no] == NULL)
bfe7631998-03-25Fredrik Hübinette (Hubbe)  regendp[no] = save; return (1); } else return (0); }
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regerror("memory corruption"); return (0); } scan = nxt; } /* * We get here only if there's trouble -- normally "case END" is the * terminating point. */ regerror("corrupted pointers"); return (0); } /* - regrepeat - repeatedly match something simple, report how many */ #ifdef __STDC__
4ed1bf2000-09-14Henrik Grubbström (Grubba) static ptrdiff_t regrepeat(char *p)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  #else
4ed1bf2000-09-14Henrik Grubbström (Grubba) static ptrdiff_t regrepeat(p)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) char *p; #endif {
4ed1bf2000-09-14Henrik Grubbström (Grubba)  register ptrdiff_t count = 0;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  register char *scan; register char *opnd; scan = reginput; opnd = OPERAND(p); switch (OP(p)) { case ANY: count = strlen(scan); scan += count; break; case EXACTLY: while (*opnd == *scan) { count++; scan++; } break; case ANYOF:
bf75192015-04-19Martin Nilsson  while (*scan != '\0' && strchr(opnd, *scan) != NULL) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  count++; scan++; } break; case ANYBUT:
bf75192015-04-19Martin Nilsson  while (*scan != '\0' && strchr(opnd, *scan) == NULL) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  count++; scan++; } break; default: /* Oh dear. Called inappropriately. */ regerror("internal foulup"); count = 0; /* Best compromise. */ break; } reginput = scan; return (count); } /* - regnext - dig the "nxt" pointer out of a node */ #ifdef __STDC__ static char *regnext(register char *p) #else static char *regnext(p) register char *p; #endif { register int offset; if (p == &regdummy)
bf75192015-04-19Martin Nilsson  return (NULL);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  offset = NEXT(p); if (offset == 0)
bf75192015-04-19Martin Nilsson  return (NULL);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  if (OP(p) == BACK) return (p - offset); else return (p + offset); }
71f3a21998-11-22Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
ab6aec1997-02-11Fredrik Hübinette (Hubbe) 
be478c1997-08-30Henrik Grubbström (Grubba) STATIC char *regprop(char *);
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  /* - regdump - dump a regexp onto stdout in vaguely comprehensible form */ #ifdef __STDC__ void regdump(regexp *r) #else void regdump(r) regexp *r; #endif { register char *s; register char op = EXACTLY; /* Arbitrary non-END op. */ register char *nxt;
dd7b3c2003-08-12Martin Nilsson  s = r->program;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  while (op != END) { /* While that wasn't END last time... */ op = OP(s);
a17d762000-08-11Henrik Grubbström (Grubba)  printf("%2ld%s", /* Where, what. */ DO_NOT_WARN((long)(s - r->program)), regprop(s));
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  nxt = regnext(s);
bf75192015-04-19Martin Nilsson  if (nxt == NULL) /* nxt ptr. */
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  printf("(0)"); else
a17d762000-08-11Henrik Grubbström (Grubba)  printf("(%ld)", DO_NOT_WARN((long)( (s - r->program) + (nxt - s))));
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  s += 3; if (op == ANYOF || op == ANYBUT || op == EXACTLY) { /* Literal string, where present. */ while (*s != '\0') { putchar(*s); s++; } s++; } putchar('\n'); } /* Header fields of interest. */ if (r->regstart != '\0') printf("start `%c' ", r->regstart); if (r->reganch) printf("anchored ");
bf75192015-04-19Martin Nilsson  if (r->regmust != NULL)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  printf("must have \"%s\"", r->regmust); printf("\n"); } /* - regprop - printable representation of opcode */ #ifdef __STDC__ static char *regprop(char *op) #else static char *regprop(op) char *op; #endif { register char *p; static char buf[50]; strcpy(buf, ":"); switch (OP(op)) { case BOL: p = "BOL"; break; case EOL: p = "EOL"; break; case ANY: p = "ANY"; break; case ANYOF: p = "ANYOF"; break; case ANYBUT: p = "ANYBUT"; break; case BRANCH: p = "BRANCH"; break; case EXACTLY: p = "EXACTLY"; break; case NOTHING: p = "NOTHING"; break; case BACK: p = "BACK"; break; case END: p = "END"; break;
bfe7631998-03-25Fredrik Hübinette (Hubbe) 
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  case STAR: p = "STAR"; break;
bfe7631998-03-25Fredrik Hübinette (Hubbe) 
4138da2010-08-16Martin Stjernholm  case KPLUS: p = "KPLUS"; break;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  default:
bfe7631998-03-25Fredrik Hübinette (Hubbe)  if(OP(op) >= OPEN && OP(op) < OPEN+NSUBEXP) { sprintf(buf + strlen(buf), "OPEN%d", OP(op) - OPEN);
bf75192015-04-19Martin Nilsson  p = NULL;
bfe7631998-03-25Fredrik Hübinette (Hubbe)  break; } if(OP(op) >= CLOSE && OP(op) < CLOSE+NSUBEXP) { sprintf(buf + strlen(buf), "CLOSE%d", OP(op) - CLOSE);
bf75192015-04-19Martin Nilsson  p = NULL;
bfe7631998-03-25Fredrik Hübinette (Hubbe)  break; }
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regerror("corrupted opcode");
bf75192015-04-19Martin Nilsson  p=NULL;
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  break; }
bf75192015-04-19Martin Nilsson  if (p != NULL)
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  strcat(buf, p); return (buf); } #endif /* - regsub - perform substitutions after a regexp match */
21ba561997-02-11Fredrik Hübinette (Hubbe) char *pike_regsub(regexp *prog, char *source, char *dest, int n)
ab6aec1997-02-11Fredrik Hübinette (Hubbe) { register char *src; register char *dst; register char c; register int no;
a17d762000-08-11Henrik Grubbström (Grubba)  register ptrdiff_t len;
ab6aec1997-02-11Fredrik Hübinette (Hubbe) 
bf75192015-04-19Martin Nilsson  if (prog == NULL || source == NULL || dest == NULL) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  regerror("NULL parm to regsub"); return NULL; }
dd7b3c2003-08-12Martin Nilsson 
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  src = source; dst = dest; while ((c = *src++) != '\0') { if (c == '&') no = 0; else if (c == '\\' && '0' <= *src && *src <= '9') no = *src++ - '0'; else no = -1; if (no < 0) { /* Ordinary character. */ if (c == '\\' && (*src == '\\' || *src == '&')) c = *src++; if (--n < 0) { /* amylaar */ regerror("line too long"); return NULL; } *dst++ = c;
bf75192015-04-19Martin Nilsson  } else if (prog->startp[no] != NULL && prog->endp[no] != NULL) {
ab6aec1997-02-11Fredrik Hübinette (Hubbe)  len = prog->endp[no] - prog->startp[no]; if ( (n-=len) < 0 ) { /* amylaar */ regerror("line too long"); return NULL; } strncpy(dst, prog->startp[no], len); dst += len; if (len != 0 && *(dst - 1) == '\0') { /* strncpy hit NUL. */ regerror("damaged match string"); return NULL; } } } if (--n < 0) { /* amylaar */ regerror("line too long"); return NULL; } *dst = '\0'; return dst; }