1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3 * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org>
4 */
5 %option nostdinit noyywrap never-interactive full ecs
6 %option 8bit nodefault yylineno
7 %x ASSIGN_VAL HELP STRING
8 %{
9
10 #include <assert.h>
11 #include <limits.h>
12 #include <stdio.h>
13 #include <stdlib.h>
14 #include <string.h>
15 #include <unistd.h>
16
17 #include "lkc.h"
18 #include "parser.tab.h"
19
20 #define YY_DECL static int yylex1(void)
21
22 #define START_STRSIZE 16
23
24 static struct {
25 struct file *file;
26 int lineno;
27 } current_pos;
28
29 static int prev_prev_token = T_EOL;
30 static int prev_token = T_EOL;
31 static char *text;
32 static int text_size, text_asize;
33
34 struct buffer {
35 struct buffer *parent;
36 YY_BUFFER_STATE state;
37 };
38
39 struct buffer *current_buf;
40
41 static int last_ts, first_ts;
42
43 static char *expand_token(const char *in, size_t n);
44 static void append_expanded_string(const char *in);
45 static void zconf_endhelp(void);
46 static void zconf_endfile(void);
47
new_string(void)48 static void new_string(void)
49 {
50 text = xmalloc(START_STRSIZE);
51 text_asize = START_STRSIZE;
52 text_size = 0;
53 *text = 0;
54 }
55
append_string(const char * str,int size)56 static void append_string(const char *str, int size)
57 {
58 int new_size = text_size + size + 1;
59 if (new_size > text_asize) {
60 new_size += START_STRSIZE - 1;
61 new_size &= -START_STRSIZE;
62 text = xrealloc(text, new_size);
63 text_asize = new_size;
64 }
65 memcpy(text + text_size, str, size);
66 text_size += size;
67 text[text_size] = 0;
68 }
69
alloc_string(const char * str,int size)70 static void alloc_string(const char *str, int size)
71 {
72 text = xmalloc(size + 1);
73 memcpy(text, str, size);
74 text[size] = 0;
75 }
76
warn_ignored_character(char chr)77 static void warn_ignored_character(char chr)
78 {
79 fprintf(stderr,
80 "%s:%d:warning: ignoring unsupported character '%c'\n",
81 current_file->name, yylineno, chr);
82 }
83 %}
84
85 n [A-Za-z0-9_-]
86
87 %%
88 int str = 0;
89 int ts, i;
90
91 #.* /* ignore comment */
92 [ \t]* /* whitespaces */
93 \\\n /* escaped new line */
94 \n return T_EOL;
95 "allnoconfig_y" return T_ALLNOCONFIG_Y;
96 "bool" return T_BOOL;
97 "choice" return T_CHOICE;
98 "comment" return T_COMMENT;
99 "config" return T_CONFIG;
100 "def_bool" return T_DEF_BOOL;
101 "def_tristate" return T_DEF_TRISTATE;
102 "default" return T_DEFAULT;
103 "defconfig_list" return T_DEFCONFIG_LIST;
104 "depends" return T_DEPENDS;
105 "endchoice" return T_ENDCHOICE;
106 "endif" return T_ENDIF;
107 "endmenu" return T_ENDMENU;
108 "help"|"---help---" return T_HELP;
109 "hex" return T_HEX;
110 "if" return T_IF;
111 "imply" return T_IMPLY;
112 "int" return T_INT;
113 "mainmenu" return T_MAINMENU;
114 "menu" return T_MENU;
115 "menuconfig" return T_MENUCONFIG;
116 "modules" return T_MODULES;
117 "on" return T_ON;
118 "option" return T_OPTION;
119 "optional" return T_OPTIONAL;
120 "prompt" return T_PROMPT;
121 "range" return T_RANGE;
122 "select" return T_SELECT;
123 "source" return T_SOURCE;
124 "string" return T_STRING;
125 "tristate" return T_TRISTATE;
126 "visible" return T_VISIBLE;
127 "||" return T_OR;
128 "&&" return T_AND;
129 "=" return T_EQUAL;
130 "!=" return T_UNEQUAL;
131 "<" return T_LESS;
132 "<=" return T_LESS_EQUAL;
133 ">" return T_GREATER;
134 ">=" return T_GREATER_EQUAL;
135 "!" return T_NOT;
136 "(" return T_OPEN_PAREN;
137 ")" return T_CLOSE_PAREN;
138 ":=" return T_COLON_EQUAL;
139 "+=" return T_PLUS_EQUAL;
140 \"|\' {
141 str = yytext[0];
142 new_string();
143 BEGIN(STRING);
144 }
145 {n}+ {
146 alloc_string(yytext, yyleng);
147 yylval.string = text;
148 return T_WORD;
149 }
150 ({n}|$)+ {
151 /* this token includes at least one '$' */
152 yylval.string = expand_token(yytext, yyleng);
153 if (strlen(yylval.string))
154 return T_WORD;
155 free(yylval.string);
156 }
157 . warn_ignored_character(*yytext);
158
159 <ASSIGN_VAL>{
160 [^[:blank:]\n]+.* {
161 alloc_string(yytext, yyleng);
162 yylval.string = text;
163 return T_ASSIGN_VAL;
164 }
165 \n { BEGIN(INITIAL); return T_EOL; }
166 .
167 }
168
169 <STRING>{
170 "$".* append_expanded_string(yytext);
171 [^$'"\\\n]+ {
172 append_string(yytext, yyleng);
173 }
174 \\.? {
175 append_string(yytext + 1, yyleng - 1);
176 }
177 \'|\" {
178 if (str == yytext[0]) {
179 BEGIN(INITIAL);
180 yylval.string = text;
181 return T_WORD_QUOTE;
182 } else
183 append_string(yytext, 1);
184 }
185 \n {
186 fprintf(stderr,
187 "%s:%d:warning: multi-line strings not supported\n",
188 zconf_curname(), zconf_lineno());
189 unput('\n');
190 BEGIN(INITIAL);
191 yylval.string = text;
192 return T_WORD_QUOTE;
193 }
194 <<EOF>> {
195 BEGIN(INITIAL);
196 yylval.string = text;
197 return T_WORD_QUOTE;
198 }
199 }
200
201 <HELP>{
202 [ \t]+ {
203 ts = 0;
204 for (i = 0; i < yyleng; i++) {
205 if (yytext[i] == '\t')
206 ts = (ts & ~7) + 8;
207 else
208 ts++;
209 }
210 last_ts = ts;
211 if (first_ts) {
212 if (ts < first_ts) {
213 zconf_endhelp();
214 return T_HELPTEXT;
215 }
216 ts -= first_ts;
217 while (ts > 8) {
218 append_string(" ", 8);
219 ts -= 8;
220 }
221 append_string(" ", ts);
222 }
223 }
224 [ \t]*\n/[^ \t\n] {
225 zconf_endhelp();
226 return T_HELPTEXT;
227 }
228 [ \t]*\n {
229 append_string("\n", 1);
230 }
231 [^ \t\n].* {
232 while (yyleng) {
233 if ((yytext[yyleng-1] != ' ') && (yytext[yyleng-1] != '\t'))
234 break;
235 yyleng--;
236 }
237 append_string(yytext, yyleng);
238 if (!first_ts)
239 first_ts = last_ts;
240 }
241 <<EOF>> {
242 zconf_endhelp();
243 return T_HELPTEXT;
244 }
245 }
246
247 <<EOF>> {
248 BEGIN(INITIAL);
249
250 if (prev_token != T_EOL && prev_token != T_HELPTEXT)
251 fprintf(stderr, "%s:%d:warning: no new line at end of file\n",
252 current_file->name, yylineno);
253
254 if (current_file) {
255 zconf_endfile();
256 return T_EOL;
257 }
258 fclose(yyin);
259 yyterminate();
260 }
261
262 %%
263
264 /* second stage lexer */
265 int yylex(void)
266 {
267 int token;
268
269 repeat:
270 token = yylex1();
271
272 if (prev_token == T_EOL || prev_token == T_HELPTEXT) {
273 if (token == T_EOL) {
274 /* Do not pass unneeded T_EOL to the parser. */
275 goto repeat;
276 } else {
277 /*
278 * For the parser, update file/lineno at the first token
279 * of each statement. Generally, \n is a statement
280 * terminator in Kconfig, but it is not always true
281 * because \n could be escaped by a backslash.
282 */
283 current_pos.file = current_file;
284 current_pos.lineno = yylineno;
285 }
286 }
287
288 if (prev_prev_token == T_EOL && prev_token == T_WORD &&
289 (token == T_EQUAL || token == T_COLON_EQUAL || token == T_PLUS_EQUAL))
290 BEGIN(ASSIGN_VAL);
291
292 prev_prev_token = prev_token;
293 prev_token = token;
294
295 return token;
296 }
297
298 static char *expand_token(const char *in, size_t n)
299 {
300 char *out;
301 int c;
302 char c2;
303 const char *rest, *end;
304
305 new_string();
306 append_string(in, n);
307
308 /* get the whole line because we do not know the end of token. */
309 while ((c = input()) != EOF) {
310 if (c == '\n') {
311 unput(c);
312 break;
313 }
314 c2 = c;
315 append_string(&c2, 1);
316 }
317
318 rest = text;
319 out = expand_one_token(&rest);
320
321 /* push back unused characters to the input stream */
322 end = rest + strlen(rest);
323 while (end > rest)
324 unput(*--end);
325
326 free(text);
327
328 return out;
329 }
330
331 static void append_expanded_string(const char *str)
332 {
333 const char *end;
334 char *res;
335
336 str++;
337
338 res = expand_dollar(&str);
339
340 /* push back unused characters to the input stream */
341 end = str + strlen(str);
342 while (end > str)
343 unput(*--end);
344
345 append_string(res, strlen(res));
346
347 free(res);
348 }
349
350 void zconf_starthelp(void)
351 {
352 new_string();
353 last_ts = first_ts = 0;
354 BEGIN(HELP);
355 }
356
357 static void zconf_endhelp(void)
358 {
359 yylval.string = text;
360 BEGIN(INITIAL);
361 }
362
363
364 /*
365 * Try to open specified file with following names:
366 * ./name
367 * $(srctree)/name
368 * The latter is used when srctree is separate from objtree
369 * when compiling the kernel.
370 * Return NULL if file is not found.
371 */
372 FILE *zconf_fopen(const char *name)
373 {
374 char *env, fullname[PATH_MAX+1];
375 FILE *f;
376
377 f = fopen(name, "r");
378 if (!f && name != NULL && name[0] != '/') {
379 env = getenv(SRCTREE);
380 if (env) {
381 snprintf(fullname, sizeof(fullname),
382 "%s/%s", env, name);
383 f = fopen(fullname, "r");
384 }
385 }
386 return f;
387 }
388
389 void zconf_initscan(const char *name)
390 {
391 yyin = zconf_fopen(name);
392 if (!yyin) {
393 fprintf(stderr, "can't find file %s\n", name);
394 exit(1);
395 }
396
397 current_buf = xmalloc(sizeof(*current_buf));
398 memset(current_buf, 0, sizeof(*current_buf));
399
400 current_file = file_lookup(name);
401 yylineno = 1;
402 }
403
404 void zconf_nextfile(const char *name)
405 {
406 struct file *iter;
407 struct file *file = file_lookup(name);
408 struct buffer *buf = xmalloc(sizeof(*buf));
409 memset(buf, 0, sizeof(*buf));
410
411 current_buf->state = YY_CURRENT_BUFFER;
412 yyin = zconf_fopen(file->name);
413 if (!yyin) {
414 fprintf(stderr, "%s:%d: can't open file \"%s\"\n",
415 zconf_curname(), zconf_lineno(), file->name);
416 exit(1);
417 }
418 yy_switch_to_buffer(yy_create_buffer(yyin, YY_BUF_SIZE));
419 buf->parent = current_buf;
420 current_buf = buf;
421
422 current_file->lineno = yylineno;
423 file->parent = current_file;
424
425 for (iter = current_file; iter; iter = iter->parent) {
426 if (!strcmp(iter->name, file->name)) {
427 fprintf(stderr,
428 "Recursive inclusion detected.\n"
429 "Inclusion path:\n"
430 " current file : %s\n", file->name);
431 iter = file;
432 do {
433 iter = iter->parent;
434 fprintf(stderr, " included from: %s:%d\n",
435 iter->name, iter->lineno - 1);
436 } while (strcmp(iter->name, file->name));
437 exit(1);
438 }
439 }
440
441 yylineno = 1;
442 current_file = file;
443 }
444
445 static void zconf_endfile(void)
446 {
447 struct buffer *parent;
448
449 current_file = current_file->parent;
450 if (current_file)
451 yylineno = current_file->lineno;
452
453 parent = current_buf->parent;
454 if (parent) {
455 fclose(yyin);
456 yy_delete_buffer(YY_CURRENT_BUFFER);
457 yy_switch_to_buffer(parent->state);
458 }
459 free(current_buf);
460 current_buf = parent;
461 }
462
463 int zconf_lineno(void)
464 {
465 return current_pos.lineno;
466 }
467
468 const char *zconf_curname(void)
469 {
470 return current_pos.file ? current_pos.file->name : "<none>";
471 }
472