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