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