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