ba5c242866c11b4c0803822bd45b940ad16b8474
[linux-2.6.git] / scripts / genksyms / parse.y
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
31 static int is_typedef;
32 static int is_extern;
33 static char *current_name;
34 static struct string_list *decl_spec;
35
36 static void yyerror(const char *);
37
38 static inline void
39 remove_node(struct string_list **p)
40 {
41   struct string_list *node = *p;
42   *p = node->next;
43   free_node(node);
44 }
45
46 static inline void
47 remove_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 %}
55
56 %token ASM_KEYW
57 %token ATTRIBUTE_KEYW
58 %token AUTO_KEYW
59 %token BOOL_KEYW
60 %token CHAR_KEYW
61 %token CONST_KEYW
62 %token DOUBLE_KEYW
63 %token ENUM_KEYW
64 %token EXTERN_KEYW
65 %token EXTENSION_KEYW
66 %token FLOAT_KEYW
67 %token INLINE_KEYW
68 %token INT_KEYW
69 %token LONG_KEYW
70 %token REGISTER_KEYW
71 %token RESTRICT_KEYW
72 %token SHORT_KEYW
73 %token SIGNED_KEYW
74 %token STATIC_KEYW
75 %token STRUCT_KEYW
76 %token TYPEDEF_KEYW
77 %token UNION_KEYW
78 %token UNSIGNED_KEYW
79 %token VOID_KEYW
80 %token VOLATILE_KEYW
81 %token TYPEOF_KEYW
82
83 %token EXPORT_SYMBOL_KEYW
84
85 %token ASM_PHRASE
86 %token ATTRIBUTE_PHRASE
87 %token BRACE_PHRASE
88 %token BRACKET_PHRASE
89 %token EXPRESSION_PHRASE
90
91 %token CHAR
92 %token DOTS
93 %token IDENT
94 %token INT
95 %token REAL
96 %token STRING
97 %token TYPE
98 %token OTHER
99 %token FILENAME
100
101 %%
102
103 declaration_seq:
104         declaration
105         | declaration_seq declaration
106         ;
107
108 declaration:
109         { is_typedef = 0; is_extern = 0; current_name = NULL; decl_spec = NULL; }
110         declaration1
111         { free_list(*$2, NULL); *$2 = NULL; }
112         ;
113
114 declaration1:
115         EXTENSION_KEYW TYPEDEF_KEYW { is_typedef = 1; } simple_declaration
116                 { $$ = $4; }
117         | TYPEDEF_KEYW { is_typedef = 1; } simple_declaration
118                 { $$ = $3; }
119         | simple_declaration
120         | function_definition
121         | asm_definition
122         | export_definition
123         | error ';'                             { $$ = $2; }
124         | error '}'                             { $$ = $2; }
125         ;
126
127 simple_declaration:
128         decl_specifier_seq_opt init_declarator_list_opt ';'
129                 { if (current_name) {
130                     struct string_list *decl = (*$3)->next;
131                     (*$3)->next = NULL;
132                     add_symbol(current_name,
133                                is_typedef ? SYM_TYPEDEF : SYM_NORMAL,
134                                decl, is_extern);
135                     current_name = NULL;
136                   }
137                   $$ = $3;
138                 }
139         ;
140
141 init_declarator_list_opt:
142         /* empty */                             { $$ = NULL; }
143         | init_declarator_list
144         ;
145
146 init_declarator_list:
147         init_declarator
148                 { struct string_list *decl = *$1;
149                   *$1 = NULL;
150                   add_symbol(current_name,
151                              is_typedef ? SYM_TYPEDEF : SYM_NORMAL, decl, is_extern);
152                   current_name = NULL;
153                   $$ = $1;
154                 }
155         | init_declarator_list ',' init_declarator
156                 { struct string_list *decl = *$3;
157                   *$3 = NULL;
158                   free_list(*$2, NULL);
159                   *$2 = decl_spec;
160                   add_symbol(current_name,
161                              is_typedef ? SYM_TYPEDEF : SYM_NORMAL, decl, is_extern);
162                   current_name = NULL;
163                   $$ = $3;
164                 }
165         ;
166
167 init_declarator:
168         declarator asm_phrase_opt attribute_opt initializer_opt
169                 { $$ = $4 ? $4 : $3 ? $3 : $2 ? $2 : $1; }
170         ;
171
172 /* Hang on to the specifiers so that we can reuse them.  */
173 decl_specifier_seq_opt:
174         /* empty */                             { decl_spec = NULL; }
175         | decl_specifier_seq
176         ;
177
178 decl_specifier_seq:
179         decl_specifier                          { decl_spec = *$1; }
180         | decl_specifier_seq decl_specifier     { decl_spec = *$2; }
181         ;
182
183 decl_specifier:
184         storage_class_specifier
185                 { /* Version 2 checksumming ignores storage class, as that
186                      is really irrelevant to the linkage.  */
187                   remove_node($1);
188                   $$ = $1;
189                 }
190         | type_specifier
191         ;
192
193 storage_class_specifier:
194         AUTO_KEYW
195         | REGISTER_KEYW
196         | STATIC_KEYW
197         | EXTERN_KEYW   { is_extern = 1; $$ = $1; }
198         | INLINE_KEYW   { is_extern = 0; $$ = $1; }
199         ;
200
201 type_specifier:
202         simple_type_specifier
203         | cvar_qualifier
204         | TYPEOF_KEYW '(' decl_specifier_seq '*' ')'
205         | TYPEOF_KEYW '(' decl_specifier_seq ')'
206
207         /* References to s/u/e's defined elsewhere.  Rearrange things
208            so that it is easier to expand the definition fully later.  */
209         | STRUCT_KEYW IDENT
210                 { remove_node($1); (*$2)->tag = SYM_STRUCT; $$ = $2; }
211         | UNION_KEYW IDENT
212                 { remove_node($1); (*$2)->tag = SYM_UNION; $$ = $2; }
213         | ENUM_KEYW IDENT
214                 { remove_node($1); (*$2)->tag = SYM_ENUM; $$ = $2; }
215
216         /* Full definitions of an s/u/e.  Record it.  */
217         | STRUCT_KEYW IDENT class_body
218                 { struct string_list *s = *$3, *i = *$2, *r;
219                   r = copy_node(i); r->tag = SYM_STRUCT;
220                   r->next = (*$1)->next; *$3 = r; (*$1)->next = NULL;
221                   add_symbol(i->string, SYM_STRUCT, s, is_extern);
222                   $$ = $3;
223                 }
224         | UNION_KEYW IDENT class_body
225                 { struct string_list *s = *$3, *i = *$2, *r;
226                   r = copy_node(i); r->tag = SYM_UNION;
227                   r->next = (*$1)->next; *$3 = r; (*$1)->next = NULL;
228                   add_symbol(i->string, SYM_UNION, s, is_extern);
229                   $$ = $3;
230                 }
231         | ENUM_KEYW IDENT enum_body
232                 { struct string_list *s = *$3, *i = *$2, *r;
233                   r = copy_node(i); r->tag = SYM_ENUM;
234                   r->next = (*$1)->next; *$3 = r; (*$1)->next = NULL;
235                   add_symbol(i->string, SYM_ENUM, s, is_extern);
236                   $$ = $3;
237                 }
238         /*
239          * Anonymous enum definition. Tell add_symbol() to restart its counter.
240          */
241         | ENUM_KEYW enum_body
242                 { add_symbol(NULL, SYM_ENUM, NULL, 0); $$ = $2; }
243         /* Anonymous s/u definitions.  Nothing needs doing.  */
244         | STRUCT_KEYW class_body                        { $$ = $2; }
245         | UNION_KEYW class_body                         { $$ = $2; }
246         ;
247
248 simple_type_specifier:
249         CHAR_KEYW
250         | SHORT_KEYW
251         | INT_KEYW
252         | LONG_KEYW
253         | SIGNED_KEYW
254         | UNSIGNED_KEYW
255         | FLOAT_KEYW
256         | DOUBLE_KEYW
257         | VOID_KEYW
258         | BOOL_KEYW
259         | TYPE                  { (*$1)->tag = SYM_TYPEDEF; $$ = $1; }
260         ;
261
262 ptr_operator:
263         '*' cvar_qualifier_seq_opt
264                 { $$ = $2 ? $2 : $1; }
265         ;
266
267 cvar_qualifier_seq_opt:
268         /* empty */                                     { $$ = NULL; }
269         | cvar_qualifier_seq
270         ;
271
272 cvar_qualifier_seq:
273         cvar_qualifier
274         | cvar_qualifier_seq cvar_qualifier             { $$ = $2; }
275         ;
276
277 cvar_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
286 declarator:
287         ptr_operator declarator                 { $$ = $2; }
288         | direct_declarator
289         ;
290
291 direct_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         | direct_declarator '(' parameter_declaration_clause ')'
302                 { $$ = $4; }
303         | direct_declarator '(' error ')'
304                 { $$ = $4; }
305         | direct_declarator BRACKET_PHRASE
306                 { $$ = $2; }
307         | '(' declarator ')'
308                 { $$ = $3; }
309         | '(' error ')'
310                 { $$ = $3; }
311         ;
312
313 /* Nested declarators differ from regular declarators in that they do
314    not record the symbols they find in the global symbol table.  */
315 nested_declarator:
316         ptr_operator nested_declarator          { $$ = $2; }
317         | direct_nested_declarator
318         ;
319
320 direct_nested_declarator:
321         IDENT
322         | TYPE
323         | direct_nested_declarator '(' parameter_declaration_clause ')'
324                 { $$ = $4; }
325         | direct_nested_declarator '(' error ')'
326                 { $$ = $4; }
327         | direct_nested_declarator BRACKET_PHRASE
328                 { $$ = $2; }
329         | '(' nested_declarator ')'
330                 { $$ = $3; }
331         | '(' error ')'
332                 { $$ = $3; }
333         ;
334
335 parameter_declaration_clause:
336         parameter_declaration_list_opt DOTS             { $$ = $2; }
337         | parameter_declaration_list_opt
338         | parameter_declaration_list ',' DOTS           { $$ = $3; }
339         ;
340
341 parameter_declaration_list_opt:
342         /* empty */                                     { $$ = NULL; }
343         | parameter_declaration_list
344         ;
345
346 parameter_declaration_list:
347         parameter_declaration
348         | parameter_declaration_list ',' parameter_declaration
349                 { $$ = $3; }
350         ;
351
352 parameter_declaration:
353         decl_specifier_seq m_abstract_declarator
354                 { $$ = $2 ? $2 : $1; }
355         ;
356
357 m_abstract_declarator:
358         ptr_operator m_abstract_declarator
359                 { $$ = $2 ? $2 : $1; }
360         | direct_m_abstract_declarator
361         ;
362
363 direct_m_abstract_declarator:
364         /* empty */                                     { $$ = NULL; }
365         | IDENT
366                 { /* For version 2 checksums, we don't want to remember
367                      private parameter names.  */
368                   remove_node($1);
369                   $$ = $1;
370                 }
371         /* This wasn't really a typedef name but an identifier that
372            shadows one.  */
373         | TYPE
374                 { remove_node($1);
375                   $$ = $1;
376                 }
377         | direct_m_abstract_declarator '(' parameter_declaration_clause ')'
378                 { $$ = $4; }
379         | direct_m_abstract_declarator '(' error ')'
380                 { $$ = $4; }
381         | direct_m_abstract_declarator BRACKET_PHRASE
382                 { $$ = $2; }
383         | '(' m_abstract_declarator ')'
384                 { $$ = $3; }
385         | '(' error ')'
386                 { $$ = $3; }
387         ;
388
389 function_definition:
390         decl_specifier_seq_opt declarator BRACE_PHRASE
391                 { struct string_list *decl = *$2;
392                   *$2 = NULL;
393                   add_symbol(current_name, SYM_NORMAL, decl, is_extern);
394                   $$ = $3;
395                 }
396         ;
397
398 initializer_opt:
399         /* empty */                                     { $$ = NULL; }
400         | initializer
401         ;
402
403 /* We never care about the contents of an initializer.  */
404 initializer:
405         '=' EXPRESSION_PHRASE
406                 { remove_list($2, &(*$1)->next); $$ = $2; }
407         ;
408
409 class_body:
410         '{' member_specification_opt '}'                { $$ = $3; }
411         | '{' error '}'                                 { $$ = $3; }
412         ;
413
414 member_specification_opt:
415         /* empty */                                     { $$ = NULL; }
416         | member_specification
417         ;
418
419 member_specification:
420         member_declaration
421         | member_specification member_declaration       { $$ = $2; }
422         ;
423
424 member_declaration:
425         decl_specifier_seq_opt member_declarator_list_opt ';'
426                 { $$ = $3; }
427         | error ';'
428                 { $$ = $2; }
429         ;
430
431 member_declarator_list_opt:
432         /* empty */                                     { $$ = NULL; }
433         | member_declarator_list
434         ;
435
436 member_declarator_list:
437         member_declarator
438         | member_declarator_list ',' member_declarator  { $$ = $3; }
439         ;
440
441 member_declarator:
442         nested_declarator attribute_opt                 { $$ = $2 ? $2 : $1; }
443         | IDENT member_bitfield_declarator              { $$ = $2; }
444         | member_bitfield_declarator
445         ;
446
447 member_bitfield_declarator:
448         ':' EXPRESSION_PHRASE                           { $$ = $2; }
449         ;
450
451 attribute_opt:
452         /* empty */                                     { $$ = NULL; }
453         | attribute_opt ATTRIBUTE_PHRASE
454         ;
455
456 enum_body:
457         '{' enumerator_list '}'                         { $$ = $3; }
458         | '{' enumerator_list ',' '}'                   { $$ = $4; }
459          ;
460
461 enumerator_list:
462         enumerator
463         | enumerator_list ',' enumerator
464
465 enumerator:
466         IDENT
467                 {
468                         const char *name = strdup((*$1)->string);
469                         add_symbol(name, SYM_ENUM_CONST, NULL, 0);
470                 }
471         | IDENT '=' EXPRESSION_PHRASE
472                 {
473                         const char *name = strdup((*$1)->string);
474                         struct string_list *expr = copy_list_range(*$3, *$2);
475                         add_symbol(name, SYM_ENUM_CONST, expr, 0);
476                 }
477
478 asm_definition:
479         ASM_PHRASE ';'                                  { $$ = $2; }
480         ;
481
482 asm_phrase_opt:
483         /* empty */                                     { $$ = NULL; }
484         | ASM_PHRASE
485         ;
486
487 export_definition:
488         EXPORT_SYMBOL_KEYW '(' IDENT ')' ';'
489                 { export_symbol((*$3)->string); $$ = $5; }
490         ;
491
492
493 %%
494
495 static void
496 yyerror(const char *e)
497 {
498   error_with_pos("%s", e);
499 }