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 6509b181 2022-12-30 thomas %type <v.string> string
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 6509b181 2022-12-30 thomas raw : STRING {
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 6509b181 2022-12-30 thomas string : STRING string {
296 6509b181 2022-12-30 thomas if (asprintf(&$$, "%s %s", $1, $2) == -1)
297 6509b181 2022-12-30 thomas err(1, "asprintf");
298 6509b181 2022-12-30 thomas free($1);
299 6509b181 2022-12-30 thomas free($2);
300 6509b181 2022-12-30 thomas }
301 6509b181 2022-12-30 thomas | STRING
302 6509b181 2022-12-30 thomas ;
303 6509b181 2022-12-30 thomas
304 6509b181 2022-12-30 thomas stringy : STRING
305 6509b181 2022-12-30 thomas | STRING stringy {
306 6509b181 2022-12-30 thomas if (asprintf(&$$, "%s %s", $1, $2) == -1)
307 6509b181 2022-12-30 thomas err(1, "asprintf");
308 6509b181 2022-12-30 thomas free($1);
309 6509b181 2022-12-30 thomas free($2);
310 6509b181 2022-12-30 thomas }
311 6509b181 2022-12-30 thomas | '|' stringy {
312 6509b181 2022-12-30 thomas if (asprintf(&$$, "|%s", $2) == -1)
313 6509b181 2022-12-30 thomas err(1, "asprintf");
314 6509b181 2022-12-30 thomas free($2);
315 6509b181 2022-12-30 thomas }
316 6509b181 2022-12-30 thomas ;
317 6509b181 2022-12-30 thomas
318 6509b181 2022-12-30 thomas %%
319 6509b181 2022-12-30 thomas
320 6509b181 2022-12-30 thomas struct keywords {
321 6509b181 2022-12-30 thomas const char *k_name;
322 6509b181 2022-12-30 thomas int k_val;
323 6509b181 2022-12-30 thomas };
324 6509b181 2022-12-30 thomas
325 6509b181 2022-12-30 thomas int
326 6509b181 2022-12-30 thomas yyerror(const char *fmt, ...)
327 6509b181 2022-12-30 thomas {
328 6509b181 2022-12-30 thomas va_list ap;
329 6509b181 2022-12-30 thomas char *msg;
330 6509b181 2022-12-30 thomas
331 6509b181 2022-12-30 thomas file->errors++;
332 6509b181 2022-12-30 thomas va_start(ap, fmt);
333 6509b181 2022-12-30 thomas if (vasprintf(&msg, fmt, ap) == -1)
334 6509b181 2022-12-30 thomas err(1, "yyerror vasprintf");
335 6509b181 2022-12-30 thomas va_end(ap);
336 6509b181 2022-12-30 thomas fprintf(stderr, "%s:%d: %s\n", file->name, yylval.lineno, msg);
337 6509b181 2022-12-30 thomas free(msg);
338 6509b181 2022-12-30 thomas return (0);
339 6509b181 2022-12-30 thomas }
340 6509b181 2022-12-30 thomas
341 6509b181 2022-12-30 thomas int
342 6509b181 2022-12-30 thomas kw_cmp(const void *k, const void *e)
343 6509b181 2022-12-30 thomas {
344 6509b181 2022-12-30 thomas return (strcmp(k, ((const struct keywords *)e)->k_name));
345 6509b181 2022-12-30 thomas }
346 6509b181 2022-12-30 thomas
347 6509b181 2022-12-30 thomas int
348 6509b181 2022-12-30 thomas lookup(char *s)
349 6509b181 2022-12-30 thomas {
350 6509b181 2022-12-30 thomas /* this has to be sorted always */
351 6509b181 2022-12-30 thomas static const struct keywords keywords[] = {
352 6509b181 2022-12-30 thomas { "define", DEFINE },
353 6509b181 2022-12-30 thomas { "else", ELSE },
354 6509b181 2022-12-30 thomas { "end", END },
355 6509b181 2022-12-30 thomas { "finally", FINALLY },
356 6509b181 2022-12-30 thomas { "for", FOR },
357 6509b181 2022-12-30 thomas { "if", IF },
358 6509b181 2022-12-30 thomas { "include", INCLUDE },
359 6509b181 2022-12-30 thomas { "printf", PRINTF },
360 6509b181 2022-12-30 thomas { "render", RENDER },
361 6509b181 2022-12-30 thomas { "tailq-foreach", TQFOREACH },
362 6509b181 2022-12-30 thomas { "unsafe", UNSAFE },
363 6509b181 2022-12-30 thomas { "urlescape", URLESCAPE },
364 3594b24d 2023-01-06 thomas { "while", WHILE },
365 6509b181 2022-12-30 thomas };
366 6509b181 2022-12-30 thomas const struct keywords *p;
367 6509b181 2022-12-30 thomas
368 6509b181 2022-12-30 thomas p = bsearch(s, keywords, nitems(keywords), sizeof(keywords[0]),
369 6509b181 2022-12-30 thomas kw_cmp);
370 6509b181 2022-12-30 thomas
371 6509b181 2022-12-30 thomas if (p)
372 6509b181 2022-12-30 thomas return (p->k_val);
373 6509b181 2022-12-30 thomas else
374 6509b181 2022-12-30 thomas return (STRING);
375 6509b181 2022-12-30 thomas }
376 6509b181 2022-12-30 thomas
377 6509b181 2022-12-30 thomas #define START_EXPAND 1
378 6509b181 2022-12-30 thomas #define DONE_EXPAND 2
379 6509b181 2022-12-30 thomas
380 6509b181 2022-12-30 thomas static int expanding;
381 6509b181 2022-12-30 thomas
382 6509b181 2022-12-30 thomas int
383 6509b181 2022-12-30 thomas igetc(void)
384 6509b181 2022-12-30 thomas {
385 6509b181 2022-12-30 thomas int c;
386 6509b181 2022-12-30 thomas
387 6509b181 2022-12-30 thomas while (1) {
388 6509b181 2022-12-30 thomas if (file->ungetpos > 0)
389 6509b181 2022-12-30 thomas c = file->ungetbuf[--file->ungetpos];
390 6509b181 2022-12-30 thomas else
391 6509b181 2022-12-30 thomas c = getc(file->stream);
392 6509b181 2022-12-30 thomas
393 6509b181 2022-12-30 thomas if (c == START_EXPAND)
394 6509b181 2022-12-30 thomas expanding = 1;
395 6509b181 2022-12-30 thomas else if (c == DONE_EXPAND)
396 6509b181 2022-12-30 thomas expanding = 0;
397 6509b181 2022-12-30 thomas else
398 6509b181 2022-12-30 thomas break;
399 6509b181 2022-12-30 thomas }
400 6509b181 2022-12-30 thomas return (c);
401 6509b181 2022-12-30 thomas }
402 6509b181 2022-12-30 thomas
403 6509b181 2022-12-30 thomas int
404 6509b181 2022-12-30 thomas lgetc(int quotec)
405 6509b181 2022-12-30 thomas {
406 6509b181 2022-12-30 thomas int c;
407 6509b181 2022-12-30 thomas
408 6509b181 2022-12-30 thomas if (quotec) {
409 6509b181 2022-12-30 thomas if ((c = igetc()) == EOF) {
410 6509b181 2022-12-30 thomas yyerror("reached end of filewhile parsing "
411 6509b181 2022-12-30 thomas "quoted string");
412 6509b181 2022-12-30 thomas if (file == topfile || popfile() == EOF)
413 6509b181 2022-12-30 thomas return (EOF);
414 6509b181 2022-12-30 thomas return (quotec);
415 6509b181 2022-12-30 thomas }
416 6509b181 2022-12-30 thomas return (c);
417 6509b181 2022-12-30 thomas }
418 6509b181 2022-12-30 thomas
419 6509b181 2022-12-30 thomas c = igetc();
420 6509b181 2022-12-30 thomas if (c == '\t' || c == ' ') {
421 6509b181 2022-12-30 thomas /* Compress blanks to a sigle space. */
422 6509b181 2022-12-30 thomas do {
423 6509b181 2022-12-30 thomas c = getc(file->stream);
424 6509b181 2022-12-30 thomas } while (c == '\t' || c == ' ');
425 6509b181 2022-12-30 thomas ungetc(c, file->stream);
426 6509b181 2022-12-30 thomas c = ' ';
427 6509b181 2022-12-30 thomas }
428 6509b181 2022-12-30 thomas
429 6509b181 2022-12-30 thomas if (c == EOF) {
430 6509b181 2022-12-30 thomas /*
431 6509b181 2022-12-30 thomas * Fake EOL when hit EOF for the first time. This gets line
432 f39a6046 2023-04-01 thomas * count right if last line in included file is syntactically
433 6509b181 2022-12-30 thomas * invalid and has no newline.
434 6509b181 2022-12-30 thomas */
435 6509b181 2022-12-30 thomas if (file->eof_reached == 0) {
436 6509b181 2022-12-30 thomas file->eof_reached = 1;
437 6509b181 2022-12-30 thomas return ('\n');
438 6509b181 2022-12-30 thomas }
439 6509b181 2022-12-30 thomas while (c == EOF) {
440 6509b181 2022-12-30 thomas if (file == topfile || popfile() == EOF)
441 6509b181 2022-12-30 thomas return (EOF);
442 6509b181 2022-12-30 thomas c = igetc();
443 6509b181 2022-12-30 thomas }
444 6509b181 2022-12-30 thomas }
445 6509b181 2022-12-30 thomas return (c);
446 6509b181 2022-12-30 thomas }
447 6509b181 2022-12-30 thomas
448 6509b181 2022-12-30 thomas void
449 6509b181 2022-12-30 thomas lungetc(int c)
450 6509b181 2022-12-30 thomas {
451 6509b181 2022-12-30 thomas if (c == EOF)
452 6509b181 2022-12-30 thomas return;
453 6509b181 2022-12-30 thomas
454 6509b181 2022-12-30 thomas if (file->ungetpos >= file->ungetsize) {
455 6509b181 2022-12-30 thomas void *p = reallocarray(file->ungetbuf, file->ungetsize, 2);
456 6509b181 2022-12-30 thomas if (p == NULL)
457 6509b181 2022-12-30 thomas err(1, "reallocarray");
458 6509b181 2022-12-30 thomas file->ungetbuf = p;
459 6509b181 2022-12-30 thomas file->ungetsize *= 2;
460 6509b181 2022-12-30 thomas }
461 6509b181 2022-12-30 thomas file->ungetbuf[file->ungetpos++] = c;
462 6509b181 2022-12-30 thomas }
463 6509b181 2022-12-30 thomas
464 6509b181 2022-12-30 thomas int
465 6509b181 2022-12-30 thomas findeol(void)
466 6509b181 2022-12-30 thomas {
467 6509b181 2022-12-30 thomas int c;
468 6509b181 2022-12-30 thomas
469 6509b181 2022-12-30 thomas /* skip to either EOF or the first real EOL */
470 6509b181 2022-12-30 thomas while (1) {
471 6509b181 2022-12-30 thomas c = lgetc(0);
472 6509b181 2022-12-30 thomas if (c == '\n') {
473 6509b181 2022-12-30 thomas file->lineno++;
474 6509b181 2022-12-30 thomas break;
475 6509b181 2022-12-30 thomas }
476 6509b181 2022-12-30 thomas if (c == EOF)
477 6509b181 2022-12-30 thomas break;
478 6509b181 2022-12-30 thomas }
479 6509b181 2022-12-30 thomas return (ERROR);
480 6509b181 2022-12-30 thomas }
481 6509b181 2022-12-30 thomas
482 6509b181 2022-12-30 thomas int
483 6509b181 2022-12-30 thomas yylex(void)
484 6509b181 2022-12-30 thomas {
485 6509b181 2022-12-30 thomas char buf[8096];
486 6509b181 2022-12-30 thomas char *p = buf;
487 6509b181 2022-12-30 thomas int c;
488 6509b181 2022-12-30 thomas int token;
489 6509b181 2022-12-30 thomas int starting = 0;
490 6509b181 2022-12-30 thomas int ending = 0;
491 6509b181 2022-12-30 thomas int quote = 0;
492 6509b181 2022-12-30 thomas
493 6509b181 2022-12-30 thomas if (!in_define && block == 0) {
494 6509b181 2022-12-30 thomas while ((c = lgetc(0)) != '{' && c != EOF) {
495 6509b181 2022-12-30 thomas if (c == '\n')
496 6509b181 2022-12-30 thomas file->lineno++;
497 6509b181 2022-12-30 thomas }
498 6509b181 2022-12-30 thomas
499 6509b181 2022-12-30 thomas if (c == EOF)
500 6509b181 2022-12-30 thomas return (0);
501 6509b181 2022-12-30 thomas
502 6509b181 2022-12-30 thomas newblock:
503 6509b181 2022-12-30 thomas c = lgetc(0);
504 6509b181 2022-12-30 thomas if (c == '{' || c == '!') {
505 6509b181 2022-12-30 thomas if (c == '{')
506 6509b181 2022-12-30 thomas block = '}';
507 6509b181 2022-12-30 thomas else
508 6509b181 2022-12-30 thomas block = c;
509 6509b181 2022-12-30 thomas return (c);
510 6509b181 2022-12-30 thomas }
511 6509b181 2022-12-30 thomas if (c == '\n')
512 6509b181 2022-12-30 thomas file->lineno++;
513 6509b181 2022-12-30 thomas }
514 6509b181 2022-12-30 thomas
515 6509b181 2022-12-30 thomas while ((c = lgetc(0)) == ' ' || c == '\t' || c == '\n') {
516 6509b181 2022-12-30 thomas if (c == '\n')
517 6509b181 2022-12-30 thomas file->lineno++;
518 6509b181 2022-12-30 thomas }
519 6509b181 2022-12-30 thomas
520 6509b181 2022-12-30 thomas if (c == EOF) {
521 6509b181 2022-12-30 thomas yyerror("unterminated block");
522 6509b181 2022-12-30 thomas return (0);
523 6509b181 2022-12-30 thomas }
524 6509b181 2022-12-30 thomas
525 6509b181 2022-12-30 thomas yylval.lineno = file->lineno;
526 6509b181 2022-12-30 thomas
527 6509b181 2022-12-30 thomas if (block != 0 && c == block) {
528 6509b181 2022-12-30 thomas if ((c = lgetc(0)) == '}') {
529 6509b181 2022-12-30 thomas if (block == '!') {
530 6509b181 2022-12-30 thomas block = 0;
531 6509b181 2022-12-30 thomas return ('!');
532 6509b181 2022-12-30 thomas }
533 6509b181 2022-12-30 thomas block = 0;
534 6509b181 2022-12-30 thomas return ('}');
535 6509b181 2022-12-30 thomas }
536 6509b181 2022-12-30 thomas lungetc(c);
537 6509b181 2022-12-30 thomas c = block;
538 6509b181 2022-12-30 thomas }
539 6509b181 2022-12-30 thomas
540 6509b181 2022-12-30 thomas if (in_define && block == 0) {
541 6509b181 2022-12-30 thomas if (c == '{')
542 6509b181 2022-12-30 thomas goto newblock;
543 6509b181 2022-12-30 thomas
544 6509b181 2022-12-30 thomas do {
545 6509b181 2022-12-30 thomas if (starting) {
546 6509b181 2022-12-30 thomas if (c == '!' || c == '{') {
547 6509b181 2022-12-30 thomas lungetc(c);
548 6509b181 2022-12-30 thomas lungetc('{');
549 6509b181 2022-12-30 thomas break;
550 6509b181 2022-12-30 thomas }
551 6509b181 2022-12-30 thomas starting = 0;
552 6509b181 2022-12-30 thomas lungetc(c);
553 6509b181 2022-12-30 thomas c = '{';
554 6509b181 2022-12-30 thomas } else if (c == '{') {
555 6509b181 2022-12-30 thomas starting = 1;
556 6509b181 2022-12-30 thomas continue;
557 84efe063 2023-04-04 thomas } else if (c == '\n')
558 84efe063 2023-04-04 thomas break;
559 6509b181 2022-12-30 thomas
560 6509b181 2022-12-30 thomas *p++ = c;
561 6509b181 2022-12-30 thomas if ((size_t)(p - buf) >= sizeof(buf)) {
562 6509b181 2022-12-30 thomas yyerror("string too long");
563 6509b181 2022-12-30 thomas return (findeol());
564 6509b181 2022-12-30 thomas }
565 84efe063 2023-04-04 thomas } while ((c = lgetc(0)) != EOF);
566 6509b181 2022-12-30 thomas *p = '\0';
567 6509b181 2022-12-30 thomas if (c == EOF) {
568 6509b181 2022-12-30 thomas yyerror("unterminated block");
569 6509b181 2022-12-30 thomas return (0);
570 6509b181 2022-12-30 thomas }
571 6509b181 2022-12-30 thomas if (c == '\n')
572 6509b181 2022-12-30 thomas file->lineno++;
573 6509b181 2022-12-30 thomas if ((yylval.v.string = strdup(buf)) == NULL)
574 6509b181 2022-12-30 thomas err(1, "strdup");
575 6509b181 2022-12-30 thomas return (STRING);
576 6509b181 2022-12-30 thomas }
577 6509b181 2022-12-30 thomas
578 6509b181 2022-12-30 thomas if (block == '!') {
579 6509b181 2022-12-30 thomas do {
580 6509b181 2022-12-30 thomas if (ending) {
581 6509b181 2022-12-30 thomas if (c == '}') {
582 6509b181 2022-12-30 thomas lungetc(c);
583 6509b181 2022-12-30 thomas lungetc(block);
584 6509b181 2022-12-30 thomas break;
585 6509b181 2022-12-30 thomas }
586 6509b181 2022-12-30 thomas ending = 0;
587 6509b181 2022-12-30 thomas lungetc(c);
588 6509b181 2022-12-30 thomas c = block;
589 6509b181 2022-12-30 thomas } else if (c == '!') {
590 6509b181 2022-12-30 thomas ending = 1;
591 6509b181 2022-12-30 thomas continue;
592 84efe063 2023-04-04 thomas } else if (c == '\n')
593 84efe063 2023-04-04 thomas break;
594 6509b181 2022-12-30 thomas
595 6509b181 2022-12-30 thomas *p++ = c;
596 6509b181 2022-12-30 thomas if ((size_t)(p - buf) >= sizeof(buf)) {
597 6509b181 2022-12-30 thomas yyerror("line too long");
598 6509b181 2022-12-30 thomas return (findeol());
599 6509b181 2022-12-30 thomas }
600 84efe063 2023-04-04 thomas } while ((c = lgetc(0)) != EOF);
601 6509b181 2022-12-30 thomas *p = '\0';
602 6509b181 2022-12-30 thomas
603 6509b181 2022-12-30 thomas if (c == EOF) {
604 6509b181 2022-12-30 thomas yyerror("unterminated block");
605 6509b181 2022-12-30 thomas return (0);
606 6509b181 2022-12-30 thomas }
607 6509b181 2022-12-30 thomas if (c == '\n')
608 6509b181 2022-12-30 thomas file->lineno++;
609 6509b181 2022-12-30 thomas
610 6509b181 2022-12-30 thomas if ((yylval.v.string = strdup(buf)) == NULL)
611 6509b181 2022-12-30 thomas err(1, "strdup");
612 6509b181 2022-12-30 thomas return (STRING);
613 6509b181 2022-12-30 thomas }
614 6509b181 2022-12-30 thomas
615 6509b181 2022-12-30 thomas if (c == '|')
616 6509b181 2022-12-30 thomas return (c);
617 6509b181 2022-12-30 thomas
618 6509b181 2022-12-30 thomas do {
619 6509b181 2022-12-30 thomas if (!quote && isspace((unsigned char)c))
620 6509b181 2022-12-30 thomas break;
621 6509b181 2022-12-30 thomas
622 6509b181 2022-12-30 thomas if (c == '"')
623 6509b181 2022-12-30 thomas quote = !quote;
624 6509b181 2022-12-30 thomas
625 6509b181 2022-12-30 thomas if (!quote && c == '|') {
626 6509b181 2022-12-30 thomas lungetc(c);
627 6509b181 2022-12-30 thomas break;
628 6509b181 2022-12-30 thomas }
629 6509b181 2022-12-30 thomas
630 6509b181 2022-12-30 thomas if (ending) {
631 6509b181 2022-12-30 thomas if (c == '}') {
632 6509b181 2022-12-30 thomas lungetc(c);
633 6509b181 2022-12-30 thomas lungetc('}');
634 6509b181 2022-12-30 thomas break;
635 6509b181 2022-12-30 thomas }
636 6509b181 2022-12-30 thomas ending = 0;
637 6509b181 2022-12-30 thomas lungetc(c);
638 6509b181 2022-12-30 thomas c = block;
639 6509b181 2022-12-30 thomas } else if (!quote && c == '}') {
640 6509b181 2022-12-30 thomas ending = 1;
641 6509b181 2022-12-30 thomas continue;
642 6509b181 2022-12-30 thomas }
643 6509b181 2022-12-30 thomas
644 6509b181 2022-12-30 thomas *p++ = c;
645 6509b181 2022-12-30 thomas if ((size_t)(p - buf) >= sizeof(buf)) {
646 6509b181 2022-12-30 thomas yyerror("string too long");
647 6509b181 2022-12-30 thomas return (findeol());
648 6509b181 2022-12-30 thomas }
649 6509b181 2022-12-30 thomas } while ((c = lgetc(0)) != EOF);
650 6509b181 2022-12-30 thomas *p = '\0';
651 6509b181 2022-12-30 thomas
652 6509b181 2022-12-30 thomas if (c == EOF) {
653 6509b181 2022-12-30 thomas yyerror(quote ? "unterminated quote" : "unterminated block");
654 6509b181 2022-12-30 thomas return (0);
655 6509b181 2022-12-30 thomas }
656 6509b181 2022-12-30 thomas if (c == '\n')
657 6509b181 2022-12-30 thomas file->lineno++;
658 6509b181 2022-12-30 thomas if ((token = lookup(buf)) == STRING)
659 6509b181 2022-12-30 thomas if ((yylval.v.string = strdup(buf)) == NULL)
660 6509b181 2022-12-30 thomas err(1, "strdup");
661 6509b181 2022-12-30 thomas return (token);
662 6509b181 2022-12-30 thomas }
663 6509b181 2022-12-30 thomas
664 6509b181 2022-12-30 thomas struct file *
665 6509b181 2022-12-30 thomas pushfile(const char *name, int secret)
666 6509b181 2022-12-30 thomas {
667 6509b181 2022-12-30 thomas struct file *nfile;
668 6509b181 2022-12-30 thomas
669 6509b181 2022-12-30 thomas if ((nfile = calloc(1, sizeof(*nfile))) == NULL)
670 6509b181 2022-12-30 thomas err(1, "calloc");
671 6509b181 2022-12-30 thomas if ((nfile->name = strdup(name)) == NULL)
672 6509b181 2022-12-30 thomas err(1, "strdup");
673 6509b181 2022-12-30 thomas if ((nfile->stream = fopen(nfile->name, "r")) == NULL) {
674 6509b181 2022-12-30 thomas warn("can't open %s", nfile->name);
675 6509b181 2022-12-30 thomas free(nfile->name);
676 6509b181 2022-12-30 thomas free(nfile);
677 6509b181 2022-12-30 thomas return (NULL);
678 6509b181 2022-12-30 thomas }
679 6509b181 2022-12-30 thomas nfile->lineno = TAILQ_EMPTY(&files) ? 1 : 0;
680 6509b181 2022-12-30 thomas nfile->ungetsize = 16;
681 6509b181 2022-12-30 thomas nfile->ungetbuf = malloc(nfile->ungetsize);
682 6509b181 2022-12-30 thomas if (nfile->ungetbuf == NULL)
683 6509b181 2022-12-30 thomas err(1, "malloc");
684 6509b181 2022-12-30 thomas TAILQ_INSERT_TAIL(&files, nfile, entry);
685 6509b181 2022-12-30 thomas return (nfile);
686 6509b181 2022-12-30 thomas }
687 6509b181 2022-12-30 thomas
688 6509b181 2022-12-30 thomas int
689 6509b181 2022-12-30 thomas popfile(void)
690 6509b181 2022-12-30 thomas {
691 6509b181 2022-12-30 thomas struct file *prev;
692 6509b181 2022-12-30 thomas
693 6509b181 2022-12-30 thomas if ((prev = TAILQ_PREV(file, files, entry)) != NULL)
694 6509b181 2022-12-30 thomas prev->errors += file->errors;
695 6509b181 2022-12-30 thomas
696 6509b181 2022-12-30 thomas TAILQ_REMOVE(&files, file, entry);
697 6509b181 2022-12-30 thomas fclose(file->stream);
698 6509b181 2022-12-30 thomas free(file->name);
699 6509b181 2022-12-30 thomas free(file->ungetbuf);
700 6509b181 2022-12-30 thomas free(file);
701 6509b181 2022-12-30 thomas file = prev;
702 6509b181 2022-12-30 thomas return (file ? 0 : EOF);
703 6509b181 2022-12-30 thomas }
704 6509b181 2022-12-30 thomas
705 6509b181 2022-12-30 thomas int
706 6509b181 2022-12-30 thomas parse(FILE *outfile, const char *filename)
707 6509b181 2022-12-30 thomas {
708 6509b181 2022-12-30 thomas fp = outfile;
709 6509b181 2022-12-30 thomas
710 6509b181 2022-12-30 thomas if ((file = pushfile(filename, 0)) == 0)
711 6509b181 2022-12-30 thomas return (-1);
712 6509b181 2022-12-30 thomas topfile = file;
713 6509b181 2022-12-30 thomas
714 6509b181 2022-12-30 thomas yyparse();
715 6509b181 2022-12-30 thomas errors = file->errors;
716 6509b181 2022-12-30 thomas popfile();
717 6509b181 2022-12-30 thomas
718 6509b181 2022-12-30 thomas return (errors ? -1 : 0);
719 6509b181 2022-12-30 thomas }
720 6509b181 2022-12-30 thomas
721 6509b181 2022-12-30 thomas void
722 6509b181 2022-12-30 thomas dbg(void)
723 6509b181 2022-12-30 thomas {
724 6509b181 2022-12-30 thomas if (nodebug)
725 6509b181 2022-12-30 thomas return;
726 6509b181 2022-12-30 thomas
727 6509b181 2022-12-30 thomas if (yylval.lineno == lastline + 1) {
728 6509b181 2022-12-30 thomas lastline = yylval.lineno;
729 6509b181 2022-12-30 thomas return;
730 6509b181 2022-12-30 thomas }
731 6509b181 2022-12-30 thomas lastline = yylval.lineno;
732 6509b181 2022-12-30 thomas
733 6509b181 2022-12-30 thomas fprintf(fp, "#line %d ", yylval.lineno);
734 6509b181 2022-12-30 thomas printq(file->name);
735 6509b181 2022-12-30 thomas putc('\n', fp);
736 6509b181 2022-12-30 thomas }
737 6509b181 2022-12-30 thomas
738 6509b181 2022-12-30 thomas void
739 6509b181 2022-12-30 thomas printq(const char *str)
740 6509b181 2022-12-30 thomas {
741 6509b181 2022-12-30 thomas putc('"', fp);
742 6509b181 2022-12-30 thomas for (; *str; ++str) {
743 6509b181 2022-12-30 thomas if (*str == '"')
744 6509b181 2022-12-30 thomas putc('\\', fp);
745 6509b181 2022-12-30 thomas putc(*str, fp);
746 6509b181 2022-12-30 thomas }
747 6509b181 2022-12-30 thomas putc('"', fp);
748 6509b181 2022-12-30 thomas }