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