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