Loading...
1/* SPDX-License-Identifier: GPL-2.0-or-later */
2/*
3 * C global declaration parser for genksyms.
4 * Copyright 1996, 1997 Linux International.
5 *
6 * New implementation contributed by Richard Henderson <rth@tamu.edu>
7 * Based on original work by Bjorn Ekwall <bj0rn@blox.se>
8 *
9 * This file is part of the Linux modutils.
10 */
11
12%{
13
14#include <assert.h>
15#include <stdlib.h>
16#include <string.h>
17#include "genksyms.h"
18
19static int is_typedef;
20static int is_extern;
21static char *current_name;
22static struct string_list *decl_spec;
23
24static void yyerror(const char *);
25
26static inline void
27remove_node(struct string_list **p)
28{
29 struct string_list *node = *p;
30 *p = node->next;
31 free_node(node);
32}
33
34static inline void
35remove_list(struct string_list **pb, struct string_list **pe)
36{
37 struct string_list *b = *pb, *e = *pe;
38 *pb = e;
39 free_list(b, e);
40}
41
42/* Record definition of a struct/union/enum */
43static void record_compound(struct string_list **keyw,
44 struct string_list **ident,
45 struct string_list **body,
46 enum symbol_type type)
47{
48 struct string_list *b = *body, *i = *ident, *r;
49
50 if (i->in_source_file) {
51 remove_node(keyw);
52 (*ident)->tag = type;
53 remove_list(body, ident);
54 return;
55 }
56 r = copy_node(i); r->tag = type;
57 r->next = (*keyw)->next; *body = r; (*keyw)->next = NULL;
58 add_symbol(i->string, type, b, is_extern);
59}
60
61%}
62
63%token ASM_KEYW
64%token ATTRIBUTE_KEYW
65%token AUTO_KEYW
66%token BOOL_KEYW
67%token BUILTIN_INT_KEYW
68%token CHAR_KEYW
69%token CONST_KEYW
70%token DOUBLE_KEYW
71%token ENUM_KEYW
72%token EXTERN_KEYW
73%token EXTENSION_KEYW
74%token FLOAT_KEYW
75%token INLINE_KEYW
76%token INT_KEYW
77%token LONG_KEYW
78%token REGISTER_KEYW
79%token RESTRICT_KEYW
80%token SHORT_KEYW
81%token SIGNED_KEYW
82%token STATIC_KEYW
83%token STATIC_ASSERT_KEYW
84%token STRUCT_KEYW
85%token TYPEDEF_KEYW
86%token UNION_KEYW
87%token UNSIGNED_KEYW
88%token VOID_KEYW
89%token VOLATILE_KEYW
90%token TYPEOF_KEYW
91%token VA_LIST_KEYW
92
93%token EXPORT_SYMBOL_KEYW
94
95%token ASM_PHRASE
96%token ATTRIBUTE_PHRASE
97%token TYPEOF_PHRASE
98%token BRACE_PHRASE
99%token BRACKET_PHRASE
100%token EXPRESSION_PHRASE
101%token STATIC_ASSERT_PHRASE
102
103%token CHAR
104%token DOTS
105%token IDENT
106%token INT
107%token REAL
108%token STRING
109%token TYPE
110%token OTHER
111%token FILENAME
112
113%%
114
115declaration_seq:
116 declaration
117 | declaration_seq declaration
118 ;
119
120declaration:
121 { is_typedef = 0; is_extern = 0; current_name = NULL; decl_spec = NULL; }
122 declaration1
123 { free_list(*$2, NULL); *$2 = NULL; }
124 ;
125
126declaration1:
127 EXTENSION_KEYW TYPEDEF_KEYW { is_typedef = 1; } simple_declaration
128 { $$ = $4; }
129 | TYPEDEF_KEYW { is_typedef = 1; } simple_declaration
130 { $$ = $3; }
131 | simple_declaration
132 | function_definition
133 | asm_definition
134 | export_definition
135 | static_assert
136 | error ';' { $$ = $2; }
137 | error '}' { $$ = $2; }
138 ;
139
140simple_declaration:
141 decl_specifier_seq_opt init_declarator_list_opt ';'
142 { if (current_name) {
143 struct string_list *decl = (*$3)->next;
144 (*$3)->next = NULL;
145 add_symbol(current_name,
146 is_typedef ? SYM_TYPEDEF : SYM_NORMAL,
147 decl, is_extern);
148 current_name = NULL;
149 }
150 $$ = $3;
151 }
152 ;
153
154init_declarator_list_opt:
155 /* empty */ { $$ = NULL; }
156 | init_declarator_list
157 ;
158
159init_declarator_list:
160 init_declarator
161 { struct string_list *decl = *$1;
162 *$1 = NULL;
163 add_symbol(current_name,
164 is_typedef ? SYM_TYPEDEF : SYM_NORMAL, decl, is_extern);
165 current_name = NULL;
166 $$ = $1;
167 }
168 | init_declarator_list ',' init_declarator
169 { struct string_list *decl = *$3;
170 *$3 = NULL;
171 free_list(*$2, NULL);
172 *$2 = decl_spec;
173 add_symbol(current_name,
174 is_typedef ? SYM_TYPEDEF : SYM_NORMAL, decl, is_extern);
175 current_name = NULL;
176 $$ = $3;
177 }
178 ;
179
180init_declarator:
181 declarator asm_phrase_opt attribute_opt initializer_opt
182 { $$ = $4 ? $4 : $3 ? $3 : $2 ? $2 : $1; }
183 ;
184
185/* Hang on to the specifiers so that we can reuse them. */
186decl_specifier_seq_opt:
187 /* empty */ { decl_spec = NULL; }
188 | decl_specifier_seq
189 ;
190
191decl_specifier_seq:
192 decl_specifier { decl_spec = *$1; }
193 | decl_specifier_seq decl_specifier { decl_spec = *$2; }
194 ;
195
196decl_specifier:
197 storage_class_specifier
198 { /* Version 2 checksumming ignores storage class, as that
199 is really irrelevant to the linkage. */
200 remove_node($1);
201 $$ = $1;
202 }
203 | type_specifier
204 ;
205
206storage_class_specifier:
207 AUTO_KEYW
208 | REGISTER_KEYW
209 | STATIC_KEYW
210 | EXTERN_KEYW { is_extern = 1; $$ = $1; }
211 | INLINE_KEYW { is_extern = 0; $$ = $1; }
212 ;
213
214type_specifier:
215 simple_type_specifier
216 | cvar_qualifier
217 | TYPEOF_KEYW '(' parameter_declaration ')'
218 | TYPEOF_PHRASE
219
220 /* References to s/u/e's defined elsewhere. Rearrange things
221 so that it is easier to expand the definition fully later. */
222 | STRUCT_KEYW IDENT
223 { remove_node($1); (*$2)->tag = SYM_STRUCT; $$ = $2; }
224 | UNION_KEYW IDENT
225 { remove_node($1); (*$2)->tag = SYM_UNION; $$ = $2; }
226 | ENUM_KEYW IDENT
227 { remove_node($1); (*$2)->tag = SYM_ENUM; $$ = $2; }
228
229 /* Full definitions of an s/u/e. Record it. */
230 | STRUCT_KEYW IDENT class_body
231 { record_compound($1, $2, $3, SYM_STRUCT); $$ = $3; }
232 | UNION_KEYW IDENT class_body
233 { record_compound($1, $2, $3, SYM_UNION); $$ = $3; }
234 | ENUM_KEYW IDENT enum_body
235 { record_compound($1, $2, $3, SYM_ENUM); $$ = $3; }
236 /*
237 * Anonymous enum definition. Tell add_symbol() to restart its counter.
238 */
239 | ENUM_KEYW enum_body
240 { add_symbol(NULL, SYM_ENUM, NULL, 0); $$ = $2; }
241 /* Anonymous s/u definitions. Nothing needs doing. */
242 | STRUCT_KEYW class_body { $$ = $2; }
243 | UNION_KEYW class_body { $$ = $2; }
244 ;
245
246simple_type_specifier:
247 CHAR_KEYW
248 | SHORT_KEYW
249 | INT_KEYW
250 | LONG_KEYW
251 | SIGNED_KEYW
252 | UNSIGNED_KEYW
253 | FLOAT_KEYW
254 | DOUBLE_KEYW
255 | VOID_KEYW
256 | BOOL_KEYW
257 | VA_LIST_KEYW
258 | BUILTIN_INT_KEYW
259 | TYPE { (*$1)->tag = SYM_TYPEDEF; $$ = $1; }
260 ;
261
262ptr_operator:
263 '*' cvar_qualifier_seq_opt
264 { $$ = $2 ? $2 : $1; }
265 ;
266
267cvar_qualifier_seq_opt:
268 /* empty */ { $$ = NULL; }
269 | cvar_qualifier_seq
270 ;
271
272cvar_qualifier_seq:
273 cvar_qualifier
274 | cvar_qualifier_seq cvar_qualifier { $$ = $2; }
275 ;
276
277cvar_qualifier:
278 CONST_KEYW | VOLATILE_KEYW | ATTRIBUTE_PHRASE
279 | RESTRICT_KEYW
280 { /* restrict has no effect in prototypes so ignore it */
281 remove_node($1);
282 $$ = $1;
283 }
284 ;
285
286declarator:
287 ptr_operator declarator { $$ = $2; }
288 | direct_declarator
289 ;
290
291direct_declarator:
292 IDENT
293 { if (current_name != NULL) {
294 error_with_pos("unexpected second declaration name");
295 YYERROR;
296 } else {
297 current_name = (*$1)->string;
298 $$ = $1;
299 }
300 }
301 | TYPE
302 { if (current_name != NULL) {
303 error_with_pos("unexpected second declaration name");
304 YYERROR;
305 } else {
306 current_name = (*$1)->string;
307 $$ = $1;
308 }
309 }
310 | direct_declarator '(' parameter_declaration_clause ')'
311 { $$ = $4; }
312 | direct_declarator '(' error ')'
313 { $$ = $4; }
314 | direct_declarator BRACKET_PHRASE
315 { $$ = $2; }
316 | '(' declarator ')'
317 { $$ = $3; }
318 ;
319
320/* Nested declarators differ from regular declarators in that they do
321 not record the symbols they find in the global symbol table. */
322nested_declarator:
323 ptr_operator nested_declarator { $$ = $2; }
324 | direct_nested_declarator
325 ;
326
327direct_nested_declarator:
328 IDENT
329 | TYPE
330 | direct_nested_declarator '(' parameter_declaration_clause ')'
331 { $$ = $4; }
332 | direct_nested_declarator '(' error ')'
333 { $$ = $4; }
334 | direct_nested_declarator BRACKET_PHRASE
335 { $$ = $2; }
336 | '(' nested_declarator ')'
337 { $$ = $3; }
338 | '(' error ')'
339 { $$ = $3; }
340 ;
341
342parameter_declaration_clause:
343 parameter_declaration_list_opt DOTS { $$ = $2; }
344 | parameter_declaration_list_opt
345 | parameter_declaration_list ',' DOTS { $$ = $3; }
346 ;
347
348parameter_declaration_list_opt:
349 /* empty */ { $$ = NULL; }
350 | parameter_declaration_list
351 ;
352
353parameter_declaration_list:
354 parameter_declaration
355 | parameter_declaration_list ',' parameter_declaration
356 { $$ = $3; }
357 ;
358
359parameter_declaration:
360 decl_specifier_seq m_abstract_declarator
361 { $$ = $2 ? $2 : $1; }
362 ;
363
364m_abstract_declarator:
365 ptr_operator m_abstract_declarator
366 { $$ = $2 ? $2 : $1; }
367 | direct_m_abstract_declarator
368 ;
369
370direct_m_abstract_declarator:
371 /* empty */ { $$ = NULL; }
372 | IDENT
373 { /* For version 2 checksums, we don't want to remember
374 private parameter names. */
375 remove_node($1);
376 $$ = $1;
377 }
378 /* This wasn't really a typedef name but an identifier that
379 shadows one. */
380 | TYPE
381 { remove_node($1);
382 $$ = $1;
383 }
384 | direct_m_abstract_declarator '(' parameter_declaration_clause ')'
385 { $$ = $4; }
386 | direct_m_abstract_declarator '(' error ')'
387 { $$ = $4; }
388 | direct_m_abstract_declarator BRACKET_PHRASE
389 { $$ = $2; }
390 | '(' m_abstract_declarator ')'
391 { $$ = $3; }
392 | '(' error ')'
393 { $$ = $3; }
394 ;
395
396function_definition:
397 decl_specifier_seq_opt declarator BRACE_PHRASE
398 { struct string_list *decl = *$2;
399 *$2 = NULL;
400 add_symbol(current_name, SYM_NORMAL, decl, is_extern);
401 $$ = $3;
402 }
403 ;
404
405initializer_opt:
406 /* empty */ { $$ = NULL; }
407 | initializer
408 ;
409
410/* We never care about the contents of an initializer. */
411initializer:
412 '=' EXPRESSION_PHRASE
413 { remove_list($2, &(*$1)->next); $$ = $2; }
414 ;
415
416class_body:
417 '{' member_specification_opt '}' { $$ = $3; }
418 | '{' error '}' { $$ = $3; }
419 ;
420
421member_specification_opt:
422 /* empty */ { $$ = NULL; }
423 | member_specification
424 ;
425
426member_specification:
427 member_declaration
428 | member_specification member_declaration { $$ = $2; }
429 ;
430
431member_declaration:
432 decl_specifier_seq_opt member_declarator_list_opt ';'
433 { $$ = $3; }
434 | error ';'
435 { $$ = $2; }
436 ;
437
438member_declarator_list_opt:
439 /* empty */ { $$ = NULL; }
440 | member_declarator_list
441 ;
442
443member_declarator_list:
444 member_declarator
445 | member_declarator_list ',' member_declarator { $$ = $3; }
446 ;
447
448member_declarator:
449 nested_declarator attribute_opt { $$ = $2 ? $2 : $1; }
450 | IDENT member_bitfield_declarator { $$ = $2; }
451 | member_bitfield_declarator
452 ;
453
454member_bitfield_declarator:
455 ':' EXPRESSION_PHRASE { $$ = $2; }
456 ;
457
458attribute_opt:
459 /* empty */ { $$ = NULL; }
460 | attribute_opt ATTRIBUTE_PHRASE
461 ;
462
463enum_body:
464 '{' enumerator_list '}' { $$ = $3; }
465 | '{' enumerator_list ',' '}' { $$ = $4; }
466 ;
467
468enumerator_list:
469 enumerator
470 | enumerator_list ',' enumerator
471
472enumerator:
473 IDENT
474 {
475 const char *name = strdup((*$1)->string);
476 add_symbol(name, SYM_ENUM_CONST, NULL, 0);
477 }
478 | IDENT '=' EXPRESSION_PHRASE
479 {
480 const char *name = strdup((*$1)->string);
481 struct string_list *expr = copy_list_range(*$3, *$2);
482 add_symbol(name, SYM_ENUM_CONST, expr, 0);
483 }
484
485asm_definition:
486 ASM_PHRASE ';' { $$ = $2; }
487 ;
488
489asm_phrase_opt:
490 /* empty */ { $$ = NULL; }
491 | ASM_PHRASE
492 ;
493
494export_definition:
495 EXPORT_SYMBOL_KEYW '(' IDENT ')' ';'
496 { export_symbol((*$3)->string); $$ = $5; }
497 ;
498
499/* Ignore any module scoped _Static_assert(...) */
500static_assert:
501 STATIC_ASSERT_PHRASE ';' { $$ = $2; }
502 ;
503
504%%
505
506static void
507yyerror(const char *e)
508{
509 error_with_pos("%s", e);
510}
1/* C global declaration parser for genksyms.
2 Copyright 1996, 1997 Linux International.
3
4 New implementation contributed by Richard Henderson <rth@tamu.edu>
5 Based on original work by Bjorn Ekwall <bj0rn@blox.se>
6
7 This file is part of the Linux modutils.
8
9 This program is free software; you can redistribute it and/or modify it
10 under the terms of the GNU General Public License as published by the
11 Free Software Foundation; either version 2 of the License, or (at your
12 option) any later version.
13
14 This program is distributed in the hope that it will be useful, but
15 WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with this program; if not, write to the Free Software Foundation,
21 Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
22
23
24%{
25
26#include <assert.h>
27#include <stdlib.h>
28#include <string.h>
29#include "genksyms.h"
30
31static int is_typedef;
32static int is_extern;
33static char *current_name;
34static struct string_list *decl_spec;
35
36static void yyerror(const char *);
37
38static inline void
39remove_node(struct string_list **p)
40{
41 struct string_list *node = *p;
42 *p = node->next;
43 free_node(node);
44}
45
46static inline void
47remove_list(struct string_list **pb, struct string_list **pe)
48{
49 struct string_list *b = *pb, *e = *pe;
50 *pb = e;
51 free_list(b, e);
52}
53
54/* Record definition of a struct/union/enum */
55static void record_compound(struct string_list **keyw,
56 struct string_list **ident,
57 struct string_list **body,
58 enum symbol_type type)
59{
60 struct string_list *b = *body, *i = *ident, *r;
61
62 if (i->in_source_file) {
63 remove_node(keyw);
64 (*ident)->tag = type;
65 remove_list(body, ident);
66 return;
67 }
68 r = copy_node(i); r->tag = type;
69 r->next = (*keyw)->next; *body = r; (*keyw)->next = NULL;
70 add_symbol(i->string, type, b, is_extern);
71}
72
73%}
74
75%token ASM_KEYW
76%token ATTRIBUTE_KEYW
77%token AUTO_KEYW
78%token BOOL_KEYW
79%token CHAR_KEYW
80%token CONST_KEYW
81%token DOUBLE_KEYW
82%token ENUM_KEYW
83%token EXTERN_KEYW
84%token EXTENSION_KEYW
85%token FLOAT_KEYW
86%token INLINE_KEYW
87%token INT_KEYW
88%token LONG_KEYW
89%token REGISTER_KEYW
90%token RESTRICT_KEYW
91%token SHORT_KEYW
92%token SIGNED_KEYW
93%token STATIC_KEYW
94%token STRUCT_KEYW
95%token TYPEDEF_KEYW
96%token UNION_KEYW
97%token UNSIGNED_KEYW
98%token VOID_KEYW
99%token VOLATILE_KEYW
100%token TYPEOF_KEYW
101
102%token EXPORT_SYMBOL_KEYW
103
104%token ASM_PHRASE
105%token ATTRIBUTE_PHRASE
106%token TYPEOF_PHRASE
107%token BRACE_PHRASE
108%token BRACKET_PHRASE
109%token EXPRESSION_PHRASE
110
111%token CHAR
112%token DOTS
113%token IDENT
114%token INT
115%token REAL
116%token STRING
117%token TYPE
118%token OTHER
119%token FILENAME
120
121%%
122
123declaration_seq:
124 declaration
125 | declaration_seq declaration
126 ;
127
128declaration:
129 { is_typedef = 0; is_extern = 0; current_name = NULL; decl_spec = NULL; }
130 declaration1
131 { free_list(*$2, NULL); *$2 = NULL; }
132 ;
133
134declaration1:
135 EXTENSION_KEYW TYPEDEF_KEYW { is_typedef = 1; } simple_declaration
136 { $$ = $4; }
137 | TYPEDEF_KEYW { is_typedef = 1; } simple_declaration
138 { $$ = $3; }
139 | simple_declaration
140 | function_definition
141 | asm_definition
142 | export_definition
143 | error ';' { $$ = $2; }
144 | error '}' { $$ = $2; }
145 ;
146
147simple_declaration:
148 decl_specifier_seq_opt init_declarator_list_opt ';'
149 { if (current_name) {
150 struct string_list *decl = (*$3)->next;
151 (*$3)->next = NULL;
152 add_symbol(current_name,
153 is_typedef ? SYM_TYPEDEF : SYM_NORMAL,
154 decl, is_extern);
155 current_name = NULL;
156 }
157 $$ = $3;
158 }
159 ;
160
161init_declarator_list_opt:
162 /* empty */ { $$ = NULL; }
163 | init_declarator_list
164 ;
165
166init_declarator_list:
167 init_declarator
168 { struct string_list *decl = *$1;
169 *$1 = NULL;
170 add_symbol(current_name,
171 is_typedef ? SYM_TYPEDEF : SYM_NORMAL, decl, is_extern);
172 current_name = NULL;
173 $$ = $1;
174 }
175 | init_declarator_list ',' init_declarator
176 { struct string_list *decl = *$3;
177 *$3 = NULL;
178 free_list(*$2, NULL);
179 *$2 = decl_spec;
180 add_symbol(current_name,
181 is_typedef ? SYM_TYPEDEF : SYM_NORMAL, decl, is_extern);
182 current_name = NULL;
183 $$ = $3;
184 }
185 ;
186
187init_declarator:
188 declarator asm_phrase_opt attribute_opt initializer_opt
189 { $$ = $4 ? $4 : $3 ? $3 : $2 ? $2 : $1; }
190 ;
191
192/* Hang on to the specifiers so that we can reuse them. */
193decl_specifier_seq_opt:
194 /* empty */ { decl_spec = NULL; }
195 | decl_specifier_seq
196 ;
197
198decl_specifier_seq:
199 decl_specifier { decl_spec = *$1; }
200 | decl_specifier_seq decl_specifier { decl_spec = *$2; }
201 ;
202
203decl_specifier:
204 storage_class_specifier
205 { /* Version 2 checksumming ignores storage class, as that
206 is really irrelevant to the linkage. */
207 remove_node($1);
208 $$ = $1;
209 }
210 | type_specifier
211 ;
212
213storage_class_specifier:
214 AUTO_KEYW
215 | REGISTER_KEYW
216 | STATIC_KEYW
217 | EXTERN_KEYW { is_extern = 1; $$ = $1; }
218 | INLINE_KEYW { is_extern = 0; $$ = $1; }
219 ;
220
221type_specifier:
222 simple_type_specifier
223 | cvar_qualifier
224 | TYPEOF_KEYW '(' parameter_declaration ')'
225 | TYPEOF_PHRASE
226
227 /* References to s/u/e's defined elsewhere. Rearrange things
228 so that it is easier to expand the definition fully later. */
229 | STRUCT_KEYW IDENT
230 { remove_node($1); (*$2)->tag = SYM_STRUCT; $$ = $2; }
231 | UNION_KEYW IDENT
232 { remove_node($1); (*$2)->tag = SYM_UNION; $$ = $2; }
233 | ENUM_KEYW IDENT
234 { remove_node($1); (*$2)->tag = SYM_ENUM; $$ = $2; }
235
236 /* Full definitions of an s/u/e. Record it. */
237 | STRUCT_KEYW IDENT class_body
238 { record_compound($1, $2, $3, SYM_STRUCT); $$ = $3; }
239 | UNION_KEYW IDENT class_body
240 { record_compound($1, $2, $3, SYM_UNION); $$ = $3; }
241 | ENUM_KEYW IDENT enum_body
242 { record_compound($1, $2, $3, SYM_ENUM); $$ = $3; }
243 /*
244 * Anonymous enum definition. Tell add_symbol() to restart its counter.
245 */
246 | ENUM_KEYW enum_body
247 { add_symbol(NULL, SYM_ENUM, NULL, 0); $$ = $2; }
248 /* Anonymous s/u definitions. Nothing needs doing. */
249 | STRUCT_KEYW class_body { $$ = $2; }
250 | UNION_KEYW class_body { $$ = $2; }
251 ;
252
253simple_type_specifier:
254 CHAR_KEYW
255 | SHORT_KEYW
256 | INT_KEYW
257 | LONG_KEYW
258 | SIGNED_KEYW
259 | UNSIGNED_KEYW
260 | FLOAT_KEYW
261 | DOUBLE_KEYW
262 | VOID_KEYW
263 | BOOL_KEYW
264 | TYPE { (*$1)->tag = SYM_TYPEDEF; $$ = $1; }
265 ;
266
267ptr_operator:
268 '*' cvar_qualifier_seq_opt
269 { $$ = $2 ? $2 : $1; }
270 ;
271
272cvar_qualifier_seq_opt:
273 /* empty */ { $$ = NULL; }
274 | cvar_qualifier_seq
275 ;
276
277cvar_qualifier_seq:
278 cvar_qualifier
279 | cvar_qualifier_seq cvar_qualifier { $$ = $2; }
280 ;
281
282cvar_qualifier:
283 CONST_KEYW | VOLATILE_KEYW | ATTRIBUTE_PHRASE
284 | RESTRICT_KEYW
285 { /* restrict has no effect in prototypes so ignore it */
286 remove_node($1);
287 $$ = $1;
288 }
289 ;
290
291declarator:
292 ptr_operator declarator { $$ = $2; }
293 | direct_declarator
294 ;
295
296direct_declarator:
297 IDENT
298 { if (current_name != NULL) {
299 error_with_pos("unexpected second declaration name");
300 YYERROR;
301 } else {
302 current_name = (*$1)->string;
303 $$ = $1;
304 }
305 }
306 | direct_declarator '(' parameter_declaration_clause ')'
307 { $$ = $4; }
308 | direct_declarator '(' error ')'
309 { $$ = $4; }
310 | direct_declarator BRACKET_PHRASE
311 { $$ = $2; }
312 | '(' declarator ')'
313 { $$ = $3; }
314 | '(' error ')'
315 { $$ = $3; }
316 ;
317
318/* Nested declarators differ from regular declarators in that they do
319 not record the symbols they find in the global symbol table. */
320nested_declarator:
321 ptr_operator nested_declarator { $$ = $2; }
322 | direct_nested_declarator
323 ;
324
325direct_nested_declarator:
326 IDENT
327 | TYPE
328 | direct_nested_declarator '(' parameter_declaration_clause ')'
329 { $$ = $4; }
330 | direct_nested_declarator '(' error ')'
331 { $$ = $4; }
332 | direct_nested_declarator BRACKET_PHRASE
333 { $$ = $2; }
334 | '(' nested_declarator ')'
335 { $$ = $3; }
336 | '(' error ')'
337 { $$ = $3; }
338 ;
339
340parameter_declaration_clause:
341 parameter_declaration_list_opt DOTS { $$ = $2; }
342 | parameter_declaration_list_opt
343 | parameter_declaration_list ',' DOTS { $$ = $3; }
344 ;
345
346parameter_declaration_list_opt:
347 /* empty */ { $$ = NULL; }
348 | parameter_declaration_list
349 ;
350
351parameter_declaration_list:
352 parameter_declaration
353 | parameter_declaration_list ',' parameter_declaration
354 { $$ = $3; }
355 ;
356
357parameter_declaration:
358 decl_specifier_seq m_abstract_declarator
359 { $$ = $2 ? $2 : $1; }
360 ;
361
362m_abstract_declarator:
363 ptr_operator m_abstract_declarator
364 { $$ = $2 ? $2 : $1; }
365 | direct_m_abstract_declarator
366 ;
367
368direct_m_abstract_declarator:
369 /* empty */ { $$ = NULL; }
370 | IDENT
371 { /* For version 2 checksums, we don't want to remember
372 private parameter names. */
373 remove_node($1);
374 $$ = $1;
375 }
376 /* This wasn't really a typedef name but an identifier that
377 shadows one. */
378 | TYPE
379 { remove_node($1);
380 $$ = $1;
381 }
382 | direct_m_abstract_declarator '(' parameter_declaration_clause ')'
383 { $$ = $4; }
384 | direct_m_abstract_declarator '(' error ')'
385 { $$ = $4; }
386 | direct_m_abstract_declarator BRACKET_PHRASE
387 { $$ = $2; }
388 | '(' m_abstract_declarator ')'
389 { $$ = $3; }
390 | '(' error ')'
391 { $$ = $3; }
392 ;
393
394function_definition:
395 decl_specifier_seq_opt declarator BRACE_PHRASE
396 { struct string_list *decl = *$2;
397 *$2 = NULL;
398 add_symbol(current_name, SYM_NORMAL, decl, is_extern);
399 $$ = $3;
400 }
401 ;
402
403initializer_opt:
404 /* empty */ { $$ = NULL; }
405 | initializer
406 ;
407
408/* We never care about the contents of an initializer. */
409initializer:
410 '=' EXPRESSION_PHRASE
411 { remove_list($2, &(*$1)->next); $$ = $2; }
412 ;
413
414class_body:
415 '{' member_specification_opt '}' { $$ = $3; }
416 | '{' error '}' { $$ = $3; }
417 ;
418
419member_specification_opt:
420 /* empty */ { $$ = NULL; }
421 | member_specification
422 ;
423
424member_specification:
425 member_declaration
426 | member_specification member_declaration { $$ = $2; }
427 ;
428
429member_declaration:
430 decl_specifier_seq_opt member_declarator_list_opt ';'
431 { $$ = $3; }
432 | error ';'
433 { $$ = $2; }
434 ;
435
436member_declarator_list_opt:
437 /* empty */ { $$ = NULL; }
438 | member_declarator_list
439 ;
440
441member_declarator_list:
442 member_declarator
443 | member_declarator_list ',' member_declarator { $$ = $3; }
444 ;
445
446member_declarator:
447 nested_declarator attribute_opt { $$ = $2 ? $2 : $1; }
448 | IDENT member_bitfield_declarator { $$ = $2; }
449 | member_bitfield_declarator
450 ;
451
452member_bitfield_declarator:
453 ':' EXPRESSION_PHRASE { $$ = $2; }
454 ;
455
456attribute_opt:
457 /* empty */ { $$ = NULL; }
458 | attribute_opt ATTRIBUTE_PHRASE
459 ;
460
461enum_body:
462 '{' enumerator_list '}' { $$ = $3; }
463 | '{' enumerator_list ',' '}' { $$ = $4; }
464 ;
465
466enumerator_list:
467 enumerator
468 | enumerator_list ',' enumerator
469
470enumerator:
471 IDENT
472 {
473 const char *name = strdup((*$1)->string);
474 add_symbol(name, SYM_ENUM_CONST, NULL, 0);
475 }
476 | IDENT '=' EXPRESSION_PHRASE
477 {
478 const char *name = strdup((*$1)->string);
479 struct string_list *expr = copy_list_range(*$3, *$2);
480 add_symbol(name, SYM_ENUM_CONST, expr, 0);
481 }
482
483asm_definition:
484 ASM_PHRASE ';' { $$ = $2; }
485 ;
486
487asm_phrase_opt:
488 /* empty */ { $$ = NULL; }
489 | ASM_PHRASE
490 ;
491
492export_definition:
493 EXPORT_SYMBOL_KEYW '(' IDENT ')' ';'
494 { export_symbol((*$3)->string); $$ = $5; }
495 ;
496
497
498%%
499
500static void
501yyerror(const char *e)
502{
503 error_with_pos("%s", e);
504}