main.c revision 1.50 1 1.38 christos /* $OpenBSD: main.c,v 1.77 2009/10/14 17:19:47 sthen Exp $ */
2 1.50 uwe /* $NetBSD: main.c,v 1.50 2020/06/25 02:25:53 uwe Exp $ */
3 1.9 tls
4 1.8 glass /*-
5 1.8 glass * Copyright (c) 1989, 1993
6 1.8 glass * The Regents of the University of California. All rights reserved.
7 1.8 glass *
8 1.8 glass * This code is derived from software contributed to Berkeley by
9 1.8 glass * Ozan Yigit at York University.
10 1.8 glass *
11 1.8 glass * Redistribution and use in source and binary forms, with or without
12 1.8 glass * modification, are permitted provided that the following conditions
13 1.8 glass * are met:
14 1.8 glass * 1. Redistributions of source code must retain the above copyright
15 1.8 glass * notice, this list of conditions and the following disclaimer.
16 1.8 glass * 2. Redistributions in binary form must reproduce the above copyright
17 1.8 glass * notice, this list of conditions and the following disclaimer in the
18 1.8 glass * documentation and/or other materials provided with the distribution.
19 1.34 agc * 3. Neither the name of the University nor the names of its contributors
20 1.8 glass * may be used to endorse or promote products derived from this software
21 1.8 glass * without specific prior written permission.
22 1.8 glass *
23 1.8 glass * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
24 1.8 glass * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
25 1.8 glass * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
26 1.8 glass * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
27 1.8 glass * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28 1.8 glass * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
29 1.8 glass * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30 1.8 glass * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
31 1.8 glass * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
32 1.8 glass * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33 1.8 glass * SUCH DAMAGE.
34 1.8 glass */
35 1.1 cgd
36 1.1 cgd /*
37 1.8 glass * main.c
38 1.8 glass * Facility: m4 macro processor
39 1.8 glass * by: oz
40 1.1 cgd */
41 1.38 christos #if HAVE_NBTOOL_CONFIG_H
42 1.38 christos #include "nbtool_config.h"
43 1.38 christos #endif
44 1.38 christos #include <sys/cdefs.h>
45 1.50 uwe __RCSID("$NetBSD: main.c,v 1.50 2020/06/25 02:25:53 uwe Exp $");
46 1.27 tv #include <assert.h>
47 1.38 christos #include <signal.h>
48 1.43 christos #include <getopt.h>
49 1.38 christos #include <err.h>
50 1.38 christos #include <errno.h>
51 1.38 christos #include <unistd.h>
52 1.38 christos #include <stdio.h>
53 1.13 lukem #include <ctype.h>
54 1.38 christos #include <string.h>
55 1.27 tv #include <stddef.h>
56 1.38 christos #include <stdint.h>
57 1.16 kleink #include <stdlib.h>
58 1.38 christos #include <ohash.h>
59 1.8 glass #include "mdef.h"
60 1.8 glass #include "stdd.h"
61 1.8 glass #include "extern.h"
62 1.8 glass #include "pathnames.h"
63 1.8 glass
64 1.8 glass ndptr hashtab[HASHSIZE]; /* hash table for macros etc. */
65 1.27 tv stae *mstack; /* stack of m4 machine */
66 1.27 tv char *sstack; /* shadow stack, for string space extension */
67 1.27 tv static size_t STACKMAX; /* current maximum size of stack */
68 1.1 cgd int sp; /* current m4 stack pointer */
69 1.1 cgd int fp; /* m4 call frame pointer */
70 1.27 tv struct input_file infile[MAXINP];/* input file stack (0=stdin) */
71 1.27 tv FILE **outfile; /* diversion array(0=bitbucket)*/
72 1.27 tv int maxout;
73 1.1 cgd FILE *active; /* active output file pointer */
74 1.1 cgd int ilevel = 0; /* input file stack pointer */
75 1.1 cgd int oindex = 0; /* diversion index.. */
76 1.38 christos const char *null = ""; /* as it says.. just a null.. */
77 1.38 christos char **m4wraps = NULL; /* m4wraps array. */
78 1.38 christos int maxwraps = 0; /* size of m4wraps array */
79 1.38 christos int wrapindex = 0; /* current offset in m4wraps */
80 1.11 pk char lquote[MAXCCHARS+1] = {LQUOTE}; /* left quote character (`) */
81 1.11 pk char rquote[MAXCCHARS+1] = {RQUOTE}; /* right quote character (') */
82 1.11 pk char scommt[MAXCCHARS+1] = {SCOMMT}; /* start character for comment */
83 1.11 pk char ecommt[MAXCCHARS+1] = {ECOMMT}; /* end character for comment */
84 1.38 christos int synch_lines = 0; /* line synchronisation for C preprocessor */
85 1.38 christos int prefix_builtins = 0; /* -P option to prefix builtin keywords */
86 1.43 christos int fatal_warnings = 0; /* -E option to exit on warnings */
87 1.43 christos int quiet = 0; /* -Q option to silence warnings */
88 1.43 christos int nesting_limit = -1; /* -L for nesting limit */
89 1.43 christos const char *freeze = NULL; /* -F to freeze state */
90 1.43 christos const char *reload = NULL; /* -R to reload state */
91 1.43 christos #ifndef REAL_FREEZE
92 1.43 christos FILE *freezef = NULL;
93 1.43 christos int thawing = 0;
94 1.43 christos #endif
95 1.38 christos
96 1.38 christos struct keyblk {
97 1.38 christos const char *knam; /* keyword name */
98 1.38 christos int ktyp; /* keyword type */
99 1.38 christos };
100 1.2 glass
101 1.8 glass struct keyblk keywrds[] = { /* m4 keywords to be installed */
102 1.13 lukem { "include", INCLTYPE },
103 1.13 lukem { "sinclude", SINCTYPE },
104 1.13 lukem { "define", DEFITYPE },
105 1.13 lukem { "defn", DEFNTYPE },
106 1.27 tv { "divert", DIVRTYPE | NOARGS },
107 1.13 lukem { "expr", EXPRTYPE },
108 1.13 lukem { "eval", EXPRTYPE },
109 1.13 lukem { "substr", SUBSTYPE },
110 1.13 lukem { "ifelse", IFELTYPE },
111 1.13 lukem { "ifdef", IFDFTYPE },
112 1.13 lukem { "len", LENGTYPE },
113 1.13 lukem { "incr", INCRTYPE },
114 1.13 lukem { "decr", DECRTYPE },
115 1.27 tv { "dnl", DNLNTYPE | NOARGS },
116 1.27 tv { "changequote", CHNQTYPE | NOARGS },
117 1.27 tv { "changecom", CHNCTYPE | NOARGS },
118 1.13 lukem { "index", INDXTYPE },
119 1.8 glass #ifdef EXTENDED
120 1.13 lukem { "paste", PASTTYPE },
121 1.13 lukem { "spaste", SPASTYPE },
122 1.27 tv /* Newer extensions, needed to handle gnu-m4 scripts */
123 1.27 tv { "indir", INDIRTYPE},
124 1.27 tv { "builtin", BUILTINTYPE},
125 1.27 tv { "patsubst", PATSTYPE},
126 1.27 tv { "regexp", REGEXPTYPE},
127 1.27 tv { "esyscmd", ESYSCMDTYPE},
128 1.27 tv { "__file__", FILENAMETYPE | NOARGS},
129 1.27 tv { "__line__", LINETYPE | NOARGS},
130 1.8 glass #endif
131 1.13 lukem { "popdef", POPDTYPE },
132 1.13 lukem { "pushdef", PUSDTYPE },
133 1.27 tv { "dumpdef", DUMPTYPE | NOARGS },
134 1.27 tv { "shift", SHIFTYPE | NOARGS },
135 1.13 lukem { "translit", TRNLTYPE },
136 1.13 lukem { "undefine", UNDFTYPE },
137 1.27 tv { "undivert", UNDVTYPE | NOARGS },
138 1.27 tv { "divnum", DIVNTYPE | NOARGS },
139 1.13 lukem { "maketemp", MKTMTYPE },
140 1.27 tv { "errprint", ERRPTYPE | NOARGS },
141 1.27 tv { "m4wrap", M4WRTYPE | NOARGS },
142 1.27 tv { "m4exit", EXITTYPE | NOARGS },
143 1.13 lukem { "syscmd", SYSCTYPE },
144 1.27 tv { "sysval", SYSVTYPE | NOARGS },
145 1.27 tv { "traceon", TRACEONTYPE | NOARGS },
146 1.27 tv { "traceoff", TRACEOFFTYPE | NOARGS },
147 1.2 glass
148 1.27 tv #if defined(unix) || defined(__unix__)
149 1.27 tv { "unix", SELFTYPE | NOARGS },
150 1.2 glass #else
151 1.8 glass #ifdef vms
152 1.27 tv { "vms", SELFTYPE | NOARGS },
153 1.1 cgd #endif
154 1.1 cgd #endif
155 1.8 glass };
156 1.8 glass
157 1.8 glass #define MAXKEYS (sizeof(keywrds)/sizeof(struct keyblk))
158 1.1 cgd
159 1.27 tv #define MAXRECORD 50
160 1.27 tv static struct position {
161 1.27 tv char *name;
162 1.27 tv unsigned long line;
163 1.27 tv } quotes[MAXRECORD], paren[MAXRECORD];
164 1.27 tv
165 1.38 christos static void record(struct position *, int);
166 1.38 christos static void dump_stack(struct position *, int);
167 1.27 tv
168 1.38 christos static void macro(void);
169 1.38 christos static void initkwds(void);
170 1.38 christos static ndptr inspect(int, char *);
171 1.38 christos static int do_look_ahead(int, const char *);
172 1.38 christos static void reallyoutputstr(const char *);
173 1.38 christos static void reallyputchar(int);
174 1.27 tv
175 1.38 christos static void enlarge_stack(void);
176 1.43 christos static void help(void);
177 1.27 tv
178 1.43 christos static void
179 1.43 christos usage(FILE *f)
180 1.41 joerg {
181 1.43 christos fprintf(f, "Usage: %s [-EGgiPQsv] [-Dname[=value]] [-d flags] "
182 1.43 christos "[-I dirname] [-o filename] [-L limit]\n"
183 1.43 christos "\t[-t macro] [-Uname] [file ...]\n", getprogname());
184 1.41 joerg }
185 1.41 joerg
186 1.41 joerg __dead static void
187 1.41 joerg onintr(int signo)
188 1.41 joerg {
189 1.41 joerg char intrmessage[] = "m4: interrupted.\n";
190 1.41 joerg write(STDERR_FILENO, intrmessage, sizeof(intrmessage)-1);
191 1.41 joerg _exit(1);
192 1.41 joerg }
193 1.1 cgd
194 1.43 christos #define OPT_HELP 1
195 1.43 christos
196 1.43 christos struct option longopts[] = {
197 1.43 christos { "debug", optional_argument, 0, 'd' },
198 1.43 christos { "define", required_argument, 0, 'D' },
199 1.50 uwe { "error-output", required_argument, 0, 'o' }, /* sic */
200 1.43 christos { "fatal-warnings", no_argument, 0, 'E' },
201 1.43 christos { "freeze-state", required_argument, 0, 'F' },
202 1.43 christos { "gnu", no_argument, 0, 'g' },
203 1.43 christos { "help", no_argument, 0, OPT_HELP },
204 1.43 christos { "include", required_argument, 0, 'I' },
205 1.43 christos { "interactive", no_argument, 0, 'i' },
206 1.43 christos { "nesting-limit", required_argument, 0, 'L' },
207 1.43 christos { "prefix-builtins", no_argument, 0, 'P' },
208 1.43 christos { "quiet", no_argument, 0, 'Q' },
209 1.43 christos { "reload-state", required_argument, 0, 'R' },
210 1.43 christos { "silent", no_argument, 0, 'Q' },
211 1.43 christos { "synclines", no_argument, 0, 's' },
212 1.43 christos { "trace", required_argument, 0, 't' },
213 1.43 christos { "traditional", no_argument, 0, 'G' },
214 1.43 christos { "undefine", required_argument, 0, 'U' },
215 1.43 christos { "version", no_argument, 0, 'v' },
216 1.43 christos #ifdef notyet
217 1.43 christos { "arglength", required_argument, 0, 'l' },
218 1.43 christos { "debugfile", optional_argument, 0, OPT_DEBUGFILE },
219 1.43 christos { "hashsize", required_argument, 0, 'H' },
220 1.43 christos { "warn-macro-sequence",optional_argument, 0, OPT_WARN_SEQUENCE },
221 1.43 christos #endif
222 1.43 christos { 0, 0, 0, 0 },
223 1.43 christos };
224 1.43 christos
225 1.8 glass int
226 1.38 christos main(int argc, char *argv[])
227 1.8 glass {
228 1.13 lukem int c;
229 1.13 lukem int n;
230 1.50 uwe int error;
231 1.8 glass char *p;
232 1.8 glass
233 1.39 joerg setprogname(argv[0]);
234 1.39 joerg
235 1.8 glass if (signal(SIGINT, SIG_IGN) != SIG_IGN)
236 1.8 glass signal(SIGINT, onintr);
237 1.1 cgd
238 1.38 christos init_macros();
239 1.27 tv initspaces();
240 1.27 tv STACKMAX = INITSTACKMAX;
241 1.27 tv
242 1.38 christos mstack = (stae *)xalloc(sizeof(stae) * STACKMAX, NULL);
243 1.38 christos sstack = (char *)xalloc(STACKMAX, NULL);
244 1.1 cgd
245 1.27 tv maxout = 0;
246 1.27 tv outfile = NULL;
247 1.27 tv resizedivs(MAXOUT);
248 1.1 cgd
249 1.50 uwe while ((c = getopt_long(argc, argv, "D:d:EF:GgI:iL:o:PR:Qst:U:v",
250 1.43 christos longopts, NULL)) != -1)
251 1.38 christos switch(c) {
252 1.8 glass case 'D': /* define something..*/
253 1.8 glass for (p = optarg; *p; p++)
254 1.8 glass if (*p == '=')
255 1.8 glass break;
256 1.8 glass if (*p)
257 1.8 glass *p++ = EOS;
258 1.8 glass dodefine(optarg, p);
259 1.8 glass break;
260 1.43 christos case 'd':
261 1.43 christos set_trace_flags(optarg);
262 1.43 christos break;
263 1.43 christos case 'E':
264 1.43 christos fatal_warnings++;
265 1.43 christos break;
266 1.43 christos case 'F':
267 1.43 christos freeze = optarg;
268 1.43 christos #ifndef REAL_FREEZE
269 1.43 christos if ((freezef = fopen(freeze, "w")) == NULL)
270 1.43 christos err(EXIT_FAILURE, "Can't open `%s'", freeze);
271 1.43 christos #endif
272 1.43 christos break;
273 1.27 tv case 'I':
274 1.27 tv addtoincludepath(optarg);
275 1.27 tv break;
276 1.43 christos case 'i':
277 1.43 christos setvbuf(stdout, NULL, _IONBF, 0);
278 1.43 christos signal(SIGINT, SIG_IGN);
279 1.27 tv break;
280 1.43 christos case 'G':
281 1.43 christos mimic_gnu = 0;
282 1.38 christos break;
283 1.38 christos case 'g':
284 1.38 christos mimic_gnu = 1;
285 1.8 glass break;
286 1.43 christos case 'L':
287 1.43 christos nesting_limit = atoi(optarg);
288 1.43 christos break;
289 1.43 christos case 'o':
290 1.50 uwe error = trace_file(optarg);
291 1.50 uwe if (error)
292 1.50 uwe warn("%s", optarg);
293 1.43 christos break;
294 1.43 christos case 'P':
295 1.43 christos prefix_builtins = 1;
296 1.43 christos break;
297 1.43 christos case 'Q':
298 1.43 christos quiet++;
299 1.43 christos break;
300 1.43 christos case 'R':
301 1.43 christos reload = optarg;
302 1.27 tv break;
303 1.38 christos case 's':
304 1.38 christos synch_lines = 1;
305 1.38 christos break;
306 1.38 christos case 't':
307 1.38 christos mark_traced(optarg, 1);
308 1.27 tv break;
309 1.43 christos case 'U': /* undefine... */
310 1.43 christos macro_popdef(optarg);
311 1.43 christos break;
312 1.43 christos case 'v':
313 1.43 christos fprintf(stderr, "%s version %d\n", getprogname(),
314 1.43 christos VERSION);
315 1.43 christos return EXIT_SUCCESS;
316 1.43 christos case OPT_HELP:
317 1.43 christos help();
318 1.43 christos return EXIT_SUCCESS;
319 1.8 glass case '?':
320 1.43 christos default:
321 1.43 christos usage(stderr);
322 1.43 christos return EXIT_FAILURE;
323 1.2 glass }
324 1.1 cgd
325 1.43 christos #ifdef REDIRECT
326 1.46 christos /*
327 1.46 christos * This is meant only for debugging; it makes all output
328 1.46 christos * go to a known file, even if the command line options
329 1.46 christos * send it elsewhere. It should not be turned of in production code.
330 1.46 christos */
331 1.43 christos if (freopen("/tmp/m4", "w+", stderr) == NULL)
332 1.43 christos err(EXIT_FAILURE, "Can't redirect errors to `%s'",
333 1.43 christos "/tmp/m4");
334 1.43 christos #endif
335 1.8 glass argc -= optind;
336 1.8 glass argv += optind;
337 1.2 glass
338 1.43 christos
339 1.38 christos initkwds();
340 1.38 christos if (mimic_gnu)
341 1.38 christos setup_builtin("format", FORMATTYPE);
342 1.38 christos
343 1.8 glass active = stdout; /* default active output */
344 1.8 glass bbase[0] = bufbase;
345 1.43 christos
346 1.43 christos if (reload) {
347 1.43 christos #ifdef REAL_FREEZE
348 1.43 christos thaw_state(reload);
349 1.43 christos #else
350 1.43 christos if (fopen_trypath(infile, reload) == NULL)
351 1.43 christos err(1, "Can't open `%s'", reload);
352 1.43 christos sp = -1;
353 1.43 christos fp = 0;
354 1.43 christos thawing = 1;
355 1.43 christos macro();
356 1.43 christos thawing = 0;
357 1.43 christos release_input(infile);
358 1.43 christos #endif
359 1.43 christos }
360 1.43 christos
361 1.8 glass if (!argc) {
362 1.8 glass sp = -1; /* stack pointer initialized */
363 1.8 glass fp = 0; /* frame pointer initialized */
364 1.27 tv set_input(infile+0, stdin, "stdin");
365 1.27 tv /* default input (naturally) */
366 1.8 glass macro();
367 1.8 glass } else
368 1.8 glass for (; argc--; ++argv) {
369 1.8 glass p = *argv;
370 1.27 tv if (p[0] == '-' && p[1] == EOS)
371 1.27 tv set_input(infile, stdin, "stdin");
372 1.27 tv else if (fopen_trypath(infile, p) == NULL)
373 1.13 lukem err(1, "%s", p);
374 1.8 glass sp = -1;
375 1.8 glass fp = 0;
376 1.8 glass macro();
377 1.27 tv release_input(infile);
378 1.8 glass }
379 1.2 glass
380 1.38 christos if (wrapindex) {
381 1.38 christos int i;
382 1.38 christos
383 1.8 glass ilevel = 0; /* in case m4wrap includes.. */
384 1.8 glass bufbase = bp = buf; /* use the entire buffer */
385 1.38 christos if (mimic_gnu) {
386 1.38 christos while (wrapindex != 0) {
387 1.38 christos for (i = 0; i < wrapindex; i++)
388 1.38 christos pbstr(m4wraps[i]);
389 1.38 christos wrapindex =0;
390 1.38 christos macro();
391 1.38 christos }
392 1.38 christos } else {
393 1.38 christos for (i = 0; i < wrapindex; i++) {
394 1.38 christos pbstr(m4wraps[i]);
395 1.38 christos macro();
396 1.38 christos }
397 1.38 christos }
398 1.8 glass }
399 1.2 glass
400 1.8 glass if (active != stdout)
401 1.8 glass active = stdout; /* reset output just in case */
402 1.27 tv for (n = 1; n < maxout; n++) /* default wrap-up: undivert */
403 1.8 glass if (outfile[n] != NULL)
404 1.8 glass getdiv(n);
405 1.27 tv /* remove bitbucket if used */
406 1.27 tv if (outfile[0] != NULL) {
407 1.8 glass (void) fclose(outfile[0]);
408 1.27 tv }
409 1.8 glass
410 1.43 christos #ifdef REAL_FREEZE
411 1.43 christos if (freeze)
412 1.43 christos freeze_state(freeze);
413 1.43 christos #else
414 1.43 christos if (freezef)
415 1.43 christos fclose(freezef);
416 1.43 christos #endif
417 1.43 christos
418 1.8 glass return 0;
419 1.8 glass }
420 1.2 glass
421 1.8 glass /*
422 1.27 tv * Look ahead for `token'.
423 1.11 pk * (on input `t == token[0]')
424 1.11 pk * Used for comment and quoting delimiters.
425 1.11 pk * Returns 1 if `token' present; copied to output.
426 1.11 pk * 0 if `token' not found; all characters pushed back
427 1.11 pk */
428 1.27 tv static int
429 1.38 christos do_look_ahead(int t, const char *token)
430 1.11 pk {
431 1.11 pk int i;
432 1.11 pk
433 1.27 tv assert((unsigned char)t == (unsigned char)token[0]);
434 1.11 pk
435 1.11 pk for (i = 1; *++token; i++) {
436 1.11 pk t = gpbc();
437 1.27 tv if (t == EOF || (unsigned char)t != (unsigned char)*token) {
438 1.38 christos pushback(t);
439 1.11 pk while (--i)
440 1.38 christos pushback(*--token);
441 1.11 pk return 0;
442 1.11 pk }
443 1.11 pk }
444 1.11 pk return 1;
445 1.11 pk }
446 1.11 pk
447 1.27 tv #define LOOK_AHEAD(t, token) (t != EOF && \
448 1.27 tv (unsigned char)(t)==(unsigned char)(token)[0] && \
449 1.27 tv do_look_ahead(t,token))
450 1.11 pk
451 1.11 pk /*
452 1.8 glass * macro - the work horse..
453 1.8 glass */
454 1.27 tv static void
455 1.38 christos macro(void)
456 1.13 lukem {
457 1.27 tv char token[MAXTOK+1];
458 1.13 lukem int t, l;
459 1.13 lukem ndptr p;
460 1.13 lukem int nlpar;
461 1.1 cgd
462 1.8 glass cycle {
463 1.11 pk t = gpbc();
464 1.27 tv
465 1.38 christos if (LOOK_AHEAD(t,lquote)) { /* strip quotes */
466 1.27 tv nlpar = 0;
467 1.27 tv record(quotes, nlpar++);
468 1.27 tv /*
469 1.27 tv * Opening quote: scan forward until matching
470 1.27 tv * closing quote has been found.
471 1.27 tv */
472 1.8 glass do {
473 1.12 cgd
474 1.11 pk l = gpbc();
475 1.12 cgd if (LOOK_AHEAD(l,rquote)) {
476 1.27 tv if (--nlpar > 0)
477 1.27 tv outputstr(rquote);
478 1.12 cgd } else if (LOOK_AHEAD(l,lquote)) {
479 1.27 tv record(quotes, nlpar++);
480 1.27 tv outputstr(lquote);
481 1.27 tv } else if (l == EOF) {
482 1.43 christos if (!quiet) {
483 1.43 christos if (nlpar == 1)
484 1.43 christos warnx("unclosed quote:");
485 1.43 christos else
486 1.43 christos warnx(
487 1.43 christos "%d unclosed quotes:",
488 1.43 christos nlpar);
489 1.43 christos dump_stack(quotes, nlpar);
490 1.43 christos }
491 1.43 christos exit(EXIT_FAILURE);
492 1.27 tv } else {
493 1.27 tv if (nlpar > 0) {
494 1.27 tv if (sp < 0)
495 1.38 christos reallyputchar(l);
496 1.27 tv else
497 1.27 tv CHRSAVE(l);
498 1.27 tv }
499 1.2 glass }
500 1.8 glass }
501 1.8 glass while (nlpar != 0);
502 1.38 christos } else if (sp < 0 && LOOK_AHEAD(t, scommt)) {
503 1.38 christos reallyoutputstr(scommt);
504 1.11 pk
505 1.11 pk for(;;) {
506 1.11 pk t = gpbc();
507 1.11 pk if (LOOK_AHEAD(t, ecommt)) {
508 1.38 christos reallyoutputstr(ecommt);
509 1.11 pk break;
510 1.11 pk }
511 1.11 pk if (t == EOF)
512 1.11 pk break;
513 1.38 christos reallyputchar(t);
514 1.1 cgd }
515 1.38 christos } else if (t == '_' || isalpha(t)) {
516 1.38 christos p = inspect(t, token);
517 1.38 christos if (p != NULL)
518 1.38 christos pushback(l = gpbc());
519 1.38 christos if (p == NULL || (l != LPAREN &&
520 1.38 christos (macro_getdef(p)->type & NEEDARGS) != 0))
521 1.38 christos outputstr(token);
522 1.38 christos else {
523 1.38 christos /*
524 1.38 christos * real thing.. First build a call frame:
525 1.38 christos */
526 1.38 christos pushf(fp); /* previous call frm */
527 1.38 christos pushf(macro_getdef(p)->type); /* type of the call */
528 1.38 christos pushf(is_traced(p));
529 1.38 christos pushf(0); /* parenthesis level */
530 1.38 christos fp = sp; /* new frame pointer */
531 1.38 christos /*
532 1.38 christos * now push the string arguments:
533 1.48 christos * XXX: Copy the macro definition. This leaks, but too
534 1.48 christos * lazy to fix properly.
535 1.48 christos * The problem is that if we evaluate a pushdef'ed
536 1.48 christos * macro and then popdef it while it the definition
537 1.48 christos * is still on the stack we are going to reference
538 1.48 christos * free memory.
539 1.38 christos */
540 1.48 christos pushs1(xstrdup(macro_getdef(p)->defn)); /* defn string */
541 1.38 christos pushs1((char *)macro_name(p)); /* macro name */
542 1.38 christos pushs(ep); /* start next..*/
543 1.38 christos
544 1.38 christos if (l != LPAREN && PARLEV == 0) {
545 1.38 christos /* no bracks */
546 1.38 christos chrsave(EOS);
547 1.38 christos
548 1.38 christos if ((size_t)sp == STACKMAX)
549 1.38 christos errx(1, "internal stack overflow");
550 1.38 christos eval((const char **) mstack+fp+1, 2,
551 1.38 christos CALTYP, TRACESTATUS);
552 1.11 pk
553 1.38 christos ep = PREVEP; /* flush strspace */
554 1.38 christos sp = PREVSP; /* previous sp.. */
555 1.38 christos fp = PREVFP; /* rewind stack...*/
556 1.38 christos }
557 1.38 christos }
558 1.38 christos } else if (t == EOF) {
559 1.38 christos if (sp > -1 && ilevel <= 0) {
560 1.43 christos if (!quiet) {
561 1.43 christos warnx("unexpected end of input, "
562 1.43 christos "unclosed parenthesis:");
563 1.43 christos dump_stack(paren, PARLEV);
564 1.43 christos }
565 1.43 christos exit(EXIT_FAILURE);
566 1.38 christos }
567 1.38 christos if (ilevel <= 0)
568 1.38 christos break; /* all done thanks.. */
569 1.38 christos release_input(infile+ilevel--);
570 1.38 christos emit_synchline();
571 1.38 christos bufbase = bbase[ilevel];
572 1.38 christos continue;
573 1.38 christos } else if (sp < 0) { /* not in a macro at all */
574 1.38 christos reallyputchar(t); /* output directly.. */
575 1.8 glass }
576 1.1 cgd
577 1.8 glass else switch(t) {
578 1.2 glass
579 1.8 glass case LPAREN:
580 1.8 glass if (PARLEV > 0)
581 1.8 glass chrsave(t);
582 1.38 christos while (isspace(l = gpbc())) /* skip blank, tab, nl.. */
583 1.38 christos if (PARLEV > 0)
584 1.38 christos chrsave(l);
585 1.38 christos pushback(l);
586 1.27 tv record(paren, PARLEV++);
587 1.8 glass break;
588 1.1 cgd
589 1.8 glass case RPAREN:
590 1.8 glass if (--PARLEV > 0)
591 1.8 glass chrsave(t);
592 1.8 glass else { /* end of argument list */
593 1.8 glass chrsave(EOS);
594 1.8 glass
595 1.38 christos if ((size_t)sp == STACKMAX)
596 1.13 lukem errx(1, "internal stack overflow");
597 1.8 glass
598 1.27 tv eval((const char **) mstack+fp+1, sp-fp,
599 1.38 christos CALTYP, TRACESTATUS);
600 1.8 glass
601 1.8 glass ep = PREVEP; /* flush strspace */
602 1.8 glass sp = PREVSP; /* previous sp.. */
603 1.8 glass fp = PREVFP; /* rewind stack...*/
604 1.8 glass }
605 1.8 glass break;
606 1.1 cgd
607 1.8 glass case COMMA:
608 1.8 glass if (PARLEV == 1) {
609 1.8 glass chrsave(EOS); /* new argument */
610 1.8 glass while (isspace(l = gpbc()))
611 1.8 glass ;
612 1.38 christos pushback(l);
613 1.8 glass pushs(ep);
614 1.8 glass } else
615 1.8 glass chrsave(t);
616 1.8 glass break;
617 1.2 glass
618 1.2 glass default:
619 1.27 tv if (LOOK_AHEAD(t, scommt)) {
620 1.38 christos char *q;
621 1.42 christos for (q = scommt; *q; q++)
622 1.38 christos chrsave(*q);
623 1.27 tv for(;;) {
624 1.27 tv t = gpbc();
625 1.27 tv if (LOOK_AHEAD(t, ecommt)) {
626 1.38 christos for (q = ecommt; *q; q++)
627 1.38 christos chrsave(*q);
628 1.27 tv break;
629 1.27 tv }
630 1.27 tv if (t == EOF)
631 1.27 tv break;
632 1.27 tv CHRSAVE(t);
633 1.27 tv }
634 1.27 tv } else
635 1.27 tv CHRSAVE(t); /* stack the char */
636 1.8 glass break;
637 1.8 glass }
638 1.2 glass }
639 1.8 glass }
640 1.2 glass
641 1.27 tv /*
642 1.27 tv * output string directly, without pushing it for reparses.
643 1.27 tv */
644 1.27 tv void
645 1.38 christos outputstr(const char *s)
646 1.27 tv {
647 1.27 tv if (sp < 0)
648 1.38 christos reallyoutputstr(s);
649 1.27 tv else
650 1.27 tv while (*s)
651 1.27 tv CHRSAVE(*s++);
652 1.27 tv }
653 1.27 tv
654 1.38 christos void
655 1.38 christos reallyoutputstr(const char *s)
656 1.38 christos {
657 1.38 christos if (synch_lines) {
658 1.38 christos while (*s) {
659 1.38 christos fputc(*s, active);
660 1.38 christos if (*s++ == '\n') {
661 1.38 christos infile[ilevel].synch_lineno++;
662 1.38 christos if (infile[ilevel].synch_lineno !=
663 1.38 christos infile[ilevel].lineno)
664 1.38 christos do_emit_synchline();
665 1.38 christos }
666 1.38 christos }
667 1.38 christos } else
668 1.38 christos fputs(s, active);
669 1.38 christos }
670 1.38 christos
671 1.38 christos void
672 1.38 christos reallyputchar(int c)
673 1.38 christos {
674 1.38 christos putc(c, active);
675 1.38 christos if (synch_lines && c == '\n') {
676 1.38 christos infile[ilevel].synch_lineno++;
677 1.38 christos if (infile[ilevel].synch_lineno != infile[ilevel].lineno)
678 1.38 christos do_emit_synchline();
679 1.38 christos }
680 1.38 christos }
681 1.38 christos
682 1.8 glass /*
683 1.8 glass * build an input token..
684 1.38 christos * consider only those starting with _ or A-Za-z.
685 1.8 glass */
686 1.27 tv static ndptr
687 1.38 christos inspect(int c, char *tp)
688 1.8 glass {
689 1.13 lukem char *name = tp;
690 1.13 lukem char *etp = tp+MAXTOK;
691 1.13 lukem ndptr p;
692 1.27 tv
693 1.38 christos *tp++ = c;
694 1.2 glass
695 1.27 tv while ((isalnum(c = gpbc()) || c == '_') && tp < etp)
696 1.38 christos *tp++ = c;
697 1.27 tv if (c != EOF)
698 1.38 christos PUSHBACK(c);
699 1.8 glass *tp = EOS;
700 1.27 tv /* token is too long, it won't match anything, but it can still
701 1.27 tv * be output. */
702 1.27 tv if (tp == ep) {
703 1.27 tv outputstr(name);
704 1.27 tv while (isalnum(c = gpbc()) || c == '_') {
705 1.27 tv if (sp < 0)
706 1.38 christos reallyputchar(c);
707 1.27 tv else
708 1.27 tv CHRSAVE(c);
709 1.27 tv }
710 1.27 tv *name = EOS;
711 1.38 christos return NULL;
712 1.27 tv }
713 1.1 cgd
714 1.40 christos p = ohash_find(¯os, ohash_qlookupi(¯os, name, (void *)&tp));
715 1.38 christos if (p == NULL)
716 1.38 christos return NULL;
717 1.38 christos if (macro_getdef(p) == NULL)
718 1.38 christos return NULL;
719 1.8 glass return p;
720 1.8 glass }
721 1.7 cgd
722 1.8 glass /*
723 1.38 christos * initkwds - initialise m4 keywords as fast as possible.
724 1.8 glass * This very similar to install, but without certain overheads,
725 1.38 christos * such as calling lookup. Malloc is not used for storing the
726 1.13 lukem * keyword strings, since we simply use the static pointers
727 1.8 glass * within keywrds block.
728 1.8 glass */
729 1.27 tv static void
730 1.38 christos initkwds(void)
731 1.13 lukem {
732 1.38 christos unsigned int type;
733 1.32 tv size_t i;
734 1.1 cgd
735 1.8 glass for (i = 0; i < MAXKEYS; i++) {
736 1.43 christos type = keywrds[i].ktyp;
737 1.27 tv if ((keywrds[i].ktyp & NOARGS) == 0)
738 1.38 christos type |= NEEDARGS;
739 1.38 christos setup_builtin(keywrds[i].knam, type);
740 1.1 cgd }
741 1.27 tv }
742 1.27 tv
743 1.27 tv static void
744 1.38 christos record(struct position *t, int lev)
745 1.27 tv {
746 1.27 tv if (lev < MAXRECORD) {
747 1.27 tv t[lev].name = CURRENT_NAME;
748 1.27 tv t[lev].line = CURRENT_LINE;
749 1.27 tv }
750 1.27 tv }
751 1.27 tv
752 1.27 tv static void
753 1.38 christos dump_stack(struct position *t, int lev)
754 1.27 tv {
755 1.27 tv int i;
756 1.27 tv
757 1.27 tv for (i = 0; i < lev; i++) {
758 1.27 tv if (i == MAXRECORD) {
759 1.27 tv fprintf(stderr, " ...\n");
760 1.27 tv break;
761 1.27 tv }
762 1.27 tv fprintf(stderr, " %s at line %lu\n",
763 1.27 tv t[i].name, t[i].line);
764 1.27 tv }
765 1.27 tv }
766 1.27 tv
767 1.27 tv
768 1.27 tv static void
769 1.38 christos enlarge_stack(void)
770 1.27 tv {
771 1.38 christos STACKMAX += STACKMAX/2;
772 1.38 christos mstack = xrealloc(mstack, sizeof(stae) * STACKMAX,
773 1.38 christos "Evaluation stack overflow (%lu)",
774 1.38 christos (unsigned long)STACKMAX);
775 1.38 christos sstack = xrealloc(sstack, STACKMAX,
776 1.38 christos "Evaluation stack overflow (%lu)",
777 1.38 christos (unsigned long)STACKMAX);
778 1.8 glass }
779 1.43 christos
780 1.43 christos static const struct {
781 1.43 christos const char *n;
782 1.43 christos const char *d;
783 1.43 christos } nd [] = {
784 1.43 christos { "-d, --debug[=flags]", "set debug flags" },
785 1.43 christos { "-D, --define=name[=value]", "define macro" },
786 1.43 christos { "-e, --error-output=file", "send error output to file" },
787 1.43 christos { "-E, --fatal-warnings", "exit on warnings" },
788 1.43 christos { "-F, --freeze-state=file", "save state to file" },
789 1.43 christos { "-g, --gnu", "enable gnu extensions" },
790 1.43 christos { " --help", "print this message and exit" },
791 1.43 christos { "-I, --include=file", "include file" },
792 1.43 christos { "-i, --interactive", "unbuffer output, ignore tty signals" },
793 1.44 christos { "-L, --nesting-limit=num", "macro expansion nesting limit (unimpl)" },
794 1.43 christos { "-P, --prefix-builtins", "prefix builtins with m4_" },
795 1.43 christos { "-Q, --quiet", "don't print warnings" },
796 1.43 christos { "-R, --reload-state=file", "restore state from file" },
797 1.43 christos { "-Q, --silent", "don't print warnings" },
798 1.43 christos { "-s, --synclines", "output line directives for cpp(1)" },
799 1.43 christos { "-t, --trace=macro", "trace the named macro" },
800 1.43 christos { "-G, --traditional", "disable gnu extensions" },
801 1.43 christos { "-U, --undefine=name", "undefine the named macro" },
802 1.43 christos { "-v, --version", "print the version number and exit" },
803 1.43 christos };
804 1.43 christos
805 1.43 christos static void
806 1.43 christos help(void)
807 1.43 christos {
808 1.43 christos size_t i;
809 1.43 christos fprintf(stdout, "%s version %d\n\n", getprogname(), VERSION);
810 1.43 christos usage(stdout);
811 1.43 christos
812 1.43 christos fprintf(stdout, "\nThe long options are:\n");
813 1.43 christos for (i = 0; i < __arraycount(nd); i++)
814 1.43 christos fprintf(stdout, "\t%-25.25s\t%s\n", nd[i].n, nd[i].d);
815 1.43 christos }
816