home *** CD-ROM | disk | FTP | other *** search
/ PC Welt 2006 November (DVD) / PCWELT_11_2006.ISO / casper / filesystem.squashfs / usr / src / linux-headers-2.6.17-6-686 / scripts / genksyms / parse.y < prev   
Encoding:
Text File  |  2006-08-11  |  10.1 KB  |  471 lines

  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. }
  471.