1 /* SPDX-License-Identifier: GPL-2.0-or-later * 1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 /* 2 /*
3 * (C) Copyright David Gibson <dwg@au1.ibm.com> 3 * (C) Copyright David Gibson <dwg@au1.ibm.com>, IBM Corporation. 2005.
4 */ 4 */
5 5
6 %option noyywrap nounput noinput never-interac 6 %option noyywrap nounput noinput never-interactive
7 7
8 %x BYTESTRING 8 %x BYTESTRING
9 %x PROPNODENAME 9 %x PROPNODENAME
10 %s V1 10 %s V1
11 11
12 PROPNODECHAR [a-zA-Z0-9,._+*#?@-] 12 PROPNODECHAR [a-zA-Z0-9,._+*#?@-]
13 PATHCHAR ({PROPNODECHAR}|[/]) 13 PATHCHAR ({PROPNODECHAR}|[/])
14 LABEL [a-zA-Z_][a-zA-Z0-9_]* 14 LABEL [a-zA-Z_][a-zA-Z0-9_]*
15 STRING \"([^\\"]|\\.)*\" 15 STRING \"([^\\"]|\\.)*\"
16 CHAR_LITERAL '([^']|\\')*' 16 CHAR_LITERAL '([^']|\\')*'
17 WS [[:space:]] 17 WS [[:space:]]
18 COMMENT "/*"([^*]|\*+[^*/])*\*+"/" 18 COMMENT "/*"([^*]|\*+[^*/])*\*+"/"
19 LINECOMMENT "//".*\n 19 LINECOMMENT "//".*\n
20 20
21 %{ 21 %{
22 #include "dtc.h" 22 #include "dtc.h"
23 #include "srcpos.h" 23 #include "srcpos.h"
24 #include "dtc-parser.tab.h" 24 #include "dtc-parser.tab.h"
25 25
26 extern bool treesource_error; 26 extern bool treesource_error;
27 27
28 /* CAUTION: this will stop working if we ever 28 /* CAUTION: this will stop working if we ever use yyless() or yyunput() */
29 #define YY_USER_ACTION \ 29 #define YY_USER_ACTION \
30 { \ 30 { \
31 srcpos_update(&yylloc, yytext, 31 srcpos_update(&yylloc, yytext, yyleng); \
32 } 32 }
33 33
34 /*#define LEXDEBUG 1*/ 34 /*#define LEXDEBUG 1*/
35 35
36 #ifdef LEXDEBUG 36 #ifdef LEXDEBUG
37 #define DPRINT(fmt, ...) fprintf(stderr 37 #define DPRINT(fmt, ...) fprintf(stderr, fmt, ##__VA_ARGS__)
38 #else 38 #else
39 #define DPRINT(fmt, ...) do { } while ( 39 #define DPRINT(fmt, ...) do { } while (0)
40 #endif 40 #endif
41 41
42 static int dts_version = 1; 42 static int dts_version = 1;
43 43
44 #define BEGIN_DEFAULT() DPRINT("<V1>\n 44 #define BEGIN_DEFAULT() DPRINT("<V1>\n"); \
45 BEGIN(V1); \ 45 BEGIN(V1); \
46 46
47 static void push_input_file(const char *filena 47 static void push_input_file(const char *filename);
48 static bool pop_input_file(void); 48 static bool pop_input_file(void);
49 static void PRINTF(1, 2) lexical_error(const c 49 static void PRINTF(1, 2) lexical_error(const char *fmt, ...);
50 50
51 %} 51 %}
52 52
53 %% 53 %%
54 <*>"/include/"{WS}*{STRING} { 54 <*>"/include/"{WS}*{STRING} {
55 char *name = strchr(yy 55 char *name = strchr(yytext, '\"') + 1;
56 yytext[yyleng-1] = '\0 56 yytext[yyleng-1] = '\0';
57 push_input_file(name); 57 push_input_file(name);
58 } 58 }
59 59
60 <*>^"#"(line)?[ \t]+[0-9]+[ \t]+{STRING}([ \t] 60 <*>^"#"(line)?[ \t]+[0-9]+[ \t]+{STRING}([ \t]+[0-9]+)* {
61 char *line, *fnstart, 61 char *line, *fnstart, *fnend;
62 struct data fn; 62 struct data fn;
63 /* skip text before li 63 /* skip text before line # */
64 line = yytext; 64 line = yytext;
65 while (!isdigit((unsig 65 while (!isdigit((unsigned char)*line))
66 line++; 66 line++;
67 67
68 /* regexp ensures that 68 /* regexp ensures that first and list "
69 * in the whole yytext 69 * in the whole yytext are those at
70 * beginning and end o 70 * beginning and end of the filename string */
71 fnstart = memchr(yytex 71 fnstart = memchr(yytext, '"', yyleng);
72 for (fnend = yytext + 72 for (fnend = yytext + yyleng - 1;
73 *fnend != '"'; fn 73 *fnend != '"'; fnend--)
74 ; 74 ;
75 assert(fnstart && fnen 75 assert(fnstart && fnend && (fnend > fnstart));
76 76
77 fn = data_copy_escape_ 77 fn = data_copy_escape_string(fnstart + 1,
78 78 fnend - fnstart - 1);
79 79
80 /* Don't allow nuls in 80 /* Don't allow nuls in filenames */
81 if (memchr(fn.val, '\0 81 if (memchr(fn.val, '\0', fn.len - 1))
82 lexical_error( 82 lexical_error("nul in line number directive");
83 83
84 /* -1 since #line is t 84 /* -1 since #line is the number of the next line */
85 srcpos_set_line(xstrdu 85 srcpos_set_line(xstrdup(fn.val), atoi(line) - 1);
86 data_free(fn); 86 data_free(fn);
87 } 87 }
88 88
89 <*><<EOF>> { 89 <*><<EOF>> {
90 if (!pop_input_file()) 90 if (!pop_input_file()) {
91 yyterminate(); 91 yyterminate();
92 } 92 }
93 } 93 }
94 94
95 <*>{STRING} { 95 <*>{STRING} {
96 DPRINT("String: %s\n", 96 DPRINT("String: %s\n", yytext);
97 yylval.data = data_cop 97 yylval.data = data_copy_escape_string(yytext+1,
98 yyleng 98 yyleng-2);
99 return DT_STRING; 99 return DT_STRING;
100 } 100 }
101 101
102 <*>"/dts-v1/" { 102 <*>"/dts-v1/" {
103 DPRINT("Keyword: /dts- 103 DPRINT("Keyword: /dts-v1/\n");
104 dts_version = 1; 104 dts_version = 1;
105 BEGIN_DEFAULT(); 105 BEGIN_DEFAULT();
106 return DT_V1; 106 return DT_V1;
107 } 107 }
108 108
109 <*>"/plugin/" { 109 <*>"/plugin/" {
110 DPRINT("Keyword: /plug 110 DPRINT("Keyword: /plugin/\n");
111 return DT_PLUGIN; 111 return DT_PLUGIN;
112 } 112 }
113 113
114 <*>"/memreserve/" { 114 <*>"/memreserve/" {
115 DPRINT("Keyword: /memr 115 DPRINT("Keyword: /memreserve/\n");
116 BEGIN_DEFAULT(); 116 BEGIN_DEFAULT();
117 return DT_MEMRESERVE; 117 return DT_MEMRESERVE;
118 } 118 }
119 119
120 <*>"/bits/" { 120 <*>"/bits/" {
121 DPRINT("Keyword: /bits 121 DPRINT("Keyword: /bits/\n");
122 BEGIN_DEFAULT(); 122 BEGIN_DEFAULT();
123 return DT_BITS; 123 return DT_BITS;
124 } 124 }
125 125
126 <*>"/delete-property/" { 126 <*>"/delete-property/" {
127 DPRINT("Keyword: /dele 127 DPRINT("Keyword: /delete-property/\n");
128 DPRINT("<PROPNODENAME> 128 DPRINT("<PROPNODENAME>\n");
129 BEGIN(PROPNODENAME); 129 BEGIN(PROPNODENAME);
130 return DT_DEL_PROP; 130 return DT_DEL_PROP;
131 } 131 }
132 132
133 <*>"/delete-node/" { 133 <*>"/delete-node/" {
134 DPRINT("Keyword: /dele 134 DPRINT("Keyword: /delete-node/\n");
135 DPRINT("<PROPNODENAME> 135 DPRINT("<PROPNODENAME>\n");
136 BEGIN(PROPNODENAME); 136 BEGIN(PROPNODENAME);
137 return DT_DEL_NODE; 137 return DT_DEL_NODE;
138 } 138 }
139 139
140 <*>"/omit-if-no-ref/" { 140 <*>"/omit-if-no-ref/" {
141 DPRINT("Keyword: /omit 141 DPRINT("Keyword: /omit-if-no-ref/\n");
142 DPRINT("<PROPNODENAME> 142 DPRINT("<PROPNODENAME>\n");
143 BEGIN(PROPNODENAME); 143 BEGIN(PROPNODENAME);
144 return DT_OMIT_NO_REF; 144 return DT_OMIT_NO_REF;
145 } 145 }
146 146
147 <*>{LABEL}: { 147 <*>{LABEL}: {
148 DPRINT("Label: %s\n", 148 DPRINT("Label: %s\n", yytext);
149 yylval.labelref = xstr 149 yylval.labelref = xstrdup(yytext);
150 yylval.labelref[yyleng 150 yylval.labelref[yyleng-1] = '\0';
151 return DT_LABEL; 151 return DT_LABEL;
152 } 152 }
153 153
154 <V1>([0-9]+|0[xX][0-9a-fA-F]+)(U|L|UL|LL|ULL)? 154 <V1>([0-9]+|0[xX][0-9a-fA-F]+)(U|L|UL|LL|ULL)? {
155 char *e; 155 char *e;
156 DPRINT("Integer Litera 156 DPRINT("Integer Literal: '%s'\n", yytext);
157 157
158 errno = 0; 158 errno = 0;
159 yylval.integer = strto 159 yylval.integer = strtoull(yytext, &e, 0);
160 160
161 if (*e && e[strspn(e, 161 if (*e && e[strspn(e, "UL")]) {
162 lexical_error( 162 lexical_error("Bad integer literal '%s'",
163 163 yytext);
164 } 164 }
165 165
166 if (errno == ERANGE) 166 if (errno == ERANGE)
167 lexical_error( 167 lexical_error("Integer literal '%s' out of range",
168 168 yytext);
169 else 169 else
170 /* ERANGE is t 170 /* ERANGE is the only strtoull error triggerable
171 * by strings 171 * by strings matching the pattern */
172 assert(errno = 172 assert(errno == 0);
173 return DT_LITERAL; 173 return DT_LITERAL;
174 } 174 }
175 175
176 <*>{CHAR_LITERAL} { 176 <*>{CHAR_LITERAL} {
177 struct data d; 177 struct data d;
178 DPRINT("Character lite 178 DPRINT("Character literal: %s\n", yytext);
179 179
180 d = data_copy_escape_s 180 d = data_copy_escape_string(yytext+1, yyleng-2);
181 if (d.len == 1) { 181 if (d.len == 1) {
182 lexical_error( 182 lexical_error("Empty character literal");
183 yylval.integer 183 yylval.integer = 0;
184 } else { 184 } else {
185 yylval.integer 185 yylval.integer = (unsigned char)d.val[0];
186 186
187 if (d.len > 2) 187 if (d.len > 2)
188 lexica 188 lexical_error("Character literal has %d"
189 189 " characters instead of 1",
190 190 d.len - 1);
191 } 191 }
192 192
193 data_free(d); 193 data_free(d);
194 return DT_CHAR_LITERAL 194 return DT_CHAR_LITERAL;
195 } 195 }
196 196
197 <*>\&{LABEL} { /* label reference */ 197 <*>\&{LABEL} { /* label reference */
198 DPRINT("Ref: %s\n", yy 198 DPRINT("Ref: %s\n", yytext+1);
199 yylval.labelref = xstr 199 yylval.labelref = xstrdup(yytext+1);
200 return DT_LABEL_REF; 200 return DT_LABEL_REF;
201 } 201 }
202 202
203 <*>"&{"{PATHCHAR}*\} { /* new-style p 203 <*>"&{"{PATHCHAR}*\} { /* new-style path reference */
204 yytext[yyleng-1] = '\0 204 yytext[yyleng-1] = '\0';
205 DPRINT("Ref: %s\n", yy 205 DPRINT("Ref: %s\n", yytext+2);
206 yylval.labelref = xstr 206 yylval.labelref = xstrdup(yytext+2);
207 return DT_PATH_REF; 207 return DT_PATH_REF;
208 } 208 }
209 209
210 <BYTESTRING>[0-9a-fA-F]{2} { 210 <BYTESTRING>[0-9a-fA-F]{2} {
211 yylval.byte = strtol(y 211 yylval.byte = strtol(yytext, NULL, 16);
212 DPRINT("Byte: %02x\n", 212 DPRINT("Byte: %02x\n", (int)yylval.byte);
213 return DT_BYTE; 213 return DT_BYTE;
214 } 214 }
215 215
216 <BYTESTRING>"]" { 216 <BYTESTRING>"]" {
217 DPRINT("/BYTESTRING\n" 217 DPRINT("/BYTESTRING\n");
218 BEGIN_DEFAULT(); 218 BEGIN_DEFAULT();
219 return ']'; 219 return ']';
220 } 220 }
221 221
222 <PROPNODENAME>\\?{PROPNODECHAR}+ { 222 <PROPNODENAME>\\?{PROPNODECHAR}+ {
223 DPRINT("PropNodeName: 223 DPRINT("PropNodeName: %s\n", yytext);
224 yylval.propnodename = 224 yylval.propnodename = xstrdup((yytext[0] == '\\') ?
225 225 yytext + 1 : yytext);
226 BEGIN_DEFAULT(); 226 BEGIN_DEFAULT();
227 return DT_PROPNODENAME 227 return DT_PROPNODENAME;
228 } 228 }
229 229
230 "/incbin/" { 230 "/incbin/" {
231 DPRINT("Binary Include 231 DPRINT("Binary Include\n");
232 return DT_INCBIN; 232 return DT_INCBIN;
233 } 233 }
234 234
235 <*>{WS}+ /* eat whitespace */ 235 <*>{WS}+ /* eat whitespace */
236 <*>{COMMENT}+ /* eat C-style comments */ 236 <*>{COMMENT}+ /* eat C-style comments */
237 <*>{LINECOMMENT}+ /* eat C++-style comments */ 237 <*>{LINECOMMENT}+ /* eat C++-style comments */
238 238
239 <*>"<<" { return DT_LSHIFT; }; 239 <*>"<<" { return DT_LSHIFT; };
240 <*>">>" { return DT_RSHIFT; }; 240 <*>">>" { return DT_RSHIFT; };
241 <*>"<=" { return DT_LE; }; 241 <*>"<=" { return DT_LE; };
242 <*>">=" { return DT_GE; }; 242 <*>">=" { return DT_GE; };
243 <*>"==" { return DT_EQ; }; 243 <*>"==" { return DT_EQ; };
244 <*>"!=" { return DT_NE; }; 244 <*>"!=" { return DT_NE; };
245 <*>"&&" { return DT_AND; }; 245 <*>"&&" { return DT_AND; };
246 <*>"||" { return DT_OR; }; 246 <*>"||" { return DT_OR; };
247 247
248 <*>. { 248 <*>. {
249 DPRINT("Char: %c (\\x% 249 DPRINT("Char: %c (\\x%02x)\n", yytext[0],
250 (unsigned)yyte 250 (unsigned)yytext[0]);
251 if (yytext[0] == '[') 251 if (yytext[0] == '[') {
252 DPRINT("<BYTES 252 DPRINT("<BYTESTRING>\n");
253 BEGIN(BYTESTRI 253 BEGIN(BYTESTRING);
254 } 254 }
255 if ((yytext[0] == '{') 255 if ((yytext[0] == '{')
256 || (yytext[0] == ' 256 || (yytext[0] == ';')) {
257 DPRINT("<PROPN 257 DPRINT("<PROPNODENAME>\n");
258 BEGIN(PROPNODE 258 BEGIN(PROPNODENAME);
259 } 259 }
260 return yytext[0]; 260 return yytext[0];
261 } 261 }
262 262
263 %% 263 %%
264 264
265 static void push_input_file(const char *filena 265 static void push_input_file(const char *filename)
266 { 266 {
267 assert(filename); 267 assert(filename);
268 268
269 srcfile_push(filename); 269 srcfile_push(filename);
270 270
271 yyin = current_srcfile->f; 271 yyin = current_srcfile->f;
272 272
273 yypush_buffer_state(yy_create_buffer(y 273 yypush_buffer_state(yy_create_buffer(yyin, YY_BUF_SIZE));
274 } 274 }
275 275
276 276
277 static bool pop_input_file(void) 277 static bool pop_input_file(void)
278 { 278 {
279 if (srcfile_pop() == 0) 279 if (srcfile_pop() == 0)
280 return false; 280 return false;
281 281
282 yypop_buffer_state(); 282 yypop_buffer_state();
283 yyin = current_srcfile->f; 283 yyin = current_srcfile->f;
284 284
285 return true; 285 return true;
286 } 286 }
287 287
288 static void lexical_error(const char *fmt, ... 288 static void lexical_error(const char *fmt, ...)
289 { 289 {
290 va_list ap; 290 va_list ap;
291 291
292 va_start(ap, fmt); 292 va_start(ap, fmt);
293 srcpos_verror(&yylloc, "Lexical error" 293 srcpos_verror(&yylloc, "Lexical error", fmt, ap);
294 va_end(ap); 294 va_end(ap);
295 295
296 treesource_error = true; 296 treesource_error = true;
297 } 297 }
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.