freebsd-nq/usr.bin/vgrind/regexp.c

597 lines
14 KiB
C
Raw Normal View History

1994-05-27 12:33:43 +00:00
/*
* Copyright (c) 1980, 1993
* The Regents of the University of California. All rights reserved.
*
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
* 4. Neither the name of the University nor the names of its contributors
* may be used to endorse or promote products derived from this software
* without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*/
#include <sys/cdefs.h>
__FBSDID("$FreeBSD$");
1994-05-27 12:33:43 +00:00
#ifndef lint
static const char copyright[] =
1994-05-27 12:33:43 +00:00
"@(#) Copyright (c) 1980, 1993\n\
The Regents of the University of California. All rights reserved.\n";
#endif
1994-05-27 12:33:43 +00:00
#ifndef lint
static const char sccsid[] = "@(#)regexp.c 8.1 (Berkeley) 6/6/93";
#endif
1994-05-27 12:33:43 +00:00
#include <ctype.h>
#include <stdlib.h>
#include <stdbool.h>
1994-05-27 12:33:43 +00:00
#include <string.h>
1994-05-27 12:33:43 +00:00
#include "extern.h"
2002-03-22 01:42:45 +00:00
static void expconv(void);
1994-05-27 12:33:43 +00:00
bool _escaped; /* true if we are currently x_escaped */
char *s_start; /* start of string */
bool l_onecase; /* true if upper and lower equivalent */
1994-05-27 12:33:43 +00:00
#define makelower(c) (isupper((c)) ? tolower((c)) : (c))
/* STRNCMP - like strncmp except that we convert the
* first string to lower case before comparing
* if l_onecase is set.
*/
int
2015-05-05 07:33:38 +00:00
STRNCMP(register char *s1, register char *s2, register int len)
1994-05-27 12:33:43 +00:00
{
if (l_onecase) {
do
if (*s2 - makelower(*s1))
return (*s2 - makelower(*s1));
else {
s2++;
s1++;
}
while (--len);
} else {
do
if (*s2 - *s1)
return (*s2 - *s1);
else {
s2++;
s1++;
}
while (--len);
}
return(0);
}
/* The following routine converts an irregular expression to
* internal format.
*
* Either meta symbols (\a \d or \p) or character strings or
2015-06-05 21:35:20 +00:00
* operations ( alternation or parenthesizing ) can be
1994-05-27 12:33:43 +00:00
* specified. Each starts with a descriptor byte. The descriptor
* byte has STR set for strings, META set for meta symbols
* and OPER set for operations.
* The descriptor byte can also have the OPT bit set if the object
* defined is optional. Also ALT can be set to indicate an alternation.
*
* For metasymbols the byte following the descriptor byte identities
* the meta symbol (containing an ascii 'a', 'd', 'p', '|', or '('). For
* strings the byte after the descriptor is a character count for
* the string:
*
* meta symbols := descriptor
* symbol
*
* strings := descriptor
* character count
* the string
*
2015-06-05 21:35:20 +00:00
* operations := descriptor
1994-05-27 12:33:43 +00:00
* symbol
* character count
*/
/*
* handy macros for accessing parts of match blocks
*/
#define MSYM(A) (*(A+1)) /* symbol in a meta symbol block */
#define MNEXT(A) (A+2) /* character following a metasymbol block */
#define OSYM(A) (*(A+1)) /* symbol in an operation block */
#define OCNT(A) (*(A+2)) /* character count */
#define ONEXT(A) (A+3) /* next character after the operation */
#define OPTR(A) (A+*(A+2)) /* place pointed to by the operator */
#define SCNT(A) (*(A+1)) /* byte count of a string */
#define SSTR(A) (A+2) /* address of the string */
#define SNEXT(A) (A+2+*(A+1)) /* character following the string */
/*
1995-05-30 06:41:30 +00:00
* bit flags in the descriptor
1994-05-27 12:33:43 +00:00
*/
#define OPT 1
#define STR 2
#define META 4
#define ALT 8
#define OPER 16
static char *ccre; /* pointer to current position in converted exp*/
static char *ure; /* pointer current position in unconverted exp */
2015-05-05 07:33:38 +00:00
/* re: unconverted irregular expression */
1994-05-27 12:33:43 +00:00
char *
2015-05-05 07:33:38 +00:00
convexp(char *re)
1994-05-27 12:33:43 +00:00
{
register char *cre; /* pointer to converted regular expression */
/* allocate room for the converted expression */
2015-05-05 08:17:40 +00:00
if (re == NULL)
return (NULL);
1994-05-27 12:33:43 +00:00
if (*re == '\0')
2015-05-05 08:17:40 +00:00
return (NULL);
cre = malloc(4 * strlen(re) + 3);
1994-05-27 12:33:43 +00:00
ccre = cre;
ure = re;
/* start the conversion with a \a */
*cre = META | OPT;
MSYM(cre) = 'a';
ccre = MNEXT(cre);
/* start the conversion (its recursive) */
expconv ();
*ccre = 0;
return (cre);
}
static void
expconv()
{
register char *cs; /* pointer to current symbol in converted exp */
register char c; /* character being processed */
register char *acs; /* pinter to last alternate */
register int temp;
/* let the conversion begin */
2015-05-05 08:17:40 +00:00
acs = NULL;
cs = NULL;
while (*ure) {
1994-05-27 12:33:43 +00:00
switch (c = *ure++) {
case '\\':
switch (c = *ure++) {
/* escaped characters are just characters */
default:
2015-05-05 08:17:40 +00:00
if (cs == NULL || (*cs & STR) == 0) {
1994-05-27 12:33:43 +00:00
cs = ccre;
*cs = STR;
SCNT(cs) = 1;
ccre += 2;
1995-05-30 06:41:30 +00:00
} else
1994-05-27 12:33:43 +00:00
SCNT(cs)++;
*ccre++ = c;
break;
/* normal(?) metacharacters */
case 'a':
case 'd':
case 'e':
case 'p':
2015-05-05 08:17:40 +00:00
if (acs != NULL && acs != cs) {
1994-05-27 12:33:43 +00:00
do {
temp = OCNT(acs);
1995-05-30 06:41:30 +00:00
OCNT(acs) = ccre - acs;
1994-05-27 12:33:43 +00:00
acs -= temp;
} while (temp != 0);
2015-05-05 08:17:40 +00:00
acs = NULL;
1994-05-27 12:33:43 +00:00
}
cs = ccre;
*cs = META;
MSYM(cs) = c;
ccre = MNEXT(cs);
break;
}
break;
1995-05-30 06:41:30 +00:00
1994-05-27 12:33:43 +00:00
/* just put the symbol in */
case '^':
case '$':
2015-05-05 08:17:40 +00:00
if (acs != NULL && acs != cs) {
1994-05-27 12:33:43 +00:00
do {
temp = OCNT(acs);
OCNT(acs) = ccre - acs;
acs -= temp;
} while (temp != 0);
2015-05-05 08:17:40 +00:00
acs = NULL;
1994-05-27 12:33:43 +00:00
}
cs = ccre;
*cs = META;
MSYM(cs) = c;
ccre = MNEXT(cs);
break;
/* mark the last match sequence as optional */
case '?':
if (cs)
*cs = *cs | OPT;
break;
/* recurse and define a subexpression */
case '(':
2015-05-05 08:17:40 +00:00
if (acs != NULL && acs != cs) {
1994-05-27 12:33:43 +00:00
do {
temp = OCNT(acs);
OCNT(acs) = ccre - acs;
acs -= temp;
} while (temp != 0);
2015-05-05 08:17:40 +00:00
acs = NULL;
1994-05-27 12:33:43 +00:00
}
cs = ccre;
*cs = OPER;
OSYM(cs) = '(';
ccre = ONEXT(cs);
expconv();
1994-05-27 12:33:43 +00:00
OCNT(cs) = ccre - cs; /* offset to next symbol */
break;
/* return from a recursion */
1994-05-27 12:33:43 +00:00
case ')':
2015-05-05 08:17:40 +00:00
if (acs != NULL) {
1994-05-27 12:33:43 +00:00
do {
temp = OCNT(acs);
OCNT(acs) = ccre - acs;
acs -= temp;
} while (temp != 0);
2015-05-05 08:17:40 +00:00
acs = NULL;
1994-05-27 12:33:43 +00:00
}
cs = ccre;
*cs = META;
MSYM(cs) = c;
ccre = MNEXT(cs);
return;
/* mark the last match sequence as having an alternate */
/* the third byte will contain an offset to jump over the */
/* alternate match in case the first did not fail */
case '|':
2015-05-05 08:17:40 +00:00
if (acs != NULL && acs != cs)
1994-05-27 12:33:43 +00:00
OCNT(ccre) = ccre - acs; /* make a back pointer */
else
OCNT(ccre) = 0;
*cs |= ALT;
cs = ccre;
*cs = OPER;
OSYM(cs) = '|';
ccre = ONEXT(cs);
acs = cs; /* remember that the pointer is to be filles */
break;
/* if its not a metasymbol just build a scharacter string */
default:
2015-05-05 08:17:40 +00:00
if (cs == NULL || (*cs & STR) == 0) {
1994-05-27 12:33:43 +00:00
cs = ccre;
*cs = STR;
SCNT(cs) = 1;
ccre = SSTR(cs);
} else
SCNT(cs)++;
*ccre++ = c;
break;
}
}
2015-05-05 08:17:40 +00:00
if (acs != NULL) {
1994-05-27 12:33:43 +00:00
do {
temp = OCNT(acs);
OCNT(acs) = ccre - acs;
acs -= temp;
} while (temp != 0);
2015-05-05 08:17:40 +00:00
acs = NULL;
1994-05-27 12:33:43 +00:00
}
return;
}
/* end of convertre */
/*
* The following routine recognises an irregular expression
1994-05-27 12:33:43 +00:00
* with the following special characters:
*
* \? - means last match was optional
* \a - matches any number of characters
* \d - matches any number of spaces and tabs
* \p - matches any number of alphanumeric
* characters. The
* characters matched will be copied into
* the area pointed to by 'name'.
* \| - alternation
* \( \) - grouping used mostly for alternation and
* optionality
*
* The irregular expression must be translated to internal form
* prior to calling this routine
*
1995-05-30 06:41:30 +00:00
* The value returned is the pointer to the first non \a
1994-05-27 12:33:43 +00:00
* character matched.
*/
2015-05-05 07:33:38 +00:00
/*
* s: string to check for a match in
* re: a converted irregular expression
* mstring: where to put whatever matches a \p
*/
1994-05-27 12:33:43 +00:00
char *
2015-05-05 07:33:38 +00:00
expmatch (register char *s, register char *re, register char *mstring)
1994-05-27 12:33:43 +00:00
{
register char *cs; /* the current symbol */
register char *ptr,*s1; /* temporary pointer */
bool matched; /* a temporary bool */
1994-05-27 12:33:43 +00:00
/* initial conditions */
2015-05-05 08:17:40 +00:00
if (re == NULL)
return (NULL);
1994-05-27 12:33:43 +00:00
cs = re;
matched = false;
1994-05-27 12:33:43 +00:00
/* loop till expression string is exhausted (or at least pretty tired) */
while (*cs) {
switch (*cs & (OPER | STR | META)) {
/* try to match a string */
case STR:
matched = !STRNCMP (s, SSTR(cs), SCNT(cs));
if (matched) {
/* hoorah it matches */
s += SCNT(cs);
cs = SNEXT(cs);
} else if (*cs & ALT) {
/* alternation, skip to next expression */
cs = SNEXT(cs);
} else if (*cs & OPT) {
/* the match is optional */
cs = SNEXT(cs);
matched = 1; /* indicate a successful match */
} else {
/* no match, error return */
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
}
break;
/* an operator, do something fancy */
case OPER:
switch (OSYM(cs)) {
/* this is an alternation */
case '|':
if (matched)
/* last thing in the alternation was a match, skip ahead */
cs = OPTR(cs);
else
/* no match, keep trying */
cs = ONEXT(cs);
break;
/* this is a grouping, recurse */
case '(':
ptr = expmatch(s, ONEXT(cs), mstring);
2015-05-05 08:17:40 +00:00
if (ptr != NULL) {
1994-05-27 12:33:43 +00:00
/* the subexpression matched */
matched = 1;
s = ptr;
} else if (*cs & ALT) {
/* alternation, skip to next expression */
matched = 0;
} else if (*cs & OPT) {
/* the match is optional */
matched = 1; /* indicate a successful match */
} else {
/* no match, error return */
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
}
cs = OPTR(cs);
break;
}
break;
/* try to match a metasymbol */
case META:
switch (MSYM(cs)) {
/* try to match anything and remember what was matched */
case 'p':
/*
* This is really the same as trying the match the
* remaining parts of the expression to any subset
* of the string.
*/
s1 = s;
do {
ptr = expmatch(s1, MNEXT(cs), mstring);
2015-05-05 08:17:40 +00:00
if (ptr != NULL && s1 != s) {
1994-05-27 12:33:43 +00:00
/* we have a match, remember the match */
strncpy (mstring, s, s1 - s);
mstring[s1 - s] = '\0';
return (ptr);
2015-05-05 08:17:40 +00:00
} else if (ptr != NULL && (*cs & OPT)) {
1994-05-27 12:33:43 +00:00
/* it was aoptional so no match is ok */
return (ptr);
2015-05-05 08:17:40 +00:00
} else if (ptr != NULL) {
1994-05-27 12:33:43 +00:00
/* not optional and we still matched */
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
}
if (!(isalnum(*s1) || *s1 == '_' ||
/* C++ destructor */
*s1 == '~' ||
/* C++ scope operator */
(strlen(s1) > 1 && *s1 == ':' && s1[1] == ':' &&
(s1++, true))))
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
if (*s1 == '\\')
_escaped = _escaped ? false : true;
1994-05-27 12:33:43 +00:00
else
_escaped = false;
1994-05-27 12:33:43 +00:00
} while (*s1++);
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
/* try to match anything */
case 'a':
/*
* This is really the same as trying the match the
* remaining parts of the expression to any subset
* of the string.
*/
s1 = s;
do {
ptr = expmatch(s1, MNEXT(cs), mstring);
2015-05-05 08:17:40 +00:00
if (ptr != NULL && s1 != s) {
1994-05-27 12:33:43 +00:00
/* we have a match */
return (ptr);
2015-05-05 08:17:40 +00:00
} else if (ptr != NULL && (*cs & OPT)) {
1994-05-27 12:33:43 +00:00
/* it was aoptional so no match is ok */
return (ptr);
2015-05-05 08:17:40 +00:00
} else if (ptr != NULL) {
1994-05-27 12:33:43 +00:00
/* not optional and we still matched */
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
}
if (*s1 == '\\')
_escaped = _escaped ? false : true;
1994-05-27 12:33:43 +00:00
else
_escaped = false;
1994-05-27 12:33:43 +00:00
} while (*s1++);
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
/* fail if we are currently _escaped */
case 'e':
if (_escaped)
2015-05-05 08:17:40 +00:00
return(NULL);
1995-05-30 06:41:30 +00:00
cs = MNEXT(cs);
1994-05-27 12:33:43 +00:00
break;
/* match any number of tabs and spaces */
case 'd':
ptr = s;
while (*s == ' ' || *s == '\t')
s++;
if (s != ptr || s == s_start) {
1994-05-27 12:33:43 +00:00
/* match, be happy */
matched = 1;
1995-05-30 06:41:30 +00:00
cs = MNEXT(cs);
1994-05-27 12:33:43 +00:00
} else if (*s == '\n' || *s == '\0') {
/* match, be happy */
matched = 1;
1995-05-30 06:41:30 +00:00
cs = MNEXT(cs);
1994-05-27 12:33:43 +00:00
} else if (*cs & ALT) {
/* try the next part */
matched = 0;
cs = MNEXT(cs);
} else if (*cs & OPT) {
/* doesn't matter */
matched = 1;
cs = MNEXT(cs);
} else
/* no match, error return */
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
break;
/* check for end of line */
case '$':
if (*s == '\0' || *s == '\n') {
/* match, be happy */
s++;
matched = 1;
cs = MNEXT(cs);
} else if (*cs & ALT) {
/* try the next part */
matched = 0;
cs = MNEXT(cs);
} else if (*cs & OPT) {
/* doesn't matter */
matched = 1;
cs = MNEXT(cs);
} else
/* no match, error return */
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
break;
/* check for start of line */
case '^':
if (s == s_start) {
1994-05-27 12:33:43 +00:00
/* match, be happy */
matched = 1;
cs = MNEXT(cs);
} else if (*cs & ALT) {
/* try the next part */
matched = 0;
cs = MNEXT(cs);
} else if (*cs & OPT) {
/* doesn't matter */
matched = 1;
cs = MNEXT(cs);
} else
/* no match, error return */
2015-05-05 08:17:40 +00:00
return (NULL);
1994-05-27 12:33:43 +00:00
break;
/* end of a subexpression, return success */
case ')':
return (s);
}
break;
}
}
return (s);
}