[net-next-2.6.git] / scripts / genksyms / parse.y

/* C global declaration parser for genksyms.
   Copyright 1996, 1997 Linux International.

   New implementation contributed by Richard Henderson <rth@tamu.edu>
   Based on original work by Bjorn Ekwall <bj0rn@blox.se>

   This file is part of the Linux modutils.

   This program is free software; you can redistribute it and/or modify it
   under the terms of the GNU General Public License as published by the
   Free Software Foundation; either version 2 of the License, or (at your
   option) any later version.

   This program is distributed in the hope that it will be useful, but
   WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software Foundation,
   Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */


%{

#include <assert.h>
#include <malloc.h>
#include "genksyms.h"

static int is_typedef;
static int is_extern;
static char *current_name;
static struct string_list *decl_spec;

static void yyerror(const char *);

static inline void
remove_node(struct string_list **p)
{
  struct string_list *node = *p;
  *p = node->next;
  free_node(node);
}

static inline void
remove_list(struct string_list **pb, struct string_list **pe)
{
  struct string_list *b = *pb, *e = *pe;
  *pb = e;
  free_list(b, e);
}

%}

%token ASM_KEYW
%token ATTRIBUTE_KEYW
%token AUTO_KEYW
%token BOOL_KEYW
%token CHAR_KEYW
%token CONST_KEYW
%token DOUBLE_KEYW
%token ENUM_KEYW
%token EXTERN_KEYW
%token EXTENSION_KEYW
%token FLOAT_KEYW
%token INLINE_KEYW
%token INT_KEYW
%token LONG_KEYW
%token REGISTER_KEYW
%token RESTRICT_KEYW
%token SHORT_KEYW
%token SIGNED_KEYW
%token STATIC_KEYW
%token STRUCT_KEYW
%token TYPEDEF_KEYW
%token UNION_KEYW
%token UNSIGNED_KEYW
%token VOID_KEYW
%token VOLATILE_KEYW
%token TYPEOF_KEYW

%token EXPORT_SYMBOL_KEYW

%token ASM_PHRASE
%token ATTRIBUTE_PHRASE
%token BRACE_PHRASE
%token BRACKET_PHRASE
%token EXPRESSION_PHRASE

%token CHAR
%token DOTS
%token IDENT
%token INT
%token REAL
%token STRING
%token TYPE
%token OTHER
%token FILENAME

%%

declaration_seq:
	declaration
	| declaration_seq declaration
	;

declaration:
	{ is_typedef = 0; is_extern = 0; current_name = NULL; decl_spec = NULL; }
	declaration1
	{ free_list(*$2, NULL); *$2 = NULL; }
	;

declaration1:
	EXTENSION_KEYW TYPEDEF_KEYW { is_typedef = 1; } simple_declaration
		{ $$ = $4; }
	| TYPEDEF_KEYW { is_typedef = 1; } simple_declaration
		{ $$ = $3; }
	| simple_declaration
	| function_definition
	| asm_definition
	| export_definition
	| error ';'				{ $$ = $2; }
	| error '}'				{ $$ = $2; }
	;

simple_declaration:
	decl_specifier_seq_opt init_declarator_list_opt ';'
		{ if (current_name) {
		    struct string_list *decl = (*$3)->next;
		    (*$3)->next = NULL;
		    add_symbol(current_name,
			       is_typedef ? SYM_TYPEDEF : SYM_NORMAL,
			       decl, is_extern);
		    current_name = NULL;
		  }
		  $$ = $3;
		}
	;

init_declarator_list_opt:
	/* empty */				{ $$ = NULL; }
	| init_declarator_list
	;

init_declarator_list:
	init_declarator
		{ struct string_list *decl = *$1;
		  *$1 = NULL;
		  add_symbol(current_name,
			     is_typedef ? SYM_TYPEDEF : SYM_NORMAL, decl, is_extern);
		  current_name = NULL;
		  $$ = $1;
		}
	| init_declarator_list ',' init_declarator
		{ struct string_list *decl = *$3;
		  *$3 = NULL;
		  free_list(*$2, NULL);
		  *$2 = decl_spec;
		  add_symbol(current_name,
			     is_typedef ? SYM_TYPEDEF : SYM_NORMAL, decl, is_extern);
		  current_name = NULL;
		  $$ = $3;
		}
	;

init_declarator:
	declarator asm_phrase_opt attribute_opt initializer_opt
		{ $$ = $4 ? $4 : $3 ? $3 : $2 ? $2 : $1; }
	;

/* Hang on to the specifiers so that we can reuse them.  */
decl_specifier_seq_opt:
	/* empty */				{ decl_spec = NULL; }
	| decl_specifier_seq
	;

decl_specifier_seq:
	decl_specifier				{ decl_spec = *$1; }
	| decl_specifier_seq decl_specifier	{ decl_spec = *$2; }
	;

decl_specifier:
	storage_class_specifier
		{ /* Version 2 checksumming ignores storage class, as that
		     is really irrelevant to the linkage.  */
		  remove_node($1);
		  $$ = $1;
		}
	| type_specifier
	;

storage_class_specifier:
	AUTO_KEYW
	| REGISTER_KEYW
	| STATIC_KEYW
	| EXTERN_KEYW	{ is_extern = 1; $$ = $1; }
	| INLINE_KEYW	{ is_extern = 0; $$ = $1; }
	;

type_specifier:
	simple_type_specifier
	| cvar_qualifier
	| TYPEOF_KEYW '(' decl_specifier_seq '*' ')'
	| TYPEOF_KEYW '(' decl_specifier_seq ')'

	/* References to s/u/e's defined elsewhere.  Rearrange things
	   so that it is easier to expand the definition fully later.  */
	| STRUCT_KEYW IDENT
		{ remove_node($1); (*$2)->tag = SYM_STRUCT; $$ = $2; }
	| UNION_KEYW IDENT
		{ remove_node($1); (*$2)->tag = SYM_UNION; $$ = $2; }
	| ENUM_KEYW IDENT
		{ remove_node($1); (*$2)->tag = SYM_ENUM; $$ = $2; }

	/* Full definitions of an s/u/e.  Record it.  */
	| STRUCT_KEYW IDENT class_body
		{ struct string_list *s = *$3, *i = *$2, *r;
		  r = copy_node(i); r->tag = SYM_STRUCT;
		  r->next = (*$1)->next; *$3 = r; (*$1)->next = NULL;
		  add_symbol(i->string, SYM_STRUCT, s, is_extern);
		  $$ = $3;
		}
	| UNION_KEYW IDENT class_body
		{ struct string_list *s = *$3, *i = *$2, *r;
		  r = copy_node(i); r->tag = SYM_UNION;
		  r->next = (*$1)->next; *$3 = r; (*$1)->next = NULL;
		  add_symbol(i->string, SYM_UNION, s, is_extern);
		  $$ = $3;
		}
	| ENUM_KEYW IDENT BRACE_PHRASE
		{ struct string_list *s = *$3, *i = *$2, *r;
		  r = copy_node(i); r->tag = SYM_ENUM;
		  r->next = (*$1)->next; *$3 = r; (*$1)->next = NULL;
		  add_symbol(i->string, SYM_ENUM, s, is_extern);
		  $$ = $3;
		}

	/* Anonymous s/u/e definitions.  Nothing needs doing.  */
	| ENUM_KEYW BRACE_PHRASE			{ $$ = $2; }
	| STRUCT_KEYW class_body			{ $$ = $2; }
	| UNION_KEYW class_body				{ $$ = $2; }
	;

simple_type_specifier:
	CHAR_KEYW
	| SHORT_KEYW
	| INT_KEYW
	| LONG_KEYW
	| SIGNED_KEYW
	| UNSIGNED_KEYW
	| FLOAT_KEYW
	| DOUBLE_KEYW
	| VOID_KEYW
	| BOOL_KEYW
	| TYPE			{ (*$1)->tag = SYM_TYPEDEF; $$ = $1; }
	;

ptr_operator:
	'*' cvar_qualifier_seq_opt
		{ $$ = $2 ? $2 : $1; }
	;

cvar_qualifier_seq_opt:
	/* empty */					{ $$ = NULL; }
	| cvar_qualifier_seq
	;

cvar_qualifier_seq:
	cvar_qualifier
	| cvar_qualifier_seq cvar_qualifier		{ $$ = $2; }
	;

cvar_qualifier:
	CONST_KEYW | VOLATILE_KEYW | ATTRIBUTE_PHRASE
	| RESTRICT_KEYW
		{ /* restrict has no effect in prototypes so ignore it */
		  remove_node($1);
		  $$ = $1;
		}
	;

declarator:
	ptr_operator declarator			{ $$ = $2; }
	| direct_declarator
	;

direct_declarator:
	IDENT
		{ if (current_name != NULL) {
		    error_with_pos("unexpected second declaration name");
		    YYERROR;
		  } else {
		    current_name = (*$1)->string;
		    $$ = $1;
		  }
		}
	| direct_declarator '(' parameter_declaration_clause ')'
		{ $$ = $4; }
	| direct_declarator '(' error ')'
		{ $$ = $4; }
	| direct_declarator BRACKET_PHRASE
		{ $$ = $2; }
	| '(' declarator ')'
		{ $$ = $3; }
	| '(' error ')'
		{ $$ = $3; }
	;

/* Nested declarators differ from regular declarators in that they do
   not record the symbols they find in the global symbol table.  */
nested_declarator:
	ptr_operator nested_declarator		{ $$ = $2; }
	| direct_nested_declarator
	;

direct_nested_declarator:
	IDENT
	| TYPE
	| direct_nested_declarator '(' parameter_declaration_clause ')'
		{ $$ = $4; }
	| direct_nested_declarator '(' error ')'
		{ $$ = $4; }
	| direct_nested_declarator BRACKET_PHRASE
		{ $$ = $2; }
	| '(' nested_declarator ')'
		{ $$ = $3; }
	| '(' error ')'
		{ $$ = $3; }
	;

parameter_declaration_clause:
	parameter_declaration_list_opt DOTS		{ $$ = $2; }
	| parameter_declaration_list_opt
	| parameter_declaration_list ',' DOTS		{ $$ = $3; }
	;

parameter_declaration_list_opt:
	/* empty */					{ $$ = NULL; }
	| parameter_declaration_list
	;

parameter_declaration_list:
	parameter_declaration
	| parameter_declaration_list ',' parameter_declaration
		{ $$ = $3; }
	;

parameter_declaration:
	decl_specifier_seq m_abstract_declarator
		{ $$ = $2 ? $2 : $1; }
	;

m_abstract_declarator:
	ptr_operator m_abstract_declarator
		{ $$ = $2 ? $2 : $1; }
	| direct_m_abstract_declarator
	;

direct_m_abstract_declarator:
	/* empty */					{ $$ = NULL; }
	| IDENT
		{ /* For version 2 checksums, we don't want to remember
		     private parameter names.  */
		  remove_node($1);
		  $$ = $1;
		}
	/* This wasn't really a typedef name but an identifier that
	   shadows one.  */
	| TYPE
		{ remove_node($1);
		  $$ = $1;
		}
	| direct_m_abstract_declarator '(' parameter_declaration_clause ')'
		{ $$ = $4; }
	| direct_m_abstract_declarator '(' error ')'
		{ $$ = $4; }
	| direct_m_abstract_declarator BRACKET_PHRASE
		{ $$ = $2; }
	| '(' m_abstract_declarator ')'
		{ $$ = $3; }
	| '(' error ')'
		{ $$ = $3; }
	;

function_definition:
	decl_specifier_seq_opt declarator BRACE_PHRASE
		{ struct string_list *decl = *$2;
		  *$2 = NULL;
		  add_symbol(current_name, SYM_NORMAL, decl, is_extern);
		  $$ = $3;
		}
	;

initializer_opt:
	/* empty */					{ $$ = NULL; }
	| initializer
	;

/* We never care about the contents of an initializer.  */
initializer:
	'=' EXPRESSION_PHRASE
		{ remove_list($2, &(*$1)->next); $$ = $2; }
	;

class_body:
	'{' member_specification_opt '}'		{ $$ = $3; }
	| '{' error '}'					{ $$ = $3; }
	;

member_specification_opt:
	/* empty */					{ $$ = NULL; }
	| member_specification
	;

member_specification:
	member_declaration
	| member_specification member_declaration	{ $$ = $2; }
	;

member_declaration:
	decl_specifier_seq_opt member_declarator_list_opt ';'
		{ $$ = $3; }
	| error ';'
		{ $$ = $2; }
	;

member_declarator_list_opt:
	/* empty */					{ $$ = NULL; }
	| member_declarator_list
	;

member_declarator_list:
	member_declarator
	| member_declarator_list ',' member_declarator	{ $$ = $3; }
	;

member_declarator:
	nested_declarator attribute_opt			{ $$ = $2 ? $2 : $1; }
	| IDENT member_bitfield_declarator		{ $$ = $2; }
	| member_bitfield_declarator
	;

member_bitfield_declarator:
	':' EXPRESSION_PHRASE				{ $$ = $2; }
	;

attribute_opt:
	/* empty */					{ $$ = NULL; }
	| attribute_opt ATTRIBUTE_PHRASE
	;

asm_definition:
	ASM_PHRASE ';'					{ $$ = $2; }
	;

asm_phrase_opt:
	/* empty */					{ $$ = NULL; }
	| ASM_PHRASE
	;

export_definition:
	EXPORT_SYMBOL_KEYW '(' IDENT ')' ';'
		{ export_symbol((*$3)->string); $$ = $5; }
	;


%%

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