/opensource.apple.com/source/gcc_legacy/gcc_legacy-938/gcc/objc/objc-parse.y
Happy | 2090 lines | 1904 code | 186 blank | 0 comment | 0 complexity | 0f3afb24e776707c725749d5d0d3f48b MD5 | raw file
Possible License(s): LGPL-2.0, MPL-2.0, GPL-2.0, ISC, LGPL-2.1, Apache-2.0, MPL-2.0-no-copyleft-exception, BSD-3-Clause, WTFPL, MIT, AGPL-1.0, AGPL-3.0
Large files files are truncated, but you can click here to view the full file
- <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
- "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
- <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
- <head>
- <title>objc-parse.y</title>
- <style type="text/css">
- .enscript-comment { font-style: italic; color: rgb(178,34,34); }
- .enscript-function-name { font-weight: bold; color: rgb(0,0,255); }
- .enscript-variable-name { font-weight: bold; color: rgb(184,134,11); }
- .enscript-keyword { font-weight: bold; color: rgb(160,32,240); }
- .enscript-reference { font-weight: bold; color: rgb(95,158,160); }
- .enscript-string { font-weight: bold; color: rgb(188,143,143); }
- .enscript-builtin { font-weight: bold; color: rgb(218,112,214); }
- .enscript-type { font-weight: bold; color: rgb(34,139,34); }
- .enscript-highlight { text-decoration: underline; color: 0; }
- </style>
- </head>
- <body id="top">
- <h1 style="margin:8px;" id="f1">objc-parse.y <span style="font-weight: normal; font-size: 0.5em;">[<a href="?txt">plain text</a>]</span></h1>
- <hr/>
- <div></div>
- <pre>
- /*WARNING: This file is automatically generated!*/
- /*WARNING: This file is automatically generated!*/
- /* YACC parser for C syntax and for Objective C. -*-c-*-
- Copyright (C) 1987, 88, 89, 92-98, 1999 Free Software Foundation, Inc.
- This file is part of GNU CC.
- GNU CC 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, or (at your option)
- any later version.
- GNU CC 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 GNU CC; see the file COPYING. If not, write to
- the Free Software Foundation, 59 Temple Place - Suite 330,
- Boston, MA 02111-1307, USA. */
- /* This file defines the grammar of C and that of Objective C.
- ifobjc ... end ifobjc conditionals contain code for Objective C only.
- ifc ... end ifc conditionals contain code for C only.
- Sed commands in Makefile.in are used to convert this file into
- c-parse.y and into objc-parse.y. */
- /* To whomever it may concern: I have heard that such a thing was once
- written by AT&T, but I have never seen it. */
- %expect 66
- /* These are the 23 conflicts you should get in parse.output;
- the state numbers may vary if minor changes in the grammar are made.
- State 42 contains 1 shift/reduce conflict. (Two ways to parse ATTRIBUTE.)
- State 44 contains 1 shift/reduce conflict. (Two ways to recover from error.)
- State 103 contains 1 shift/reduce conflict. (Two ways to recover from error.)
- State 110 contains 1 shift/reduce conflict. (Two ways to parse ATTRIBUTE.)
- State 111 contains 1 shift/reduce conflict. (Two ways to recover from error.)
- State 115 contains 1 shift/reduce conflict. (Two ways to recover from error.)
- State 132 contains 1 shift/reduce conflict. (See comment at component_decl.)
- State 180 contains 1 shift/reduce conflict. (Two ways to parse ATTRIBUTE.)
- State 194 contains 2 shift/reduce conflict. (Four ways to parse this.)
- State 202 contains 1 shift/reduce conflict. (Two ways to recover from error.)
- State 214 contains 1 shift/reduce conflict. (Two ways to recover from error.)
- State 220 contains 1 shift/reduce conflict. (Two ways to recover from error.)
- State 304 contains 2 shift/reduce conflicts. (Four ways to parse this.)
- State 335 contains 2 shift/reduce conflicts. (Four ways to parse this.)
- State 347 contains 1 shift/reduce conflict. (Two ways to parse ATTRIBUTES.)
- State 352 contains 1 shift/reduce conflict. (Two ways to parse ATTRIBUTES.)
- State 383 contains 2 shift/reduce conflicts. (Four ways to parse this.)
- State 434 contains 2 shift/reduce conflicts. (Four ways to parse this.) */
- %{
- #include "config.h"
- #include "system.h"
- #include <setjmp.h>
- #include "tree.h"
- #include "input.h"
- #include "c-lex.h"
- #include "c-tree.h"
- #include "flags.h"
- #include "output.h"
- #include "toplev.h"
- #ifdef MULTIBYTE_CHARS
- #include <locale.h>
- #endif
- #include "objc-act.h"
- /* Since parsers are distinct for each language, put the language string
- definition here. */
- char *language_string = "GNU Obj-C";
- static tree last_compound_expr, last_compound_list;
- #ifndef errno
- extern int errno;
- #endif
- void yyerror ();
- /* Like YYERROR but do call yyerror. */
- #define YYERROR1 { yyerror ("syntax error"); YYERROR; }
- /* Cause the `yydebug' variable to be defined. */
- #define YYDEBUG 1
- %}
- %start program
- %union {long itype; tree ttype; enum tree_code code;
- char *filename; int lineno; int ends_in_label; }
- /* All identifiers that are not reserved words
- and are not declared typedefs in the current block */
- %token IDENTIFIER
- /* All identifiers that are declared typedefs in the current block.
- In some contexts, they are treated just like IDENTIFIER,
- but they can also serve as typespecs in declarations. */
- %token TYPENAME
- /* Reserved words that specify storage class.
- yylval contains an IDENTIFIER_NODE which indicates which one. */
- %token SCSPEC
- /* Reserved words that specify type.
- yylval contains an IDENTIFIER_NODE which indicates which one. */
- %token TYPESPEC
- /* Reserved words that qualify type: "const", "volatile", or "restrict".
- yylval contains an IDENTIFIER_NODE which indicates which one. */
- %token TYPE_QUAL
- /* Character or numeric constants.
- yylval is the node for the constant. */
- %token CONSTANT
- /* String constants in raw form.
- yylval is a STRING_CST node. */
- %token STRING
- /* "...", used for functions with variable arglists. */
- %token ELLIPSIS
- /* the reserved words */
- /* SCO include files test "ASM", so use something else. */
- %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
- %token VEC_STEP
- /* Add precedence rules to solve dangling else s/r conflict */
- %nonassoc IF
- %nonassoc ELSE
- /* Define the operator tokens and their precedences.
- The value is an integer because, if used, it is the tree code
- to use in the expression made from the operator. */
- %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 '.' '(' '['
- /* The Objective-C keywords. These are included in C and in
- Objective C, so that the token codes are the same in both. */
- %token INTERFACE IMPLEMENTATION END SELECTOR DEFS ENCODE
- %token CLASSNAME PUBLIC PRIVATE PROTECTED PROTOCOL OBJECTNAME CLASS ALIAS
- /* Objective-C string constants in raw form.
- yylval is an OBJC_STRING_CST node. */
- %token OBJC_STRING
- %type <code> unop
- %type <ttype> identifier IDENTIFIER TYPENAME CONSTANT expr nonnull_exprlist exprlist
- %type <ttype> expr_no_commas cast_expr unary_expr primary string STRING
- %type <ttype> typed_declspecs reserved_declspecs
- %type <ttype> typed_typespecs reserved_typespecquals
- %type <ttype> declmods typespec typespecqual_reserved
- %type <ttype> typed_declspecs_no_prefix_attr reserved_declspecs_no_prefix_attr
- %type <ttype> declmods_no_prefix_attr
- %type <ttype> SCSPEC TYPESPEC TYPE_QUAL nonempty_type_quals maybe_type_qual
- %type <ttype> initdecls notype_initdecls initdcl notype_initdcl
- %type <ttype> init maybeasm
- %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
- %type <ttype> declarator
- %type <ttype> notype_declarator after_type_declarator
- %type <ttype> parm_declarator
- %type <ttype> structsp component_decl_list component_decl_list2
- %type <ttype> component_decl components component_declarator
- %type <ttype> enumlist enumerator
- %type <ttype> struct_head union_head enum_head
- %type <ttype> typename absdcl absdcl1 type_quals
- %type <ttype> xexpr parms parm identifiers
- %type <ttype> parmlist parmlist_1 parmlist_2
- %type <ttype> parmlist_or_identifiers parmlist_or_identifiers_1
- %type <ttype> identifiers_or_typenames
- %type <itype> setspecs
- %type <ends_in_label> lineno_stmt_or_label lineno_stmt_or_labels stmt_or_label
- %type <filename> save_filename
- %type <lineno> save_lineno
- /* the Objective-C nonterminals */
- %type <ttype> ivar_decl_list ivar_decls ivar_decl ivars ivar_declarator
- %type <ttype> methoddecl unaryselector keywordselector selector
- %type <ttype> keyworddecl receiver objcmessageexpr messageargs
- %type <ttype> keywordexpr keywordarglist keywordarg
- %type <ttype> myparms myparm optparmlist reservedwords objcselectorexpr
- %type <ttype> selectorarg keywordnamelist keywordname objcencodeexpr
- %type <ttype> objc_string non_empty_protocolrefs protocolrefs identifier_list objcprotocolexpr
- %type <ttype> CLASSNAME OBJC_STRING OBJECTNAME
- %type <ttype> objc_openbracket.expr_no_commas
- %type <ttype> objc_return_type_mods
- %{
- /* Number of statements (loosely speaking) and compound statements
- seen so far. */
- static int stmt_count;
- static int compstmt_count;
-
- /* Input file and line number of the end of the body of last simple_if;
- used by the stmt-rule immediately after simple_if returns. */
- static char *if_stmt_file;
- static int if_stmt_line;
- /* List of types and structure classes of the current declaration. */
- static tree current_declspecs = NULL_TREE;
- static tree prefix_attributes = NULL_TREE;
- /* Stack of saved values of current_declspecs and prefix_attributes. */
- static tree declspec_stack;
- /* 1 if we explained undeclared var errors. */
- static int undeclared_variable_notice;
- /* Objective-C specific information */
- tree objc_interface_context;
- tree objc_implementation_context;
- tree objc_method_context;
- tree objc_ivar_chain;
- tree objc_ivar_context;
- enum tree_code objc_inherit_code;
- int objc_receiver_context;
- int objc_public_flag;
- #ifdef MODERN_OBJC_SYNTAX
- extern flag_modern_objc_syntax;
- #endif
- /* Tell yyparse how to print a token's value, if yydebug is set. */
- #define YYPRINT(FILE,YYCHAR,YYLVAL) yyprint(FILE,YYCHAR,YYLVAL)
- extern void yyprint PROTO ((FILE *, int, YYSTYPE));
- %}
- %%
- program: /* empty */
- { if (pedantic)
- pedwarn ("ANSI C forbids an empty source file");
- finish_file ();
- }
- | extdefs
- {
- /* In case there were missing closebraces,
- get us back to the global binding level. */
- while (! global_bindings_p ())
- poplevel (0, 0, 0);
- finish_file ();
- }
- ;
- /* the reason for the strange actions in this rule
- is so that notype_initdecls when reached via datadef
- can find a valid list of type and sc specs in $0. */
- extdefs:
- {$<ttype>$ = NULL_TREE; } extdef
- | extdefs {$<ttype>$ = NULL_TREE; } extdef
- ;
- extdef:
- fndef
- | datadef
- | objcdef
- | ASM_KEYWORD '(' expr ')' ';'
- { STRIP_NOPS ($3);
- if ((TREE_CODE ($3) == ADDR_EXPR
- && TREE_CODE (TREE_OPERAND ($3, 0)) == STRING_CST)
- || TREE_CODE ($3) == STRING_CST)
- assemble_asm ($3);
- else
- error ("argument of `asm' is not a constant string"); }
- | extension extdef
- { pedantic = $<itype>1; }
- ;
- datadef:
- setspecs notype_initdecls ';'
- { if (pedantic)
- error ("ANSI C forbids data definition with no type or storage class");
- else if (!flag_traditional)
- warning ("data definition has no type or storage class");
- current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($1); }
- | declmods setspecs notype_initdecls ';'
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | typed_declspecs setspecs initdecls ';'
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | declmods ';'
- { pedwarn ("empty declaration"); }
- | typed_declspecs ';'
- { shadow_tag ($1); }
- | error ';'
- | error '}'
- | ';'
- { if (pedantic)
- pedwarn ("ANSI C does not allow extra `;' outside of a function"); }
- ;
- fndef:
- typed_declspecs setspecs declarator
- {
- #ifdef MODERN_OBJC_SYNTAX
- if (flag_modern_objc_syntax && objc_implementation_context)
- {
- tree md = build_method_decl_from_ansiproto($3, $1,
- objc_implementation_context);
- start_method_def(md);
- objc_method_context = md;
- objc_receiver_context = 1;
- }
- else
- {
- #endif
- if (! start_function (current_declspecs, $3,
- prefix_attributes, NULL_TREE, 0))
- YYERROR1;
- reinit_parse_for_function ();
- #ifdef MODERN_OBJC_SYNTAX
- }
- #endif
- }
- old_style_parm_decls
- {
- #ifdef MODERN_OBJC_SYNTAX
- if (objc_implementation_context && objc_method_context)
- continue_method_def();
- else
- #endif
- store_parm_decls ();
- }
- compstmt_or_error
- {
- #ifdef MODERN_OBJC_SYNTAX
- if (objc_implementation_context && objc_method_context)
- {
- finish_method_def();
- objc_method_context = NULL_TREE;
- objc_receiver_context = 0;
- }
- else
- {
- #endif
- finish_function (0);
- current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2);
- #ifdef MODERN_OBJC_SYNTAX
- }
- #endif
- }
- | typed_declspecs setspecs declarator error
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | declmods setspecs notype_declarator
- { if (! start_function (current_declspecs, $3,
- prefix_attributes, NULL_TREE, 0))
- YYERROR1;
- reinit_parse_for_function (); }
- old_style_parm_decls
- { store_parm_decls (); }
- compstmt_or_error
- { finish_function (0);
- current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | declmods setspecs notype_declarator error
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | setspecs notype_declarator
- { if (! start_function (NULL_TREE, $2,
- prefix_attributes, NULL_TREE, 0))
- YYERROR1;
- reinit_parse_for_function (); }
- old_style_parm_decls
- { store_parm_decls (); }
- compstmt_or_error
- { finish_function (0);
- current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($1); }
- | setspecs notype_declarator error
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($1); }
- ;
- identifier:
- IDENTIFIER
- | TYPENAME
- | OBJECTNAME
- | CLASSNAME
- ;
- unop: '&'
- { $$ = ADDR_EXPR; }
- | '-'
- { $$ = NEGATE_EXPR; }
- | '+'
- { $$ = CONVERT_EXPR; }
- | PLUSPLUS
- { $$ = PREINCREMENT_EXPR; }
- | MINUSMINUS
- { $$ = PREDECREMENT_EXPR; }
- | '~'
- { $$ = BIT_NOT_EXPR; }
- | '!'
- { $$ = TRUTH_NOT_EXPR; }
- ;
- expr: nonnull_exprlist
- { $$ = last_compound_expr
- = build_compound_expr (last_compound_list = $1); }
- ;
- exprlist:
- /* empty */
- { $$ = NULL_TREE; }
- | nonnull_exprlist
- ;
- nonnull_exprlist:
- expr_no_commas
- { $$ = build_tree_list (NULL_TREE, $1); }
- | nonnull_exprlist ',' expr_no_commas
- { chainon ($1, build_tree_list (NULL_TREE, $3)); }
- ;
- unary_expr:
- primary
- | '*' cast_expr %prec UNARY
- { $$ = build_indirect_ref ($2, "unary *"); }
- /* __extension__ turns off -pedantic for following primary. */
- | extension cast_expr %prec UNARY
- { $$ = $2;
- pedantic = $<itype>1; }
- | unop cast_expr %prec UNARY
- { $$ = build_unary_op ($1, $2, 0);
- overflow_warning ($$); }
- /* Refer to the address of a label as a pointer. */
- | ANDAND identifier
- { tree label = lookup_label ($2);
- if (pedantic)
- pedwarn ("ANSI C forbids `&&'");
- if (label == 0)
- $$ = null_pointer_node;
- else
- {
- TREE_USED (label) = 1;
- $$ = build1 (ADDR_EXPR, ptr_type_node, label);
- TREE_CONSTANT ($$) = 1;
- }
- }
- /* This seems to be impossible on some machines, so let's turn it off.
- You can use __builtin_next_arg to find the anonymous stack args.
- | '&' ELLIPSIS
- { tree types = TYPE_ARG_TYPES (TREE_TYPE (current_function_decl));
- $$ = error_mark_node;
- if (TREE_VALUE (tree_last (types)) == void_type_node)
- error ("`&...' used in function with fixed number of arguments");
- else
- {
- if (pedantic)
- pedwarn ("ANSI C forbids `&...'");
- $$ = tree_last (DECL_ARGUMENTS (current_function_decl));
- $$ = build_unary_op (ADDR_EXPR, $$, 0);
- } }
- */
- | sizeof unary_expr %prec UNARY
- { skip_evaluation--;
- if (TREE_CODE ($2) == COMPONENT_REF
- && DECL_C_BIT_FIELD (TREE_OPERAND ($2, 1)))
- error ("`sizeof' applied to a bit-field");
- $$ = c_sizeof (TREE_TYPE ($2)); }
- | sizeof '(' typename ')' %prec HYPERUNARY
- { skip_evaluation--;
- $$ = c_sizeof (groktypename ($3)); }
- | alignof unary_expr %prec UNARY
- { skip_evaluation--;
- $$ = c_alignof_expr ($2); }
- | alignof '(' typename ')' %prec HYPERUNARY
- { skip_evaluation--;
- $$ = c_alignof (groktypename ($3)); }
- | vec_step unary_expr %prec UNARY
- { skip_evaluation--;
- $$ = c_vec_step_expr ($2); }
- | vec_step '(' typename ')' %prec HYPERUNARY
- { skip_evaluation--;
- $$ = c_vec_step (groktypename ($3)); }
- | REALPART cast_expr %prec UNARY
- { $$ = build_unary_op (REALPART_EXPR, $2, 0); }
- | IMAGPART cast_expr %prec UNARY
- { $$ = build_unary_op (IMAGPART_EXPR, $2, 0); }
- ;
- sizeof:
- SIZEOF { skip_evaluation++; }
- ;
- alignof:
- ALIGNOF { skip_evaluation++; }
- ;
- vec_step:
- VEC_STEP { skip_evaluation++; }
- ;
- cast_expr:
- unary_expr
- | '(' typename ')' cast_expr %prec UNARY
- { tree type = groktypename ($2);
- /* If typename is a vector type, check for the form of a
- vector constant. The cast_expr must be of the form
- '(' nonnull_expr_list ')' and the expression list must
- consist of integer constants or floating point
- constants. Unfortunately, we need the actual list of
- constants, not the value after the list was reduced by
- build_compound_expr. We hack around this by saving
- the last input and result of build_compound_expr and
- using them here. */
- tree last = $4;
- STRIP_NOPS(last);
- if (TREE_CODE (type) == VECTOR_TYPE
- && $4 == last_compound_expr
- && (TREE_CODE (last) == INTEGER_CST
- || TREE_CODE (last) == REAL_CST))
- $$ = build_vector_constant (type, last_compound_list);
- else
- $$ = build_c_cast (type, $4); }
- | '(' typename ')' '{'
- { start_init (NULL_TREE, NULL, 0);
- $2 = groktypename ($2);
- really_start_incremental_init ($2); }
- initlist_maybe_comma '}' %prec UNARY
- { char *name;
- tree result = pop_init_level (0);
- tree type = $2;
- finish_init ();
- if (pedantic && ! flag_isoc9x)
- pedwarn ("ANSI C forbids constructor expressions");
- if (TYPE_NAME (type) != 0)
- {
- if (TREE_CODE (TYPE_NAME (type)) == IDENTIFIER_NODE)
- name = IDENTIFIER_POINTER (TYPE_NAME (type));
- else
- name = IDENTIFIER_POINTER (DECL_NAME (TYPE_NAME (type)));
- }
- else
- name = "";
- $$ = result;
- if (TREE_CODE (type) == ARRAY_TYPE && TYPE_SIZE (type) == 0)
- {
- int failure = complete_array_type (type, $$, 1);
- if (failure)
- abort ();
- }
- }
- ;
- expr_no_commas:
- cast_expr
- | expr_no_commas '+' expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas '-' expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas '*' expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas '/' expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas '%' expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas LSHIFT expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas RSHIFT expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas ARITHCOMPARE expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas EQCOMPARE expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas '&' expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas '|' expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas '^' expr_no_commas
- { $$ = parser_build_binary_op ($2, $1, $3); }
- | expr_no_commas ANDAND
- { $1 = truthvalue_conversion (default_conversion ($1));
- skip_evaluation += $1 == boolean_false_node; }
- expr_no_commas
- { skip_evaluation -= $1 == boolean_false_node;
- $$ = parser_build_binary_op (TRUTH_ANDIF_EXPR, $1, $4); }
- | expr_no_commas OROR
- { $1 = truthvalue_conversion (default_conversion ($1));
- skip_evaluation += $1 == boolean_true_node; }
- expr_no_commas
- { skip_evaluation -= $1 == boolean_true_node;
- $$ = parser_build_binary_op (TRUTH_ORIF_EXPR, $1, $4); }
- | expr_no_commas '?'
- { $1 = truthvalue_conversion (default_conversion ($1));
- skip_evaluation += $1 == boolean_false_node; }
- expr ':'
- { skip_evaluation += (($1 == boolean_true_node)
- - ($1 == boolean_false_node)); }
- expr_no_commas
- { skip_evaluation -= $1 == boolean_true_node;
- $$ = build_conditional_expr ($1, $4, $7); }
- | expr_no_commas '?'
- { if (pedantic)
- pedwarn ("ANSI C forbids omitting the middle term of a ?: expression");
- /* Make sure first operand is calculated only once. */
- $<ttype>2 = save_expr ($1);
- $1 = truthvalue_conversion (default_conversion ($<ttype>2));
- skip_evaluation += $1 == boolean_true_node; }
- ':' expr_no_commas
- { skip_evaluation -= $1 == boolean_true_node;
- $$ = build_conditional_expr ($1, $<ttype>2, $5); }
- | expr_no_commas '=' expr_no_commas
- { char class;
- $$ = build_modify_expr ($1, NOP_EXPR, $3);
- class = TREE_CODE_CLASS (TREE_CODE ($$));
- if (class == 'e' || class == '1'
- || class == '2' || class == '<')
- C_SET_EXP_ORIGINAL_CODE ($$, MODIFY_EXPR);
- }
- | expr_no_commas ASSIGN expr_no_commas
- { char class;
- $$ = build_modify_expr ($1, $2, $3);
- /* This inhibits warnings in truthvalue_conversion. */
- class = TREE_CODE_CLASS (TREE_CODE ($$));
- if (class == 'e' || class == '1'
- || class == '2' || class == '<')
- C_SET_EXP_ORIGINAL_CODE ($$, ERROR_MARK);
- }
- ;
- primary:
- IDENTIFIER
- {
- $$ = lastiddecl;
- if (!$$ || $$ == error_mark_node)
- {
- if (yychar == YYEMPTY)
- yychar = YYLEX;
- if (yychar == '(')
- {
- tree decl;
- if (objc_receiver_context
- && ! (objc_receiver_context
- && strcmp (IDENTIFIER_POINTER ($1), "super")))
- /* we have a message to super */
- $$ = get_super_receiver ();
- else if (objc_method_context
- && (decl = is_ivar (objc_ivar_chain, $1)))
- {
- if (is_private (decl))
- $$ = error_mark_node;
- else
- $$ = build_ivar_reference ($1);
- }
- else
- {
- /* Ordinary implicit function declaration. */
- $$ = implicitly_declare ($1);
- assemble_external ($$);
- TREE_USED ($$) = 1;
- }
- }
- else if (current_function_decl == 0)
- {
- error ("`%s' undeclared here (not in a function)",
- IDENTIFIER_POINTER ($1));
- $$ = error_mark_node;
- }
- else
- {
- tree decl;
- if (objc_receiver_context
- && ! strcmp (IDENTIFIER_POINTER ($1), "super"))
- /* we have a message to super */
- $$ = get_super_receiver ();
- else if (objc_method_context
- && (decl = is_ivar (objc_ivar_chain, $1)))
- {
- if (is_private (decl))
- $$ = error_mark_node;
- else
- $$ = build_ivar_reference ($1);
- }
- else
- {
- if (IDENTIFIER_GLOBAL_VALUE ($1) != error_mark_node
- || IDENTIFIER_ERROR_LOCUS ($1) != current_function_decl)
- {
- error ("`%s' undeclared (first use in this function)",
- IDENTIFIER_POINTER ($1));
- if (! undeclared_variable_notice)
- {
- error ("(Each undeclared identifier is reported only once");
- error ("for each function it appears in.)");
- undeclared_variable_notice = 1;
- }
- }
- $$ = error_mark_node;
- /* Prevent repeated error messages. */
- IDENTIFIER_GLOBAL_VALUE ($1) = error_mark_node;
- IDENTIFIER_ERROR_LOCUS ($1) = current_function_decl;
- }
- }
- }
- else if (TREE_TYPE ($$) == error_mark_node)
- $$ = error_mark_node;
- else if (C_DECL_ANTICIPATED ($$))
- {
- /* The first time we see a build-in function used,
- if it has not been declared. */
- C_DECL_ANTICIPATED ($$) = 0;
- if (yychar == YYEMPTY)
- yychar = YYLEX;
- if (yychar == '(')
- {
- /* Omit the implicit declaration we
- would ordinarily do, so we don't lose
- the actual built in type.
- But print a diagnostic for the mismatch. */
- if (objc_method_context
- && is_ivar (objc_ivar_chain, $1))
- error ("Instance variable `%s' implicitly declared as function",
- IDENTIFIER_POINTER (DECL_NAME ($$)));
- else
- if (TREE_CODE ($$) != FUNCTION_DECL)
- error ("`%s' implicitly declared as function",
- IDENTIFIER_POINTER (DECL_NAME ($$)));
- else if ((TYPE_MODE (TREE_TYPE (TREE_TYPE ($$)))
- != TYPE_MODE (integer_type_node))
- && (TREE_TYPE (TREE_TYPE ($$))
- != void_type_node))
- pedwarn ("type mismatch in implicit declaration for built-in function `%s'",
- IDENTIFIER_POINTER (DECL_NAME ($$)));
- /* If it really returns void, change that to int. */
- if (TREE_TYPE (TREE_TYPE ($$)) == void_type_node)
- TREE_TYPE ($$)
- = build_function_type (integer_type_node,
- TYPE_ARG_TYPES (TREE_TYPE ($$)));
- }
- else
- pedwarn ("built-in function `%s' used without declaration",
- IDENTIFIER_POINTER (DECL_NAME ($$)));
- /* Do what we would ordinarily do when a fn is used. */
- assemble_external ($$);
- TREE_USED ($$) = 1;
- }
- else
- {
- assemble_external ($$);
- TREE_USED ($$) = 1;
- /* we have a definition - still check if iVariable */
- if (!objc_receiver_context
- || (objc_receiver_context
- && strcmp (IDENTIFIER_POINTER ($1), "super")))
- {
- tree decl;
- if (objc_method_context
- && (decl = is_ivar (objc_ivar_chain, $1)))
- {
- if (IDENTIFIER_LOCAL_VALUE ($1))
- warning ("local declaration of `%s' hides instance variable",
- IDENTIFIER_POINTER ($1));
- else
- {
- if (is_private (decl))
- $$ = error_mark_node;
- else
- $$ = build_ivar_reference ($1);
- }
- }
- }
- else /* we have a message to super */
- $$ = get_super_receiver ();
- }
- if (TREE_CODE ($$) == CONST_DECL)
- {
- $$ = DECL_INITIAL ($$);
- /* This is to prevent an enum whose value is 0
- from being considered a null pointer constant. */
- $$ = build1 (NOP_EXPR, TREE_TYPE ($$), $$);
- TREE_CONSTANT ($$) = 1;
- }
- }
- | CONSTANT
- | string
- { $$ = combine_strings ($1); }
- | '(' expr ')'
- { char class = TREE_CODE_CLASS (TREE_CODE ($2));
- if (class == 'e' || class == '1'
- || class == '2' || class == '<')
- C_SET_EXP_ORIGINAL_CODE ($2, ERROR_MARK);
- $$ = $2; }
- | '(' error ')'
- { $$ = error_mark_node; }
- | '('
- { if (current_function_decl == 0)
- {
- error ("braced-group within expression allowed only inside a function");
- YYERROR;
- }
- /* We must force a BLOCK for this level
- so that, if it is not expanded later,
- there is a way to turn off the entire subtree of blocks
- that are contained in it. */
- keep_next_level ();
- push_iterator_stack ();
- push_label_level ();
- $<ttype>$ = expand_start_stmt_expr (); }
- compstmt ')'
- { tree rtl_exp;
- if (pedantic)
- pedwarn ("ANSI C forbids braced-groups within expressions");
- pop_iterator_stack ();
- pop_label_level ();
- rtl_exp = expand_end_stmt_expr ($<ttype>2);
- /* The statements have side effects, so the group does. */
- TREE_SIDE_EFFECTS (rtl_exp) = 1;
- if (TREE_CODE ($3) == BLOCK)
- {
- /* Make a BIND_EXPR for the BLOCK already made. */
- $$ = build (BIND_EXPR, TREE_TYPE (rtl_exp),
- NULL_TREE, rtl_exp, $3);
- /* Remove the block from the tree at this point.
- It gets put back at the proper place
- when the BIND_EXPR is expanded. */
- delete_block ($3);
- }
- else
- $$ = $3;
- }
- | primary '(' exprlist ')' %prec '.'
- {
- #ifdef MODERN_OBJC_SYNTAX
- if (doing_objc_thang && flag_modern_objc_syntax &&
- TREE_CODE ($1) == MODERN_MESSAGE_EXPR)
- $$ = build_modern_message_expression($1, $3);
- else
- #endif
- $$ = build_function_call ($1, $3);
- }
- | primary '[' expr ']' %prec '.'
- { $$ = build_array_ref ($1, $3); }
- | CLASSNAME '.' identifier
- {
- #ifdef MODERN_OBJC_SYNTAX
- if (doing_objc_thang && flag_modern_objc_syntax)
- {
- $1 = get_class_reference ($1);
- $$ = build (MODERN_MESSAGE_EXPR, TREE_TYPE ($1), $1, $3);
- }
- else
- #endif
- $$ = error_mark_node;
- }
- | primary '.' identifier
- {
- if (doing_objc_thang
- #ifdef MODERN_OBJC_SYNTAX
- && flag_modern_objc_syntax
- #endif
- )
- {
- #ifdef MODERN_OBJC_SYNTAX
- if (looks_like_ansistyle_message_ref($1, $3))
- $$ = build (MODERN_MESSAGE_EXPR, TREE_TYPE ($1),
- $1, $3);
- else
- #endif
- if (is_public ($1, $3))
- $$ = build_component_ref ($1, $3);
- else
- $$ = error_mark_node;
- }
- else
- $$ = build_component_ref ($1, $3);
- }
- | primary POINTSAT identifier
- {
- tree expr = build_indirect_ref ($1, "->");
- if (doing_objc_thang)
- {
- if (is_public (expr, $3))
- $$ = build_component_ref (expr, $3);
- else
- $$ = error_mark_node;
- }
- else
- $$ = build_component_ref (expr, $3);
- }
- | primary PLUSPLUS
- { $$ = build_unary_op (POSTINCREMENT_EXPR, $1, 0); }
- | primary MINUSMINUS
- { $$ = build_unary_op (POSTDECREMENT_EXPR, $1, 0); }
- | objcmessageexpr
- { $$ = build_message_expr ($1, 0); }
- | objcselectorexpr
- { $$ = build_selector_expr ($1); }
- | objcprotocolexpr
- { $$ = build_protocol_expr ($1); }
- | objcencodeexpr
- { $$ = build_encode_expr ($1); }
- | objc_string
- { $$ = build_objc_string_object ($1); }
- ;
- /* Produces a STRING_CST with perhaps more STRING_CSTs chained onto it. */
- string:
- STRING
- | string STRING
- { $$ = chainon ($1, $2); }
- ;
- /* Produces an OBJC_STRING_CST with perhaps more OBJC_STRING_CSTs chained
- onto it. */
- objc_string:
- OBJC_STRING
- | objc_string OBJC_STRING
- { $$ = chainon ($1, $2); }
- ;
- old_style_parm_decls:
- /* empty */
- | datadecls
- | datadecls ELLIPSIS
- /* ... is used here to indicate a varargs function. */
- { c_mark_varargs ();
- if (pedantic)
- pedwarn ("ANSI C does not permit use of `varargs.h'"); }
- ;
- /* The following are analogous to lineno_decl, decls and decl
- except that they do not allow nested functions.
- They are used for old-style parm decls. */
- lineno_datadecl:
- save_filename save_lineno datadecl
- { }
- ;
- datadecls:
- lineno_datadecl
- | errstmt
- | datadecls lineno_datadecl
- | lineno_datadecl errstmt
- ;
- /* We don't allow prefix attributes here because they cause reduce/reduce
- conflicts: we can't know whether we're parsing a function decl with
- attribute suffix, or function defn with attribute prefix on first old
- style parm. */
- datadecl:
- typed_declspecs_no_prefix_attr setspecs initdecls ';'
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | declmods_no_prefix_attr setspecs notype_initdecls ';'
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | typed_declspecs_no_prefix_attr ';'
- { shadow_tag_warned ($1, 1);
- pedwarn ("empty declaration"); }
- | declmods_no_prefix_attr ';'
- { pedwarn ("empty declaration"); }
- ;
- /* This combination which saves a lineno before a decl
- is the normal thing to use, rather than decl itself.
- This is to avoid shift/reduce conflicts in contexts
- where statement labels are allowed. */
- lineno_decl:
- save_filename save_lineno decl
- { }
- ;
- decls:
- lineno_decl
- | errstmt
- | decls lineno_decl
- | lineno_decl errstmt
- ;
- /* records the type and storage class specs to use for processing
- the declarators that follow.
- Maintains a stack of outer-level values of current_declspecs,
- for the sake of parm declarations nested in function declarators. */
- setspecs: /* empty */
- { $$ = suspend_momentary ();
- pending_xref_error ();
- declspec_stack = tree_cons (prefix_attributes,
- current_declspecs,
- declspec_stack);
- split_specs_attrs ($<ttype>0,
- &current_declspecs, &prefix_attributes); }
- ;
- /* ??? Yuck. See after_type_declarator. */
- setattrs: /* empty */
- { prefix_attributes = chainon (prefix_attributes, $<ttype>0); }
- ;
- decl:
- typed_declspecs setspecs initdecls ';'
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | declmods setspecs notype_initdecls ';'
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | typed_declspecs setspecs nested_function
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | declmods setspecs notype_nested_function
- { current_declspecs = TREE_VALUE (declspec_stack);
- prefix_attributes = TREE_PURPOSE (declspec_stack);
- declspec_stack = TREE_CHAIN (declspec_stack);
- resume_momentary ($2); }
- | typed_declspecs ';'
- { shadow_tag ($1); }
- | declmods ';'
- { pedwarn ("empty declaration"); }
- | extension decl
- { pedantic = $<itype>1; }
- ;
- /* Declspecs which contain at least one type specifier or typedef name.
- (Just `const' or `volatile' is not enough.)
- A typedef'd name following these is taken as a name to be declared.
- Declspecs have a non-NULL TREE_VALUE, attributes do not. */
- typed_declspecs:
- typespec reserved_declspecs
- { $$ = tree_cons (NULL_TREE, $1, $2); }
- | declmods typespec reserved_declspecs
- { $$ = chainon ($3, tree_cons (NULL_TREE, $2, $1)); }
- ;
- reserved_declspecs: /* empty */
- { $$ = NULL_TREE; }
- | reserved_declspecs typespecqual_reserved
- { $$ = tree_cons (NULL_TREE, $2, $1); }
- | reserved_declspecs SCSPEC
- { if (extra_warnings)
- warning ("`%s' is not at beginning of declaration",
- IDENTIFIER_POINTER ($2));
- $$ = tree_cons (NULL_TREE, $2, $1); }
- | reserved_declspecs attributes
- { $$ = tree_cons ($2, NULL_TREE, $1); }
- ;
- typed_declspecs_no_prefix_attr:
- typespec reserved_declspecs_no_prefix_attr
- { $$ = tree_cons (NULL_TREE, $1, $2); }
- | declmods_no_prefix_attr typespec reserved_declspecs_no_prefix_attr
- { $$ = chainon ($3, tree_cons (NULL_TREE, $2, $1)); }
- ;
- reserved_declspecs_no_prefix_attr:
- /* empty */
- { $$ = NULL_TREE; }
- | reserved_declspecs_no_prefix_attr typespecqual_reserved
- { $$ = tree_cons (NULL_TREE, $2, $1); }
- | reserved_declspecs_no_prefix_attr SCSPEC
- { if (extra_warnings)
- warning ("`%s' is not at beginning of declaration",
- IDENTIFIER_POINTER ($2));
- $$ = tree_cons (NULL_TREE, $2, $1); }
- ;
- /* List of just storage classes, type modifiers, and prefix attributes.
- A declaration can start with just this, but then it cannot be used
- to redeclare a typedef-name.
- Declspecs have a non-NULL TREE_VALUE, attributes do not. */
- declmods:
- declmods_no_prefix_attr
- { $$ = $1; }
- | attributes
- { $$ = tree_cons ($1, NULL_TREE, NULL_TREE); }
- | declmods declmods_no_prefix_attr
- { $$ = chainon ($2, $1); }
- | declmods attributes
- { $$ = tree_cons ($2, NULL_TREE, $1); }
- ;
- declmods_no_prefix_attr:
- TYPE_QUAL
- { $$ = tree_cons (NULL_TREE, $1, NULL_TREE);
- TREE_STATIC ($$) = 1; }
- | SCSPEC
- { $$ = tree_cons (NULL_TREE, $1, NULL_TREE); }
- | declmods_no_prefix_attr TYPE_QUAL
- { $$ = tree_cons (NULL_TREE, $2, $1);
- TREE_STATIC ($$) = 1; }
- | declmods_no_prefix_attr SCSPEC
- { if (extra_warnings && TREE_STATIC ($1))
- warning ("`%s' is not at beginning of declaration",
- IDENTIFIER_POINTER ($2));
- $$ = tree_cons (NULL_TREE, $2, $1);
- TREE_STATIC ($$) = TREE_STATIC ($1); }
- ;
- /* Used instead of declspecs where storage classes are not allowed
- (that is, for typenames and structure components).
- Don't accept a typedef-name if anything but a modifier precedes it. */
- typed_typespecs:
- typespec reserved_typespecquals
- { $$ = tree_cons (NULL_TREE, $1, $2); }
- | nonempty_type_quals typespec reserved_typespecquals
- { $$ = chainon ($3, tree_cons (NULL_TREE, $2, $1)); }
- ;
- reserved_typespecquals: /* empty */
- { $$ = NULL_TREE; }
- | reserved_typespecquals typespecqual_reserved
- { $$ = tree_cons (NULL_TREE, $2, $1); }
- ;
- /* A typespec (but not a type qualifier).
- Once we have seen one of these in a declaration,
- if a typedef name appears then it is being redeclared. */
- typespec: TYPESPEC
- | structsp
- | TYPENAME
- { /* For a typedef name, record the meaning, not the name.
- In case of `foo foo, bar;'. */
- $$ = lookup_name ($1); }
- | CLASSNAME protocolrefs
- { $$ = get_static_reference ($1, $2); }
- | OBJECTNAME protocolrefs
- { $$ = get_object_reference ($2); }
- /* Make "<SomeProtocol>" equivalent to "id <SomeProtocol>"
- - <a href="mailto:nisse@lysator.liu.se">nisse@lysator.liu.se</a> */
- | non_empty_protocolrefs
- { $$ = get_object_reference ($1); }
- | TYPEOF '(' expr ')'
- { $$ = TREE_TYPE ($3); }
- | TYPEOF '(' typename ')'
- { $$ = groktypename ($3); }
- ;
- /* A typespec that is a reserved word, or a type qualifier. */
- typespecqual_reserved: TYPESPEC
- | TYPE_QUAL
- | structsp
- ;
- initdecls:
- initdcl
- | initdecls ',' initdcl
- ;
- notype_initdecls:
- notype_initdcl
- | notype_initdecls ',' initdcl
- ;
- maybeasm:
- /* empty */
- { $$ = NULL_TREE; }
- | ASM_KEYWORD '(' string ')'
- { if (TREE_CHAIN ($3)) $3 = combine_strings ($3);
- $$ = $3;
- }
- ;
- initdcl:
- declarator maybeasm maybe_attribute '='
- { $<ttype>$ = start_decl ($1, current_declspecs, 1,
- $3, prefix_attributes);
- start_init ($<ttype>$, $2, global_bindings_p ()); }
- init
- /* Note how the declaration of the variable is in effect while its init is parsed! */
- { finish_init ();
- finish_decl ($<ttype>5, $6, $2); }
- | declarator maybeasm maybe_attribute
- {
- #ifdef MODERN_OBJC_SYNTAX
- if (flag_modern_objc_syntax && objc_interface_context &&
- looks_like_ansistyle_method_decl($1, current_declspecs))
- {
- build_method_decl_from_ansiproto($1,
- current_declspecs, objc_interface_context);
- }
- else
- {
- #endif
- tree d = start_decl ($1, current_declspecs, 0,
- $3, prefix_attributes);
- finish_decl (d, NULL_TREE, $2);
- #ifdef MODERN_OBJC_SYNTAX
- }
- #endif
- }
- ;
- notype_initdcl:
- notype_declarator maybeasm maybe_attribute '='
- { $<ttype>$ = start_decl ($1, current_declspecs, 1,
- $3, prefix_attributes);
- start_init ($<ttype>$, $2, global_bindings_p ()); }
- init
- /* Note how the declaration of the variable is in effect while its init is parsed! */
- { finish_init ();
- decl_attributes ($<ttype>5, $3, prefix_attributes);
- finish_decl ($<ttype>5, $6, $2); }
- | notype_declarator maybeasm maybe_attribute
- { tree d = start_decl ($1, current_declspecs, 0,
- $3, prefix_attributes);
- finish_decl (d, NULL_TREE, $2); }
- ;
- /* the * rules are dummies to accept the Apollo extended syntax
- so that the header files compile. */
- maybe_attribute:
- /* empty */
- { $$ = NULL_TREE; }
- | attributes
- { $$ = $1; }
- ;
-
- attributes:
- attribute
- { $$ = $1; }
- | attributes attribute
- { $$ = chainon ($1, $2); }
- ;
- attribute:
- ATTRIBUTE '(' '(' attribute_list ')' ')'
- { $$ = $4; }
- ;
- attribute_list:
- attrib
- { $$ = $1; }
- | attribute_list ',' attrib
- { $$ = chainon ($1, $3); }
- ;
-
- attrib:
- /* empty */
- { $$ = NULL_TREE; }
- | any_word
- { $$ = build_tree_list ($1, NULL_TREE); }
- | any_word '(' IDENTIFIER ')'
- { $$ = build_tree_list ($1, build_tree_list (NULL_TREE, $3)); }
- | any_word '(' IDENTIFIER ',' nonnull_exprlist ')'
- { $$ = build_tree_list ($1, tree_cons (NULL_TREE, $3, $5)); }
- | any_word '(' exprlist ')'
- { $$ = build_tree_list ($1, $3); }
- ;
- /* This still leaves out most reserved keywords,
- shouldn't we include them? */
- any_word:
- identifier
- | SCSPEC
- | TYPESPEC
- | TYPE_QUAL
- ;
- /* Initializers. `init' is the entry point. */
- init:
- expr_no_commas
- | '{'
- { really_start_incremental_init (NULL_TREE);
- /* Note that the call to clear_momentary
- is in process_init_element. */
- push_momentary (); }
- initlist_maybe_comma '}'
- { $$ = pop_init_level (0);
- if ($$ == error_mark_node
- && ! (yychar == STRING || yychar == CONSTANT))
- pop_momentary ();
- else
- pop_momentary_nofree (); }
- | error
- { $$ = error_mark_node; }
- ;
- /* `initlist_maybe_comma' is the guts of an initializer in braces. */
- initlist_maybe_comma:
- /* empty */
- { if (pedantic)
- pedwarn ("ANSI C forbids empty initializer braces"); }
- | initlist1 maybecomma
- ;
- initlist1:
- initelt
- | initlist1 ',' initelt
- ;
- /* `initelt' is a single element of an initializer.
- It may use braces. */
- initelt:
- designator_list '=' initval
- | designator initval
- | identifier ':'
- { set_init_label ($1); }
- initval
- | initval
- ;
- initval:
- '{'
- { push_init_level (0); }
- initlist_maybe_comma '}'
- { process_init_element (pop_init_level (0)); }
- | expr_no_commas
- { process_init_element ($1); }
- | error
- ;
- designator_list:
- designator
- | designator_list designator
- ;
- designator:
- '.' identifier
- { set_init_label ($2); }
- /* These are for labeled elements. The syntax for an array element
- initializer conflicts with the syntax for an Objective-C message,
- so don't include these productions in the Objective-C grammar. */
- | objc_openbracket.expr_no_commas ELLIPSIS expr_no_commas ']' '='
- { set_init_index ($1, $3); }
- initelt
- | objc_openbracket.expr_no_commas ']' '='
- { set_init_index ($1, NULL_TREE); }
- initelt
- | objc_openbracket.expr_no_commas ']'
- { set_init_index ($1, NULL_TREE); }
- initelt
- | identifier ':'
- { set_init_label ($1); }
- initelt
- | '.' identifier '='
- { set_init_label ($2); }
- initelt
- ;
- nested_function:
- declarator
- { push_c_function_context ();
- if (! start_function (current_declspecs, $1,
- prefix_attributes, NULL_TREE, 1))
- {
- pop_c_function_context ();
- YYERROR1;
- }
- reinit_parse_for_function (); }
- old_style_parm_decls
- { store_parm_decls (); }
- /* This used to use compstmt_or_error.
- That caused a bug with input `f(g) int g {}',
- where the use of YYERROR1 above caused an error
- which then was handled by compstmt_or_error.
- There followed a repeated execution of that same rule,
- which called YYERROR1 again, and so on. */
- compstmt
- { finish_function (1);
- pop_c_function_context (); }
- ;
- notype_nested_function:
- notype_declarator
- { push_c_function_context ();
- if (! start_function (current_declspecs, $1,
- prefix_attributes, NULL_TREE, 1))
- {
- pop_c_function_context ();
- YYERROR1;
- }
- reinit_parse_for_function (); }
- old_style_parm_decls
- { store_parm_decls (); }
- /* This used to use compstmt_or_error.
- That caused a bug with input `f(g) int g {}',
- where the use of YYERROR1 above caused an error
- which then was handled by compstmt_or_error.
- There followed a repeated execution of that same rule,
- which called YYERROR1 again, and so on. */
- compstmt
- { finish_function (1);
- pop_c_function_context (); }
- ;
- /* Any kind of declarator (thus, all declarators allowed
- after an explicit typespec). */
- declarator:
- after_type_declarator
- | notype_declarator
- ;
- /* A declarator that is allowed only after an explicit typespec. */
- after_type_declarator:
- '(' after_type_declarator ')'
- { $$ = $2; }
- | after_type_declarator '(' parmlist_or_identifiers %prec '.'
- { $$ = build_nt (CALL_EXPR, $1, $3, NULL_TREE); }
- /* | after_type_declarator '(' error ')' %prec '.'
- { $$ = build_nt (CALL_EXPR, $1, NULL_TREE, NULL_TREE);
- poplevel (0, 0, 0); } */
- | after_type_declarator '[' expr ']' %prec '.'
- { $$ = build_nt (ARRAY_REF, $1, $3); }
- | after_type_declarator '[' ']' %prec '.'
- { $$ = build_nt (ARRAY_REF, $1, NULL_TREE); }
- | '*' type_quals after_type_declarator %prec UNARY
- { $$ = make_pointer_declarator ($2, $3); }
- /* ??? Yuck. setattrs is a quick hack. We can't use
- prefix_attributes because $1 only applies to this
- declarator. We assume setspecs has already been done.
- setattrs also avoids 5 reduce/reduce conflicts (otherwise multiple
- attributes could be recognized here or in `attributes'). */
- | attributes setattrs after_type_declarator
- { $$ = $3; }
- | TYPENAME
- | OBJECTNAME
- ;
- /* Kinds of declarator that can appear in a parameter list
- in addition to notype_declarator. This is like after_type_declarator
- but does not allow a typedef name in parentheses as an identifier
- (because it would conflict with a function with that typedef as arg). */
- parm_declarator:
- parm_declarator '(' parmlist_or_identifiers %prec '.'
- { $$ = build_nt (CALL_EXPR, $1, $3, NULL_TREE); }
- /* | parm_declarator '(' error ')' %prec '.'
- { $$ = build_nt (CALL_EXPR, $1, NULL_TREE, NULL_TREE);
- poplevel (0, 0, 0); } */
- | parm_declarator '[' expr ']' %prec '.'
- { $$ = build_nt (ARRAY_REF, $1, $3); }
- | parm_declarator '[' ']' %prec '.'
- { $$ = build_nt (ARRAY_REF, $1, NULL_TREE); }
- | '*' type_quals parm_declarator %prec UNARY
- { $$ = make_pointer_declarator ($2, $3); }
- /* ??? Yuck. setattrs is a quick hack. We can't use
- prefix_attributes because $1 only applies to this
- declarator. We assume setspecs has already been done.
- setattrs also avoids 5 reduce/reduce conflicts (otherwise multiple
- attributes could be recognized here or in `attributes'). */
- | attributes setattrs parm_declarator
- { $$ = $3; }
- | TYPENAME
- | OBJECTNAME
- ;
- /* A declarator allowed whether or not there has been
- an explicit typespec. These cannot redeclare a typedef-name. */
- notype_declarator:
- notype_declarator '(' parmlist_or_identifiers %prec '.'
- …
Large files files are truncated, but you can click here to view the full file