Home | History | Annotate | Line # | Download | only in sed
compile.c revision 1.48
      1 /*	$NetBSD: compile.c,v 1.48 2019/10/05 20:23:55 christos Exp $	*/
      2 
      3 /*-
      4  * Copyright (c) 1992 Diomidis Spinellis.
      5  * Copyright (c) 1992, 1993
      6  *	The Regents of the University of California.  All rights reserved.
      7  *
      8  * This code is derived from software contributed to Berkeley by
      9  * Diomidis Spinellis of Imperial College, University of London.
     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. Neither the name of the University nor the names of its contributors
     20  *    may be used to endorse or promote products derived from this software
     21  *    without specific prior written permission.
     22  *
     23  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     24  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     25  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     26  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     27  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     28  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     29  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     30  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     31  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     32  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     33  * SUCH DAMAGE.
     34  */
     35 
     36 #if HAVE_NBTOOL_CONFIG_H
     37 #include "nbtool_config.h"
     38 #endif
     39 
     40 #include <sys/cdefs.h>
     41 __RCSID("$NetBSD: compile.c,v 1.48 2019/10/05 20:23:55 christos Exp $");
     42 #ifdef __FBSDID
     43 __FBSDID("$FreeBSD: head/usr.bin/sed/compile.c 259132 2013-12-09 18:57:20Z eadler $");
     44 #endif
     45 
     46 #if 0
     47 static const char sccsid[] = "@(#)compile.c	8.1 (Berkeley) 6/6/93";
     48 #endif
     49 
     50 #include <sys/types.h>
     51 #include <sys/stat.h>
     52 
     53 #include <ctype.h>
     54 #include <err.h>
     55 #include <errno.h>
     56 #include <fcntl.h>
     57 #include <limits.h>
     58 #include <regex.h>
     59 #include <stdio.h>
     60 #include <stdlib.h>
     61 #include <string.h>
     62 #include <wchar.h>
     63 
     64 #include "defs.h"
     65 #include "extern.h"
     66 
     67 #define LHSZ	128
     68 #define	LHMASK	(LHSZ - 1)
     69 static struct labhash {
     70 	struct	labhash *lh_next;
     71 	u_int	lh_hash;
     72 	struct	s_command *lh_cmd;
     73 	int	lh_ref;
     74 } *labels[LHSZ];
     75 
     76 static char	 *compile_addr(char *, struct s_addr *);
     77 static char	 *compile_ccl(char **, char *);
     78 static char	 *compile_delimited(char *, char *, int);
     79 static char	 *compile_flags(char *, struct s_subst *);
     80 static regex_t	 *compile_re(char *, int);
     81 static char	 *compile_subst(char *, struct s_subst *);
     82 static char	 *compile_text(void);
     83 static char	 *compile_tr(char *, struct s_tr **);
     84 static struct s_command
     85 		**compile_stream(struct s_command **);
     86 static char	 *duptoeol(char *, const char *);
     87 static void	  enterlabel(struct s_command *);
     88 static struct s_command
     89 		 *findlabel(char *);
     90 static void	  fixuplabel(struct s_command *, struct s_command *);
     91 static void	  uselabel(void);
     92 static void	  parse_escapes(char *);
     93 
     94 /*
     95  * Command specification.  This is used to drive the command parser.
     96  */
     97 struct s_format {
     98 	char code;				/* Command code */
     99 	int naddr;				/* Number of address args */
    100 	enum e_args args;			/* Argument type */
    101 };
    102 
    103 static struct s_format cmd_fmts[] = {
    104 	{'{', 2, GROUP},
    105 	{'}', 0, ENDGROUP},
    106 	{'a', 1, TEXT},
    107 	{'b', 2, BRANCH},
    108 	{'c', 2, TEXT},
    109 	{'d', 2, EMPTY},
    110 	{'D', 2, EMPTY},
    111 	{'g', 2, EMPTY},
    112 	{'G', 2, EMPTY},
    113 	{'h', 2, EMPTY},
    114 	{'H', 2, EMPTY},
    115 	{'i', 1, TEXT},
    116 	{'l', 2, EMPTY},
    117 	{'n', 2, EMPTY},
    118 	{'N', 2, EMPTY},
    119 	{'p', 2, EMPTY},
    120 	{'P', 2, EMPTY},
    121 	{'q', 1, EMPTY},
    122 	{'r', 1, RFILE},
    123 	{'s', 2, SUBST},
    124 	{'t', 2, BRANCH},
    125 	{'w', 2, WFILE},
    126 	{'x', 2, EMPTY},
    127 	{'y', 2, TR},
    128 	{'!', 2, NONSEL},
    129 	{':', 0, LABEL},
    130 	{'#', 0, COMMENT},
    131 	{'=', 1, EMPTY},
    132 	{'\0', 0, COMMENT},
    133 };
    134 
    135 /* The compiled program. */
    136 struct s_command *prog;
    137 
    138 /*
    139  * Compile the program into prog.
    140  * Initialise appends.
    141  */
    142 void
    143 compile(void)
    144 {
    145 	*compile_stream(&prog) = NULL;
    146 	fixuplabel(prog, NULL);
    147 	uselabel();
    148 	if (appendnum > 0)
    149 		appends = xmalloc(sizeof(struct s_appends) * appendnum);
    150 	match = xmalloc((maxnsub + 1) * sizeof(regmatch_t));
    151 }
    152 
    153 #define EATSPACE() do {							\
    154 	if (p)								\
    155 		while (*p && isspace((unsigned char)*p))                \
    156 			p++;						\
    157 	} while (0)
    158 
    159 static struct s_command **
    160 compile_stream(struct s_command **link)
    161 {
    162 	char *p;
    163 	static char lbuf[_POSIX2_LINE_MAX + 1];	/* To save stack */
    164 	struct s_command *cmd, *cmd2, *stack;
    165 	struct s_format *fp;
    166 	char re[_POSIX2_LINE_MAX + 1];
    167 	int naddr;				/* Number of addresses */
    168 
    169 	stack = 0;
    170 	for (;;) {
    171 		if ((p = cu_fgets(lbuf, sizeof(lbuf), NULL)) == NULL) {
    172 			if (stack != 0)
    173 				errx(1, "%lu: %s: unexpected EOF (pending }'s)",
    174 							linenum, fname);
    175 			return (link);
    176 		}
    177 
    178 semicolon:	EATSPACE();
    179 		if (p) {
    180 			if (*p == '#' || *p == '\0')
    181 				continue;
    182 			else if (*p == ';') {
    183 				p++;
    184 				goto semicolon;
    185 			}
    186 		}
    187 		*link = cmd = xmalloc(sizeof(struct s_command));
    188 		link = &cmd->next;
    189 		cmd->startline = cmd->nonsel = 0;
    190 		/* First parse the addresses */
    191 		naddr = 0;
    192 
    193 /* Valid characters to start an address */
    194 #define	addrchar(c)	(strchr("0123456789/\\$", (c)))
    195 		if (addrchar(*p)) {
    196 			naddr++;
    197 			cmd->a1 = xmalloc(sizeof(struct s_addr));
    198 			p = compile_addr(p, cmd->a1);
    199 			EATSPACE();				/* EXTENSION */
    200 			if (*p == ',') {
    201 				p++;
    202 				EATSPACE();			/* EXTENSION */
    203 				naddr++;
    204 				cmd->a2 = xmalloc(sizeof(struct s_addr));
    205 				p = compile_addr(p, cmd->a2);
    206 				EATSPACE();
    207 			} else
    208 				cmd->a2 = 0;
    209 		} else
    210 			cmd->a1 = cmd->a2 = 0;
    211 
    212 nonsel:		/* Now parse the command */
    213 		if (!*p)
    214 			errx(1, "%lu: %s: command expected", linenum, fname);
    215 		cmd->code = *p;
    216 		for (fp = cmd_fmts; fp->code; fp++)
    217 			if (fp->code == *p)
    218 				break;
    219 		if (!fp->code)
    220 			errx(1, "%lu: %s: invalid command code %c", linenum, fname, *p);
    221 		if (naddr > fp->naddr)
    222 			errx(1,
    223 				"%lu: %s: command %c expects up to %d address(es), found %d",
    224 				linenum, fname, *p, fp->naddr, naddr);
    225 		switch (fp->args) {
    226 		case NONSEL:			/* ! */
    227 			p++;
    228 			EATSPACE();
    229 			cmd->nonsel = ! cmd->nonsel;
    230 			goto nonsel;
    231 		case GROUP:			/* { */
    232 			p++;
    233 			EATSPACE();
    234 			cmd->next = stack;
    235 			stack = cmd;
    236 			link = &cmd->u.c;
    237 			if (*p)
    238 				goto semicolon;
    239 			break;
    240 		case ENDGROUP:
    241 			/*
    242 			 * Short-circuit command processing, since end of
    243 			 * group is really just a noop.
    244 			 */
    245 			cmd->nonsel = 1;
    246 			if (stack == 0)
    247 				errx(1, "%lu: %s: unexpected }", linenum, fname);
    248 			cmd2 = stack;
    249 			stack = cmd2->next;
    250 			cmd2->next = cmd;
    251 			/*FALLTHROUGH*/
    252 		case EMPTY:		/* d D g G h H l n N p P q x = \0 */
    253 			p++;
    254 			EATSPACE();
    255 			switch (*p) {
    256 			case ';':
    257 				p++;
    258 				link = &cmd->next;
    259 				goto semicolon;
    260 			case '}':
    261 				goto semicolon;
    262 			case '\0':
    263 				break;
    264 			default:
    265 				errx(1, "%lu: %s: extra characters at the end of %c command",
    266 						linenum, fname, cmd->code);
    267 			}
    268 			break;
    269 		case TEXT:			/* a c i */
    270 			p++;
    271 			EATSPACE();
    272 			if (*p != '\\')
    273 				errx(1,
    274 "%lu: %s: command %c expects \\ followed by text", linenum, fname, cmd->code);
    275 			p++;
    276 			EATSPACE();
    277 			if (*p)
    278 				errx(1,
    279 				"%lu: %s: extra characters after \\ at the end of %c command",
    280 				linenum, fname, cmd->code);
    281 			cmd->t = compile_text();
    282 			break;
    283 		case COMMENT:			/* \0 # */
    284 			break;
    285 		case WFILE:			/* w */
    286 			p++;
    287 			EATSPACE();
    288 			if (*p == '\0')
    289 				errx(1, "%lu: %s: filename expected", linenum, fname);
    290 			cmd->t = duptoeol(p, "w command");
    291 			if (aflag)
    292 				cmd->u.fd = -1;
    293 			else if ((cmd->u.fd = open(p,
    294 			    O_WRONLY|O_APPEND|O_CREAT|O_TRUNC,
    295 			    DEFFILEMODE)) == -1)
    296 				err(1, "%s", p);
    297 			break;
    298 		case RFILE:			/* r */
    299 			p++;
    300 			EATSPACE();
    301 			if (*p == '\0')
    302 				errx(1, "%lu: %s: filename expected", linenum, fname);
    303 			else
    304 				cmd->t = duptoeol(p, "read command");
    305 			break;
    306 		case BRANCH:			/* b t */
    307 			p++;
    308 			EATSPACE();
    309 			if (*p == '\0')
    310 				cmd->t = NULL;
    311 			else
    312 				cmd->t = duptoeol(p, "branch");
    313 			break;
    314 		case LABEL:			/* : */
    315 			p++;
    316 			EATSPACE();
    317 			cmd->t = duptoeol(p, "label");
    318 			if (strlen(p) == 0)
    319 				errx(1, "%lu: %s: empty label", linenum, fname);
    320 			enterlabel(cmd);
    321 			break;
    322 		case SUBST:			/* s */
    323 			p++;
    324 			if (*p == '\0' || *p == '\\')
    325 				errx(1,
    326 "%lu: %s: substitute pattern can not be delimited by newline or backslash",
    327 					linenum, fname);
    328 			cmd->u.s = xcalloc(1, sizeof(struct s_subst));
    329 			p = compile_delimited(p, re, 0);
    330 			if (p == NULL)
    331 				errx(1,
    332 				"%lu: %s: unterminated substitute pattern", linenum, fname);
    333 
    334 			/* Compile RE with no case sensitivity temporarily */
    335 			if (*re == '\0')
    336 				cmd->u.s->re = NULL;
    337 			else
    338 				cmd->u.s->re = compile_re(re, 0);
    339 			--p;
    340 			p = compile_subst(p, cmd->u.s);
    341 			p = compile_flags(p, cmd->u.s);
    342 
    343 			/* Recompile RE with case sensitivity from "I" flag if any */
    344 			if (*re == '\0')
    345 				cmd->u.s->re = NULL;
    346 			else
    347 				cmd->u.s->re = compile_re(re, cmd->u.s->icase);
    348 			EATSPACE();
    349 			if (*p == ';') {
    350 				p++;
    351 				link = &cmd->next;
    352 				goto semicolon;
    353 			}
    354 			break;
    355 		case TR:			/* y */
    356 			p++;
    357 			p = compile_tr(p, &cmd->u.y);
    358 			EATSPACE();
    359 			switch (*p) {
    360 			case ';':
    361 				p++;
    362 				link = &cmd->next;
    363 				goto semicolon;
    364 			case '}':
    365 				goto semicolon;
    366 			case '\0':
    367 				break;
    368 			default:
    369 				errx(1,
    370 "%lu: %s: extra text at the end of a transform command", linenum, fname);
    371 			}
    372 			if (*p)
    373 			break;
    374 		}
    375 	}
    376 }
    377 
    378 /*
    379  * Get a delimited string.  P points to the delimeter of the string; d points
    380  * to a buffer area.  Newline and delimiter escapes are processed; other
    381  * escapes are ignored.
    382  *
    383  * Returns a pointer to the first character after the final delimiter or NULL
    384  * in the case of a non-terminated string.  The character array d is filled
    385  * with the processed string.
    386  */
    387 static char *
    388 compile_delimited(char *p, char *d, int is_tr)
    389 {
    390 	char c;
    391 
    392 	c = *p++;
    393 	if (c == '\0')
    394 		return (NULL);
    395 	else if (c == '\\')
    396 		errx(1, "%lu: %s: \\ can not be used as a string delimiter",
    397 				linenum, fname);
    398 	else if (c == '\n')
    399 		errx(1, "%lu: %s: newline can not be used as a string delimiter",
    400 				linenum, fname);
    401 	while (*p) {
    402 		if (*p == '[' && *p != c) {
    403 			if ((d = compile_ccl(&p, d)) == NULL)
    404 				errx(1, "%lu: %s: unbalanced brackets ([])", linenum, fname);
    405 			continue;
    406 		} else if (*p == '\\' && p[1] == '[') {
    407 			*d++ = *p++;
    408 		} else if (*p == '\\' && p[1] == c)
    409 			p++;
    410 		else if (*p == '\\' && p[1] == 'n') {
    411 			*d++ = '\n';
    412 			p += 2;
    413 			continue;
    414 		} else if (*p == '\\' && p[1] == '\\') {
    415 			if (is_tr)
    416 				p++;
    417 			else
    418 				*d++ = *p++;
    419 		} else if (*p == c) {
    420 			*d = '\0';
    421 			return (p + 1);
    422 		}
    423 		*d++ = *p++;
    424 	}
    425 	return (NULL);
    426 }
    427 
    428 
    429 /* compile_ccl: expand a POSIX character class */
    430 static char *
    431 compile_ccl(char **sp, char *t)
    432 {
    433 	int c, d;
    434 	char *s = *sp;
    435 
    436 	*t++ = *s++;
    437 	if (*s == '^')
    438 		*t++ = *s++;
    439 	if (*s == ']')
    440 		*t++ = *s++;
    441 	for (; *s && (*t = *s) != ']'; s++, t++)
    442 		if (*s == '[' && ((d = *(s+1)) == '.' || d == ':' || d == '=')) {
    443 			*++t = *++s, t++, s++;
    444 			for (c = *s; (*t = *s) != ']' || c != d; s++, t++)
    445 				if ((c = *s) == '\0')
    446 					return NULL;
    447 		}
    448 	return (*s == ']') ? *sp = ++s, ++t : NULL;
    449 }
    450 
    451 /*
    452  * Compiles the regular expression in RE and returns a pointer to the compiled
    453  * regular expression.
    454  * Cflags are passed to regcomp.
    455  */
    456 static regex_t *
    457 compile_re(char *re, int case_insensitive)
    458 {
    459 	regex_t *rep;
    460 	int eval, flags;
    461 
    462 
    463 	flags = rflags;
    464 	if (case_insensitive)
    465 		flags |= REG_ICASE;
    466 	rep = xmalloc(sizeof(regex_t));
    467 	parse_escapes(re);
    468 	if ((eval = regcomp(rep, re, flags)) != 0)
    469 		errx(1, "%lu: %s: RE error: %s",
    470 				linenum, fname, strregerror(eval, rep));
    471 	if (maxnsub < rep->re_nsub)
    472 		maxnsub = rep->re_nsub;
    473 	return (rep);
    474 }
    475 
    476 static char
    477 cton(char c, int base)
    478 {
    479 	switch (c) {
    480 	case '0': case '1': case '2': case '3': case '4':
    481 	case '5': case '6': case '7':
    482 		return (char)(c - '0');
    483 	case '8': case '9':
    484 		return base == 8 ? '?' : (char)(c - '0');
    485 	case 'a': case 'b': case 'c': case 'd': case 'e': case 'f':
    486 		return base == 16 ? (char)(c - 'a' + 10) : '?';
    487 	case 'A': case 'B': case 'C': case 'D': case 'E': case 'F':
    488 		return base == 16 ? (char)(c - 'A' + 10) : '?';
    489 	default:
    490 		return '?';
    491 	}
    492 }
    493 
    494 static int
    495 ston(char **pp, char *sp, int base)
    496 {
    497 	char *p = *pp, n;
    498 	int r = cton(p[1], base);
    499 
    500 	if (r == '?')
    501 		return 0;
    502 
    503 	p++;
    504 	while ((n = cton(p[1], base)) != '?' && r < 255) {
    505 		r = r * base + n;
    506 		p++;
    507 	}
    508 	*sp = (char)r;
    509 	*pp = p;
    510 	return 1;
    511 }
    512 
    513 static int
    514 unescape(char **pp, char **spp)
    515 {
    516 	char *p = *pp;
    517 	char *sp = *spp;
    518 
    519 	switch (*p) {
    520 	case 'o':
    521 		if (!ston(&p, sp, 8))
    522 			return 0;
    523 		break;
    524 	case 'd':
    525 		if (!ston(&p, sp, 10))
    526 			return 0;
    527 		break;
    528 	case 'x':
    529 		if (!ston(&p, sp, 16))
    530 			return 0;
    531 		break;
    532 	case 'a':
    533 		*sp = '\a';
    534 		p++;
    535 		break;
    536 #if 0
    537 	// No, \b RE
    538 	case 'b':
    539 		*sp = '\b';
    540 		break;
    541 #endif
    542 	case 'f':
    543 		*sp = '\f';
    544 		break;
    545 	case 'n':
    546 		*sp = '\n';
    547 		break;
    548 	case 'r':
    549 		*sp = '\r';
    550 		break;
    551 	case 'v':
    552 		*sp = '\v';
    553 		break;
    554 	default:
    555 		return 0;
    556 	}
    557 	*spp = sp + 1;
    558 	*pp = p;
    559 	return 1;
    560 }
    561 
    562 static void
    563 parse_escapes(char *buf)
    564 {
    565 	char bracket = '\0';
    566 	char *p, *q;
    567 
    568 	p = q = buf;
    569 
    570 	for (p = q = buf; *p; p++) {
    571 		if (*p == '\\' && p[1] && !bracket) {
    572 			p++;
    573 			if (unescape(&p, &q))
    574 				continue;
    575 			*q++ = '\\';
    576 		}
    577 		switch (*p) {
    578 		case '[':
    579 			if (!bracket)
    580 				bracket = *p;
    581 			break;
    582 		case '.':
    583 		case ':':
    584 		case '=':
    585 			if (bracket == '[' && p[-1] == '[')
    586 				bracket = *p;
    587 			break;
    588 		case ']':
    589 			if (!bracket)
    590 			    break;
    591 			if (bracket == '[')
    592 				bracket = '\0';
    593 			else if (p[-2] != bracket && p[-1] == bracket)
    594 				bracket = '[';
    595 			break;
    596 		default:
    597 			break;
    598 		}
    599 		*q++ = *p;
    600 	}
    601 	*q = '\0';
    602 }
    603 
    604 /*
    605  * Compile the substitution string of a regular expression and set res to
    606  * point to a saved copy of it.  Nsub is the number of parenthesized regular
    607  * expressions.
    608  */
    609 static char *
    610 compile_subst(char *p, struct s_subst *s)
    611 {
    612 	static char lbuf[_POSIX2_LINE_MAX + 1];
    613 	size_t asize, size;
    614 	u_char ref;
    615 	char c, *text, *op, *sp;
    616 	int more = 1, sawesc = 0;
    617 
    618 	c = *p++;			/* Terminator character */
    619 	if (c == '\0')
    620 		return (NULL);
    621 
    622 	s->maxbref = 0;
    623 	s->linenum = linenum;
    624 	asize = 2 * _POSIX2_LINE_MAX + 1;
    625 	text = xmalloc(asize);
    626 	size = 0;
    627 	do {
    628 		op = sp = text + size;
    629 		for (; *p; p++) {
    630 			if (*p == '\\' || sawesc) {
    631 				/*
    632 				 * If this is a continuation from the last
    633 				 * buffer, we won't have a character to
    634 				 * skip over.
    635 				 */
    636 				if (sawesc)
    637 					sawesc = 0;
    638 				else
    639 					p++;
    640 
    641 				switch (*p) {
    642 				case '\0':
    643 					/*
    644 					 * This escaped character is continued
    645 					 * in the next part of the line.  Note
    646 					 * this fact, then cause the loop to
    647 					 * exit w/ normal EOL case and reenter
    648 					 * above with the new buffer.
    649 					 */
    650 					sawesc = 1;
    651 					p--;
    652 					continue;
    653 				case '0': case '1': case '2': case '3':
    654 				case '4': case '5': case '6': case '7':
    655 				case '8': case '9':
    656 					*sp++ = '\\';
    657 					ref = (u_char)(*p - '0');
    658 					if (s->re != NULL &&
    659 					    ref > s->re->re_nsub)
    660 						errx(1, "%lu: %s: \\%c not defined in the RE",
    661 								linenum, fname, *p);
    662 					if (s->maxbref < ref)
    663 						s->maxbref = ref;
    664 					break;
    665 				case '&':
    666 				case '\\':
    667 					*sp++ = '\\';
    668 					break;
    669 				default:
    670 					if (unescape(&p, &sp))
    671 						continue;
    672 					break;
    673 				}
    674 			} else if (*p == c) {
    675 				if (*++p == '\0' && more) {
    676 					if (cu_fgets(lbuf, sizeof(lbuf), &more))
    677 						p = lbuf;
    678 				}
    679 				*sp++ = '\0';
    680 				size += (size_t)(sp - op);
    681 				s->new = xrealloc(text, size);
    682 				return (p);
    683 			} else if (*p == '\n') {
    684 				errx(1,
    685 "%lu: %s: unescaped newline inside substitute pattern", linenum, fname);
    686 				/* NOTREACHED */
    687 			}
    688 			*sp++ = *p;
    689 		}
    690 		size += (size_t)(sp - op);
    691 		if (asize - size < _POSIX2_LINE_MAX + 1) {
    692 			asize *= 2;
    693 			text = xrealloc(text, asize);
    694 		}
    695 	} while (cu_fgets(p = lbuf, sizeof(lbuf), &more));
    696 	errx(1, "%lu: %s: unterminated substitute in regular expression",
    697 			linenum, fname);
    698 	/* NOTREACHED */
    699 }
    700 
    701 /*
    702  * Compile the flags of the s command
    703  */
    704 static char *
    705 compile_flags(char *p, struct s_subst *s)
    706 {
    707 	int gn;			/* True if we have seen g or n */
    708 	unsigned long nval;
    709 	char wfile[_POSIX2_LINE_MAX + 1], *q;
    710 
    711 	s->n = 1;				/* Default */
    712 	s->p = 0;
    713 	s->wfile = NULL;
    714 	s->wfd = -1;
    715 	s->icase = 0;
    716 	for (gn = 0;;) {
    717 		EATSPACE();			/* EXTENSION */
    718 		switch (*p) {
    719 		case 'g':
    720 			if (gn)
    721 				errx(1,
    722 "%lu: %s: more than one number or 'g' in substitute flags", linenum, fname);
    723 			gn = 1;
    724 			s->n = 0;
    725 			break;
    726 		case '\0':
    727 		case '\n':
    728 		case ';':
    729 			return (p);
    730 		case 'p':
    731 			s->p = 1;
    732 			break;
    733 		case 'i':
    734 		case 'I':
    735 			s->icase = 1;
    736 			break;
    737 		case '1': case '2': case '3':
    738 		case '4': case '5': case '6':
    739 		case '7': case '8': case '9':
    740 			if (gn)
    741 				errx(1,
    742 "%lu: %s: more than one number or 'g' in substitute flags", linenum, fname);
    743 			gn = 1;
    744 			errno = 0;
    745 			nval = strtoul(p, &p, 10);
    746 			if (errno == ERANGE || nval > INT_MAX)
    747 				errx(1,
    748 "%lu: %s: overflow in the 'N' substitute flag", linenum, fname);
    749 			s->n = (int)nval;
    750 			p--;
    751 			break;
    752 		case 'w':
    753 			p++;
    754 #ifdef HISTORIC_PRACTICE
    755 			if (*p != ' ') {
    756 				warnx("%lu: %s: space missing before w wfile", linenum, fname);
    757 				return (p);
    758 			}
    759 #endif
    760 			EATSPACE();
    761 			q = wfile;
    762 			while (*p) {
    763 				if (*p == '\n')
    764 					break;
    765 				*q++ = *p++;
    766 			}
    767 			*q = '\0';
    768 			if (q == wfile)
    769 				errx(1, "%lu: %s: no wfile specified", linenum, fname);
    770 			s->wfile = strdup(wfile);
    771 			if (!aflag && (s->wfd = open(wfile,
    772 			    O_WRONLY|O_APPEND|O_CREAT|O_TRUNC,
    773 			    DEFFILEMODE)) == -1)
    774 				err(1, "%s", wfile);
    775 			return (p);
    776 		default:
    777 			errx(1, "%lu: %s: bad flag in substitute command: '%c'",
    778 					linenum, fname, *p);
    779 			break;
    780 		}
    781 		p++;
    782 	}
    783 }
    784 
    785 /*
    786  * Compile a translation set of strings into a lookup table.
    787  */
    788 static char *
    789 compile_tr(char *p, struct s_tr **py)
    790 {
    791 	struct s_tr *y;
    792 	size_t i;
    793 	const char *op, *np;
    794 	char old[_POSIX2_LINE_MAX + 1];
    795 	char new[_POSIX2_LINE_MAX + 1];
    796 	size_t oclen, oldlen, nclen, newlen;
    797 	mbstate_t mbs1, mbs2;
    798 
    799 	*py = y = xmalloc(sizeof(*y));
    800 	y->multis = NULL;
    801 	y->nmultis = 0;
    802 
    803 	if (*p == '\0' || *p == '\\')
    804 		errx(1,
    805 	"%lu: %s: transform pattern can not be delimited by newline or backslash",
    806 			linenum, fname);
    807 	p = compile_delimited(p, old, 1);
    808 	if (p == NULL)
    809 		errx(1, "%lu: %s: unterminated transform source string",
    810 				linenum, fname);
    811 	p = compile_delimited(p - 1, new, 1);
    812 	if (p == NULL)
    813 		errx(1, "%lu: %s: unterminated transform target string",
    814 				linenum, fname);
    815 	EATSPACE();
    816 	op = old;
    817 	oldlen = mbsrtowcs(NULL, &op, 0, NULL);
    818 	if (oldlen == (size_t)-1)
    819 		err(1, NULL);
    820 	np = new;
    821 	newlen = mbsrtowcs(NULL, &np, 0, NULL);
    822 	if (newlen == (size_t)-1)
    823 		err(1, NULL);
    824 	if (newlen != oldlen)
    825 		errx(1, "%lu: %s: transform strings are not the same length",
    826 				linenum, fname);
    827 	if (MB_CUR_MAX == 1) {
    828 		/*
    829 		 * The single-byte encoding case is easy: generate a
    830 		 * lookup table.
    831 		 */
    832 		for (i = 0; i <= UCHAR_MAX; i++)
    833 			y->bytetab[i] = (u_char)i;
    834 		for (; *op; op++, np++)
    835 			y->bytetab[(u_char)*op] = (u_char)*np;
    836 	} else {
    837 		/*
    838 		 * Multi-byte encoding case: generate a lookup table as
    839 		 * above, but only for single-byte characters. The first
    840 		 * bytes of multi-byte characters have their lookup table
    841 		 * entries set to 0, which causes do_tr() to search through
    842 		 * an auxiliary vector of multi-byte mappings.
    843 		 */
    844 		memset(&mbs1, 0, sizeof(mbs1));
    845 		memset(&mbs2, 0, sizeof(mbs2));
    846 		for (i = 0; i <= UCHAR_MAX; i++)
    847 			y->bytetab[i] = (u_char)((btowc((int)i) != WEOF) ? i : 0);
    848 		while (*op != '\0') {
    849 			oclen = mbrlen(op, MB_LEN_MAX, &mbs1);
    850 			if (oclen == (size_t)-1 || oclen == (size_t)-2)
    851 				errc(1, EILSEQ, NULL);
    852 			nclen = mbrlen(np, MB_LEN_MAX, &mbs2);
    853 			if (nclen == (size_t)-1 || nclen == (size_t)-2)
    854 				errc(1, EILSEQ, NULL);
    855 			if (oclen == 1 && nclen == 1)
    856 				y->bytetab[(u_char)*op] = (u_char)*np;
    857 			else {
    858 				y->bytetab[(u_char)*op] = 0;
    859 				y->multis = xrealloc(y->multis,
    860 				    (y->nmultis + 1) * sizeof(*y->multis));
    861 				i = y->nmultis++;
    862 				y->multis[i].fromlen = oclen;
    863 				memcpy(y->multis[i].from, op, oclen);
    864 				y->multis[i].tolen = nclen;
    865 				memcpy(y->multis[i].to, np, nclen);
    866 			}
    867 			op += oclen;
    868 			np += nclen;
    869 		}
    870 	}
    871 	return (p);
    872 }
    873 
    874 /*
    875  * Compile the text following an a or i command.
    876  */
    877 static char *
    878 compile_text(void)
    879 {
    880 	size_t asize, size;
    881 	int esc_nl;
    882 	char *text, *p, *op, *s;
    883 	char lbuf[_POSIX2_LINE_MAX + 1];
    884 
    885 	asize = 2 * _POSIX2_LINE_MAX + 1;
    886 	text = xmalloc(asize);
    887 	size = 0;
    888 	while (cu_fgets(lbuf, sizeof(lbuf), NULL)) {
    889 		op = s = text + size;
    890 		p = lbuf;
    891 		for (esc_nl = 0; *p != '\0'; p++) {
    892 			if (*p == '\\' && p[1] != '\0' && *++p == '\n')
    893 				esc_nl = 1;
    894 			*s++ = *p;
    895 		}
    896 		size += (size_t)(s - op);
    897 		if (!esc_nl) {
    898 			*s = '\0';
    899 			break;
    900 		}
    901 		if (asize - size < _POSIX2_LINE_MAX + 1) {
    902 			asize *= 2;
    903 			text = xrealloc(text, asize);
    904 		}
    905 	}
    906 	text[size] = '\0';
    907 	p = xrealloc(text, size + 1);
    908 	return (p);
    909 }
    910 
    911 /*
    912  * Get an address and return a pointer to the first character after
    913  * it.  Fill the structure pointed to according to the address.
    914  */
    915 static char *
    916 compile_addr(char *p, struct s_addr *a)
    917 {
    918 	char *end, re[_POSIX2_LINE_MAX + 1];
    919 	int icase;
    920 
    921 	icase = 0;
    922 
    923 	a->type = 0;
    924 	switch (*p) {
    925 	case '\\':				/* Context address */
    926 		++p;
    927 		/* FALLTHROUGH */
    928 	case '/':				/* Context address */
    929 		p = compile_delimited(p, re, 0);
    930 		if (p == NULL)
    931 			errx(1, "%lu: %s: unterminated regular expression", linenum, fname);
    932 		/* Check for case insensitive regexp flag */
    933 		if (*p == 'I') {
    934 			icase = 1;
    935 			p++;
    936 		}
    937 		if (*re == '\0')
    938 			a->u.r = NULL;
    939 		else
    940 			a->u.r = compile_re(re, icase);
    941 		a->type = AT_RE;
    942 		return (p);
    943 
    944 	case '$':				/* Last line */
    945 		a->type = AT_LAST;
    946 		return (p + 1);
    947 
    948 	case '+':				/* Relative line number */
    949 		a->type = AT_RELLINE;
    950 		p++;
    951 		/* FALLTHROUGH */
    952 						/* Line number */
    953 	case '0': case '1': case '2': case '3': case '4':
    954 	case '5': case '6': case '7': case '8': case '9':
    955 		if (a->type == 0)
    956 			a->type = AT_LINE;
    957 		a->u.l = strtoul(p, &end, 10);
    958 		return (end);
    959 	default:
    960 		errx(1, "%lu: %s: expected context address", linenum, fname);
    961 		return (NULL);
    962 	}
    963 }
    964 
    965 /*
    966  * duptoeol --
    967  *	Return a copy of all the characters up to \n or \0.
    968  */
    969 static char *
    970 duptoeol(char *s, const char *ctype)
    971 {
    972 	size_t len;
    973 	int ws;
    974 	char *p, *start;
    975 
    976 	ws = 0;
    977 	for (start = s; *s != '\0' && *s != '\n'; ++s)
    978 		ws = isspace((unsigned char)*s);
    979 	*s = '\0';
    980 	if (ws)
    981 		warnx("%lu: %s: whitespace after %s", linenum, fname, ctype);
    982 	len = (size_t)(s - start + 1);
    983 	p = xmalloc(len);
    984 	return (memmove(p, start, len));
    985 }
    986 
    987 /*
    988  * Convert goto label names to addresses, and count a and r commands, in
    989  * the given subset of the script.  Free the memory used by labels in b
    990  * and t commands (but not by :).
    991  *
    992  * TODO: Remove } nodes
    993  */
    994 static void
    995 fixuplabel(struct s_command *cp, struct s_command *end)
    996 {
    997 
    998 	for (; cp != end; cp = cp->next)
    999 		switch (cp->code) {
   1000 		case 'a':
   1001 		case 'r':
   1002 			appendnum++;
   1003 			break;
   1004 		case 'b':
   1005 		case 't':
   1006 			/* Resolve branch target. */
   1007 			if (cp->t == NULL) {
   1008 				cp->u.c = NULL;
   1009 				break;
   1010 			}
   1011 			if ((cp->u.c = findlabel(cp->t)) == NULL)
   1012 				errx(1, "%lu: %s: undefined label '%s'", linenum, fname, cp->t);
   1013 			free(cp->t);
   1014 			break;
   1015 		case '{':
   1016 			/* Do interior commands. */
   1017 			fixuplabel(cp->u.c, cp->next);
   1018 			break;
   1019 		}
   1020 }
   1021 
   1022 /*
   1023  * Associate the given command label for later lookup.
   1024  */
   1025 static void
   1026 enterlabel(struct s_command *cp)
   1027 {
   1028 	struct labhash **lhp, *lh;
   1029 	u_char *p;
   1030 	u_int h, c;
   1031 
   1032 	for (h = 0, p = (u_char *)cp->t; (c = *p) != 0; p++)
   1033 		h = (h << 5) + h + c;
   1034 	lhp = &labels[h & LHMASK];
   1035 	for (lh = *lhp; lh != NULL; lh = lh->lh_next)
   1036 		if (lh->lh_hash == h && strcmp(cp->t, lh->lh_cmd->t) == 0)
   1037 			errx(1, "%lu: %s: duplicate label '%s'", linenum, fname, cp->t);
   1038 	lh = xmalloc(sizeof *lh);
   1039 	lh->lh_next = *lhp;
   1040 	lh->lh_hash = h;
   1041 	lh->lh_cmd = cp;
   1042 	lh->lh_ref = 0;
   1043 	*lhp = lh;
   1044 }
   1045 
   1046 /*
   1047  * Find the label contained in the command l in the command linked
   1048  * list cp.  L is excluded from the search.  Return NULL if not found.
   1049  */
   1050 static struct s_command *
   1051 findlabel(char *name)
   1052 {
   1053 	struct labhash *lh;
   1054 	u_char *p;
   1055 	u_int h, c;
   1056 
   1057 	for (h = 0, p = (u_char *)name; (c = *p) != 0; p++)
   1058 		h = (h << 5) + h + c;
   1059 	for (lh = labels[h & LHMASK]; lh != NULL; lh = lh->lh_next) {
   1060 		if (lh->lh_hash == h && strcmp(name, lh->lh_cmd->t) == 0) {
   1061 			lh->lh_ref = 1;
   1062 			return (lh->lh_cmd);
   1063 		}
   1064 	}
   1065 	return (NULL);
   1066 }
   1067 
   1068 /*
   1069  * Warn about any unused labels.  As a side effect, release the label hash
   1070  * table space.
   1071  */
   1072 static void
   1073 uselabel(void)
   1074 {
   1075 	struct labhash *lh, *next;
   1076 	int i;
   1077 
   1078 	for (i = 0; i < LHSZ; i++) {
   1079 		for (lh = labels[i]; lh != NULL; lh = next) {
   1080 			next = lh->lh_next;
   1081 			if (!lh->lh_ref)
   1082 				warnx("%lu: %s: unused label '%s'",
   1083 				    linenum, fname, lh->lh_cmd->t);
   1084 			free(lh);
   1085 		}
   1086 	}
   1087 }
   1088