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 }