summaryrefslogtreecommitdiff
path: root/src/regress/lib/libc/regex
diff options
context:
space:
mode:
authorcvs2svn <admin@example.com>2019-11-19 19:57:05 +0000
committercvs2svn <admin@example.com>2019-11-19 19:57:05 +0000
commite9f9eb6198f1757b7c0dfef043fadf1fa8243022 (patch)
treeb5a648f6ccaf6c1cd9915ddb45503d1fccfeba0e /src/regress/lib/libc/regex
parentab72e3a6f7e8d5c71bbba034410468781d5923b6 (diff)
downloadopenbsd-bluhm_20191119.tar.gz
openbsd-bluhm_20191119.tar.bz2
openbsd-bluhm_20191119.zip
This commit was manufactured by cvs2git to create tag 'bluhm_20191119'.bluhm_20191119
Diffstat (limited to 'src/regress/lib/libc/regex')
-rw-r--r--src/regress/lib/libc/regex/Makefile27
-rw-r--r--src/regress/lib/libc/regex/debug.c245
-rw-r--r--src/regress/lib/libc/regex/debug.ih17
-rw-r--r--src/regress/lib/libc/regex/main.c519
-rw-r--r--src/regress/lib/libc/regex/main.ih22
-rw-r--r--src/regress/lib/libc/regex/split.c317
-rw-r--r--src/regress/lib/libc/regex/t_exhaust.c184
-rw-r--r--src/regress/lib/libc/regex/tests594
8 files changed, 0 insertions, 1925 deletions
diff --git a/src/regress/lib/libc/regex/Makefile b/src/regress/lib/libc/regex/Makefile
deleted file mode 100644
index 5b9a080209..0000000000
--- a/src/regress/lib/libc/regex/Makefile
+++ /dev/null
@@ -1,27 +0,0 @@
1# $OpenBSD: Makefile,v 1.11 2017/04/16 16:01:05 kettenis Exp $
2# $NetBSD: Makefile,v 1.2 1995/02/16 19:38:45 cgd Exp $
3
4PROG= re
5SRCS= main.c split.c debug.c regcomp.c regerror.c regexec.c regfree.c
6.PATH: ${.CURDIR}/../../../../lib/libc/regex
7CLEANFILES += t_exhaust
8
9CFLAGS+= -I${.CURDIR}/../../../../lib/libc/regex -DREDEBUG -DPOSIX_MISTAKE
10CFLAGS+= -D'DEF_WEAK(x)=asm("")'
11
12TESTS= ${.CURDIR}/tests
13
14REGRESS_TARGETS = do-reg do-reg-long do-reg-backref
15# cannot run with large limits
16#REGRESS_TARGETS += do-t_exhaust
17
18do-reg: ${PROG}
19 ./re < ${TESTS}
20do-reg-long: ${PROG}
21 ./re -el < ${TESTS}
22do-reg-backref: ${PROG}
23 ./re -er < ${TESTS}
24#do-t_exhaust: t_exhaust
25# ./t_exhaust
26
27.include <bsd.regress.mk>
diff --git a/src/regress/lib/libc/regex/debug.c b/src/regress/lib/libc/regex/debug.c
deleted file mode 100644
index 11129e7249..0000000000
--- a/src/regress/lib/libc/regex/debug.c
+++ /dev/null
@@ -1,245 +0,0 @@
1/* $OpenBSD: debug.c,v 1.4 2003/07/31 21:48:03 deraadt Exp $ */
2/* $NetBSD: debug.c,v 1.2 1995/04/20 22:39:42 cgd Exp $ */
3
4#include <stdio.h>
5#include <string.h>
6#include <ctype.h>
7#include <limits.h>
8#include <stdlib.h>
9#include <sys/types.h>
10#include <regex.h>
11
12#include "utils.h"
13#include "regex2.h"
14#include "debug.ih"
15
16/*
17 - regprint - print a regexp for debugging
18 == void regprint(regex_t *r, FILE *d);
19 */
20void
21regprint(r, d)
22regex_t *r;
23FILE *d;
24{
25 register struct re_guts *g = r->re_g;
26 register int i;
27 register int c;
28 register int last;
29 int nincat[NC];
30
31 fprintf(d, "%ld states, %d categories", (long)g->nstates,
32 g->ncategories);
33 fprintf(d, ", first %ld last %ld", (long)g->firststate,
34 (long)g->laststate);
35 if (g->iflags&USEBOL)
36 fprintf(d, ", USEBOL");
37 if (g->iflags&USEEOL)
38 fprintf(d, ", USEEOL");
39 if (g->iflags&BAD)
40 fprintf(d, ", BAD");
41 if (g->nsub > 0)
42 fprintf(d, ", nsub=%ld", (long)g->nsub);
43 if (g->must != NULL)
44 fprintf(d, ", must(%ld) `%*s'", (long)g->mlen, (int)g->mlen,
45 g->must);
46 if (g->backrefs)
47 fprintf(d, ", backrefs");
48 if (g->nplus > 0)
49 fprintf(d, ", nplus %ld", (long)g->nplus);
50 fprintf(d, "\n");
51 s_print(g, d);
52 for (i = 0; i < g->ncategories; i++) {
53 nincat[i] = 0;
54 for (c = CHAR_MIN; c <= CHAR_MAX; c++)
55 if (g->categories[c] == i)
56 nincat[i]++;
57 }
58 fprintf(d, "cc0#%d", nincat[0]);
59 for (i = 1; i < g->ncategories; i++)
60 if (nincat[i] == 1) {
61 for (c = CHAR_MIN; c <= CHAR_MAX; c++)
62 if (g->categories[c] == i)
63 break;
64 fprintf(d, ", %d=%s", i, regchar(c));
65 }
66 fprintf(d, "\n");
67 for (i = 1; i < g->ncategories; i++)
68 if (nincat[i] != 1) {
69 fprintf(d, "cc%d\t", i);
70 last = -1;
71 for (c = CHAR_MIN; c <= CHAR_MAX+1; c++) /* +1 does flush */
72 if (c <= CHAR_MAX && g->categories[c] == i) {
73 if (last < 0) {
74 fprintf(d, "%s", regchar(c));
75 last = c;
76 }
77 } else {
78 if (last >= 0) {
79 if (last != c-1)
80 fprintf(d, "-%s",
81 regchar(c-1));
82 last = -1;
83 }
84 }
85 fprintf(d, "\n");
86 }
87}
88
89/*
90 - s_print - print the strip for debugging
91 == static void s_print(register struct re_guts *g, FILE *d);
92 */
93static void
94s_print(g, d)
95register struct re_guts *g;
96FILE *d;
97{
98 register sop *s;
99 register cset *cs;
100 register int i;
101 register int done = 0;
102 register sop opnd;
103 register int col = 0;
104 register int last;
105 register sopno offset = 2;
106# define GAP() { if (offset % 5 == 0) { \
107 if (col > 40) { \
108 fprintf(d, "\n\t"); \
109 col = 0; \
110 } else { \
111 fprintf(d, " "); \
112 col++; \
113 } \
114 } else \
115 col++; \
116 offset++; \
117 }
118
119 if (OP(g->strip[0]) != OEND)
120 fprintf(d, "missing initial OEND!\n");
121 for (s = &g->strip[1]; !done; s++) {
122 opnd = OPND(*s);
123 switch (OP(*s)) {
124 case OEND:
125 fprintf(d, "\n");
126 done = 1;
127 break;
128 case OCHAR:
129 if (strchr("\\|()^$.[+*?{}!<> ", (char)opnd) != NULL)
130 fprintf(d, "\\%c", (char)opnd);
131 else
132 fprintf(d, "%s", regchar((char)opnd));
133 break;
134 case OBOL:
135 fprintf(d, "^");
136 break;
137 case OEOL:
138 fprintf(d, "$");
139 break;
140 case OBOW:
141 fprintf(d, "\\{");
142 break;
143 case OEOW:
144 fprintf(d, "\\}");
145 break;
146 case OANY:
147 fprintf(d, ".");
148 break;
149 case OANYOF:
150 fprintf(d, "[(%ld)", (long)opnd);
151 cs = &g->sets[opnd];
152 last = -1;
153 for (i = 0; i < g->csetsize+1; i++) /* +1 flushes */
154 if (CHIN(cs, i) && i < g->csetsize) {
155 if (last < 0) {
156 fprintf(d, "%s", regchar(i));
157 last = i;
158 }
159 } else {
160 if (last >= 0) {
161 if (last != i-1)
162 fprintf(d, "-%s",
163 regchar(i-1));
164 last = -1;
165 }
166 }
167 fprintf(d, "]");
168 break;
169 case OBACK_:
170 fprintf(d, "(\\<%ld>", (long)opnd);
171 break;
172 case O_BACK:
173 fprintf(d, "<%ld>\\)", (long)opnd);
174 break;
175 case OPLUS_:
176 fprintf(d, "(+");
177 if (OP(*(s+opnd)) != O_PLUS)
178 fprintf(d, "<%ld>", (long)opnd);
179 break;
180 case O_PLUS:
181 if (OP(*(s-opnd)) != OPLUS_)
182 fprintf(d, "<%ld>", (long)opnd);
183 fprintf(d, "+)");
184 break;
185 case OQUEST_:
186 fprintf(d, "(?");
187 if (OP(*(s+opnd)) != O_QUEST)
188 fprintf(d, "<%ld>", (long)opnd);
189 break;
190 case O_QUEST:
191 if (OP(*(s-opnd)) != OQUEST_)
192 fprintf(d, "<%ld>", (long)opnd);
193 fprintf(d, "?)");
194 break;
195 case OLPAREN:
196 fprintf(d, "((<%ld>", (long)opnd);
197 break;
198 case ORPAREN:
199 fprintf(d, "<%ld>))", (long)opnd);
200 break;
201 case OCH_:
202 fprintf(d, "<");
203 if (OP(*(s+opnd)) != OOR2)
204 fprintf(d, "<%ld>", (long)opnd);
205 break;
206 case OOR1:
207 if (OP(*(s-opnd)) != OOR1 && OP(*(s-opnd)) != OCH_)
208 fprintf(d, "<%ld>", (long)opnd);
209 fprintf(d, "|");
210 break;
211 case OOR2:
212 fprintf(d, "|");
213 if (OP(*(s+opnd)) != OOR2 && OP(*(s+opnd)) != O_CH)
214 fprintf(d, "<%ld>", (long)opnd);
215 break;
216 case O_CH:
217 if (OP(*(s-opnd)) != OOR1)
218 fprintf(d, "<%ld>", (long)opnd);
219 fprintf(d, ">");
220 break;
221 default:
222 fprintf(d, "!%ld(%ld)!", (long)OP(*s), (long)opnd);
223 break;
224 }
225 if (!done)
226 GAP();
227 }
228}
229
230/*
231 - regchar - make a character printable
232 == static char *regchar(int ch);
233 */
234static char * /* -> representation */
235regchar(ch)
236int ch;
237{
238 static char buf[10];
239
240 if (isprint(ch) || ch == ' ')
241 snprintf(buf, sizeof buf, "%c", ch);
242 else
243 snprintf(buf, sizeof buf, "\\%o", ch);
244 return(buf);
245}
diff --git a/src/regress/lib/libc/regex/debug.ih b/src/regress/lib/libc/regex/debug.ih
deleted file mode 100644
index 9eb313af23..0000000000
--- a/src/regress/lib/libc/regex/debug.ih
+++ /dev/null
@@ -1,17 +0,0 @@
1/* $OpenBSD: debug.ih,v 1.3 2002/02/16 21:27:32 millert Exp $ */
2/* $NetBSD: debug.ih,v 1.2 1995/04/20 22:39:47 cgd Exp $ */
3
4/* ========= begin header generated by ./mkh ========= */
5#ifdef __cplusplus
6extern "C" {
7#endif
8
9/* === debug.c === */
10void regprint(regex_t *r, FILE *d);
11static void s_print(register struct re_guts *g, FILE *d);
12static char *regchar(int ch);
13
14#ifdef __cplusplus
15}
16#endif
17/* ========= end header generated by ./mkh ========= */
diff --git a/src/regress/lib/libc/regex/main.c b/src/regress/lib/libc/regex/main.c
deleted file mode 100644
index d6787d88fc..0000000000
--- a/src/regress/lib/libc/regex/main.c
+++ /dev/null
@@ -1,519 +0,0 @@
1/* $OpenBSD: main.c,v 1.10 2016/07/13 06:17:11 guenther Exp $ */
2/* $NetBSD: main.c,v 1.2 1995/04/20 22:39:51 cgd Exp $ */
3
4#include <stdio.h>
5#include <stdlib.h>
6#include <string.h>
7#include <sys/types.h>
8#include <regex.h>
9#include <assert.h>
10#include <unistd.h>
11
12#include "main.ih"
13
14char *progname;
15int debug = 0;
16int line = 0;
17int status = 0;
18
19int copts = REG_EXTENDED;
20int eopts = 0;
21regoff_t startoff = 0;
22regoff_t endoff = 0;
23
24
25extern int split(char *, char *[], int, char *);
26extern void regprint(regex_t *, FILE *);
27
28/*
29 - main - do the simple case, hand off to regress() for regression
30 */
31int
32main(int argc, char *argv[])
33
34{
35 regex_t re;
36# define NS 10
37 regmatch_t subs[NS];
38 char erbuf[100];
39 int err;
40 size_t len;
41 int c;
42 int errflg = 0;
43 register int i;
44 extern int optind;
45 extern char *optarg;
46
47 progname = argv[0];
48
49 while ((c = getopt(argc, argv, "c:E:e:S:x")) != -1)
50 switch (c) {
51 case 'c': /* compile options */
52 copts = options('c', optarg);
53 break;
54 case 'E': /* end offset */
55 endoff = (regoff_t)atoi(optarg);
56 break;
57 case 'e': /* execute options */
58 eopts = options('e', optarg);
59 break;
60 case 'S': /* start offset */
61 startoff = (regoff_t)atoi(optarg);
62 break;
63 case 'x': /* Debugging. */
64 debug++;
65 break;
66 case '?':
67 default:
68 errflg++;
69 break;
70 }
71 if (errflg) {
72 fprintf(stderr, "usage: %s ", progname);
73 fprintf(stderr, "[-x] [-c copt] [-E endoff] [-e eopt] [-S startoff] [re]\n");
74 exit(2);
75 }
76
77 if (optind >= argc) {
78 regress(stdin);
79 exit(status);
80 }
81
82 err = regcomp(&re, argv[optind++], copts);
83 if (err) {
84 len = regerror(err, &re, erbuf, sizeof(erbuf));
85 fprintf(stderr, "error %s, %zu/%zu `%s'\n",
86 eprint(err), len, sizeof(erbuf), erbuf);
87 exit(status);
88 }
89 regprint(&re, stdout);
90
91 if (optind >= argc) {
92 regfree(&re);
93 exit(status);
94 }
95
96 if (eopts&REG_STARTEND) {
97 subs[0].rm_so = startoff;
98 subs[0].rm_eo = strlen(argv[optind]) - endoff;
99 }
100 err = regexec(&re, argv[optind], (size_t)NS, subs, eopts);
101 if (err) {
102 len = regerror(err, &re, erbuf, sizeof(erbuf));
103 fprintf(stderr, "error %s, %zu/%zu `%s'\n",
104 eprint(err), len, sizeof(erbuf), erbuf);
105 exit(status);
106 }
107 if (!(copts&REG_NOSUB)) {
108 len = (size_t)(subs[0].rm_eo - subs[0].rm_so);
109 if (subs[0].rm_so != -1) {
110 if (len != 0)
111 printf("match `%.*s'\n", (int)len,
112 argv[optind] + subs[0].rm_so);
113 else
114 printf("match `'@%.1s\n",
115 argv[optind] + subs[0].rm_so);
116 }
117 for (i = 1; i < NS; i++)
118 if (subs[i].rm_so != -1)
119 printf("(%d) `%.*s'\n", i,
120 (int)(subs[i].rm_eo - subs[i].rm_so),
121 argv[optind] + subs[i].rm_so);
122 }
123 exit(status);
124}
125
126/*
127 - regress - main loop of regression test
128 == void regress(FILE *in);
129 */
130void
131regress(in)
132FILE *in;
133{
134 char inbuf[1000];
135# define MAXF 10
136 char *f[MAXF];
137 int nf;
138 int i;
139 char erbuf[100];
140 size_t ne;
141 char *badpat = "invalid regular expression";
142# define SHORT 10
143 char *bpname = "REG_BADPAT";
144 regex_t re;
145
146 while (fgets(inbuf, sizeof(inbuf), in) != NULL) {
147 line++;
148 if (inbuf[0] == '#' || inbuf[0] == '\n')
149 continue; /* NOTE CONTINUE */
150 inbuf[strcspn(inbuf, "\n")] = '\0'; /* get rid of stupid \n */
151 if (debug)
152 fprintf(stdout, "%d:\n", line);
153 nf = split(inbuf, f, MAXF, "\t\t");
154 if (nf < 3) {
155 fprintf(stderr, "bad input, line %d\n", line);
156 exit(1);
157 }
158 for (i = 0; i < nf; i++)
159 if (strcmp(f[i], "\"\"") == 0)
160 f[i] = "";
161 if (nf <= 3)
162 f[3] = NULL;
163 if (nf <= 4)
164 f[4] = NULL;
165 try(f[0], f[1], f[2], f[3], f[4], options('c', f[1]));
166 if (opt('&', f[1])) /* try with either type of RE */
167 try(f[0], f[1], f[2], f[3], f[4],
168 options('c', f[1]) &~ REG_EXTENDED);
169 }
170
171 ne = regerror(REG_BADPAT, (regex_t *)NULL, erbuf, sizeof(erbuf));
172 if (strcmp(erbuf, badpat) != 0 || ne != strlen(badpat)+1) {
173 fprintf(stderr, "end: regerror() test gave `%s' not `%s'\n",
174 erbuf, badpat);
175 status = 1;
176 }
177 ne = regerror(REG_BADPAT, (regex_t *)NULL, erbuf, (size_t)SHORT);
178 if (strncmp(erbuf, badpat, SHORT-1) != 0 || erbuf[SHORT-1] != '\0' ||
179 ne != strlen(badpat)+1) {
180 fprintf(stderr, "end: regerror() short test gave `%s' not `%.*s'\n",
181 erbuf, SHORT-1, badpat);
182 status = 1;
183 }
184 ne = regerror(REG_ITOA|REG_BADPAT, (regex_t *)NULL, erbuf, sizeof(erbuf));
185 if (strcmp(erbuf, bpname) != 0 || ne != strlen(bpname)+1) {
186 fprintf(stderr, "end: regerror() ITOA test gave `%s' not `%s'\n",
187 erbuf, bpname);
188 status = 1;
189 }
190 re.re_endp = bpname;
191 ne = regerror(REG_ATOI, &re, erbuf, sizeof(erbuf));
192 if (atoi(erbuf) != (int)REG_BADPAT) {
193 fprintf(stderr, "end: regerror() ATOI test gave `%s' not `%ld'\n",
194 erbuf, (long)REG_BADPAT);
195 status = 1;
196 } else if (ne != strlen(erbuf)+1) {
197 fprintf(stderr, "end: regerror() ATOI test len(`%s') = %ld\n",
198 erbuf, (long)REG_BADPAT);
199 status = 1;
200 }
201}
202
203/*
204 - try - try it, and report on problems
205 == void try(char *f0, char *f1, char *f2, char *f3, char *f4, int opts);
206 */
207void
208try(f0, f1, f2, f3, f4, opts)
209char *f0;
210char *f1;
211char *f2;
212char *f3;
213char *f4;
214int opts; /* may not match f1 */
215{
216 regex_t re;
217# define NSUBS 10
218 regmatch_t subs[NSUBS];
219# define NSHOULD 15
220 char *should[NSHOULD];
221 int nshould;
222 char erbuf[100];
223 int err;
224 int len;
225 char *type = (opts & REG_EXTENDED) ? "ERE" : "BRE";
226 register int i;
227 char *grump;
228 char f0copy[1000];
229 char f2copy[1000];
230
231 strlcpy(f0copy, f0, sizeof f0copy);
232 re.re_endp = (opts&REG_PEND) ? f0copy + strlen(f0copy) : NULL;
233 fixstr(f0copy);
234 err = regcomp(&re, f0copy, opts);
235 if (err != 0 && (!opt('C', f1) || err != efind(f2))) {
236 /* unexpected error or wrong error */
237 len = regerror(err, &re, erbuf, sizeof(erbuf));
238 fprintf(stderr, "%d: %s error %s, %d/%zu `%s'\n",
239 line, type, eprint(err), len,
240 sizeof(erbuf), erbuf);
241 status = 1;
242 } else if (err == 0 && opt('C', f1)) {
243 /* unexpected success */
244 fprintf(stderr, "%d: %s should have given REG_%s\n",
245 line, type, f2);
246 status = 1;
247 err = 1; /* so we won't try regexec */
248 }
249
250 if (err != 0) {
251 regfree(&re);
252 return;
253 }
254
255 strlcpy(f2copy, f2, sizeof f2copy);
256 fixstr(f2copy);
257
258 if (options('e', f1)&REG_STARTEND) {
259 if (strchr(f2, '(') == NULL || strchr(f2, ')') == NULL)
260 fprintf(stderr, "%d: bad STARTEND syntax\n", line);
261 subs[0].rm_so = strchr(f2, '(') - f2 + 1;
262 subs[0].rm_eo = strchr(f2, ')') - f2;
263 /* the preceding character is relevant with REG_NOTBOL */
264 f2copy[subs[0].rm_so - 1] = subs[0].rm_so > 1 ?
265 f2copy[subs[0].rm_so - 2] : 'X';
266 }
267 err = regexec(&re, f2copy, NSUBS, subs, options('e', f1));
268
269 if (err != 0 && (f3 != NULL || err != REG_NOMATCH)) {
270 /* unexpected error or wrong error */
271 len = regerror(err, &re, erbuf, sizeof(erbuf));
272 fprintf(stderr, "%d: %s exec error %s, %d/%zu `%s'\n",
273 line, type, eprint(err), len,
274 sizeof(erbuf), erbuf);
275 status = 1;
276 } else if (err != 0) {
277 /* nothing more to check */
278 } else if (f3 == NULL) {
279 /* unexpected success */
280 fprintf(stderr, "%d: %s exec should have failed\n",
281 line, type);
282 status = 1;
283 err = 1; /* just on principle */
284 } else if (opts&REG_NOSUB) {
285 /* nothing more to check */
286 } else if ((grump = check(f2, subs[0], f3)) != NULL) {
287 fprintf(stderr, "%d: %s %s\n", line, type, grump);
288 status = 1;
289 err = 1;
290 }
291
292 if (err != 0 || f4 == NULL) {
293 regfree(&re);
294 return;
295 }
296
297 for (i = 1; i < NSHOULD; i++)
298 should[i] = NULL;
299 nshould = split(f4, should+1, NSHOULD-1, ",");
300 if (nshould == 0) {
301 nshould = 1;
302 should[1] = "";
303 }
304 for (i = 1; i < NSUBS; i++) {
305 grump = check(f2, subs[i], should[i]);
306 if (grump != NULL) {
307 fprintf(stderr, "%d: %s $%d %s\n", line,
308 type, i, grump);
309 status = 1;
310 err = 1;
311 }
312 }
313
314 regfree(&re);
315}
316
317/*
318 - options - pick options out of a regression-test string
319 == int options(int type, char *s);
320 */
321int
322options(type, s)
323int type; /* 'c' compile, 'e' exec */
324char *s;
325{
326 register char *p;
327 register int o = (type == 'c') ? copts : eopts;
328 register char *legal = (type == 'c') ? "bisnmp" : "^$#tl";
329
330 for (p = s; *p != '\0'; p++)
331 if (strchr(legal, *p) != NULL)
332 switch (*p) {
333 case 'b':
334 o &= ~REG_EXTENDED;
335 break;
336 case 'i':
337 o |= REG_ICASE;
338 break;
339 case 's':
340 o |= REG_NOSUB;
341 break;
342 case 'n':
343 o |= REG_NEWLINE;
344 break;
345 case 'm':
346 o &= ~REG_EXTENDED;
347 o |= REG_NOSPEC;
348 break;
349 case 'p':
350 o |= REG_PEND;
351 break;
352 case '^':
353 o |= REG_NOTBOL;
354 break;
355 case '$':
356 o |= REG_NOTEOL;
357 break;
358 case '#':
359 o |= REG_STARTEND;
360 break;
361 case 't': /* trace */
362 o |= REG_TRACE;
363 break;
364 case 'l': /* force long representation */
365 o |= REG_LARGE;
366 break;
367 case 'r': /* force backref use */
368 o |= REG_BACKR;
369 break;
370 }
371 return(o);
372}
373
374/*
375 - opt - is a particular option in a regression string?
376 == int opt(int c, char *s);
377 */
378int /* predicate */
379opt(c, s)
380int c;
381char *s;
382{
383 return(strchr(s, c) != NULL);
384}
385
386/*
387 - fixstr - transform magic characters in strings
388 == void fixstr(register char *p);
389 */
390void
391fixstr(p)
392register char *p;
393{
394 if (p == NULL)
395 return;
396
397 for (; *p != '\0'; p++)
398 if (*p == 'N')
399 *p = '\n';
400 else if (*p == 'T')
401 *p = '\t';
402 else if (*p == 'S')
403 *p = ' ';
404 else if (*p == 'Z')
405 *p = '\0';
406}
407
408/*
409 - check - check a substring match
410 == char *check(char *str, regmatch_t sub, char *should);
411 */
412char * /* NULL or complaint */
413check(str, sub, should)
414char *str;
415regmatch_t sub;
416char *should;
417{
418 register int len;
419 register int shlen;
420 register char *p;
421 static char grump[500];
422 register char *at = NULL;
423
424 if (should != NULL && strcmp(should, "-") == 0)
425 should = NULL;
426 if (should != NULL && should[0] == '@') {
427 at = should + 1;
428 should = "";
429 }
430
431 /* check rm_so and rm_eo for consistency */
432 if (sub.rm_so > sub.rm_eo || (sub.rm_so == -1 && sub.rm_eo != -1) ||
433 (sub.rm_so != -1 && sub.rm_eo == -1) ||
434 (sub.rm_so != -1 && sub.rm_so < 0) ||
435 (sub.rm_eo != -1 && sub.rm_eo < 0) ) {
436 snprintf(grump, sizeof grump,
437 "start %ld end %ld", (long)sub.rm_so,
438 (long)sub.rm_eo);
439 return(grump);
440 }
441
442 /* check for no match */
443 if (sub.rm_so == -1 && should == NULL)
444 return(NULL);
445 if (sub.rm_so == -1)
446 return("did not match");
447
448 /* check for in range */
449 if (sub.rm_eo > strlen(str)) {
450 snprintf(grump, sizeof grump,
451 "start %ld end %ld, past end of string",
452 (long)sub.rm_so, (long)sub.rm_eo);
453 return(grump);
454 }
455
456 len = (int)(sub.rm_eo - sub.rm_so);
457 p = str + sub.rm_so;
458
459 /* check for not supposed to match */
460 if (should == NULL) {
461 snprintf(grump, sizeof grump, "matched `%.*s'", len, p);
462 return(grump);
463 }
464
465 /* check for wrong match */
466 shlen = (int)strlen(should);
467 if (len != shlen || strncmp(p, should, (size_t)shlen) != 0) {
468 snprintf(grump, sizeof grump, "matched `%.*s' instead", len, p);
469 return(grump);
470 }
471 if (shlen > 0)
472 return(NULL);
473
474 /* check null match in right place */
475 if (at == NULL)
476 return(NULL);
477 shlen = strlen(at);
478 if (shlen == 0)
479 shlen = 1; /* force check for end-of-string */
480 if (strncmp(p, at, shlen) != 0) {
481 snprintf(grump, sizeof grump, "matched null at `%.20s'", p);
482 return(grump);
483 }
484 return(NULL);
485}
486
487/*
488 - eprint - convert error number to name
489 == static char *eprint(int err);
490 */
491static char *
492eprint(err)
493int err;
494{
495 static char epbuf[100];
496 size_t len;
497
498 len = regerror(REG_ITOA|err, (regex_t *)NULL, epbuf, sizeof(epbuf));
499 assert(len <= sizeof(epbuf));
500 return(epbuf);
501}
502
503/*
504 - efind - convert error name to number
505 == static int efind(char *name);
506 */
507static int
508efind(name)
509char *name;
510{
511 static char efbuf[100];
512 regex_t re;
513
514 snprintf(efbuf, sizeof efbuf, "REG_%s", name);
515 assert(strlen(efbuf) < sizeof(efbuf));
516 re.re_endp = efbuf;
517 (void) regerror(REG_ATOI, &re, efbuf, sizeof(efbuf));
518 return(atoi(efbuf));
519}
diff --git a/src/regress/lib/libc/regex/main.ih b/src/regress/lib/libc/regex/main.ih
deleted file mode 100644
index 0860e26333..0000000000
--- a/src/regress/lib/libc/regex/main.ih
+++ /dev/null
@@ -1,22 +0,0 @@
1/* $OpenBSD: main.ih,v 1.3 2002/02/16 21:27:32 millert Exp $ */
2/* $NetBSD: main.ih,v 1.2 1995/04/20 22:39:55 cgd Exp $ */
3
4/* ========= begin header generated by ./mkh ========= */
5#ifdef __cplusplus
6extern "C" {
7#endif
8
9/* === main.c === */
10void regress(FILE *in);
11void try(char *f0, char *f1, char *f2, char *f3, char *f4, int opts);
12int options(int type, char *s);
13int opt(int c, char *s);
14void fixstr(register char *p);
15char *check(char *str, regmatch_t sub, char *should);
16static char *eprint(int err);
17static int efind(char *name);
18
19#ifdef __cplusplus
20}
21#endif
22/* ========= end header generated by ./mkh ========= */
diff --git a/src/regress/lib/libc/regex/split.c b/src/regress/lib/libc/regex/split.c
deleted file mode 100644
index fcd81a3503..0000000000
--- a/src/regress/lib/libc/regex/split.c
+++ /dev/null
@@ -1,317 +0,0 @@
1/* $OpenBSD: split.c,v 1.5 2007/09/09 23:25:12 chl Exp $ */
2/* $NetBSD: split.c,v 1.2 1995/04/20 22:39:57 cgd Exp $ */
3
4#include <stdio.h>
5#include <string.h>
6
7int split(char *string, char *fields[], int nfields, char *sep);
8
9/*
10 - split - divide a string into fields, like awk split()
11 = int split(char *string, char *fields[], int nfields, char *sep);
12 */
13int /* number of fields, including overflow */
14split(char *string, char *fields[], int nfields, char *sep)
15{
16 register char *p = string;
17 register char c; /* latest character */
18 register char sepc = sep[0];
19 register char sepc2;
20 register int fn;
21 register char **fp = fields;
22 register char *sepp;
23 register int trimtrail;
24
25 /* white space */
26 if (sepc == '\0') {
27 while ((c = *p++) == ' ' || c == '\t')
28 continue;
29 p--;
30 trimtrail = 1;
31 sep = " \t"; /* note, code below knows this is 2 long */
32 sepc = ' ';
33 } else
34 trimtrail = 0;
35 sepc2 = sep[1]; /* now we can safely pick this up */
36
37 /* catch empties */
38 if (*p == '\0')
39 return(0);
40
41 /* single separator */
42 if (sepc2 == '\0') {
43 fn = nfields;
44 for (;;) {
45 *fp++ = p;
46 fn--;
47 if (fn == 0)
48 break;
49 while ((c = *p++) != sepc)
50 if (c == '\0')
51 return(nfields - fn);
52 *(p-1) = '\0';
53 }
54 /* we have overflowed the fields vector -- just count them */
55 fn = nfields;
56 for (;;) {
57 while ((c = *p++) != sepc)
58 if (c == '\0')
59 return(fn);
60 fn++;
61 }
62 /* not reached */
63 }
64
65 /* two separators */
66 if (sep[2] == '\0') {
67 fn = nfields;
68 for (;;) {
69 *fp++ = p;
70 fn--;
71 while ((c = *p++) != sepc && c != sepc2)
72 if (c == '\0') {
73 if (trimtrail && **(fp-1) == '\0')
74 fn++;
75 return(nfields - fn);
76 }
77 if (fn == 0)
78 break;
79 *(p-1) = '\0';
80 while ((c = *p++) == sepc || c == sepc2)
81 continue;
82 p--;
83 }
84 /* we have overflowed the fields vector -- just count them */
85 fn = nfields;
86 while (c != '\0') {
87 while ((c = *p++) == sepc || c == sepc2)
88 continue;
89 p--;
90 fn++;
91 while ((c = *p++) != '\0' && c != sepc && c != sepc2)
92 continue;
93 }
94 /* might have to trim trailing white space */
95 if (trimtrail) {
96 p--;
97 while ((c = *--p) == sepc || c == sepc2)
98 continue;
99 p++;
100 if (*p != '\0') {
101 if (fn == nfields+1)
102 *p = '\0';
103 fn--;
104 }
105 }
106 return(fn);
107 }
108
109 /* n separators */
110 fn = 0;
111 for (;;) {
112 if (fn < nfields)
113 *fp++ = p;
114 fn++;
115 for (;;) {
116 c = *p++;
117 if (c == '\0')
118 return(fn);
119 sepp = sep;
120 while ((sepc = *sepp++) != '\0' && sepc != c)
121 continue;
122 if (sepc != '\0') /* it was a separator */
123 break;
124 }
125 if (fn < nfields)
126 *(p-1) = '\0';
127 for (;;) {
128 c = *p++;
129 sepp = sep;
130 while ((sepc = *sepp++) != '\0' && sepc != c)
131 continue;
132 if (sepc == '\0') /* it wasn't a separator */
133 break;
134 }
135 p--;
136 }
137
138 /* not reached */
139}
140
141#ifdef TEST_SPLIT
142
143
144/*
145 * test program
146 * pgm runs regression
147 * pgm sep splits stdin lines by sep
148 * pgm str sep splits str by sep
149 * pgm str sep n splits str by sep n times
150 */
151int
152main(argc, argv)
153int argc;
154char *argv[];
155{
156 char buf[512];
157 register int n;
158# define MNF 10
159 char *fields[MNF];
160
161 if (argc > 4)
162 for (n = atoi(argv[3]); n > 0; n--) {
163 (void) strlcpy(buf, argv[1], sizeof buf);
164 }
165 else if (argc > 3)
166 for (n = atoi(argv[3]); n > 0; n--) {
167 (void) strlcpy(buf, argv[1], sizeof buf);
168 (void) split(buf, fields, MNF, argv[2]);
169 }
170 else if (argc > 2)
171 dosplit(argv[1], argv[2]);
172 else if (argc > 1)
173 while (fgets(buf, sizeof(buf), stdin) != NULL) {
174 buf[strcspn(buf, "\n")] = '\0'; /* stomp newline */
175 dosplit(buf, argv[1]);
176 }
177 else
178 regress();
179
180 exit(0);
181}
182
183dosplit(string, seps)
184char *string;
185char *seps;
186{
187# define NF 5
188 char *fields[NF];
189 register int nf;
190
191 nf = split(string, fields, NF, seps);
192 print(nf, NF, fields);
193}
194
195print(nf, nfp, fields)
196int nf;
197int nfp;
198char *fields[];
199{
200 register int fn;
201 register int bound;
202
203 bound = (nf > nfp) ? nfp : nf;
204 printf("%d:\t", nf);
205 for (fn = 0; fn < bound; fn++)
206 printf("\"%s\"%s", fields[fn], (fn+1 < nf) ? ", " : "\n");
207}
208
209#define RNF 5 /* some table entries know this */
210struct {
211 char *str;
212 char *seps;
213 int nf;
214 char *fi[RNF];
215} tests[] = {
216 "", " ", 0, { "" },
217 " ", " ", 2, { "", "" },
218 "x", " ", 1, { "x" },
219 "xy", " ", 1, { "xy" },
220 "x y", " ", 2, { "x", "y" },
221 "abc def g ", " ", 5, { "abc", "def", "", "g", "" },
222 " a bcd", " ", 4, { "", "", "a", "bcd" },
223 "a b c d e f", " ", 6, { "a", "b", "c", "d", "e f" },
224 " a b c d ", " ", 6, { "", "a", "b", "c", "d " },
225
226 "", " _", 0, { "" },
227 " ", " _", 2, { "", "" },
228 "x", " _", 1, { "x" },
229 "x y", " _", 2, { "x", "y" },
230 "ab _ cd", " _", 2, { "ab", "cd" },
231 " a_b c ", " _", 5, { "", "a", "b", "c", "" },
232 "a b c_d e f", " _", 6, { "a", "b", "c", "d", "e f" },
233 " a b c d ", " _", 6, { "", "a", "b", "c", "d " },
234
235 "", " _~", 0, { "" },
236 " ", " _~", 2, { "", "" },
237 "x", " _~", 1, { "x" },
238 "x y", " _~", 2, { "x", "y" },
239 "ab _~ cd", " _~", 2, { "ab", "cd" },
240 " a_b c~", " _~", 5, { "", "a", "b", "c", "" },
241 "a b_c d~e f", " _~", 6, { "a", "b", "c", "d", "e f" },
242 "~a b c d ", " _~", 6, { "", "a", "b", "c", "d " },
243
244 "", " _~-", 0, { "" },
245 " ", " _~-", 2, { "", "" },
246 "x", " _~-", 1, { "x" },
247 "x y", " _~-", 2, { "x", "y" },
248 "ab _~- cd", " _~-", 2, { "ab", "cd" },
249 " a_b c~", " _~-", 5, { "", "a", "b", "c", "" },
250 "a b_c-d~e f", " _~-", 6, { "a", "b", "c", "d", "e f" },
251 "~a-b c d ", " _~-", 6, { "", "a", "b", "c", "d " },
252
253 "", " ", 0, { "" },
254 " ", " ", 2, { "", "" },
255 "x", " ", 1, { "x" },
256 "xy", " ", 1, { "xy" },
257 "x y", " ", 2, { "x", "y" },
258 "abc def g ", " ", 4, { "abc", "def", "g", "" },
259 " a bcd", " ", 3, { "", "a", "bcd" },
260 "a b c d e f", " ", 6, { "a", "b", "c", "d", "e f" },
261 " a b c d ", " ", 6, { "", "a", "b", "c", "d " },
262
263 "", "", 0, { "" },
264 " ", "", 0, { "" },
265 "x", "", 1, { "x" },
266 "xy", "", 1, { "xy" },
267 "x y", "", 2, { "x", "y" },
268 "abc def g ", "", 3, { "abc", "def", "g" },
269 "\t a bcd", "", 2, { "a", "bcd" },
270 " a \tb\t c ", "", 3, { "a", "b", "c" },
271 "a b c d e ", "", 5, { "a", "b", "c", "d", "e" },
272 "a b\tc d e f", "", 6, { "a", "b", "c", "d", "e f" },
273 " a b c d e f ", "", 6, { "a", "b", "c", "d", "e f " },
274
275 NULL, NULL, 0, { NULL },
276};
277
278regress()
279{
280 char buf[512];
281 register int n;
282 char *fields[RNF+1];
283 register int nf;
284 register int i;
285 register int printit;
286 register char *f;
287
288 for (n = 0; tests[n].str != NULL; n++) {
289 (void) strlcpy(buf, tests[n].str, sizeof buf);
290 fields[RNF] = NULL;
291 nf = split(buf, fields, RNF, tests[n].seps);
292 printit = 0;
293 if (nf != tests[n].nf) {
294 printf("split `%s' by `%s' gave %d fields, not %d\n",
295 tests[n].str, tests[n].seps, nf, tests[n].nf);
296 printit = 1;
297 } else if (fields[RNF] != NULL) {
298 printf("split() went beyond array end\n");
299 printit = 1;
300 } else {
301 for (i = 0; i < nf && i < RNF; i++) {
302 f = fields[i];
303 if (f == NULL)
304 f = "(NULL)";
305 if (strcmp(f, tests[n].fi[i]) != 0) {
306 printf("split `%s' by `%s', field %d is `%s', not `%s'\n",
307 tests[n].str, tests[n].seps,
308 i, fields[i], tests[n].fi[i]);
309 printit = 1;
310 }
311 }
312 }
313 if (printit)
314 print(nf, RNF, fields);
315 }
316}
317#endif
diff --git a/src/regress/lib/libc/regex/t_exhaust.c b/src/regress/lib/libc/regex/t_exhaust.c
deleted file mode 100644
index 58ac8007f2..0000000000
--- a/src/regress/lib/libc/regex/t_exhaust.c
+++ /dev/null
@@ -1,184 +0,0 @@
1/* $OpenBSD: t_exhaust.c,v 1.3 2012/12/05 23:20:07 deraadt Exp $ */
2/* $NetBSD: t_exhaust.c,v 1.2 2011/10/21 00:41:34 christos Exp $ */
3
4/*-
5 * Copyright (c) 2011 The NetBSD Foundation, Inc.
6 * All rights reserved.
7 *
8 * This code is derived from software contributed to The NetBSD Foundation
9 * by Christos Zoulas.
10 *
11 * Redistribution and use in source and binary forms, with or without
12 * modification, are permitted provided that the following conditions
13 * are met:
14 * 1. Redistributions of source code must retain the above copyright
15 * notice, this list of conditions and the following disclaimer.
16 * 2. Redistributions in binary form must reproduce the above copyright
17 * notice, this list of conditions and the following disclaimer in the
18 * documentation and/or other materials provided with the distribution.
19 * 3. All advertising materials mentioning features or use of this software
20 * must display the following acknowledgement:
21 * This product includes software developed by the NetBSD
22 * Foundation, Inc. and its contributors.
23 * 4. Neither the name of The NetBSD Foundation nor the names of its
24 * contributors may be used to endorse or promote products derived
25 * from this software without specific prior written permission.
26 *
27 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
28 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
29 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
30 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
31 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
32 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
33 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
34 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
35 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
36 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
37 * POSSIBILITY OF SUCH DAMAGE.
38 */
39
40#include <stdio.h>
41#include <regex.h>
42#include <string.h>
43#include <stdlib.h>
44#include <err.h>
45//#include <atf-c.h>
46
47
48static char *
49mkstr(const char *str, size_t len)
50{
51 size_t i, slen = strlen(str);
52 char *p = malloc(slen * len + 1);
53 if (p == NULL)
54 err(1, "malloc");
55 for (i = 0; i < len; i++)
56 strlcpy(&p[i * slen], str, slen * len + 1 - (i * slen));
57 return p;
58}
59
60static char *
61concat(const char *d, const char *s)
62{
63 size_t dlen = strlen(d);
64 size_t slen = strlen(s);
65 char *p = malloc(dlen + slen + 1);
66 strlcpy(p, d, dlen + slen + 1);
67 strlcat(p, s, dlen + slen + 1);
68 return p;
69}
70
71static char *
72p0(size_t len)
73{
74 char *d, *s1, *s2;
75 s1 = mkstr("\\(", len);
76 s2 = concat(s1, ")");
77 free(s1);
78 d = concat("(", s2);
79 free(s2);
80 return d;
81}
82
83static char *
84p1(size_t len)
85{
86 char *d, *s1, *s2, *s3;
87 s1 = mkstr("\\(", 60);
88 s2 = mkstr("(.*)", len);
89 s3 = concat(s1, s2);
90 free(s2);
91 free(s1);
92 s1 = concat(s3, ")");
93 free(s3);
94 d = concat("(", s1);
95 free(s1);
96 return d;
97}
98
99static char *
100ps(const char *m, const char *s, size_t len)
101{
102 char *d, *s1, *s2, *s3;
103 s1 = mkstr(m, len);
104 s2 = mkstr(s, len);
105 s3 = concat(s1, s2);
106 free(s2);
107 free(s1);
108 d = concat("(.?)", s3);
109 free(s3);
110 return d;
111}
112
113static char *
114p2(size_t len)
115{
116 return ps("((.*){0,255}", ")", len);
117}
118
119static char *
120p3(size_t len)
121{
122 return ps("(.\\{0,}", ")", len);
123}
124
125static char *
126p4(size_t len)
127{
128 return ps("((.*){1,255}", ")", len);
129}
130
131static char *
132p5(size_t len)
133{
134 return ps("(", "){1,100}", len);
135}
136
137static char *
138p6(size_t len)
139{
140 char *d, *s1, *s2;
141 s1 = mkstr("(?:(.*)|", len);
142 s2 = concat(s1, "(.*)");
143 free(s1);
144 s1 = mkstr(")", len);
145 d = concat(s2, s1);
146 free(s1);
147 free(s2);
148 return d;
149}
150
151static char *(*patterns[])(size_t) = {
152 p0,
153 p1,
154 p2,
155 p3,
156 p4,
157 p5,
158 p6,
159};
160
161
162main()
163{
164 regex_t re;
165 int e, ret = 0;
166 size_t i;
167
168 for (i = 0; i < sizeof(patterns) / sizeof(patterns[0]); i++) {
169 char *d = (*patterns[i])(9999);
170 e = regcomp(&re, d, i == 6 ? REG_BASIC : REG_EXTENDED);
171 free(d);
172 if (e) {
173 if (e != REG_ESPACE) {
174 printf("regcomp returned %d for pattern %zu", e, i);
175 ret = 1;
176 }
177 continue;
178 }
179 (void)regexec(&re, "aaaaaaaa", 0, NULL, 0);
180 regfree(&re);
181 }
182 return ret;
183}
184
diff --git a/src/regress/lib/libc/regex/tests b/src/regress/lib/libc/regex/tests
deleted file mode 100644
index ee019f0a04..0000000000
--- a/src/regress/lib/libc/regex/tests
+++ /dev/null
@@ -1,594 +0,0 @@
1# $OpenBSD: tests,v 1.8 2016/05/26 14:23:55 schwarze Exp $
2# $NetBSD: tests,v 1.5 1995/04/20 22:40:00 cgd Exp $
3
4# regular expression test set
5# Lines are at least three fields, separated by one or more tabs. "" stands
6# for an empty field. First field is an RE. Second field is flags. If
7# C flag given, regcomp() is expected to fail, and the third field is the
8# error name (minus the leading REG_).
9#
10# Otherwise it is expected to succeed, and the third field is the string to
11# try matching it against. If there is no fourth field, the match is
12# expected to fail. If there is a fourth field, it is the substring that
13# the RE is expected to match. If there is a fifth field, it is a comma-
14# separated list of what the subexpressions should match, with - indicating
15# no match for that one. In both the fourth and fifth fields, a (sub)field
16# starting with @ indicates that the (sub)expression is expected to match
17# a null string followed by the stuff after the @; this provides a way to
18# test where null strings match. The character `N' in REs and strings
19# is newline, `S' is space, `T' is tab, `Z' is NUL.
20#
21# The full list of flags:
22# - placeholder, does nothing
23# b RE is a BRE, not an ERE
24# & try it as both an ERE and a BRE
25# C regcomp() error expected, third field is error name
26# i REG_ICASE
27# m ("mundane") REG_NOSPEC
28# s REG_NOSUB (not really testable)
29# n REG_NEWLINE
30# ^ REG_NOTBOL
31# $ REG_NOTEOL
32# # REG_STARTEND (see below)
33# p REG_PEND
34#
35# For REG_STARTEND, the start/end offsets are those of the substring
36# enclosed in ().
37
38# basics
39a & a a
40abc & abc abc
41abc|de - abc abc
42a|b|c - abc a
43
44# parentheses and perversions thereof
45a(b)c - abc abc
46a\(b\)c b abc abc
47a( C EPAREN
48a( b a( a(
49a\( - a( a(
50a\( bC EPAREN
51a\(b bC EPAREN
52a(b C EPAREN
53a(b b a(b a(b
54# gag me with a right parenthesis -- 1003.2 goofed here (my fault, partly)
55a) - a) a)
56) - ) )
57# end gagging (in a just world, those *should* give EPAREN)
58a) b a) a)
59a\) bC EPAREN
60\) bC EPAREN
61a()b - ab ab
62a\(\)b b ab ab
63
64# anchoring and REG_NEWLINE
65^abc$ & abc abc
66^b & abc
67a^b - a^b
68a^b b a^b a^b
69a$b - a$b
70a$b b a$b a$b
71^ & abc @abc
72$ & abc @
73^$ & "" @
74$^ - "" @
75\($\)\(^\) b "" @
76# stop retching, those are legitimate (although disgusting)
77^^ - "" @
78$$ - "" @
79b$ & abNc
80b$ &n abNc b
81^b & aNbNc
82b$ & aNbNc
83^a &n aNb a
84^b &n abc
85^b$ &n aNbNc b
86^$ &n aNNb @Nb
87^$ n abc
88^$ n abcN @
89$^ n aNNb @Nb
90\($\)\(^\) bn aNNb @Nb
91^^ n^ aNNb @Nb
92$$ n aNNb @NN
93^a &^ a
94a$ &$ a
95^b &^ abc
96^b &^ aNb
97^a &^n aNb
98^b &^n abc
99^b &^n aNb b
100a$ &$n bNa
101b$ &$n bNa b
102a*(^b$)c* - b b
103a*\(^b$\)c* b b b
104
105# certain syntax errors and non-errors
106| C EMPTY
107| b | |
108* C BADRPT
109* b * *
110+ C BADRPT
111? C BADRPT
112"" &C EMPTY
113() - abc @abc
114\(\) b abc @abc
115a||b C EMPTY
116|ab C EMPTY
117ab| C EMPTY
118(|a)b C EMPTY
119(a|)b C EMPTY
120(*a) C BADRPT
121(+a) C BADRPT
122(?a) C BADRPT
123({1}a) C BADRPT
124\(\{1\}a\) bC BADRPT
125(a|*b) C BADRPT
126(a|+b) C BADRPT
127(a|?b) C BADRPT
128(a|{1}b) C BADRPT
129^* C BADRPT
130^* b * *
131^+ C BADRPT
132^? C BADRPT
133^{1} C BADRPT
134^\{1\} bC BADRPT
135
136# metacharacters, backslashes
137a.c & abc abc
138a[bc]d & abd abd
139a\*c & a*c a*c
140a\\b & a\b a\b
141a\\\*b & a\*b a\*b
142a\bc & abc abc
143a\ &C EESCAPE
144a\\bc & a\bc a\bc
145\{ bC BADRPT
146a\[b & a[b a[b
147a[b &C EBRACK
148# trailing $ is a peculiar special case for the BRE code
149a$ & a a
150a$ & a$
151a\$ & a
152a\$ & a$ a$
153a\\$ & a
154a\\$ & a$
155a\\$ & a\$
156a\\$ & a\ a\
157
158# back references, ugh
159a\(b\)\2c bC ESUBREG
160a\(b\1\)c bC ESUBREG
161a\(b*\)c\1d b abbcbbd abbcbbd bb
162a\(b*\)c\1d b abbcbd
163a\(b*\)c\1d b abbcbbbd
164^\(.\)\1 b abc
165a\([bc]\)\1d b abcdabbd abbd b
166a\(\([bc]\)\2\)*d b abbccd abbccd
167a\(\([bc]\)\2\)*d b abbcbd
168# actually, this next one probably ought to fail, but the spec is unclear
169a\(\(b\)*\2\)*d b abbbd abbbd
170# here is a case that no NFA implementation does right
171\(ab*\)[ab]*\1 b ababaaa ababaaa a
172# check out normal matching in the presence of back refs
173\(a\)\1bcd b aabcd aabcd
174\(a\)\1bc*d b aabcd aabcd
175\(a\)\1bc*d b aabd aabd
176\(a\)\1bc*d b aabcccd aabcccd
177\(a\)\1bc*[ce]d b aabcccd aabcccd
178^\(a\)\1b\(c\)*cd$ b aabcccd aabcccd
179\(b*\)\(a*\1\)* b ab a
180\([^_]*\)\(_*\1\)* b foo_foo_bar_bar_bar_baz foo_foo foo,_foo
181\([^_]*\)\(_*\1\)* b bar_bar_bar_baz bar_bar_bar bar,_bar
182\([^_]*\)\(_*\1\)* b foo_bar_baz foo foo
183\(.*\)\1 b "" ""
184\(.*\)\1 b a ""
185\(.*\)\1 b aa aa
186\(.*\)\1 b aaa aa
187\(.*\)\1 b aaaa aaaa
188\([^_]*\)\1 b "" ""
189\([^_]*\)\1 b a ""
190\([^_]*\)\1 b aa aa
191\([^_]*\)\1 b aaa aa
192\([^_]*\)\1 b aaaa aaaa
193foo\(.*\)bar\1 b foolbarl foolbarl l
194foo\(.*\)bar\1 b foobar foobar ""
195\(\(.\)b\)*\1 b aba
196\(\(.\)b\)*\1 b abba
197\(\(.\)b\)*\1 b abbba
198\(\(.\)b\)*\1 b abbbba bbbb bb,b
199\(\(.\)b\)*\1 b abbbbba abbbbb bb,b
200\(\(.\)b\)*\1 b abbbbbba abbbbb bb,b
201\(\(.\)b\)*\1 b abbbbbbbbbbbbbba abbbbbbbbbbbbb bb,b
202\(\(.\)b\)*\1 b abbbbbbbbbbbbbbba abbbbbbbbbbbbbbb bb,b
203# these used to segfault, buffer underflow in engine.c, backref()
204\(^a\)*\(b.\)\2 b^ sbxbxe bxbx -,bx
205\([[:<:]]a\)*\(b.\)\2 b^ sbxbxe bxbx -,bx
206
207# ordinary repetitions
208ab*c & abc abc
209ab+c - abc abc
210ab?c - abc abc
211a\(*\)b b a*b a*b
212a\(**\)b b ab ab
213a\(***\)b bC BADRPT
214*a b *a *a
215**a b a a
216***a bC BADRPT
217
218# the dreaded bounded repetitions
219{ & { {
220{abc & {abc {abc
221{1 C BADRPT
222{1} C BADRPT
223a{b & a{b a{b
224a{1}b - ab ab
225a\{1\}b b ab ab
226a{1,}b - ab ab
227a\{1,\}b b ab ab
228a{1,2}b - aab aab
229a\{1,2\}b b aab aab
230a{1 C EBRACE
231a\{1 bC EBRACE
232a{1a C EBRACE
233a\{1a bC EBRACE
234a{1a} C BADBR
235a\{1a\} bC BADBR
236a{,2} - a{,2} a{,2}
237a\{,2\} bC BADBR
238a{,} - a{,} a{,}
239a\{,\} bC BADBR
240a{1,x} C BADBR
241a\{1,x\} bC BADBR
242a{1,x C EBRACE
243a\{1,x bC EBRACE
244a{300} C BADBR
245a\{300\} bC BADBR
246a{1,0} C BADBR
247a\{1,0\} bC BADBR
248ab{0,0}c - abcac ac
249ab\{0,0\}c b abcac ac
250ab{0,1}c - abcac abc
251ab\{0,1\}c b abcac abc
252ab{0,3}c - abbcac abbc
253ab\{0,3\}c b abbcac abbc
254ab{1,1}c - acabc abc
255ab\{1,1\}c b acabc abc
256ab{1,3}c - acabc abc
257ab\{1,3\}c b acabc abc
258ab{2,2}c - abcabbc abbc
259ab\{2,2\}c b abcabbc abbc
260ab{2,4}c - abcabbc abbc
261ab\{2,4\}c b abcabbc abbc
262((a{1,10}){1,10}){1,10} - a a a,a
263
264# multiple repetitions
265a** &C BADRPT
266a++ C BADRPT
267a?? C BADRPT
268a*+ C BADRPT
269a*? C BADRPT
270a+* C BADRPT
271a+? C BADRPT
272a?* C BADRPT
273a?+ C BADRPT
274a{1}{1} C BADRPT
275a*{1} C BADRPT
276a+{1} C BADRPT
277a?{1} C BADRPT
278a{1}* C BADRPT
279a{1}+ C BADRPT
280a{1}? C BADRPT
281a*{b} - a{b} a{b}
282a\{1\}\{1\} bC BADRPT
283a*\{1\} bC BADRPT
284a\{1\}* bC BADRPT
285
286# brackets, and numerous perversions thereof
287a[b]c & abc abc
288a[ab]c & abc abc
289a[^ab]c & adc adc
290a[]b]c & a]c a]c
291a[[b]c & a[c a[c
292a[-b]c & a-c a-c
293a[^]b]c & adc adc
294a[^-b]c & adc adc
295a[b-]c & a-c a-c
296a[b &C EBRACK
297a[] &C EBRACK
298a[1-3]c & a2c a2c
299a[3-1]c &C ERANGE
300a[1-3-5]c &C ERANGE
301a[[.-.]--]c & a-c a-c
302a[1- &C ERANGE
303a[[. &C EBRACK
304a[[.x &C EBRACK
305a[[.x. &C EBRACK
306a[[.x.] &C EBRACK
307a[[.x.]] & ax ax
308a[[.x,.]] &C ECOLLATE
309a[[.one.]]b & a1b a1b
310a[[.notdef.]]b &C ECOLLATE
311a[[.].]]b & a]b a]b
312a[[:alpha:]]c & abc abc
313a[[:notdef:]]c &C ECTYPE
314a[[: &C EBRACK
315a[[:alpha &C EBRACK
316a[[:alpha:] &C EBRACK
317a[[:alpha,:] &C ECTYPE
318a[[:]:]]b &C ECTYPE
319a[[:-:]]b &C ECTYPE
320a[[:alph:]] &C ECTYPE
321a[[:alphabet:]] &C ECTYPE
322[[:alnum:]]+ - -%@a0X- a0X
323[[:alpha:]]+ - -%@aX0- aX
324[[:blank:]]+ - aSSTb SST
325[[:cntrl:]]+ - aNTb NT
326[[:digit:]]+ - a019b 019
327[[:graph:]]+ - Sa%bS a%b
328[[:lower:]]+ - AabC ab
329[[:print:]]+ - NaSbN aSb
330[[:punct:]]+ - S%-&T %-&
331[[:space:]]+ - aSNTb SNT
332[[:upper:]]+ - aBCd BC
333[[:xdigit:]]+ - p0f3Cq 0f3C
334a[[=b=]]c & abc abc
335a[[= &C EBRACK
336a[[=b &C EBRACK
337a[[=b= &C EBRACK
338a[[=b=] &C EBRACK
339a[[=b,=]] &C ECOLLATE
340a[[=one=]]b & a1b a1b
341
342# complexities
343a(((b)))c - abc abc
344a(b|(c))d - abd abd
345a(b*|c)d - abbd abbd
346# just gotta have one DFA-buster, of course
347a[ab]{20} - aaaaabaaaabaaaabaaaab aaaaabaaaabaaaabaaaab
348# and an inline expansion in case somebody gets tricky
349a[ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab] - aaaaabaaaabaaaabaaaab aaaaabaaaabaaaabaaaab
350# and in case somebody just slips in an NFA...
351a[ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab][ab](wee|week)(knights|night) - aaaaabaaaabaaaabaaaabweeknights aaaaabaaaabaaaabaaaabweeknights
352# fish for anomalies as the number of states passes 32
35312345678901234567890123456789 - a12345678901234567890123456789b 12345678901234567890123456789
354123456789012345678901234567890 - a123456789012345678901234567890b 123456789012345678901234567890
3551234567890123456789012345678901 - a1234567890123456789012345678901b 1234567890123456789012345678901
35612345678901234567890123456789012 - a12345678901234567890123456789012b 12345678901234567890123456789012
357123456789012345678901234567890123 - a123456789012345678901234567890123b 123456789012345678901234567890123
358# and one really big one, beyond any plausible word width
3591234567890123456789012345678901234567890123456789012345678901234567890 - a1234567890123456789012345678901234567890123456789012345678901234567890b 1234567890123456789012345678901234567890123456789012345678901234567890
360# fish for problems as brackets go past 8
361[ab][cd][ef][gh][ij][kl][mn] - xacegikmoq acegikm
362[ab][cd][ef][gh][ij][kl][mn][op] - xacegikmoq acegikmo
363[ab][cd][ef][gh][ij][kl][mn][op][qr] - xacegikmoqy acegikmoq
364[ab][cd][ef][gh][ij][kl][mn][op][q] - xacegikmoqy acegikmoq
365
366# subtleties of matching
367abc & xabcy abc
368a\(b\)?c\1d b acd
369aBc i Abc Abc
370a[Bc]*d i abBCcd abBCcd
3710[[:upper:]]1 &i 0a1 0a1
3720[[:lower:]]1 &i 0A1 0A1
373a[^b]c &i abc
374a[^b]c &i aBc
375a[^b]c &i adc adc
376[a]b[c] - abc abc
377[a]b[a] - aba aba
378[abc]b[abc] - abc abc
379[abc]b[abd] - abd abd
380a(b?c)+d - accd accd
381(wee|week)(knights|night) - weeknights weeknights
382(we|wee|week|frob)(knights|night|day) - weeknights weeknights
383a[bc]d - xyzaaabcaababdacd abd
384a[ab]c - aaabc abc
385abc s abc abc
386a* & b @b
387
388# Let's have some fun -- try to match a C comment.
389# first the obvious, which looks okay at first glance...
390/\*.*\*/ - /*x*/ /*x*/
391# but...
392/\*.*\*/ - /*x*/y/*z*/ /*x*/y/*z*/
393# okay, we must not match */ inside; try to do that...
394/\*([^*]|\*[^/])*\*/ - /*x*/ /*x*/
395/\*([^*]|\*[^/])*\*/ - /*x*/y/*z*/ /*x*/
396# but...
397/\*([^*]|\*[^/])*\*/ - /*x**/y/*z*/ /*x**/y/*z*/
398# and a still fancier version, which does it right (I think)...
399/\*([^*]|\*+[^*/])*\*+/ - /*x*/ /*x*/
400/\*([^*]|\*+[^*/])*\*+/ - /*x*/y/*z*/ /*x*/
401/\*([^*]|\*+[^*/])*\*+/ - /*x**/y/*z*/ /*x**/
402/\*([^*]|\*+[^*/])*\*+/ - /*x****/y/*z*/ /*x****/
403/\*([^*]|\*+[^*/])*\*+/ - /*x**x*/y/*z*/ /*x**x*/
404/\*([^*]|\*+[^*/])*\*+/ - /*x***x/y/*z*/ /*x***x/y/*z*/
405
406# subexpressions
407a(b)(c)d - abcd abcd b,c
408a(((b)))c - abc abc b,b,b
409a(b|(c))d - abd abd b,-
410a(b*|c|e)d - abbd abbd bb
411a(b*|c|e)d - acd acd c
412a(b*|c|e)d - ad ad @d
413a(b?)c - abc abc b
414a(b?)c - ac ac @c
415a(b+)c - abc abc b
416a(b+)c - abbbc abbbc bbb
417a(b*)c - ac ac @c
418(a|ab)(bc([de]+)f|cde) - abcdef abcdef a,bcdef,de
419# the regression tester only asks for 9 subexpressions
420a(b)(c)(d)(e)(f)(g)(h)(i)(j)k - abcdefghijk abcdefghijk b,c,d,e,f,g,h,i,j
421a(b)(c)(d)(e)(f)(g)(h)(i)(j)(k)l - abcdefghijkl abcdefghijkl b,c,d,e,f,g,h,i,j,k
422a([bc]?)c - abc abc b
423a([bc]?)c - ac ac @c
424a([bc]+)c - abc abc b
425a([bc]+)c - abcc abcc bc
426a([bc]+)bc - abcbc abcbc bc
427a(bb+|b)b - abb abb b
428a(bbb+|bb+|b)b - abb abb b
429a(bbb+|bb+|b)b - abbb abbb bb
430a(bbb+|bb+|b)bb - abbb abbb b
431(.*).* - abcdef abcdef abcdef
432(a*)* - bc @b @b
433
434# do we get the right subexpression when it is used more than once?
435a(b|c)*d - ad ad -
436a(b|c)*d - abcd abcd c
437a(b|c)+d - abd abd b
438a(b|c)+d - abcd abcd c
439a(b|c?)+d - ad ad @d
440a(b|c?)+d - abcd abcd @d
441a(b|c){0,0}d - ad ad -
442a(b|c){0,1}d - ad ad -
443a(b|c){0,1}d - abd abd b
444a(b|c){0,2}d - ad ad -
445a(b|c){0,2}d - abcd abcd c
446a(b|c){0,}d - ad ad -
447a(b|c){0,}d - abcd abcd c
448a(b|c){1,1}d - abd abd b
449a(b|c){1,1}d - acd acd c
450a(b|c){1,2}d - abd abd b
451a(b|c){1,2}d - abcd abcd c
452a(b|c){1,}d - abd abd b
453a(b|c){1,}d - abcd abcd c
454a(b|c){2,2}d - acbd acbd b
455a(b|c){2,2}d - abcd abcd c
456a(b|c){2,4}d - abcd abcd c
457a(b|c){2,4}d - abcbd abcbd b
458a(b|c){2,4}d - abcbcd abcbcd c
459a(b|c){2,}d - abcd abcd c
460a(b|c){2,}d - abcbd abcbd b
461a(b+|((c)*))+d - abd abd @d,@d,-
462a(b+|((c)*))+d - abcd abcd @d,@d,-
463
464# check out the STARTEND option
465^[abc] &# a(b)c b
466^[abc] &# a(xb)c
467^[abc] &# aN(b)c b
468^[abc] &n# a(b)c b
469^[abc] &n# a(xb)c
470^[abc] &n# aN(b)c b
471^[abc] &^# a(b)c
472^[abc] &^# a(xb)c
473^[abc] &^# aN(b)c
474^[abc] &n^# a(b)c
475^[abc] &n^# a(xb)c
476^[abc] &n^# aN(b)c b
477[abc] &# a(d)c
478[abc] &# a(bc)d b
479[abc] &# a(dc)d c
480. &# a()c
481b.*c &# b(bc)c bc
482b.* &# b(bc)c bc
483.*c &# b(bc)c bc
484
485# plain strings, with the NOSPEC flag
486abc m abc abc
487abc m xabcy abc
488abc m xyz
489a*b m aba*b a*b
490a*b m ab
491"" mC EMPTY
492
493# cases involving NULs
494aZb & a a
495aZb &p a
496aZb &p# (aZb) aZb
497aZ*b &p# (ab) ab
498a.b &# (aZb) aZb
499a.* &# (aZb)c aZb
500
501# word boundaries (ick)
502[[:<:]]a & a a
503\<a & a a
504[[:<:]]a & ba
505\<a & ba
506[[:<:]]a & -a a
507\<a & -a a
508[[:<:]]a & Na a
509\<a & Na a
510[[:<:]]a &n a a
511\<a &n a a
512[[:<:]]a &n ba
513\<a &n ba
514[[:<:]]a &n -a a
515\<a &n -a a
516[[:<:]]a &n Na a
517\<a &n Na a
518[[:<:]]a &^ a
519\<a &^ a
520[[:<:]]a &^ ba
521\<a &^ ba
522[[:<:]]a &^ -a a
523\<a &^ -a a
524[[:<:]]a &^ Na a
525\<a &^ Na a
526[[:<:]]a &n^ a
527\<a &n^ a
528[[:<:]]a &n^ ba
529\<a &n^ ba
530[[:<:]]a &n^ -a a
531\<a &n^ -a a
532[[:<:]]a &n^ Na a
533\<a &n^ Na a
534[[:<:]]b &# a(b)c b
535\<b &# a(b)c b
536[[:<:]]b &# a(xb)c
537\<b &# a(xb)c
538[[:<:]]b &# -(b)c b
539\<b &# -(b)c b
540[[:<:]]b &# aN(b)c b
541\<b &# aN(b)c b
542[[:<:]]b &n# a(b)c b
543\<b &n# a(b)c b
544[[:<:]]b &n# a(xb)c
545\<b &n# a(xb)c
546[[:<:]]b &n# -(b)c b
547\<b &n# -(b)c b
548[[:<:]]b &n# aN(b)c b
549\<b &n# aN(b)c b
550[[:<:]]b &^# a(b)c
551\<b &^# a(b)c
552[[:<:]]b &^# a(xb)c
553\<b &^# a(xb)c
554[[:<:]]b &^# -(b)c b
555\<b &^# -(b)c b
556[[:<:]]b &^# aN(b)c b
557\<b &^# aN(b)c b
558[[:<:]]b &n^# a(b)c
559\<b &n^# a(b)c
560[[:<:]]b &n^# a(xb)c
561\<b &n^# a(xb)c
562[[:<:]]b &n^# -(b)c b
563\<b &n^# -(b)c b
564[[:<:]]b &n^# aN(b)c b
565\<b &n^# aN(b)c b
566a[[:>:]] & a a
567a\> & a a
568a[[:>:]] & ab
569a\> & ab
570a[[:>:]] & a- a
571a\> & a- a
572[[:<:]]a.c[[:>:]] & axcd-dayc-dazce-abc abc
573\<a.c\> & axcd-dayc-dazce-abc abc
574[[:<:]]a.c[[:>:]] & axcd-dayc-dazce-abc-q abc
575\<a.c\> & axcd-dayc-dazce-abc-q abc
576[[:<:]]a.c[[:>:]] & axc-dayc-dazce-abc axc
577\<a.c\> & axc-dayc-dazce-abc axc
578[[:<:]]b.c[[:>:]] & a_bxc-byc_d-bzc-q bzc
579\<b.c\> & a_bxc-byc_d-bzc-q bzc
580[[:<:]].x..[[:>:]] & y_xa_-_xb_y-_xc_-axdc _xc_
581\<.x..\> & y_xa_-_xb_y-_xc_-axdc _xc_
582[[:<:]]a_b[[:>:]] & x_a_b
583\<a_b\> & x_a_b
584
585# past problems, and suspected problems
586(A[1])|(A[2])|(A[3])|(A[4])|(A[5])|(A[6])|(A[7])|(A[8])|(A[9])|(A[A]) - A1 A1
587abcdefghijklmnop i abcdefghijklmnop abcdefghijklmnop
588abcdefghijklmnopqrstuv i abcdefghijklmnopqrstuv abcdefghijklmnopqrstuv
589(ALAK)|(ALT[AB])|(CC[123]1)|(CM[123]1)|(GAMC)|(LC[23][EO ])|(SEM[1234])|(SL[ES][12])|(SLWW)|(SLF )|(SLDT)|(VWH[12])|(WH[34][EW])|(WP1[ESN]) - CC11 CC11
590CC[13]1|a{21}[23][EO][123][Es][12]a{15}aa[34][EW]aaaaaaa[X]a - CC11 CC11
591Char \([a-z0-9_]*\)\[.* b Char xyz[k Char xyz[k xyz
592a?b - ab ab
593-\{0,1\}[0-9]*$ b -5 -5
594
generated by cgit v1.2.3-55-g6feb (git 2.39.1) at 2025-12-27 17:34:06 +0000