Blame


1 6509b181 2022-12-30 thomas /*
2 96b8c570 2022-12-30 thomas * Copyright (c) 2022 Omar Polo <op@openbsd.org>
3 6509b181 2022-12-30 thomas * Copyright (c) 2007-2016 Reyk Floeter <reyk@openbsd.org>
4 6509b181 2022-12-30 thomas * Copyright (c) 2004, 2005 Esben Norby <norby@openbsd.org>
5 6509b181 2022-12-30 thomas * Copyright (c) 2004 Ryan McBride <mcbride@openbsd.org>
6 6509b181 2022-12-30 thomas * Copyright (c) 2002, 2003, 2004 Henning Brauer <henning@openbsd.org>
7 6509b181 2022-12-30 thomas * Copyright (c) 2001 Markus Friedl. All rights reserved.
8 6509b181 2022-12-30 thomas * Copyright (c) 2001 Daniel Hartmeier. All rights reserved.
9 6509b181 2022-12-30 thomas * Copyright (c) 2001 Theo de Raadt. All rights reserved.
10 6509b181 2022-12-30 thomas *
11 6509b181 2022-12-30 thomas * Permission to use, copy, modify, and distribute this software for any
12 6509b181 2022-12-30 thomas * purpose with or without fee is hereby granted, provided that the above
13 6509b181 2022-12-30 thomas * copyright notice and this permission notice appear in all copies.
14 6509b181 2022-12-30 thomas *
15 6509b181 2022-12-30 thomas * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
16 6509b181 2022-12-30 thomas * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
17 6509b181 2022-12-30 thomas * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
18 6509b181 2022-12-30 thomas * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
19 6509b181 2022-12-30 thomas * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
20 6509b181 2022-12-30 thomas * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
21 6509b181 2022-12-30 thomas * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
22 6509b181 2022-12-30 thomas */
23 6509b181 2022-12-30 thomas
24 6509b181 2022-12-30 thomas %{
25 6509b181 2022-12-30 thomas
26 6509b181 2022-12-30 thomas #include <sys/queue.h>
27 6509b181 2022-12-30 thomas
28 6509b181 2022-12-30 thomas #include <ctype.h>
29 6509b181 2022-12-30 thomas #include <err.h>
30 6509b181 2022-12-30 thomas #include <stdio.h>
31 6509b181 2022-12-30 thomas #include <stdlib.h>
32 6509b181 2022-12-30 thomas #include <stdarg.h>
33 6509b181 2022-12-30 thomas #include <stdint.h>
34 6509b181 2022-12-30 thomas #include <string.h>
35 6509b181 2022-12-30 thomas #include <unistd.h>
36 cb11302c 2022-12-30 thomas
37 cb11302c 2022-12-30 thomas #include "got_compat.h"
38 6509b181 2022-12-30 thomas
39 6509b181 2022-12-30 thomas #ifndef nitems
40 6509b181 2022-12-30 thomas #define nitems(_a) (sizeof((_a)) / sizeof((_a)[0]))
41 6509b181 2022-12-30 thomas #endif
42 6509b181 2022-12-30 thomas
43 6509b181 2022-12-30 thomas TAILQ_HEAD(files, file) files = TAILQ_HEAD_INITIALIZER(files);
44 6509b181 2022-12-30 thomas static struct file {
45 6509b181 2022-12-30 thomas TAILQ_ENTRY(file) entry;
46 6509b181 2022-12-30 thomas FILE *stream;
47 6509b181 2022-12-30 thomas char *name;
48 6509b181 2022-12-30 thomas size_t ungetpos;
49 6509b181 2022-12-30 thomas size_t ungetsize;
50 6509b181 2022-12-30 thomas unsigned char *ungetbuf;
51 6509b181 2022-12-30 thomas int eof_reached;
52 6509b181 2022-12-30 thomas int lineno;
53 6509b181 2022-12-30 thomas int errors;
54 6509b181 2022-12-30 thomas } *file, *topfile;
55 6509b181 2022-12-30 thomas int parse(FILE *, const char *);
56 6509b181 2022-12-30 thomas struct file *pushfile(const char *, int);
57 6509b181 2022-12-30 thomas int popfile(void);
58 6509b181 2022-12-30 thomas int yyparse(void);
59 6509b181 2022-12-30 thomas int yylex(void);
60 6509b181 2022-12-30 thomas int yyerror(const char *, ...)
61 6509b181 2022-12-30 thomas __attribute__((__format__ (printf, 1, 2)))
62 6509b181 2022-12-30 thomas __attribute__((__nonnull__ (1)));
63 6509b181 2022-12-30 thomas int kw_cmp(const void *, const void *);
64 6509b181 2022-12-30 thomas int lookup(char *);
65 6509b181 2022-12-30 thomas int igetc(void);
66 6509b181 2022-12-30 thomas int lgetc(int);
67 6509b181 2022-12-30 thomas void lungetc(int);
68 6509b181 2022-12-30 thomas int findeol(void);
69 6509b181 2022-12-30 thomas
70 6509b181 2022-12-30 thomas void dbg(void);
71 6509b181 2022-12-30 thomas void printq(const char *);
72 6509b181 2022-12-30 thomas
73 6509b181 2022-12-30 thomas extern int nodebug;
74 6509b181 2022-12-30 thomas
75 6509b181 2022-12-30 thomas static FILE *fp;
76 6509b181 2022-12-30 thomas
77 6509b181 2022-12-30 thomas static int block;
78 6509b181 2022-12-30 thomas static int in_define;
79 6509b181 2022-12-30 thomas static int errors;
80 6509b181 2022-12-30 thomas static int lastline = -1;
81 6509b181 2022-12-30 thomas
82 6509b181 2022-12-30 thomas typedef struct {
83 6509b181 2022-12-30 thomas union {
84 6509b181 2022-12-30 thomas char *string;
85 6509b181 2022-12-30 thomas } v;
86 6509b181 2022-12-30 thomas int lineno;
87 6509b181 2022-12-30 thomas } YYSTYPE;
88 6509b181 2022-12-30 thomas
89 6509b181 2022-12-30 thomas %}
90 6509b181 2022-12-30 thomas
91 6509b181 2022-12-30 thomas %token DEFINE ELSE END ERROR FINALLY FOR IF INCLUDE PRINTF
92 3594b24d 2023-01-06 thomas %token RENDER TQFOREACH UNSAFE URLESCAPE WHILE
93 6509b181 2022-12-30 thomas %token <v.string> STRING
94 d28713db 2023-09-12 thomas %type <v.string> string nstring
95 6509b181 2022-12-30 thomas %type <v.string> stringy
96 6509b181 2022-12-30 thomas
97 6509b181 2022-12-30 thomas %%
98 6509b181 2022-12-30 thomas
99 6509b181 2022-12-30 thomas grammar : /* empty */
100 6509b181 2022-12-30 thomas | grammar include
101 6509b181 2022-12-30 thomas | grammar verbatim
102 6509b181 2022-12-30 thomas | grammar block
103 6509b181 2022-12-30 thomas | grammar error { file->errors++; }
104 6509b181 2022-12-30 thomas ;
105 6509b181 2022-12-30 thomas
106 6509b181 2022-12-30 thomas include : INCLUDE STRING {
107 6509b181 2022-12-30 thomas struct file *nfile;
108 6509b181 2022-12-30 thomas
109 6509b181 2022-12-30 thomas if ((nfile = pushfile($2, 0)) == NULL) {
110 6509b181 2022-12-30 thomas yyerror("failed to include file %s", $2);
111 6509b181 2022-12-30 thomas free($2);
112 6509b181 2022-12-30 thomas YYERROR;
113 6509b181 2022-12-30 thomas }
114 6509b181 2022-12-30 thomas free($2);
115 6509b181 2022-12-30 thomas
116 6509b181 2022-12-30 thomas file = nfile;
117 6509b181 2022-12-30 thomas lungetc('\n');
118 6509b181 2022-12-30 thomas }
119 6509b181 2022-12-30 thomas ;
120 6509b181 2022-12-30 thomas
121 6509b181 2022-12-30 thomas verbatim : '!' verbatim1 '!' {
122 6509b181 2022-12-30 thomas if (in_define) {
123 6509b181 2022-12-30 thomas /* TODO: check template status and exit in case */
124 6509b181 2022-12-30 thomas }
125 6509b181 2022-12-30 thomas }
126 6509b181 2022-12-30 thomas ;
127 6509b181 2022-12-30 thomas
128 6509b181 2022-12-30 thomas verbatim1 : /* empty */
129 6509b181 2022-12-30 thomas | verbatim1 STRING {
130 6509b181 2022-12-30 thomas if (*$2 != '\0') {
131 6509b181 2022-12-30 thomas dbg();
132 6509b181 2022-12-30 thomas fprintf(fp, "%s\n", $2);
133 6509b181 2022-12-30 thomas }
134 6509b181 2022-12-30 thomas free($2);
135 6509b181 2022-12-30 thomas }
136 6509b181 2022-12-30 thomas ;
137 6509b181 2022-12-30 thomas
138 6509b181 2022-12-30 thomas verbatims : /* empty */
139 6509b181 2022-12-30 thomas | verbatims verbatim
140 6509b181 2022-12-30 thomas ;
141 6509b181 2022-12-30 thomas
142 d28713db 2023-09-12 thomas raw : nstring {
143 6509b181 2022-12-30 thomas dbg();
144 6509b181 2022-12-30 thomas fprintf(fp, "if ((tp_ret = tp->tp_puts(tp, ");
145 6509b181 2022-12-30 thomas printq($1);
146 6509b181 2022-12-30 thomas fputs(")) == -1) goto err;\n", fp);
147 6509b181 2022-12-30 thomas
148 6509b181 2022-12-30 thomas free($1);
149 6509b181 2022-12-30 thomas }
150 6509b181 2022-12-30 thomas ;
151 6509b181 2022-12-30 thomas
152 6509b181 2022-12-30 thomas block : define body end {
153 6509b181 2022-12-30 thomas fputs("err:\n", fp);
154 6509b181 2022-12-30 thomas fputs("return tp_ret;\n", fp);
155 6509b181 2022-12-30 thomas fputs("}\n", fp);
156 6509b181 2022-12-30 thomas in_define = 0;
157 6509b181 2022-12-30 thomas }
158 6509b181 2022-12-30 thomas | define body finally end {
159 6509b181 2022-12-30 thomas fputs("return tp_ret;\n", fp);
160 6509b181 2022-12-30 thomas fputs("}\n", fp);
161 6509b181 2022-12-30 thomas in_define = 0;
162 6509b181 2022-12-30 thomas }
163 6509b181 2022-12-30 thomas ;
164 6509b181 2022-12-30 thomas
165 6509b181 2022-12-30 thomas define : '{' DEFINE string '}' {
166 6509b181 2022-12-30 thomas in_define = 1;
167 6509b181 2022-12-30 thomas
168 6509b181 2022-12-30 thomas dbg();
169 6509b181 2022-12-30 thomas fprintf(fp, "int\n%s\n{\n", $3);
170 6509b181 2022-12-30 thomas fputs("int tp_ret = 0;\n", fp);
171 6509b181 2022-12-30 thomas
172 6509b181 2022-12-30 thomas free($3);
173 6509b181 2022-12-30 thomas }
174 6509b181 2022-12-30 thomas ;
175 6509b181 2022-12-30 thomas
176 6509b181 2022-12-30 thomas body : /* empty */
177 6509b181 2022-12-30 thomas | body verbatim
178 6509b181 2022-12-30 thomas | body raw
179 6509b181 2022-12-30 thomas | body special
180 6509b181 2022-12-30 thomas ;
181 6509b181 2022-12-30 thomas
182 6509b181 2022-12-30 thomas special : '{' RENDER string '}' {
183 6509b181 2022-12-30 thomas dbg();
184 6509b181 2022-12-30 thomas fprintf(fp, "if ((tp_ret = %s) == -1) goto err;\n",
185 6509b181 2022-12-30 thomas $3);
186 6509b181 2022-12-30 thomas free($3);
187 6509b181 2022-12-30 thomas }
188 6509b181 2022-12-30 thomas | printf
189 6509b181 2022-12-30 thomas | if body endif { fputs("}\n", fp); }
190 6509b181 2022-12-30 thomas | loop
191 6509b181 2022-12-30 thomas | '{' string '|' UNSAFE '}' {
192 6509b181 2022-12-30 thomas dbg();
193 6509b181 2022-12-30 thomas fprintf(fp,
194 6509b181 2022-12-30 thomas "if ((tp_ret = tp->tp_puts(tp, %s)) == -1)\n",
195 6509b181 2022-12-30 thomas $2);
196 6509b181 2022-12-30 thomas fputs("goto err;\n", fp);
197 6509b181 2022-12-30 thomas free($2);
198 6509b181 2022-12-30 thomas }
199 6509b181 2022-12-30 thomas | '{' string '|' URLESCAPE '}' {
200 6509b181 2022-12-30 thomas dbg();
201 6509b181 2022-12-30 thomas fprintf(fp,
202 6509b181 2022-12-30 thomas "if ((tp_ret = tp_urlescape(tp, %s)) == -1)\n",
203 6509b181 2022-12-30 thomas $2);
204 6509b181 2022-12-30 thomas fputs("goto err;\n", fp);
205 6509b181 2022-12-30 thomas free($2);
206 6509b181 2022-12-30 thomas }
207 6509b181 2022-12-30 thomas | '{' string '}' {
208 6509b181 2022-12-30 thomas dbg();
209 6509b181 2022-12-30 thomas fprintf(fp,
210 6509b181 2022-12-30 thomas "if ((tp_ret = tp->tp_escape(tp, %s)) == -1)\n",
211 6509b181 2022-12-30 thomas $2);
212 6509b181 2022-12-30 thomas fputs("goto err;\n", fp);
213 6509b181 2022-12-30 thomas free($2);
214 6509b181 2022-12-30 thomas }
215 6509b181 2022-12-30 thomas ;
216 6509b181 2022-12-30 thomas
217 6509b181 2022-12-30 thomas printf : '{' PRINTF {
218 6509b181 2022-12-30 thomas dbg();
219 6509b181 2022-12-30 thomas fprintf(fp, "if (asprintf(&tp->tp_tmp, ");
220 6509b181 2022-12-30 thomas } printfargs '}' {
221 6509b181 2022-12-30 thomas fputs(") == -1)\n", fp);
222 6509b181 2022-12-30 thomas fputs("goto err;\n", fp);
223 6509b181 2022-12-30 thomas fputs("if ((tp_ret = tp->tp_escape(tp, tp->tp_tmp)) "
224 6509b181 2022-12-30 thomas "== -1)\n", fp);
225 6509b181 2022-12-30 thomas fputs("goto err;\n", fp);
226 6509b181 2022-12-30 thomas fputs("free(tp->tp_tmp);\n", fp);
227 6509b181 2022-12-30 thomas fputs("tp->tp_tmp = NULL;\n", fp);
228 6509b181 2022-12-30 thomas }
229 6509b181 2022-12-30 thomas ;
230 6509b181 2022-12-30 thomas
231 6509b181 2022-12-30 thomas printfargs : /* empty */
232 6509b181 2022-12-30 thomas | printfargs STRING {
233 6509b181 2022-12-30 thomas fprintf(fp, " %s", $2);
234 6509b181 2022-12-30 thomas free($2);
235 6509b181 2022-12-30 thomas }
236 6509b181 2022-12-30 thomas ;
237 6509b181 2022-12-30 thomas
238 6509b181 2022-12-30 thomas if : '{' IF stringy '}' {
239 6509b181 2022-12-30 thomas dbg();
240 6509b181 2022-12-30 thomas fprintf(fp, "if (%s) {\n", $3);
241 6509b181 2022-12-30 thomas free($3);
242 6509b181 2022-12-30 thomas }
243 6509b181 2022-12-30 thomas ;
244 6509b181 2022-12-30 thomas
245 6509b181 2022-12-30 thomas endif : end
246 6509b181 2022-12-30 thomas | else body end
247 6509b181 2022-12-30 thomas | elsif body endif
248 6509b181 2022-12-30 thomas ;
249 6509b181 2022-12-30 thomas
250 6509b181 2022-12-30 thomas elsif : '{' ELSE IF stringy '}' {
251 6509b181 2022-12-30 thomas dbg();
252 6509b181 2022-12-30 thomas fprintf(fp, "} else if (%s) {\n", $4);
253 6509b181 2022-12-30 thomas free($4);
254 6509b181 2022-12-30 thomas }
255 6509b181 2022-12-30 thomas ;
256 6509b181 2022-12-30 thomas
257 6509b181 2022-12-30 thomas else : '{' ELSE '}' {
258 6509b181 2022-12-30 thomas dbg();
259 6509b181 2022-12-30 thomas fputs("} else {\n", fp);
260 6509b181 2022-12-30 thomas }
261 6509b181 2022-12-30 thomas ;
262 6509b181 2022-12-30 thomas
263 6509b181 2022-12-30 thomas loop : '{' FOR stringy '}' {
264 6509b181 2022-12-30 thomas fprintf(fp, "for (%s) {\n", $3);
265 6509b181 2022-12-30 thomas free($3);
266 6509b181 2022-12-30 thomas } body end {
267 6509b181 2022-12-30 thomas fputs("}\n", fp);
268 6509b181 2022-12-30 thomas }
269 6509b181 2022-12-30 thomas | '{' TQFOREACH STRING STRING STRING '}' {
270 6509b181 2022-12-30 thomas fprintf(fp, "TAILQ_FOREACH(%s, %s, %s) {\n",
271 6509b181 2022-12-30 thomas $3, $4, $5);
272 6509b181 2022-12-30 thomas free($3);
273 6509b181 2022-12-30 thomas free($4);
274 6509b181 2022-12-30 thomas free($5);
275 6509b181 2022-12-30 thomas } body end {
276 6509b181 2022-12-30 thomas fputs("}\n", fp);
277 6509b181 2022-12-30 thomas }
278 3594b24d 2023-01-06 thomas | '{' WHILE stringy '}' {
279 3594b24d 2023-01-06 thomas fprintf(fp, "while (%s) {\n", $3);
280 3594b24d 2023-01-06 thomas free($3);
281 3594b24d 2023-01-06 thomas } body end {
282 3594b24d 2023-01-06 thomas fputs("}\n", fp);
283 3594b24d 2023-01-06 thomas }
284 6509b181 2022-12-30 thomas ;
285 6509b181 2022-12-30 thomas
286 6509b181 2022-12-30 thomas end : '{' END '}'
287 6509b181 2022-12-30 thomas ;
288 6509b181 2022-12-30 thomas
289 6509b181 2022-12-30 thomas finally : '{' FINALLY '}' {
290 6509b181 2022-12-30 thomas dbg();
291 6509b181 2022-12-30 thomas fputs("err:\n", fp);
292 6509b181 2022-12-30 thomas } verbatims
293 6509b181 2022-12-30 thomas ;
294 6509b181 2022-12-30 thomas
295 d28713db 2023-09-12 thomas nstring : STRING nstring {
296 d28713db 2023-09-12 thomas if (asprintf(&$$, "%s%s", $1, $2) == -1)
297 d28713db 2023-09-12 thomas err(1, "asprintf");
298 d28713db 2023-09-12 thomas free($1);
299 d28713db 2023-09-12 thomas free($2);
300 d28713db 2023-09-12 thomas }
301 d28713db 2023-09-12 thomas | STRING
302 d28713db 2023-09-12 thomas ;
303 d28713db 2023-09-12 thomas
304 6509b181 2022-12-30 thomas string : STRING string {
305 6509b181 2022-12-30 thomas if (asprintf(&$$, "%s %s", $1, $2) == -1)
306 6509b181 2022-12-30 thomas err(1, "asprintf");
307 6509b181 2022-12-30 thomas free($1);
308 6509b181 2022-12-30 thomas free($2);
309 6509b181 2022-12-30 thomas }
310 6509b181 2022-12-30 thomas | STRING
311 6509b181 2022-12-30 thomas ;
312 6509b181 2022-12-30 thomas
313 6509b181 2022-12-30 thomas stringy : STRING
314 6509b181 2022-12-30 thomas | STRING stringy {
315 6509b181 2022-12-30 thomas if (asprintf(&$$, "%s %s", $1, $2) == -1)
316 6509b181 2022-12-30 thomas err(1, "asprintf");
317 6509b181 2022-12-30 thomas free($1);
318 6509b181 2022-12-30 thomas free($2);
319 6509b181 2022-12-30 thomas }
320 6509b181 2022-12-30 thomas | '|' stringy {
321 6509b181 2022-12-30 thomas if (asprintf(&$$, "|%s", $2) == -1)
322 6509b181 2022-12-30 thomas err(1, "asprintf");
323 6509b181 2022-12-30 thomas free($2);
324 6509b181 2022-12-30 thomas }
325 6509b181 2022-12-30 thomas ;
326 6509b181 2022-12-30 thomas
327 6509b181 2022-12-30 thomas %%
328 6509b181 2022-12-30 thomas
329 6509b181 2022-12-30 thomas struct keywords {
330 6509b181 2022-12-30 thomas const char *k_name;
331 6509b181 2022-12-30 thomas int k_val;
332 6509b181 2022-12-30 thomas };
333 6509b181 2022-12-30 thomas
334 6509b181 2022-12-30 thomas int
335 6509b181 2022-12-30 thomas yyerror(const char *fmt, ...)
336 6509b181 2022-12-30 thomas {
337 6509b181 2022-12-30 thomas va_list ap;
338 6509b181 2022-12-30 thomas char *msg;
339 6509b181 2022-12-30 thomas
340 6509b181 2022-12-30 thomas file->errors++;
341 6509b181 2022-12-30 thomas va_start(ap, fmt);
342 6509b181 2022-12-30 thomas if (vasprintf(&msg, fmt, ap) == -1)
343 6509b181 2022-12-30 thomas err(1, "yyerror vasprintf");
344 6509b181 2022-12-30 thomas va_end(ap);
345 6509b181 2022-12-30 thomas fprintf(stderr, "%s:%d: %s\n", file->name, yylval.lineno, msg);
346 6509b181 2022-12-30 thomas free(msg);
347 6509b181 2022-12-30 thomas return (0);
348 6509b181 2022-12-30 thomas }
349 6509b181 2022-12-30 thomas
350 6509b181 2022-12-30 thomas int
351 6509b181 2022-12-30 thomas kw_cmp(const void *k, const void *e)
352 6509b181 2022-12-30 thomas {
353 6509b181 2022-12-30 thomas return (strcmp(k, ((const struct keywords *)e)->k_name));
354 6509b181 2022-12-30 thomas }
355 6509b181 2022-12-30 thomas
356 6509b181 2022-12-30 thomas int
357 6509b181 2022-12-30 thomas lookup(char *s)
358 6509b181 2022-12-30 thomas {
359 6509b181 2022-12-30 thomas /* this has to be sorted always */
360 6509b181 2022-12-30 thomas static const struct keywords keywords[] = {
361 6509b181 2022-12-30 thomas { "define", DEFINE },
362 6509b181 2022-12-30 thomas { "else", ELSE },
363 6509b181 2022-12-30 thomas { "end", END },
364 6509b181 2022-12-30 thomas { "finally", FINALLY },
365 6509b181 2022-12-30 thomas { "for", FOR },
366 6509b181 2022-12-30 thomas { "if", IF },
367 6509b181 2022-12-30 thomas { "include", INCLUDE },
368 6509b181 2022-12-30 thomas { "printf", PRINTF },
369 6509b181 2022-12-30 thomas { "render", RENDER },
370 6509b181 2022-12-30 thomas { "tailq-foreach", TQFOREACH },
371 6509b181 2022-12-30 thomas { "unsafe", UNSAFE },
372 6509b181 2022-12-30 thomas { "urlescape", URLESCAPE },
373 3594b24d 2023-01-06 thomas { "while", WHILE },
374 6509b181 2022-12-30 thomas };
375 6509b181 2022-12-30 thomas const struct keywords *p;
376 6509b181 2022-12-30 thomas
377 6509b181 2022-12-30 thomas p = bsearch(s, keywords, nitems(keywords), sizeof(keywords[0]),
378 6509b181 2022-12-30 thomas kw_cmp);
379 6509b181 2022-12-30 thomas
380 6509b181 2022-12-30 thomas if (p)
381 6509b181 2022-12-30 thomas return (p->k_val);
382 6509b181 2022-12-30 thomas else
383 6509b181 2022-12-30 thomas return (STRING);
384 6509b181 2022-12-30 thomas }
385 6509b181 2022-12-30 thomas
386 6509b181 2022-12-30 thomas #define START_EXPAND 1
387 6509b181 2022-12-30 thomas #define DONE_EXPAND 2
388 6509b181 2022-12-30 thomas
389 6509b181 2022-12-30 thomas static int expanding;
390 6509b181 2022-12-30 thomas
391 6509b181 2022-12-30 thomas int
392 6509b181 2022-12-30 thomas igetc(void)
393 6509b181 2022-12-30 thomas {
394 6509b181 2022-12-30 thomas int c;
395 6509b181 2022-12-30 thomas
396 6509b181 2022-12-30 thomas while (1) {
397 6509b181 2022-12-30 thomas if (file->ungetpos > 0)
398 6509b181 2022-12-30 thomas c = file->ungetbuf[--file->ungetpos];
399 6509b181 2022-12-30 thomas else
400 6509b181 2022-12-30 thomas c = getc(file->stream);
401 6509b181 2022-12-30 thomas
402 6509b181 2022-12-30 thomas if (c == START_EXPAND)
403 6509b181 2022-12-30 thomas expanding = 1;
404 6509b181 2022-12-30 thomas else if (c == DONE_EXPAND)
405 6509b181 2022-12-30 thomas expanding = 0;
406 6509b181 2022-12-30 thomas else
407 6509b181 2022-12-30 thomas break;
408 6509b181 2022-12-30 thomas }
409 6509b181 2022-12-30 thomas return (c);
410 6509b181 2022-12-30 thomas }
411 6509b181 2022-12-30 thomas
412 6509b181 2022-12-30 thomas int
413 6509b181 2022-12-30 thomas lgetc(int quotec)
414 6509b181 2022-12-30 thomas {
415 6509b181 2022-12-30 thomas int c;
416 6509b181 2022-12-30 thomas
417 6509b181 2022-12-30 thomas if (quotec) {
418 6509b181 2022-12-30 thomas if ((c = igetc()) == EOF) {
419 6509b181 2022-12-30 thomas yyerror("reached end of filewhile parsing "
420 6509b181 2022-12-30 thomas "quoted string");
421 6509b181 2022-12-30 thomas if (file == topfile || popfile() == EOF)
422 6509b181 2022-12-30 thomas return (EOF);
423 6509b181 2022-12-30 thomas return (quotec);
424 6509b181 2022-12-30 thomas }
425 6509b181 2022-12-30 thomas return (c);
426 6509b181 2022-12-30 thomas }
427 6509b181 2022-12-30 thomas
428 6509b181 2022-12-30 thomas c = igetc();
429 6509b181 2022-12-30 thomas if (c == '\t' || c == ' ') {
430 6509b181 2022-12-30 thomas /* Compress blanks to a sigle space. */
431 6509b181 2022-12-30 thomas do {
432 6509b181 2022-12-30 thomas c = getc(file->stream);
433 6509b181 2022-12-30 thomas } while (c == '\t' || c == ' ');
434 6509b181 2022-12-30 thomas ungetc(c, file->stream);
435 6509b181 2022-12-30 thomas c = ' ';
436 6509b181 2022-12-30 thomas }
437 6509b181 2022-12-30 thomas
438 6509b181 2022-12-30 thomas if (c == EOF) {
439 6509b181 2022-12-30 thomas /*
440 6509b181 2022-12-30 thomas * Fake EOL when hit EOF for the first time. This gets line
441 f39a6046 2023-04-01 thomas * count right if last line in included file is syntactically
442 6509b181 2022-12-30 thomas * invalid and has no newline.
443 6509b181 2022-12-30 thomas */
444 6509b181 2022-12-30 thomas if (file->eof_reached == 0) {
445 6509b181 2022-12-30 thomas file->eof_reached = 1;
446 6509b181 2022-12-30 thomas return ('\n');
447 6509b181 2022-12-30 thomas }
448 6509b181 2022-12-30 thomas while (c == EOF) {
449 6509b181 2022-12-30 thomas if (file == topfile || popfile() == EOF)
450 6509b181 2022-12-30 thomas return (EOF);
451 6509b181 2022-12-30 thomas c = igetc();
452 6509b181 2022-12-30 thomas }
453 6509b181 2022-12-30 thomas }
454 6509b181 2022-12-30 thomas return (c);
455 6509b181 2022-12-30 thomas }
456 6509b181 2022-12-30 thomas
457 6509b181 2022-12-30 thomas void
458 6509b181 2022-12-30 thomas lungetc(int c)
459 6509b181 2022-12-30 thomas {
460 6509b181 2022-12-30 thomas if (c == EOF)
461 6509b181 2022-12-30 thomas return;
462 6509b181 2022-12-30 thomas
463 6509b181 2022-12-30 thomas if (file->ungetpos >= file->ungetsize) {
464 6509b181 2022-12-30 thomas void *p = reallocarray(file->ungetbuf, file->ungetsize, 2);
465 6509b181 2022-12-30 thomas if (p == NULL)
466 6509b181 2022-12-30 thomas err(1, "reallocarray");
467 6509b181 2022-12-30 thomas file->ungetbuf = p;
468 6509b181 2022-12-30 thomas file->ungetsize *= 2;
469 6509b181 2022-12-30 thomas }
470 6509b181 2022-12-30 thomas file->ungetbuf[file->ungetpos++] = c;
471 6509b181 2022-12-30 thomas }
472 6509b181 2022-12-30 thomas
473 6509b181 2022-12-30 thomas int
474 6509b181 2022-12-30 thomas findeol(void)
475 6509b181 2022-12-30 thomas {
476 6509b181 2022-12-30 thomas int c;
477 6509b181 2022-12-30 thomas
478 6509b181 2022-12-30 thomas /* skip to either EOF or the first real EOL */
479 6509b181 2022-12-30 thomas while (1) {
480 6509b181 2022-12-30 thomas c = lgetc(0);
481 6509b181 2022-12-30 thomas if (c == '\n') {
482 6509b181 2022-12-30 thomas file->lineno++;
483 6509b181 2022-12-30 thomas break;
484 6509b181 2022-12-30 thomas }
485 6509b181 2022-12-30 thomas if (c == EOF)
486 6509b181 2022-12-30 thomas break;
487 6509b181 2022-12-30 thomas }
488 6509b181 2022-12-30 thomas return (ERROR);
489 6509b181 2022-12-30 thomas }
490 6509b181 2022-12-30 thomas
491 6509b181 2022-12-30 thomas int
492 6509b181 2022-12-30 thomas yylex(void)
493 6509b181 2022-12-30 thomas {
494 6509b181 2022-12-30 thomas char buf[8096];
495 6509b181 2022-12-30 thomas char *p = buf;
496 6509b181 2022-12-30 thomas int c;
497 6509b181 2022-12-30 thomas int token;
498 6509b181 2022-12-30 thomas int starting = 0;
499 6509b181 2022-12-30 thomas int ending = 0;
500 6509b181 2022-12-30 thomas int quote = 0;
501 6509b181 2022-12-30 thomas
502 6509b181 2022-12-30 thomas if (!in_define && block == 0) {
503 6509b181 2022-12-30 thomas while ((c = lgetc(0)) != '{' && c != EOF) {
504 6509b181 2022-12-30 thomas if (c == '\n')
505 6509b181 2022-12-30 thomas file->lineno++;
506 6509b181 2022-12-30 thomas }
507 6509b181 2022-12-30 thomas
508 6509b181 2022-12-30 thomas if (c == EOF)
509 6509b181 2022-12-30 thomas return (0);
510 6509b181 2022-12-30 thomas
511 6509b181 2022-12-30 thomas newblock:
512 6509b181 2022-12-30 thomas c = lgetc(0);
513 6509b181 2022-12-30 thomas if (c == '{' || c == '!') {
514 6509b181 2022-12-30 thomas if (c == '{')
515 6509b181 2022-12-30 thomas block = '}';
516 6509b181 2022-12-30 thomas else
517 6509b181 2022-12-30 thomas block = c;
518 6509b181 2022-12-30 thomas return (c);
519 6509b181 2022-12-30 thomas }
520 6509b181 2022-12-30 thomas if (c == '\n')
521 6509b181 2022-12-30 thomas file->lineno++;
522 6509b181 2022-12-30 thomas }
523 6509b181 2022-12-30 thomas
524 6509b181 2022-12-30 thomas while ((c = lgetc(0)) == ' ' || c == '\t' || c == '\n') {
525 6509b181 2022-12-30 thomas if (c == '\n')
526 6509b181 2022-12-30 thomas file->lineno++;
527 6509b181 2022-12-30 thomas }
528 6509b181 2022-12-30 thomas
529 6509b181 2022-12-30 thomas if (c == EOF) {
530 6509b181 2022-12-30 thomas yyerror("unterminated block");
531 6509b181 2022-12-30 thomas return (0);
532 6509b181 2022-12-30 thomas }
533 6509b181 2022-12-30 thomas
534 6509b181 2022-12-30 thomas yylval.lineno = file->lineno;
535 6509b181 2022-12-30 thomas
536 6509b181 2022-12-30 thomas if (block != 0 && c == block) {
537 6509b181 2022-12-30 thomas if ((c = lgetc(0)) == '}') {
538 6509b181 2022-12-30 thomas if (block == '!') {
539 6509b181 2022-12-30 thomas block = 0;
540 6509b181 2022-12-30 thomas return ('!');
541 6509b181 2022-12-30 thomas }
542 6509b181 2022-12-30 thomas block = 0;
543 6509b181 2022-12-30 thomas return ('}');
544 6509b181 2022-12-30 thomas }
545 6509b181 2022-12-30 thomas lungetc(c);
546 6509b181 2022-12-30 thomas c = block;
547 6509b181 2022-12-30 thomas }
548 6509b181 2022-12-30 thomas
549 6509b181 2022-12-30 thomas if (in_define && block == 0) {
550 6509b181 2022-12-30 thomas if (c == '{')
551 6509b181 2022-12-30 thomas goto newblock;
552 6509b181 2022-12-30 thomas
553 6509b181 2022-12-30 thomas do {
554 6509b181 2022-12-30 thomas if (starting) {
555 6509b181 2022-12-30 thomas if (c == '!' || c == '{') {
556 6509b181 2022-12-30 thomas lungetc(c);
557 6509b181 2022-12-30 thomas lungetc('{');
558 6509b181 2022-12-30 thomas break;
559 6509b181 2022-12-30 thomas }
560 6509b181 2022-12-30 thomas starting = 0;
561 6509b181 2022-12-30 thomas lungetc(c);
562 6509b181 2022-12-30 thomas c = '{';
563 6509b181 2022-12-30 thomas } else if (c == '{') {
564 6509b181 2022-12-30 thomas starting = 1;
565 6509b181 2022-12-30 thomas continue;
566 84efe063 2023-04-04 thomas } else if (c == '\n')
567 84efe063 2023-04-04 thomas break;
568 6509b181 2022-12-30 thomas
569 6509b181 2022-12-30 thomas *p++ = c;
570 6509b181 2022-12-30 thomas if ((size_t)(p - buf) >= sizeof(buf)) {
571 6509b181 2022-12-30 thomas yyerror("string too long");
572 6509b181 2022-12-30 thomas return (findeol());
573 6509b181 2022-12-30 thomas }
574 84efe063 2023-04-04 thomas } while ((c = lgetc(0)) != EOF);
575 6509b181 2022-12-30 thomas *p = '\0';
576 6509b181 2022-12-30 thomas if (c == EOF) {
577 6509b181 2022-12-30 thomas yyerror("unterminated block");
578 6509b181 2022-12-30 thomas return (0);
579 6509b181 2022-12-30 thomas }
580 6509b181 2022-12-30 thomas if (c == '\n')
581 6509b181 2022-12-30 thomas file->lineno++;
582 6509b181 2022-12-30 thomas if ((yylval.v.string = strdup(buf)) == NULL)
583 6509b181 2022-12-30 thomas err(1, "strdup");
584 6509b181 2022-12-30 thomas return (STRING);
585 6509b181 2022-12-30 thomas }
586 6509b181 2022-12-30 thomas
587 6509b181 2022-12-30 thomas if (block == '!') {
588 6509b181 2022-12-30 thomas do {
589 6509b181 2022-12-30 thomas if (ending) {
590 6509b181 2022-12-30 thomas if (c == '}') {
591 6509b181 2022-12-30 thomas lungetc(c);
592 6509b181 2022-12-30 thomas lungetc(block);
593 6509b181 2022-12-30 thomas break;
594 6509b181 2022-12-30 thomas }
595 6509b181 2022-12-30 thomas ending = 0;
596 6509b181 2022-12-30 thomas lungetc(c);
597 6509b181 2022-12-30 thomas c = block;
598 6509b181 2022-12-30 thomas } else if (c == '!') {
599 6509b181 2022-12-30 thomas ending = 1;
600 6509b181 2022-12-30 thomas continue;
601 84efe063 2023-04-04 thomas } else if (c == '\n')
602 84efe063 2023-04-04 thomas break;
603 6509b181 2022-12-30 thomas
604 6509b181 2022-12-30 thomas *p++ = c;
605 6509b181 2022-12-30 thomas if ((size_t)(p - buf) >= sizeof(buf)) {
606 6509b181 2022-12-30 thomas yyerror("line too long");
607 6509b181 2022-12-30 thomas return (findeol());
608 6509b181 2022-12-30 thomas }
609 84efe063 2023-04-04 thomas } while ((c = lgetc(0)) != EOF);
610 6509b181 2022-12-30 thomas *p = '\0';
611 6509b181 2022-12-30 thomas
612 6509b181 2022-12-30 thomas if (c == EOF) {
613 6509b181 2022-12-30 thomas yyerror("unterminated block");
614 6509b181 2022-12-30 thomas return (0);
615 6509b181 2022-12-30 thomas }
616 6509b181 2022-12-30 thomas if (c == '\n')
617 6509b181 2022-12-30 thomas file->lineno++;
618 6509b181 2022-12-30 thomas
619 6509b181 2022-12-30 thomas if ((yylval.v.string = strdup(buf)) == NULL)
620 6509b181 2022-12-30 thomas err(1, "strdup");
621 6509b181 2022-12-30 thomas return (STRING);
622 6509b181 2022-12-30 thomas }
623 6509b181 2022-12-30 thomas
624 6509b181 2022-12-30 thomas if (c == '|')
625 6509b181 2022-12-30 thomas return (c);
626 6509b181 2022-12-30 thomas
627 6509b181 2022-12-30 thomas do {
628 6509b181 2022-12-30 thomas if (!quote && isspace((unsigned char)c))
629 6509b181 2022-12-30 thomas break;
630 6509b181 2022-12-30 thomas
631 6509b181 2022-12-30 thomas if (c == '"')
632 6509b181 2022-12-30 thomas quote = !quote;
633 6509b181 2022-12-30 thomas
634 6509b181 2022-12-30 thomas if (!quote && c == '|') {
635 6509b181 2022-12-30 thomas lungetc(c);
636 6509b181 2022-12-30 thomas break;
637 6509b181 2022-12-30 thomas }
638 6509b181 2022-12-30 thomas
639 6509b181 2022-12-30 thomas if (ending) {
640 6509b181 2022-12-30 thomas if (c == '}') {
641 6509b181 2022-12-30 thomas lungetc(c);
642 6509b181 2022-12-30 thomas lungetc('}');
643 6509b181 2022-12-30 thomas break;
644 6509b181 2022-12-30 thomas }
645 6509b181 2022-12-30 thomas ending = 0;
646 6509b181 2022-12-30 thomas lungetc(c);
647 6509b181 2022-12-30 thomas c = block;
648 6509b181 2022-12-30 thomas } else if (!quote && c == '}') {
649 6509b181 2022-12-30 thomas ending = 1;
650 6509b181 2022-12-30 thomas continue;
651 6509b181 2022-12-30 thomas }
652 6509b181 2022-12-30 thomas
653 6509b181 2022-12-30 thomas *p++ = c;
654 6509b181 2022-12-30 thomas if ((size_t)(p - buf) >= sizeof(buf)) {
655 6509b181 2022-12-30 thomas yyerror("string too long");
656 6509b181 2022-12-30 thomas return (findeol());
657 6509b181 2022-12-30 thomas }
658 6509b181 2022-12-30 thomas } while ((c = lgetc(0)) != EOF);
659 6509b181 2022-12-30 thomas *p = '\0';
660 6509b181 2022-12-30 thomas
661 6509b181 2022-12-30 thomas if (c == EOF) {
662 6509b181 2022-12-30 thomas yyerror(quote ? "unterminated quote" : "unterminated block");
663 6509b181 2022-12-30 thomas return (0);
664 6509b181 2022-12-30 thomas }
665 6509b181 2022-12-30 thomas if (c == '\n')
666 6509b181 2022-12-30 thomas file->lineno++;
667 6509b181 2022-12-30 thomas if ((token = lookup(buf)) == STRING)
668 6509b181 2022-12-30 thomas if ((yylval.v.string = strdup(buf)) == NULL)
669 6509b181 2022-12-30 thomas err(1, "strdup");
670 6509b181 2022-12-30 thomas return (token);
671 6509b181 2022-12-30 thomas }
672 6509b181 2022-12-30 thomas
673 6509b181 2022-12-30 thomas struct file *
674 6509b181 2022-12-30 thomas pushfile(const char *name, int secret)
675 6509b181 2022-12-30 thomas {
676 6509b181 2022-12-30 thomas struct file *nfile;
677 6509b181 2022-12-30 thomas
678 6509b181 2022-12-30 thomas if ((nfile = calloc(1, sizeof(*nfile))) == NULL)
679 6509b181 2022-12-30 thomas err(1, "calloc");
680 6509b181 2022-12-30 thomas if ((nfile->name = strdup(name)) == NULL)
681 6509b181 2022-12-30 thomas err(1, "strdup");
682 6509b181 2022-12-30 thomas if ((nfile->stream = fopen(nfile->name, "r")) == NULL) {
683 6509b181 2022-12-30 thomas warn("can't open %s", nfile->name);
684 6509b181 2022-12-30 thomas free(nfile->name);
685 6509b181 2022-12-30 thomas free(nfile);
686 6509b181 2022-12-30 thomas return (NULL);
687 6509b181 2022-12-30 thomas }
688 6509b181 2022-12-30 thomas nfile->lineno = TAILQ_EMPTY(&files) ? 1 : 0;
689 6509b181 2022-12-30 thomas nfile->ungetsize = 16;
690 6509b181 2022-12-30 thomas nfile->ungetbuf = malloc(nfile->ungetsize);
691 6509b181 2022-12-30 thomas if (nfile->ungetbuf == NULL)
692 6509b181 2022-12-30 thomas err(1, "malloc");
693 6509b181 2022-12-30 thomas TAILQ_INSERT_TAIL(&files, nfile, entry);
694 6509b181 2022-12-30 thomas return (nfile);
695 6509b181 2022-12-30 thomas }
696 6509b181 2022-12-30 thomas
697 6509b181 2022-12-30 thomas int
698 6509b181 2022-12-30 thomas popfile(void)
699 6509b181 2022-12-30 thomas {
700 6509b181 2022-12-30 thomas struct file *prev;
701 6509b181 2022-12-30 thomas
702 6509b181 2022-12-30 thomas if ((prev = TAILQ_PREV(file, files, entry)) != NULL)
703 6509b181 2022-12-30 thomas prev->errors += file->errors;
704 6509b181 2022-12-30 thomas
705 6509b181 2022-12-30 thomas TAILQ_REMOVE(&files, file, entry);
706 6509b181 2022-12-30 thomas fclose(file->stream);
707 6509b181 2022-12-30 thomas free(file->name);
708 6509b181 2022-12-30 thomas free(file->ungetbuf);
709 6509b181 2022-12-30 thomas free(file);
710 6509b181 2022-12-30 thomas file = prev;
711 6509b181 2022-12-30 thomas return (file ? 0 : EOF);
712 6509b181 2022-12-30 thomas }
713 6509b181 2022-12-30 thomas
714 6509b181 2022-12-30 thomas int
715 6509b181 2022-12-30 thomas parse(FILE *outfile, const char *filename)
716 6509b181 2022-12-30 thomas {
717 6509b181 2022-12-30 thomas fp = outfile;
718 6509b181 2022-12-30 thomas
719 6509b181 2022-12-30 thomas if ((file = pushfile(filename, 0)) == 0)
720 6509b181 2022-12-30 thomas return (-1);
721 6509b181 2022-12-30 thomas topfile = file;
722 6509b181 2022-12-30 thomas
723 6509b181 2022-12-30 thomas yyparse();
724 6509b181 2022-12-30 thomas errors = file->errors;
725 6509b181 2022-12-30 thomas popfile();
726 6509b181 2022-12-30 thomas
727 6509b181 2022-12-30 thomas return (errors ? -1 : 0);
728 6509b181 2022-12-30 thomas }
729 6509b181 2022-12-30 thomas
730 6509b181 2022-12-30 thomas void
731 6509b181 2022-12-30 thomas dbg(void)
732 6509b181 2022-12-30 thomas {
733 6509b181 2022-12-30 thomas if (nodebug)
734 6509b181 2022-12-30 thomas return;
735 6509b181 2022-12-30 thomas
736 6509b181 2022-12-30 thomas if (yylval.lineno == lastline + 1) {
737 6509b181 2022-12-30 thomas lastline = yylval.lineno;
738 6509b181 2022-12-30 thomas return;
739 6509b181 2022-12-30 thomas }
740 6509b181 2022-12-30 thomas lastline = yylval.lineno;
741 6509b181 2022-12-30 thomas
742 6509b181 2022-12-30 thomas fprintf(fp, "#line %d ", yylval.lineno);
743 6509b181 2022-12-30 thomas printq(file->name);
744 6509b181 2022-12-30 thomas putc('\n', fp);
745 6509b181 2022-12-30 thomas }
746 6509b181 2022-12-30 thomas
747 6509b181 2022-12-30 thomas void
748 6509b181 2022-12-30 thomas printq(const char *str)
749 6509b181 2022-12-30 thomas {
750 6509b181 2022-12-30 thomas putc('"', fp);
751 6509b181 2022-12-30 thomas for (; *str; ++str) {
752 6509b181 2022-12-30 thomas if (*str == '"')
753 6509b181 2022-12-30 thomas putc('\\', fp);
754 6509b181 2022-12-30 thomas putc(*str, fp);
755 6509b181 2022-12-30 thomas }
756 6509b181 2022-12-30 thomas putc('"', fp);
757 6509b181 2022-12-30 thomas }