|
Packit |
6c4009 |
/* Regular expression tests.
|
|
Packit |
6c4009 |
Copyright (C) 2003-2018 Free Software Foundation, Inc.
|
|
Packit |
6c4009 |
This file is part of the GNU C Library.
|
|
Packit |
6c4009 |
Contributed by Jakub Jelinek <jakub@redhat.com>, 2003.
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
The GNU C Library is free software; you can redistribute it and/or
|
|
Packit |
6c4009 |
modify it under the terms of the GNU Lesser General Public
|
|
Packit |
6c4009 |
License as published by the Free Software Foundation; either
|
|
Packit |
6c4009 |
version 2.1 of the License, or (at your option) any later version.
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
The GNU C Library is distributed in the hope that it will be useful,
|
|
Packit |
6c4009 |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit |
6c4009 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit |
6c4009 |
Lesser General Public License for more details.
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
You should have received a copy of the GNU Lesser General Public
|
|
Packit |
6c4009 |
License along with the GNU C Library; if not, see
|
|
Packit |
6c4009 |
<http://www.gnu.org/licenses/>. */
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
#include <sys/types.h>
|
|
Packit |
6c4009 |
#include <mcheck.h>
|
|
Packit |
6c4009 |
#include <regex.h>
|
|
Packit |
6c4009 |
#include <stdio.h>
|
|
Packit |
6c4009 |
#include <stdlib.h>
|
|
Packit |
6c4009 |
#include <string.h>
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
int
|
|
Packit |
6c4009 |
main (int argc, char **argv)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
int ret = 0;
|
|
Packit |
6c4009 |
char *line = NULL;
|
|
Packit |
6c4009 |
size_t line_len = 0;
|
|
Packit |
6c4009 |
ssize_t len;
|
|
Packit |
6c4009 |
FILE *f;
|
|
Packit |
6c4009 |
char *pattern = NULL, *string = NULL;
|
|
Packit |
6c4009 |
regmatch_t rm[20];
|
|
Packit |
6c4009 |
size_t pattern_alloced = 0, string_alloced = 0;
|
|
Packit |
6c4009 |
int ignorecase = 0;
|
|
Packit |
6c4009 |
int pattern_valid = 0, rm_valid = 0;
|
|
Packit |
6c4009 |
size_t linenum;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
mtrace ();
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (argc < 2)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
fprintf (stderr, "Missing test filename\n");
|
|
Packit |
6c4009 |
return 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
f = fopen (argv[1], "r");
|
|
Packit |
6c4009 |
if (f == NULL)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
fprintf (stderr, "Couldn't open %s\n", argv[1]);
|
|
Packit |
6c4009 |
return 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if ((len = getline (&line, &line_len, f)) <= 0
|
|
Packit |
6c4009 |
|| strncmp (line, "# PCRE", 6) != 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
fprintf (stderr, "Not a PCRE test file\n");
|
|
Packit |
6c4009 |
fclose (f);
|
|
Packit |
6c4009 |
free (line);
|
|
Packit |
6c4009 |
return 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
linenum = 1;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
while ((len = getline (&line, &line_len, f)) > 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
char *p;
|
|
Packit |
6c4009 |
unsigned long num;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
++linenum;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (line[len - 1] == '\n')
|
|
Packit |
6c4009 |
line[--len] = '\0';
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (line[0] == '#')
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (line[0] == '\0')
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
/* End of test. */
|
|
Packit |
6c4009 |
ignorecase = 0;
|
|
Packit |
6c4009 |
pattern_valid = 0;
|
|
Packit |
6c4009 |
rm_valid = 0;
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (line[0] == '/')
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
/* Pattern. */
|
|
Packit |
6c4009 |
p = strrchr (line + 1, '/');
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
pattern_valid = 0;
|
|
Packit |
6c4009 |
rm_valid = 0;
|
|
Packit |
6c4009 |
if (p == NULL)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: Invalid pattern line: %s\n", linenum, line);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (p[1] == 'i' && p[2] == '\0')
|
|
Packit |
6c4009 |
ignorecase = 1;
|
|
Packit |
6c4009 |
else if (p[1] != '\0')
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: Invalid pattern line: %s\n", linenum, line);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (pattern_alloced < (size_t) (p - line))
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
pattern = realloc (pattern, p - line);
|
|
Packit |
6c4009 |
if (pattern == NULL)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: Cannot record pattern: %m\n", linenum);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
break;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
pattern_alloced = p - line;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
memcpy (pattern, line + 1, p - line - 1);
|
|
Packit |
6c4009 |
pattern[p - line - 1] = '\0';
|
|
Packit |
6c4009 |
pattern_valid = 1;
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (strncmp (line, " ", 4) == 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
regex_t re;
|
|
Packit |
6c4009 |
int n;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (!pattern_valid)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: No previous valid pattern %s\n", linenum, line);
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (string_alloced < (size_t) (len - 3))
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
string = realloc (string, len - 3);
|
|
Packit |
6c4009 |
if (string == NULL)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: Cannot record search string: %m\n", linenum);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
break;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
string_alloced = len - 3;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
memcpy (string, line + 4, len - 3);
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
n = regcomp (&re, pattern,
|
|
Packit |
6c4009 |
REG_EXTENDED | (ignorecase ? REG_ICASE : 0));
|
|
Packit |
6c4009 |
if (n != 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
char buf[500];
|
|
Packit |
6c4009 |
regerror (n, &re, buf, sizeof (buf));
|
|
Packit |
6c4009 |
printf ("%zd: regcomp failed for %s: %s\n",
|
|
Packit |
6c4009 |
linenum, pattern, buf);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (regexec (&re, string, 20, rm, 0))
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
rm[0].rm_so = -1;
|
|
Packit |
6c4009 |
rm[0].rm_eo = -1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
regfree (&re);
|
|
Packit |
6c4009 |
rm_valid = 1;
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (!rm_valid)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: No preceeding pattern or search string\n", linenum);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (strcmp (line, "No match") == 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if (rm[0].rm_so != -1 || rm[0].rm_eo != -1)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: /%s/ on %s unexpectedly matched %d..%d\n",
|
|
Packit |
6c4009 |
linenum, pattern, string, rm[0].rm_so, rm[0].rm_eo);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
p = line;
|
|
Packit |
6c4009 |
if (*p == ' ')
|
|
Packit |
6c4009 |
++p;
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
num = strtoul (p, &p, 10);
|
|
Packit |
6c4009 |
if (num >= 20 || *p != ':' || p[1] != ' ')
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: Invalid line %s\n", linenum, line);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (rm[num].rm_so == -1 || rm[num].rm_eo == -1)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
if (strcmp (p + 2, "<unset>") != 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: /%s/ on %s unexpectedly failed to match register %ld %d..%d\n",
|
|
Packit |
6c4009 |
linenum, pattern, string, num,
|
|
Packit |
6c4009 |
rm[num].rm_so, rm[num].rm_eo);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
if (rm[num].rm_eo < rm[num].rm_so
|
|
Packit |
6c4009 |
|| rm[num].rm_eo - rm[num].rm_so != len - (p + 2 - line)
|
|
Packit |
6c4009 |
|| strncmp (p + 2, string + rm[num].rm_so,
|
|
Packit |
6c4009 |
rm[num].rm_eo - rm[num].rm_so) != 0)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
printf ("%zd: /%s/ on %s unexpectedly failed to match %s for register %ld %d..%d\n",
|
|
Packit |
6c4009 |
linenum, pattern, string, p + 2, num,
|
|
Packit |
6c4009 |
rm[num].rm_so, rm[num].rm_eo);
|
|
Packit |
6c4009 |
ret = 1;
|
|
Packit |
6c4009 |
continue;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
free (pattern);
|
|
Packit |
6c4009 |
free (string);
|
|
Packit |
6c4009 |
free (line);
|
|
Packit |
6c4009 |
fclose (f);
|
|
Packit |
6c4009 |
return ret;
|
|
Packit |
6c4009 |
}
|