xref: /freebsd-src/contrib/netbsd-tests/lib/libc/regex/debug.c (revision 40187119b6ee4fcadf3b12dd95c37de3c12672df)
157718be8SEnji Cooper /*	$NetBSD: debug.c,v 1.2 2011/10/10 04:32:41 christos Exp $	*/
257718be8SEnji Cooper 
357718be8SEnji Cooper /*-
457718be8SEnji Cooper  * Copyright (c) 1993 The NetBSD Foundation, Inc.
557718be8SEnji Cooper  * All rights reserved.
657718be8SEnji Cooper  *
757718be8SEnji Cooper  * Redistribution and use in source and binary forms, with or without
857718be8SEnji Cooper  * modification, are permitted provided that the following conditions
957718be8SEnji Cooper  * are met:
1057718be8SEnji Cooper  * 1. Redistributions of source code must retain the above copyright
1157718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer.
1257718be8SEnji Cooper  * 2. Redistributions in binary form must reproduce the above copyright
1357718be8SEnji Cooper  *    notice, this list of conditions and the following disclaimer in the
1457718be8SEnji Cooper  *    documentation and/or other materials provided with the distribution.
1557718be8SEnji Cooper  *
1657718be8SEnji Cooper  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
1757718be8SEnji Cooper  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
1857718be8SEnji Cooper  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
1957718be8SEnji Cooper  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
2057718be8SEnji Cooper  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
2157718be8SEnji Cooper  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
2257718be8SEnji Cooper  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
2357718be8SEnji Cooper  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
2457718be8SEnji Cooper  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
2557718be8SEnji Cooper  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
2657718be8SEnji Cooper  * POSSIBILITY OF SUCH DAMAGE.
2757718be8SEnji Cooper  */
2857718be8SEnji Cooper 
2957718be8SEnji Cooper #include <ctype.h>
3057718be8SEnji Cooper #include <limits.h>
3157718be8SEnji Cooper #include <regex.h>
3257718be8SEnji Cooper #include <stdio.h>
3357718be8SEnji Cooper #include <stdlib.h>
3457718be8SEnji Cooper #include <string.h>
3557718be8SEnji Cooper 
3657718be8SEnji Cooper #include <sys/types.h>
37*40187119SEnji Cooper #if defined(__FreeBSD__)
38*40187119SEnji Cooper #include <wchar.h>
39*40187119SEnji Cooper #include <wctype.h>
40*40187119SEnji Cooper #endif
4157718be8SEnji Cooper 
4257718be8SEnji Cooper /* Don't sort these! */
4357718be8SEnji Cooper #include "utils.h"
4457718be8SEnji Cooper #include "regex2.h"
4557718be8SEnji Cooper 
4657718be8SEnji Cooper #include "test_regex.h"
4757718be8SEnji Cooper 
4857718be8SEnji Cooper static void s_print(struct re_guts *, FILE *);
4957718be8SEnji Cooper static char *regchar(int);
5057718be8SEnji Cooper 
5157718be8SEnji Cooper /*
5257718be8SEnji Cooper  * regprint - print a regexp for debugging
5357718be8SEnji Cooper  */
5457718be8SEnji Cooper void
5557718be8SEnji Cooper regprint(regex_t *r, FILE *d)
5657718be8SEnji Cooper {
57*40187119SEnji Cooper #if defined(__NetBSD__)
5857718be8SEnji Cooper 	struct re_guts *g = r->re_g;
5957718be8SEnji Cooper 	int c;
6057718be8SEnji Cooper 	int last;
6157718be8SEnji Cooper 	int nincat[NC];
6257718be8SEnji Cooper 
6357718be8SEnji Cooper 	fprintf(d, "%ld states, %zu categories", (long)g->nstates,
6457718be8SEnji Cooper 							g->ncategories);
6557718be8SEnji Cooper 	fprintf(d, ", first %ld last %ld", (long)g->firststate,
6657718be8SEnji Cooper 						(long)g->laststate);
6757718be8SEnji Cooper 	if (g->iflags&USEBOL)
6857718be8SEnji Cooper 		fprintf(d, ", USEBOL");
6957718be8SEnji Cooper 	if (g->iflags&USEEOL)
7057718be8SEnji Cooper 		fprintf(d, ", USEEOL");
7157718be8SEnji Cooper 	if (g->iflags&BAD)
7257718be8SEnji Cooper 		fprintf(d, ", BAD");
7357718be8SEnji Cooper 	if (g->nsub > 0)
7457718be8SEnji Cooper 		fprintf(d, ", nsub=%ld", (long)g->nsub);
7557718be8SEnji Cooper 	if (g->must != NULL)
7657718be8SEnji Cooper 		fprintf(d, ", must(%ld) `%*s'", (long)g->mlen, (int)g->mlen,
7757718be8SEnji Cooper 								g->must);
7857718be8SEnji Cooper 	if (g->backrefs)
7957718be8SEnji Cooper 		fprintf(d, ", backrefs");
8057718be8SEnji Cooper 	if (g->nplus > 0)
8157718be8SEnji Cooper 		fprintf(d, ", nplus %ld", (long)g->nplus);
8257718be8SEnji Cooper 	fprintf(d, "\n");
8357718be8SEnji Cooper 	s_print(g, d);
8457718be8SEnji Cooper 	for (size_t i = 0; i < g->ncategories; i++) {
8557718be8SEnji Cooper 		nincat[i] = 0;
8657718be8SEnji Cooper 		for (c = CHAR_MIN; c <= CHAR_MAX; c++)
8757718be8SEnji Cooper 			if (g->categories[c] == i)
8857718be8SEnji Cooper 				nincat[i]++;
8957718be8SEnji Cooper 	}
9057718be8SEnji Cooper 	fprintf(d, "cc0#%d", nincat[0]);
9157718be8SEnji Cooper 	for (size_t i = 1; i < g->ncategories; i++)
9257718be8SEnji Cooper 		if (nincat[i] == 1) {
9357718be8SEnji Cooper 			for (c = CHAR_MIN; c <= CHAR_MAX; c++)
9457718be8SEnji Cooper 				if (g->categories[c] == i)
9557718be8SEnji Cooper 					break;
9657718be8SEnji Cooper 			fprintf(d, ", %zu=%s", i, regchar(c));
9757718be8SEnji Cooper 		}
9857718be8SEnji Cooper 	fprintf(d, "\n");
9957718be8SEnji Cooper 	for (size_t i = 1; i < g->ncategories; i++)
10057718be8SEnji Cooper 		if (nincat[i] != 1) {
10157718be8SEnji Cooper 			fprintf(d, "cc%zu\t", i);
10257718be8SEnji Cooper 			last = -1;
10357718be8SEnji Cooper 			for (c = CHAR_MIN; c <= CHAR_MAX+1; c++)	/* +1 does flush */
10457718be8SEnji Cooper 				if (c <= CHAR_MAX && g->categories[c] == i) {
10557718be8SEnji Cooper 					if (last < 0) {
10657718be8SEnji Cooper 						fprintf(d, "%s", regchar(c));
10757718be8SEnji Cooper 						last = c;
10857718be8SEnji Cooper 					}
10957718be8SEnji Cooper 				} else {
11057718be8SEnji Cooper 					if (last >= 0) {
11157718be8SEnji Cooper 						if (last != c-1)
11257718be8SEnji Cooper 							fprintf(d, "-%s",
11357718be8SEnji Cooper 								regchar(c-1));
11457718be8SEnji Cooper 						last = -1;
11557718be8SEnji Cooper 					}
11657718be8SEnji Cooper 				}
11757718be8SEnji Cooper 			fprintf(d, "\n");
11857718be8SEnji Cooper 		}
119*40187119SEnji Cooper #endif
12057718be8SEnji Cooper }
12157718be8SEnji Cooper 
12257718be8SEnji Cooper /*
12357718be8SEnji Cooper  * s_print - print the strip for debugging
12457718be8SEnji Cooper  */
12557718be8SEnji Cooper static void
12657718be8SEnji Cooper s_print(struct re_guts *g, FILE *d)
12757718be8SEnji Cooper {
12857718be8SEnji Cooper 	sop *s;
12957718be8SEnji Cooper 	cset *cs;
13057718be8SEnji Cooper 	int done = 0;
13157718be8SEnji Cooper 	sop opnd;
13257718be8SEnji Cooper 	int col = 0;
13357718be8SEnji Cooper 	ssize_t last;
13457718be8SEnji Cooper 	sopno offset = 2;
13557718be8SEnji Cooper #	define	GAP()	{	if (offset % 5 == 0) { \
13657718be8SEnji Cooper 					if (col > 40) { \
13757718be8SEnji Cooper 						fprintf(d, "\n\t"); \
13857718be8SEnji Cooper 						col = 0; \
13957718be8SEnji Cooper 					} else { \
14057718be8SEnji Cooper 						fprintf(d, " "); \
14157718be8SEnji Cooper 						col++; \
14257718be8SEnji Cooper 					} \
14357718be8SEnji Cooper 				} else \
14457718be8SEnji Cooper 					col++; \
14557718be8SEnji Cooper 				offset++; \
14657718be8SEnji Cooper 			}
14757718be8SEnji Cooper 
14857718be8SEnji Cooper 	if (OP(g->strip[0]) != OEND)
14957718be8SEnji Cooper 		fprintf(d, "missing initial OEND!\n");
15057718be8SEnji Cooper 	for (s = &g->strip[1]; !done; s++) {
15157718be8SEnji Cooper 		opnd = OPND(*s);
15257718be8SEnji Cooper 		switch (OP(*s)) {
15357718be8SEnji Cooper 		case OEND:
15457718be8SEnji Cooper 			fprintf(d, "\n");
15557718be8SEnji Cooper 			done = 1;
15657718be8SEnji Cooper 			break;
15757718be8SEnji Cooper 		case OCHAR:
15857718be8SEnji Cooper 			if (strchr("\\|()^$.[+*?{}!<> ", (char)opnd) != NULL)
15957718be8SEnji Cooper 				fprintf(d, "\\%c", (char)opnd);
16057718be8SEnji Cooper 			else
16157718be8SEnji Cooper 				fprintf(d, "%s", regchar((char)opnd));
16257718be8SEnji Cooper 			break;
16357718be8SEnji Cooper 		case OBOL:
16457718be8SEnji Cooper 			fprintf(d, "^");
16557718be8SEnji Cooper 			break;
16657718be8SEnji Cooper 		case OEOL:
16757718be8SEnji Cooper 			fprintf(d, "$");
16857718be8SEnji Cooper 			break;
16957718be8SEnji Cooper 		case OBOW:
17057718be8SEnji Cooper 			fprintf(d, "\\{");
17157718be8SEnji Cooper 			break;
17257718be8SEnji Cooper 		case OEOW:
17357718be8SEnji Cooper 			fprintf(d, "\\}");
17457718be8SEnji Cooper 			break;
17557718be8SEnji Cooper 		case OANY:
17657718be8SEnji Cooper 			fprintf(d, ".");
17757718be8SEnji Cooper 			break;
17857718be8SEnji Cooper 		case OANYOF:
17957718be8SEnji Cooper 			fprintf(d, "[(%ld)", (long)opnd);
180*40187119SEnji Cooper #if defined(__NetBSD__)
18157718be8SEnji Cooper 			cs = &g->sets[opnd];
18257718be8SEnji Cooper 			last = -1;
18357718be8SEnji Cooper 			for (size_t i = 0; i < g->csetsize+1; i++)	/* +1 flushes */
18457718be8SEnji Cooper 				if (CHIN(cs, i) && i < g->csetsize) {
18557718be8SEnji Cooper 					if (last < 0) {
18657718be8SEnji Cooper 						fprintf(d, "%s", regchar(i));
18757718be8SEnji Cooper 						last = i;
18857718be8SEnji Cooper 					}
18957718be8SEnji Cooper 				} else {
19057718be8SEnji Cooper 					if (last >= 0) {
19157718be8SEnji Cooper 						if (last != (ssize_t)i - 1)
19257718be8SEnji Cooper 							fprintf(d, "-%s",
19357718be8SEnji Cooper 							    regchar(i - 1));
19457718be8SEnji Cooper 						last = -1;
19557718be8SEnji Cooper 					}
19657718be8SEnji Cooper 				}
197*40187119SEnji Cooper #endif
19857718be8SEnji Cooper 			fprintf(d, "]");
19957718be8SEnji Cooper 			break;
20057718be8SEnji Cooper 		case OBACK_:
20157718be8SEnji Cooper 			fprintf(d, "(\\<%ld>", (long)opnd);
20257718be8SEnji Cooper 			break;
20357718be8SEnji Cooper 		case O_BACK:
20457718be8SEnji Cooper 			fprintf(d, "<%ld>\\)", (long)opnd);
20557718be8SEnji Cooper 			break;
20657718be8SEnji Cooper 		case OPLUS_:
20757718be8SEnji Cooper 			fprintf(d, "(+");
20857718be8SEnji Cooper 			if (OP(*(s+opnd)) != O_PLUS)
20957718be8SEnji Cooper 				fprintf(d, "<%ld>", (long)opnd);
21057718be8SEnji Cooper 			break;
21157718be8SEnji Cooper 		case O_PLUS:
21257718be8SEnji Cooper 			if (OP(*(s-opnd)) != OPLUS_)
21357718be8SEnji Cooper 				fprintf(d, "<%ld>", (long)opnd);
21457718be8SEnji Cooper 			fprintf(d, "+)");
21557718be8SEnji Cooper 			break;
21657718be8SEnji Cooper 		case OQUEST_:
21757718be8SEnji Cooper 			fprintf(d, "(?");
21857718be8SEnji Cooper 			if (OP(*(s+opnd)) != O_QUEST)
21957718be8SEnji Cooper 				fprintf(d, "<%ld>", (long)opnd);
22057718be8SEnji Cooper 			break;
22157718be8SEnji Cooper 		case O_QUEST:
22257718be8SEnji Cooper 			if (OP(*(s-opnd)) != OQUEST_)
22357718be8SEnji Cooper 				fprintf(d, "<%ld>", (long)opnd);
22457718be8SEnji Cooper 			fprintf(d, "?)");
22557718be8SEnji Cooper 			break;
22657718be8SEnji Cooper 		case OLPAREN:
22757718be8SEnji Cooper 			fprintf(d, "((<%ld>", (long)opnd);
22857718be8SEnji Cooper 			break;
22957718be8SEnji Cooper 		case ORPAREN:
23057718be8SEnji Cooper 			fprintf(d, "<%ld>))", (long)opnd);
23157718be8SEnji Cooper 			break;
23257718be8SEnji Cooper 		case OCH_:
23357718be8SEnji Cooper 			fprintf(d, "<");
23457718be8SEnji Cooper 			if (OP(*(s+opnd)) != OOR2)
23557718be8SEnji Cooper 				fprintf(d, "<%ld>", (long)opnd);
23657718be8SEnji Cooper 			break;
23757718be8SEnji Cooper 		case OOR1:
23857718be8SEnji Cooper 			if (OP(*(s-opnd)) != OOR1 && OP(*(s-opnd)) != OCH_)
23957718be8SEnji Cooper 				fprintf(d, "<%ld>", (long)opnd);
24057718be8SEnji Cooper 			fprintf(d, "|");
24157718be8SEnji Cooper 			break;
24257718be8SEnji Cooper 		case OOR2:
24357718be8SEnji Cooper 			fprintf(d, "|");
24457718be8SEnji Cooper 			if (OP(*(s+opnd)) != OOR2 && OP(*(s+opnd)) != O_CH)
24557718be8SEnji Cooper 				fprintf(d, "<%ld>", (long)opnd);
24657718be8SEnji Cooper 			break;
24757718be8SEnji Cooper 		case O_CH:
24857718be8SEnji Cooper 			if (OP(*(s-opnd)) != OOR1)
24957718be8SEnji Cooper 				fprintf(d, "<%ld>", (long)opnd);
25057718be8SEnji Cooper 			fprintf(d, ">");
25157718be8SEnji Cooper 			break;
25257718be8SEnji Cooper 		default:
253*40187119SEnji Cooper #if defined(__FreeBSD__)
254*40187119SEnji Cooper 			fprintf(d, "!%ld(%ld)!", OP(*s), opnd);
255*40187119SEnji Cooper #else
25657718be8SEnji Cooper 			fprintf(d, "!%d(%d)!", OP(*s), opnd);
257*40187119SEnji Cooper #endif
25857718be8SEnji Cooper 			break;
25957718be8SEnji Cooper 		}
26057718be8SEnji Cooper 		if (!done)
26157718be8SEnji Cooper 			GAP();
26257718be8SEnji Cooper 	}
26357718be8SEnji Cooper }
26457718be8SEnji Cooper 
26557718be8SEnji Cooper /*
26657718be8SEnji Cooper  * regchar - make a character printable
26757718be8SEnji Cooper  */
26857718be8SEnji Cooper static char *			/* -> representation */
26957718be8SEnji Cooper regchar(int ch)
27057718be8SEnji Cooper {
27157718be8SEnji Cooper 	static char buf[10];
27257718be8SEnji Cooper 
27357718be8SEnji Cooper 	if (isprint(ch) || ch == ' ')
27457718be8SEnji Cooper 		sprintf(buf, "%c", ch);
27557718be8SEnji Cooper 	else
27657718be8SEnji Cooper 		sprintf(buf, "\\%o", ch);
27757718be8SEnji Cooper 	return(buf);
27857718be8SEnji Cooper }
279