/* SPDX-License-Identifier: GPL-2.0 *//* * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org> */%option nostdinit noyywrap never-interactive full ecs%option 8bit nodefault yylineno%x ASSIGN_VAL HELP STRING%{ #include <assert.h>#include <limits.h>#include <stdio.h>#include <stdlib.h>#include <string.h> #include <xalloc.h>#include "lkc.h"#include "preprocess.h" #include "parser.tab.h" #define YY_DECL static int yylex1(void) #define START_STRSIZE 16 /* The Kconfig file currently being parsed. */const char *cur_filename; /* * The line number of the current statement. This does not match yylineno. * yylineno is used by the lexer, while cur_lineno is used by the parser. */int cur_lineno; static int prev_prev_token = T_EOL;static int prev_token = T_EOL;static char *text;static int text_size, text_asize; struct buffer { struct buffer *parent; YY_BUFFER_STATE state; int yylineno; const char *filename; int source_lineno;}; static struct buffer *current_buf; static int last_ts, first_ts; static char *expand_token(const char *in, size_t n);static void append_expanded_string(const char *in);static void zconf_endhelp(void);static void zconf_endfile(void); static void new_string(void){ text = xmalloc(START_STRSIZE); text_asize = START_STRSIZE; text_size = 0; *text = 0;} static void append_string(const char *str, int size){ int new_size = text_size + size + 1; if (new_size > text_asize) { new_size += START_STRSIZE - 1; new_size &= -START_STRSIZE; text = xrealloc(text, new_size); text_asize = new_size; } memcpy(text + text_size, str, size); text_size += size; text[text_size] = 0;} static void alloc_string(const char *str, int size){ text = xmalloc(size + 1); memcpy(text, str, size); text[size] = 0;} static void warn_ignored_character(char chr){ fprintf(stderr, "%s:%d:warning: ignoring unsupported character '%c'\n", cur_filename, yylineno, chr);}%} n [A-Za-z0-9_-] %% char open_quote = 0; #.* /* ignore comment */[ \t]* /* whitespaces */\\\n /* escaped new line */\n return T_EOL;"bool" return T_BOOL;"choice" return T_CHOICE;"comment" return T_COMMENT;"config" return T_CONFIG;"def_bool" return T_DEF_BOOL;"def_tristate" return T_DEF_TRISTATE;"default" return T_DEFAULT;"depends" return T_DEPENDS;"endchoice" return T_ENDCHOICE;"endif" return T_ENDIF;"endmenu" return T_ENDMENU;"help" return T_HELP;"hex" return T_HEX;"if" return T_IF;"imply" return T_IMPLY;"int" return T_INT;"mainmenu" return T_MAINMENU;"menu" return T_MENU;"menuconfig" return T_MENUCONFIG;"modules" return T_MODULES;"on" return T_ON;"prompt" return T_PROMPT;"range" return T_RANGE;"select" return T_SELECT;"source" return T_SOURCE;"string" return T_STRING;"transitional" return T_TRANSITIONAL;"tristate" return T_TRISTATE;"visible" return T_VISIBLE;"||" return T_OR;"&&" return T_AND;"=" return T_EQUAL;"!=" return T_UNEQUAL;"<" return T_LESS;"<=" return T_LESS_EQUAL;">" return T_GREATER;">=" return T_GREATER_EQUAL;"!" return T_NOT;"(" return T_OPEN_PAREN;")" return T_CLOSE_PAREN;":=" return T_COLON_EQUAL;"+=" return T_PLUS_EQUAL;\"|\' { open_quote = yytext[0]; new_string(); BEGIN(STRING); }{n}+ { alloc_string(yytext, yyleng); yylval.string = text; return T_WORD; }({n}|$)+ { /* this token includes at least one '$' */ yylval.string = expand_token(yytext, yyleng); if (strlen(yylval.string)) return T_WORD; free(yylval.string); }. warn_ignored_character(*yytext); <ASSIGN_VAL>{ [^[:blank:]\n]+.* { alloc_string(yytext, yyleng); yylval.string = text; return T_ASSIGN_VAL; } \n { BEGIN(INITIAL); return T_EOL; } .} <STRING>{ "$".* append_expanded_string(yytext); [^$'"\\\n]+ { append_string(yytext, yyleng); } \\.? { append_string(yytext + 1, yyleng - 1); } \'|\" { if (open_quote == yytext[0]) { BEGIN(INITIAL); yylval.string = text; return T_WORD_QUOTE; } else append_string(yytext, 1); } \n { fprintf(stderr, "%s:%d:warning: multi-line strings not supported\n", cur_filename, cur_lineno); unput('\n'); BEGIN(INITIAL); yylval.string = text; return T_WORD_QUOTE; } <<EOF>> { BEGIN(INITIAL); yylval.string = text; return T_WORD_QUOTE; }} <HELP>{ [ \t]+ { int ts, i; ts = 0; for (i = 0; i < yyleng; i++) { if (yytext[i] == '\t') ts = (ts & ~7) + 8; else ts++; } last_ts = ts; if (first_ts) { if (ts < first_ts) { zconf_endhelp(); return T_HELPTEXT; } ts -= first_ts; while (ts > 8) { append_string(" ", 8); ts -= 8; } append_string(" ", ts); } } [ \t]*\n/[^ \t\n] { zconf_endhelp(); return T_HELPTEXT; } [ \t]*\n { append_string("\n", 1); } [^ \t\n].* { while (yyleng) { if ((yytext[yyleng-1] != ' ') && (yytext[yyleng-1] != '\t')) break; yyleng--; } append_string(yytext, yyleng); if (!first_ts) first_ts = last_ts; } <<EOF>> { zconf_endhelp(); return T_HELPTEXT; }} <<EOF>> { BEGIN(INITIAL); if (prev_token != T_EOL && prev_token != T_HELPTEXT) fprintf(stderr, "%s:%d:warning: no new line at end of file\n", cur_filename, yylineno); if (current_buf) { zconf_endfile(); return T_EOL; } fclose(yyin); yyterminate();} %% /* second stage lexer */int yylex(void){ int token; repeat: token = yylex1(); if (prev_token == T_EOL || prev_token == T_HELPTEXT) { if (token == T_EOL) /* Do not pass unneeded T_EOL to the parser. */ goto repeat; else /* * For the parser, update lineno at the first token * of each statement. Generally, \n is a statement * terminator in Kconfig, but it is not always true * because \n could be escaped by a backslash. */ cur_lineno = yylineno; } if (prev_prev_token == T_EOL && prev_token == T_WORD && (token == T_EQUAL || token == T_COLON_EQUAL || token == T_PLUS_EQUAL)) BEGIN(ASSIGN_VAL); prev_prev_token = prev_token; prev_token = token; return token;} static char *expand_token(const char *in, size_t n){ char *out; int c; char c2; const char *rest, *end; new_string(); append_string(in, n); /* * get the whole line because we do not know the end of token. * input() returns 0 (not EOF!) when it reachs the end of file. */ while ((c = input()) != 0) { if (c == '\n') { unput(c); break; } c2 = c; append_string(&c2, 1); } rest = text; out = expand_one_token(&rest); /* push back unused characters to the input stream */ end = rest + strlen(rest); while (end > rest) unput(*--end); free(text); return out;} static void append_expanded_string(const char *str){ const char *end; char *res; str++; res = expand_dollar(&str); /* push back unused characters to the input stream */ end = str + strlen(str); while (end > str) unput(*--end); append_string(res, strlen(res)); free(res);} void zconf_starthelp(void){ new_string(); last_ts = first_ts = 0; BEGIN(HELP);} static void zconf_endhelp(void){ yylval.string = text; BEGIN(INITIAL);} /* * Try to open specified file with following names: * ./name * $(srctree)/name * The latter is used when srctree is separate from objtree * when compiling the kernel. * Return NULL if file is not found. */FILE *zconf_fopen(const char *name){ char *env, fullname[PATH_MAX+1]; FILE *f; f = fopen(name, "r"); if (!f && name != NULL && name[0] != '/') { env = getenv(SRCTREE); if (env) { snprintf(fullname, sizeof(fullname), "%s/%s", env, name); f = fopen(fullname, "r"); } } return f;} void zconf_initscan(const char *name){ yyin = zconf_fopen(name); if (!yyin) { fprintf(stderr, "can't find file %s\n", name); exit(1); } cur_filename = file_lookup(name, NULL, 0); yylineno = 1;} void zconf_nextfile(const char *name){ struct buffer *buf = xmalloc(sizeof(*buf)); bool recur_include = false; buf->state = YY_CURRENT_BUFFER; buf->yylineno = yylineno; buf->filename = cur_filename; buf->source_lineno = cur_lineno; buf->parent = current_buf; current_buf = buf; yyin = zconf_fopen(name); if (!yyin) { fprintf(stderr, "%s:%d: can't open file \"%s\"\n", cur_filename, cur_lineno, name); exit(1); } yy_switch_to_buffer(yy_create_buffer(yyin, YY_BUF_SIZE)); for (buf = current_buf; buf; buf = buf->parent) { if (!strcmp(buf->filename, name)) recur_include = true; } if (recur_include) { fprintf(stderr, "Recursive inclusion detected.\n" "Inclusion path:\n" " current file : %s\n", name); for (buf = current_buf; buf; buf = buf->parent) fprintf(stderr, " included from: %s:%d\n", buf->filename, buf->source_lineno); exit(1); } yylineno = 1; cur_filename = file_lookup(name, cur_filename, cur_lineno);} static void zconf_endfile(void){ struct buffer *tmp; fclose(yyin); yy_delete_buffer(YY_CURRENT_BUFFER); yy_switch_to_buffer(current_buf->state); yylineno = current_buf->yylineno; cur_filename = current_buf->filename; tmp = current_buf; current_buf = current_buf->parent; free(tmp);}
/* SPDX-License-Identifier: GPL-2.0 */
/*
* Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org>
*/
%option nostdinit noyywrap never-interactive full ecs
%option 8bit nodefault yylineno
%x ASSIGN_VAL HELP STRING
%{
#include <assert.h>
#include <limits.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <xalloc.h>
#include "lkc.h"
#include "preprocess.h"
#include "parser.tab.h"
#define YY_DECL static int yylex1(void)
#define START_STRSIZE 16
/* The Kconfig file currently being parsed. */
const char *cur_filename;
/*
* The line number of the current statement. This does not match yylineno.
* yylineno is used by the lexer, while cur_lineno is used by the parser.
*/
int cur_lineno;
static int prev_prev_token = T_EOL;
static int prev_token = T_EOL;
static char *text;
static int text_size, text_asize;
struct buffer {
struct buffer *parent;
YY_BUFFER_STATE state;
int yylineno;
const char *filename;
int source_lineno;
};
static struct buffer *current_buf;
static int last_ts, first_ts;
static char *expand_token(const char *in, size_t n);
static void append_expanded_string(const char *in);
static void zconf_endhelp(void);
static void zconf_endfile(void);
static void new_string(void)
{
text = xmalloc(START_STRSIZE);
text_asize = START_STRSIZE;
text_size = 0;
*text = 0;
}
static void append_string(const char *str, int size)
{
int new_size = text_size + size + 1;
if (new_size > text_asize) {
new_size += START_STRSIZE - 1;
new_size &= -START_STRSIZE;
text = xrealloc(text, new_size);
text_asize = new_size;
}
memcpy(text + text_size, str, size);
text_size += size;
text[text_size] = 0;
}
static void alloc_string(const char *str, int size)
{
text = xmalloc(size + 1);
memcpy(text, str, size);
text[size] = 0;
}
static void warn_ignored_character(char chr)
{
fprintf(stderr,
"%s:%d:warning: ignoring unsupported character '%c'\n",
cur_filename, yylineno, chr);
}
%}
n [A-Za-z0-9_-]
%%
char open_quote = 0;
#.* /* ignore comment */
[ \t]* /* whitespaces */
\\\n /* escaped new line */
\n return T_EOL;
"bool" return T_BOOL;
"choice" return T_CHOICE;
"comment" return T_COMMENT;
"config" return T_CONFIG;
"def_bool" return T_DEF_BOOL;
"def_tristate" return T_DEF_TRISTATE;
"default" return T_DEFAULT;
"depends" return T_DEPENDS;
"endchoice" return T_ENDCHOICE;
"endif" return T_ENDIF;
"endmenu" return T_ENDMENU;
"help" return T_HELP;
"hex" return T_HEX;
"if" return T_IF;
"imply" return T_IMPLY;
"int" return T_INT;
"mainmenu" return T_MAINMENU;
"menu" return T_MENU;
"menuconfig" return T_MENUCONFIG;
"modules" return T_MODULES;
"on" return T_ON;
"prompt" return T_PROMPT;
"range" return T_RANGE;
"select" return T_SELECT;
"source" return T_SOURCE;
"string" return T_STRING;
"transitional" return T_TRANSITIONAL;
"tristate" return T_TRISTATE;
"visible" return T_VISIBLE;
"||" return T_OR;
"&&" return T_AND;
"=" return T_EQUAL;
"!=" return T_UNEQUAL;
"<" return T_LESS;
"<=" return T_LESS_EQUAL;
">" return T_GREATER;
">=" return T_GREATER_EQUAL;
"!" return T_NOT;
"(" return T_OPEN_PAREN;
")" return T_CLOSE_PAREN;
":=" return T_COLON_EQUAL;
"+=" return T_PLUS_EQUAL;
\"|\' {
open_quote = yytext[0];
new_string();
BEGIN(STRING);
}
{n}+ {
alloc_string(yytext, yyleng);
yylval.string = text;
return T_WORD;
}
({n}|$)+ {
/* this token includes at least one '$' */
yylval.string = expand_token(yytext, yyleng);
if (strlen(yylval.string))
return T_WORD;
free(yylval.string);
}
. warn_ignored_character(*yytext);
<ASSIGN_VAL>{
[^[:blank:]\n]+.* {
alloc_string(yytext, yyleng);
yylval.string = text;
return T_ASSIGN_VAL;
}
\n { BEGIN(INITIAL); return T_EOL; }
.
}
<STRING>{
"$".* append_expanded_string(yytext);
[^$'"\\\n]+ {
append_string(yytext, yyleng);
}
\\.? {
append_string(yytext + 1, yyleng - 1);
}
\'|\" {
if (open_quote == yytext[0]) {
BEGIN(INITIAL);
yylval.string = text;
return T_WORD_QUOTE;
} else
append_string(yytext, 1);
}
\n {
fprintf(stderr,
"%s:%d:warning: multi-line strings not supported\n",
cur_filename, cur_lineno);
unput('\n');
BEGIN(INITIAL);
yylval.string = text;
return T_WORD_QUOTE;
}
<<EOF>> {
BEGIN(INITIAL);
yylval.string = text;
return T_WORD_QUOTE;
}
}
<HELP>{
[ \t]+ {
int ts, i;
ts = 0;
for (i = 0; i < yyleng; i++) {
if (yytext[i] == '\t')
ts = (ts & ~7) + 8;
else
ts++;
}
last_ts = ts;
if (first_ts) {
if (ts < first_ts) {
zconf_endhelp();
return T_HELPTEXT;
}
ts -= first_ts;
while (ts > 8) {
append_string(" ", 8);
ts -= 8;
}
append_string(" ", ts);
}
}
[ \t]*\n/[^ \t\n] {
zconf_endhelp();
return T_HELPTEXT;
}
[ \t]*\n {
append_string("\n", 1);
}
[^ \t\n].* {
while (yyleng) {
if ((yytext[yyleng-1] != ' ') && (yytext[yyleng-1] != '\t'))
break;
yyleng--;
}
append_string(yytext, yyleng);
if (!first_ts)
first_ts = last_ts;
}
<<EOF>> {
zconf_endhelp();
return T_HELPTEXT;
}
}
<<EOF>> {
BEGIN(INITIAL);
if (prev_token != T_EOL && prev_token != T_HELPTEXT)
fprintf(stderr, "%s:%d:warning: no new line at end of file\n",
cur_filename, yylineno);
if (current_buf) {
zconf_endfile();
return T_EOL;
}
fclose(yyin);
yyterminate();
}
%%
/* second stage lexer */
int yylex(void)
{
int token;
repeat:
token = yylex1();
if (prev_token == T_EOL || prev_token == T_HELPTEXT) {
if (token == T_EOL)
/* Do not pass unneeded T_EOL to the parser. */
goto repeat;
else
/*
* For the parser, update lineno at the first token
* of each statement. Generally, \n is a statement
* terminator in Kconfig, but it is not always true
* because \n could be escaped by a backslash.
*/
cur_lineno = yylineno;
}
if (prev_prev_token == T_EOL && prev_token == T_WORD &&
(token == T_EQUAL || token == T_COLON_EQUAL || token == T_PLUS_EQUAL))
BEGIN(ASSIGN_VAL);
prev_prev_token = prev_token;
prev_token = token;
return token;
}
static char *expand_token(const char *in, size_t n)
{
char *out;
int c;
char c2;
const char *rest, *end;
new_string();
append_string(in, n);
/*
* get the whole line because we do not know the end of token.
* input() returns 0 (not EOF!) when it reachs the end of file.
*/
while ((c = input()) != 0) {
if (c == '\n') {
unput(c);
break;
}
c2 = c;
append_string(&c2, 1);
}
rest = text;
out = expand_one_token(&rest);
/* push back unused characters to the input stream */
end = rest + strlen(rest);
while (end > rest)
unput(*--end);
free(text);
return out;
}
static void append_expanded_string(const char *str)
{
const char *end;
char *res;
str++;
res = expand_dollar(&str);
/* push back unused characters to the input stream */
end = str + strlen(str);
while (end > str)
unput(*--end);
append_string(res, strlen(res));
free(res);
}
void zconf_starthelp(void)
{
new_string();
last_ts = first_ts = 0;
BEGIN(HELP);
}
static void zconf_endhelp(void)
{
yylval.string = text;
BEGIN(INITIAL);
}
/*
* Try to open specified file with following names:
* ./name
* $(srctree)/name
* The latter is used when srctree is separate from objtree
* when compiling the kernel.
* Return NULL if file is not found.
*/
FILE *zconf_fopen(const char *name)
{
char *env, fullname[PATH_MAX+1];
FILE *f;
f = fopen(name, "r");
if (!f && name != NULL && name[0] != '/') {
env = getenv(SRCTREE);
if (env) {
snprintf(fullname, sizeof(fullname),
"%s/%s", env, name);
f = fopen(fullname, "r");
}
}
return f;
}
void zconf_initscan(const char *name)
{
yyin = zconf_fopen(name);
if (!yyin) {
fprintf(stderr, "can't find file %s\n", name);
exit(1);
}
cur_filename = file_lookup(name, NULL, 0);
yylineno = 1;
}
void zconf_nextfile(const char *name)
{
struct buffer *buf = xmalloc(sizeof(*buf));
bool recur_include = false;
buf->state = YY_CURRENT_BUFFER;
buf->yylineno = yylineno;
buf->filename = cur_filename;
buf->source_lineno = cur_lineno;
buf->parent = current_buf;
current_buf = buf;
yyin = zconf_fopen(name);
if (!yyin) {
fprintf(stderr, "%s:%d: can't open file \"%s\"\n",
cur_filename, cur_lineno, name);
exit(1);
}
yy_switch_to_buffer(yy_create_buffer(yyin, YY_BUF_SIZE));
for (buf = current_buf; buf; buf = buf->parent) {
if (!strcmp(buf->filename, name))
recur_include = true;
}
if (recur_include) {
fprintf(stderr,
"Recursive inclusion detected.\n"
"Inclusion path:\n"
" current file : %s\n", name);
for (buf = current_buf; buf; buf = buf->parent)
fprintf(stderr, " included from: %s:%d\n",
buf->filename, buf->source_lineno);
exit(1);
}
yylineno = 1;
cur_filename = file_lookup(name, cur_filename, cur_lineno);
}
static void zconf_endfile(void)
{
struct buffer *tmp;
fclose(yyin);
yy_delete_buffer(YY_CURRENT_BUFFER);
yy_switch_to_buffer(current_buf->state);
yylineno = current_buf->yylineno;
cur_filename = current_buf->filename;
tmp = current_buf;
current_buf = current_buf->parent;
free(tmp);
}