simple-c3.y

来自「使用yacc和lex编写的cmm语言的词法分析和语法分析程序.」· Y 代码 · 共 828 行 · 第 1/2 页

%start program
%token IDENTIFIER
%token TYPENAME
%token SCSPEC			
%token STATIC			
%token TYPESPEC
%token TYPE_QUAL
%token OBJC_TYPE_QUAL
%token CONSTANT
%token STRING
%token ELLIPSIS
%token SIZEOF ENUM STRUCT UNION IF ELSE WHILE DO FOR SWITCH CASE DEFAULT
%token BREAK CONTINUE RETURN GOTO ASM_KEYWORD TYPEOF ALIGNOF
%token ATTRIBUTE EXTENSION LABEL
%token REALPART IMAGPART VA_ARG CHOOSE_EXPR TYPES_COMPATIBLE_P
%token FUNC_NAME OFFSETOF
%nonassoc IF
%nonassoc ELSE
%right <code> ASSIGN '='
%right <code> '?' '
%left <code> OROR
%left <code> ANDAND
%left <code> '|'
%left <code> '^'
%left <code> '&'
%left <code> EQCOMPARE
%left <code> ARITHCOMPARE
%left <code> LSHIFT RSHIFT
%left <code> '+' '-'
%left <code> '*' '/' '%'
%right <code> UNARY PLUSPLUS MINUSMINUS
%left HYPERUNARY
%left <code> POINTSAT '.' '(' '['
%token AT_INTERFACE AT_IMPLEMENTATION AT_END AT_SELECTOR AT_DEFS AT_ENCODE
%token CLASSNAME AT_PUBLIC AT_PRIVATE AT_PROTECTED AT_PROTOCOL
%token AT_CLASS AT_ALIAS
%token AT_THROW AT_TRY AT_CATCH AT_FINALLY AT_SYNCHRONIZED
%token OBJC_STRING
%type <code> unop
%type <ttype> ENUM STRUCT UNION IF ELSE WHILE DO FOR SWITCH CASE DEFAULT
%type <ttype> BREAK CONTINUE RETURN GOTO ASM_KEYWORD SIZEOF TYPEOF ALIGNOF
%type <ttype> identifier IDENTIFIER TYPENAME CONSTANT STRING FUNC_NAME
%type <ttype> nonnull_exprlist exprlist
%type <exprtype> expr expr_no_commas cast_expr unary_expr primary
%type <dsptype> declspecs_nosc_nots_nosa_noea declspecs_nosc_nots_nosa_ea
%type <dsptype> declspecs_nosc_nots_sa_noea declspecs_nosc_nots_sa_ea
%type <dsptype> declspecs_nosc_ts_nosa_noea declspecs_nosc_ts_nosa_ea
%type <dsptype> declspecs_nosc_ts_sa_noea declspecs_nosc_ts_sa_ea
%type <dsptype> declspecs_sc_nots_nosa_noea declspecs_sc_nots_nosa_ea
%type <dsptype> declspecs_sc_nots_sa_noea declspecs_sc_nots_sa_ea
%type <dsptype> declspecs_sc_ts_nosa_noea declspecs_sc_ts_nosa_ea
%type <dsptype> declspecs_sc_ts_sa_noea declspecs_sc_ts_sa_ea
%type <dsptype> declspecs_ts declspecs_nots
%type <dsptype> declspecs_ts_nosa declspecs_nots_nosa
%type <dsptype> declspecs_nosc_ts declspecs_nosc_nots declspecs_nosc declspecs
%type <dsptype> maybe_type_quals_attrs
%type <tstype> typespec_nonattr typespec_attr
%type <tstype> typespec_reserved_nonattr typespec_reserved_attr
%type <tstype> typespec_nonreserved_nonattr
%type <ttype> offsetof_member_designator
%type <ttype> scspec SCSPEC STATIC TYPESPEC TYPE_QUAL maybe_volatile
%type <ttype> initdecls notype_initdecls initdcl notype_initdcl
%type <exprtype> init
%type <ttype> simple_asm_expr maybeasm asm_stmt asm_argument asm_string
%type <ttype> asm_operands nonnull_asm_operands asm_operand asm_clobbers
%type <ttype> maybe_attribute attributes attribute attribute_list attrib
%type <ttype> any_word
%type <ttype> compstmt compstmt_start compstmt_primary_start
%type <ttype> stmt label stmt_nocomp start_break start_continue
%type <ttype> c99_block_start c99_block_lineno_labeled_stmt
%type <ttype> if_statement_1 if_statement_2
%type <dtrtype> declarator
%type <dtrtype> notype_declarator after_type_declarator
%type <dtrtype> parm_declarator
%type <dtrtype> parm_declarator_starttypename parm_declarator_nostarttypename
%type <dtrtype> array_declarator
%type <tstype> structsp_attr structsp_nonattr
%type <ttype> component_decl_list component_decl_list2
%type <ttype> component_decl components components_notype component_declarator
%type <ttype> component_notype_declarator
%type <ttype> enumlist enumerator
%type <ttype> struct_head union_head enum_head
%type <typenametype> typename
%type <dtrtype> absdcl absdcl1 absdcl1_ea absdcl1_noea direct_absdcl1
%type <parmtype> absdcl_maybe_attribute
%type <ttype> condition xexpr for_cond_expr for_incr_expr
%type <parmtype> parm firstparm
%type <ttype> identifiers
%type <arginfotype> parms parmlist parmlist_1 parmlist_2
%type <arginfotype> parmlist_or_identifiers parmlist_or_identifiers_1
%type <ttype> identifiers_or_typenames
%type <itype> setspecs setspecs_fp extension
%type <location> save_location
%type <otype> save_obstack_position
%%
program
        :| extdefs
extdefs
        : save_obstack_position 			
        | extdefs save_obstack_position
extdef
        : fndef
        | datadef
        | asmdef
        | extension extdef
save_obstack_position
        : ;
datadef
        : setspecs notype_initdecls ';'
        | declspecs_nots setspecs notype_initdecls ';'
        | declspecs_ts setspecs initdecls ';'
        | declspecs ';'
        | error ';'
        | error '}'
        | ';'
fndef
        : declspecs_ts setspecs declarator
        old_style_parm_decls save_location
        compstmt_or_error
        | declspecs_ts setspecs declarator error
        | declspecs_nots setspecs notype_declarator
        old_style_parm_decls save_location
        compstmt_or_error
        | declspecs_nots setspecs notype_declarator error
        | setspecs notype_declarator
        old_style_parm_decls save_location
        compstmt_or_error
        | setspecs notype_declarator error
identifier
        : IDENTIFIER
        | TYPENAME
unop
        : | '-'
        | '+'
        | PLUSPLUS
        | MINUSMINUS
        | '~'
        | '!'
expr
        : | expr ',' expr_no_commas
exprlist
        : | nonnull_exprlist
nonnull_exprlist
        : expr_no_commas
        | nonnull_exprlist ',' expr_no_commas
unary_expr
        : primary
        | '*' cast_expr   %prec UNARY
        | extension cast_expr	  %prec UNARY
        | unop cast_expr  %prec UNARY
        | ANDAND identifier
        | sizeof unary_expr  %prec UNARY
        | sizeof '(' typename ')'  %prec HYPERUNARY
        | alignof unary_expr  %prec UNARY
        | alignof '(' typename ')'  %prec HYPERUNARY
        | REALPART cast_expr %prec UNARY
        | IMAGPART cast_expr %prec UNARY
sizeof
        : SIZEOF 	;
alignof
        : ALIGNOF 	;
typeof
        : TYPEOF 	;
cast_expr
        : unary_expr
        | '(' typename ')' cast_expr  %prec UNARY
expr_no_commas
        : cast_expr
        | expr_no_commas '+' expr_no_commas
        | expr_no_commas '-' expr_no_commas
        | expr_no_commas '*' expr_no_commas
        | expr_no_commas '/' expr_no_commas
        | expr_no_commas '%' expr_no_commas
        | expr_no_commas LSHIFT expr_no_commas
        | expr_no_commas RSHIFT expr_no_commas
        | expr_no_commas ARITHCOMPARE expr_no_commas
        | expr_no_commas EQCOMPARE expr_no_commas
        | expr_no_commas '&' expr_no_commas
        | expr_no_commas '|' expr_no_commas
        | expr_no_commas '^' expr_no_commas
        | expr_no_commas ANDAND
        expr_no_commas
        | expr_no_commas OROR
        expr_no_commas
        | expr_no_commas '?'
        expr ':'
        expr_no_commas
        | expr_no_commas '?'
        ':' expr_no_commas
        | expr_no_commas '=' expr_no_commas
        | expr_no_commas ASSIGN expr_no_commas
primary
        : IDENTIFIER
        | CONSTANT
        | STRING
        | FUNC_NAME
        | '(' typename ')' '{'
          initlist_maybe_comma '}'  %prec UNARY
        | '(' expr ')'
        | '(' error ')'
        | compstmt_primary_start compstmt_nostart ')'
        | compstmt_primary_start error ')'
        | primary '(' exprlist ')'   %prec '.'
        | VA_ARG '(' expr_no_commas ',' typename ')'
        | OFFSETOF '(' typename ','
          offsetof_member_designator ')'
        | OFFSETOF '(' error ')'
        | CHOOSE_EXPR '(' expr_no_commas ',' expr_no_commas ','
                          expr_no_commas ')'
        | CHOOSE_EXPR '(' error ')'
        | TYPES_COMPATIBLE_P '(' typename ',' typename ')'
        | TYPES_COMPATIBLE_P '(' error ')'
        | primary '[' expr ']'   %prec '.'
        | primary '.' identifier
        | primary POINTSAT identifier
        | primary PLUSPLUS
        | primary MINUSMINUS
offsetof_member_designator
        : identifier
        | offsetof_member_designator '.' identifier
        | offsetof_member_designator '[' expr ']'
old_style_parm_decls
        : | datadecls
lineno_datadecl
        : save_location datadecl
datadecls
        : lineno_datadecl
        | errstmt
        | datadecls lineno_datadecl
        | lineno_datadecl errstmt
datadecl
        : declspecs_ts_nosa setspecs initdecls ';'
        | declspecs_nots_nosa setspecs notype_initdecls ';'
        | declspecs_ts_nosa ';'
        | declspecs_nots_nosa ';'
lineno_decl
        : save_location decl
setspecs
        :
maybe_resetattrs
        : maybe_attribute
decl
        : declspecs_ts setspecs initdecls ';'
        | declspecs_nots setspecs notype_initdecls ';'
        | declspecs_ts setspecs nested_function
        | declspecs_nots setspecs notype_nested_function
        | declspecs ';'
        | extension decl
declspecs_nosc_nots_nosa_noea
        : TYPE_QUAL
        | declspecs_nosc_nots_nosa_noea TYPE_QUAL
        | declspecs_nosc_nots_nosa_ea TYPE_QUAL
declspecs_nosc_nots_nosa_ea
        : declspecs_nosc_nots_nosa_noea attributes
declspecs_nosc_nots_sa_noea
        : declspecs_nosc_nots_sa_noea TYPE_QUAL
        | declspecs_nosc_nots_sa_ea TYPE_QUAL
declspecs_nosc_nots_sa_ea
        : attributes
        | declspecs_nosc_nots_sa_noea attributes
declspecs_nosc_ts_nosa_noea
        : typespec_nonattr
        | declspecs_nosc_ts_nosa_noea TYPE_QUAL
        | declspecs_nosc_ts_nosa_ea TYPE_QUAL
        | declspecs_nosc_ts_nosa_noea typespec_reserved_nonattr
        | declspecs_nosc_ts_nosa_ea typespec_reserved_nonattr
        | declspecs_nosc_nots_nosa_noea typespec_nonattr
        | declspecs_nosc_nots_nosa_ea typespec_nonattr
declspecs_nosc_ts_nosa_ea
        : typespec_attr
        | declspecs_nosc_ts_nosa_noea attributes
        | declspecs_nosc_ts_nosa_noea typespec_reserved_attr
        | declspecs_nosc_ts_nosa_ea typespec_reserved_attr
        | declspecs_nosc_nots_nosa_noea typespec_attr
        | declspecs_nosc_nots_nosa_ea typespec_attr

declspecs_nosc_ts_sa_noea
        : declspecs_nosc_ts_sa_noea TYPE_QUAL
        | declspecs_nosc_ts_sa_ea TYPE_QUAL
        | declspecs_nosc_ts_sa_noea typespec_reserved_nonattr
        | declspecs_nosc_ts_sa_ea typespec_reserved_nonattr
        | declspecs_nosc_nots_sa_noea typespec_nonattr
        | declspecs_nosc_nots_sa_ea typespec_nonattr
declspecs_nosc_ts_sa_ea
        : declspecs_nosc_ts_sa_noea attributes
        | declspecs_nosc_ts_sa_noea typespec_reserved_attr
        | declspecs_nosc_ts_sa_ea typespec_reserved_attr
        | declspecs_nosc_nots_sa_noea typespec_attr
        | declspecs_nosc_nots_sa_ea typespec_attr
declspecs_sc_nots_nosa_noea
        : scspec
        | declspecs_sc_nots_nosa_noea TYPE_QUAL
        | declspecs_sc_nots_nosa_ea TYPE_QUAL
        | declspecs_nosc_nots_nosa_noea scspec
        | declspecs_nosc_nots_nosa_ea scspec
        | declspecs_sc_nots_nosa_noea scspec
        | declspecs_sc_nots_nosa_ea scspec
declspecs_sc_nots_nosa_ea
        : declspecs_sc_nots_nosa_noea attributes
declspecs_sc_nots_sa_noea
        : declspecs_sc_nots_sa_noea TYPE_QUAL
        | declspecs_sc_nots_sa_ea TYPE_QUAL
        | declspecs_nosc_nots_sa_noea scspec
        | declspecs_nosc_nots_sa_ea scspec
        | declspecs_sc_nots_sa_noea scspec
        | declspecs_sc_nots_sa_ea scspec
declspecs_sc_nots_sa_ea
        : declspecs_sc_nots_sa_noea attributes
declspecs_sc_ts_nosa_noea
        : declspecs_sc_ts_nosa_noea TYPE_QUAL
        | declspecs_sc_ts_nosa_ea TYPE_QUAL
        | declspecs_sc_ts_nosa_noea typespec_reserved_nonattr
        | declspecs_sc_ts_nosa_ea typespec_reserved_nonattr
        | declspecs_sc_nots_nosa_noea typespec_nonattr
        | declspecs_sc_nots_nosa_ea typespec_nonattr
        | declspecs_nosc_ts_nosa_noea scspec
        | declspecs_nosc_ts_nosa_ea scspec
        | declspecs_sc_ts_nosa_noea scspec
        | declspecs_sc_ts_nosa_ea scspec
declspecs_sc_ts_nosa_ea
        : declspecs_sc_ts_nosa_noea attributes
        | declspecs_sc_ts_nosa_noea typespec_reserved_attr
        | declspecs_sc_ts_nosa_ea typespec_reserved_attr
        | declspecs_sc_nots_nosa_noea typespec_attr
        | declspecs_sc_nots_nosa_ea typespec_attr
declspecs_sc_ts_sa_noea
        : declspecs_sc_ts_sa_noea TYPE_QUAL
        | declspecs_sc_ts_sa_ea TYPE_QUAL
        | declspecs_sc_ts_sa_noea typespec_reserved_nonattr
        | declspecs_sc_ts_sa_ea typespec_reserved_nonattr
        | declspecs_sc_nots_sa_noea typespec_nonattr
        | declspecs_sc_nots_sa_ea typespec_nonattr
        | declspecs_nosc_ts_sa_noea scspec
        | declspecs_nosc_ts_sa_ea scspec
        | declspecs_sc_ts_sa_noea scspec
        | declspecs_sc_ts_sa_ea scspec
declspecs_sc_ts_sa_ea
        : declspecs_sc_ts_sa_noea attributes
        | declspecs_sc_ts_sa_noea typespec_reserved_attr
        | declspecs_sc_ts_sa_ea typespec_reserved_attr
        | declspecs_sc_nots_sa_noea typespec_attr
        | declspecs_sc_nots_sa_ea typespec_attr
declspecs_ts
        : declspecs_nosc_ts_nosa_noea
        | declspecs_nosc_ts_nosa_ea
        | declspecs_nosc_ts_sa_noea
        | declspecs_nosc_ts_sa_ea
        | declspecs_sc_ts_nosa_noea
        | declspecs_sc_ts_nosa_ea
        | declspecs_sc_ts_sa_noea
        | declspecs_sc_ts_sa_ea
declspecs_nots
        : declspecs_nosc_nots_nosa_noea
        | declspecs_nosc_nots_nosa_ea
        | declspecs_nosc_nots_sa_noea
        | declspecs_nosc_nots_sa_ea
        | declspecs_sc_nots_nosa_noea
        | declspecs_sc_nots_nosa_ea
        | declspecs_sc_nots_sa_noea
        | declspecs_sc_nots_sa_ea
declspecs_ts_nosa
        : declspecs_nosc_ts_nosa_noea
        | declspecs_nosc_ts_nosa_ea
        | declspecs_sc_ts_nosa_noea
        | declspecs_sc_ts_nosa_ea
declspecs_nots_nosa
        : declspecs_nosc_nots_nosa_noea
        | declspecs_nosc_nots_nosa_ea
        | declspecs_sc_nots_nosa_noea
        | declspecs_sc_nots_nosa_ea
declspecs_nosc_ts
        : declspecs_nosc_ts_nosa_noea
        | declspecs_nosc_ts_nosa_ea
        | declspecs_nosc_ts_sa_noea
        | declspecs_nosc_ts_sa_ea
declspecs_nosc_nots
        : declspecs_nosc_nots_nosa_noea
        | declspecs_nosc_nots_nosa_ea
        | declspecs_nosc_nots_sa_noea
        | declspecs_nosc_nots_sa_ea
declspecs_nosc
        : declspecs_nosc_ts_nosa_noea
        | declspecs_nosc_ts_nosa_ea
        | declspecs_nosc_ts_sa_noea
        | declspecs_nosc_ts_sa_ea
        | declspecs_nosc_nots_nosa_noea
        | declspecs_nosc_nots_nosa_ea
        | declspecs_nosc_nots_sa_noea
        | declspecs_nosc_nots_sa_ea
declspecs
        : declspecs_nosc_nots_nosa_noea
        | declspecs_nosc_nots_nosa_ea
        | declspecs_nosc_nots_sa_noea
        | declspecs_nosc_nots_sa_ea
        | declspecs_nosc_ts_nosa_noea
        | declspecs_nosc_ts_nosa_ea
        | declspecs_nosc_ts_sa_noea
        | declspecs_nosc_ts_sa_ea
        | declspecs_sc_nots_nosa_noea
        | declspecs_sc_nots_nosa_ea
        | declspecs_sc_nots_sa_noea
        | declspecs_sc_nots_sa_ea
        | declspecs_sc_ts_nosa_noea
        | declspecs_sc_ts_nosa_ea
        | declspecs_sc_ts_sa_noea
        | declspecs_sc_ts_sa_ea
maybe_type_quals_attrs
        : | declspecs_nosc_nots
typespec_nonattr
        : typespec_reserved_nonattr
        | typespec_nonreserved_nonattr
typespec_attr
        : typespec_reserved_attr
typespec_reserved_nonattr