1 /* YACC parser for C syntax and for Objective C. -*-c-*-
2 Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996,
3 1997, 1998, 1999, 2000, 2001 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
22 /* This file defines the grammar of C and that of Objective C.
23 ifobjc ... end ifobjc conditionals contain code for Objective C only.
24 ifc ... end ifc conditionals contain code for C only.
25 Sed commands in Makefile.in are used to convert this file into
26 c-parse.y and into objc-parse.y. */
28 /* To whomever it may concern: I have heard that such a thing was once
29 written by AT&T, but I have never seen it. */
32 %expect 31 /* shift/reduce conflicts, and 1 reduce/reduce conflict. */
35 %expect 10 /* shift/reduce conflicts, and no reduce/reduce conflicts. */
46 #include "c-pragma.h" /* For YYDEBUG definition, and parse_in. */
53 #ifdef MULTIBYTE_CHARS
61 /* Like YYERROR but do call yyerror. */
62 #define YYERROR1 { yyerror ("syntax error"); YYERROR; }
64 /* Like the default stack expander, except (1) use realloc when possible,
65 (2) impose no hard maxiumum on stack size, (3) REALLY do not use alloca.
67 Irritatingly, YYSTYPE is defined after this %{ %} block, so we cannot
68 give malloced_yyvs its proper type. This is ok since all we need from
69 it is to be able to free it. */
71 static short *malloced_yyss;
72 static void *malloced_yyvs;
74 #define yyoverflow(MSG, SS, SSSIZE, VS, VSSIZE, YYSSZ) \
79 newsize = *(YYSSZ) *= 2; \
83 really_call_realloc (*(SS), newsize * sizeof (short)); \
85 really_call_realloc (*(VS), newsize * sizeof (YYSTYPE)); \
89 newss = (short *) really_call_malloc (newsize * sizeof (short)); \
90 newvs = (YYSTYPE *) really_call_malloc (newsize * sizeof (YYSTYPE)); \
92 memcpy (newss, *(SS), (SSSIZE)); \
94 memcpy (newvs, *(VS), (VSSIZE)); \
96 if (!newss || !newvs) \
103 malloced_yyss = newss; \
104 malloced_yyvs = (void *) newvs; \
110 %union {long itype; tree ttype; enum tree_code code;
111 const char *filename; int lineno; }
113 /* All identifiers that are not reserved words
114 and are not declared typedefs in the current block */
117 /* All identifiers that are declared typedefs in the current block.
118 In some contexts, they are treated just like IDENTIFIER,
119 but they can also serve as typespecs in declarations. */
122 /* Reserved words that specify storage class.
123 yylval contains an IDENTIFIER_NODE which indicates which one. */
124 %token SCSPEC /* Storage class other than static. */
125 %token STATIC /* Static storage class. */
127 /* Reserved words that specify type.
128 yylval contains an IDENTIFIER_NODE which indicates which one. */
131 /* Reserved words that qualify type: "const", "volatile", or "restrict".
132 yylval contains an IDENTIFIER_NODE which indicates which one. */
135 /* Character or numeric constants.
136 yylval is the node for the constant. */
139 /* String constants in raw form.
140 yylval is a STRING_CST node. */
143 /* "...", used for functions with variable arglists. */
146 /* the reserved words */
147 /* SCO include files test "ASM", so use something else. */
148 %token SIZEOF ENUM STRUCT UNION IF ELSE WHILE DO FOR SWITCH CASE DEFAULT
149 %token BREAK CONTINUE RETURN GOTO ASM_KEYWORD TYPEOF ALIGNOF
150 %token ATTRIBUTE EXTENSION LABEL
151 %token REALPART IMAGPART VA_ARG CHOOSE_EXPR TYPES_COMPATIBLE_P
152 %token PTR_VALUE PTR_BASE PTR_EXTENT
154 /* function name can be a string const or a var decl. */
155 %token STRING_FUNC_NAME VAR_FUNC_NAME
157 /* Add precedence rules to solve dangling else s/r conflict */
161 /* Define the operator tokens and their precedences.
162 The value is an integer because, if used, it is the tree code
163 to use in the expression made from the operator. */
165 %right <code> ASSIGN '='
166 %right <code> '?' ':'
172 %left <code> EQCOMPARE
173 %left <code> ARITHCOMPARE
174 %left <code> LSHIFT RSHIFT
176 %left <code> '*' '/' '%'
177 %right <code> UNARY PLUSPLUS MINUSMINUS
179 %left <code> POINTSAT '.' '(' '['
181 /* The Objective-C keywords. These are included in C and in
182 Objective C, so that the token codes are the same in both. */
183 %token INTERFACE IMPLEMENTATION END SELECTOR DEFS ENCODE
184 %token CLASSNAME PUBLIC PRIVATE PROTECTED PROTOCOL OBJECTNAME CLASS ALIAS
187 %type <ttype> ENUM STRUCT UNION IF ELSE WHILE DO FOR SWITCH CASE DEFAULT
188 %type <ttype> BREAK CONTINUE RETURN GOTO ASM_KEYWORD SIZEOF TYPEOF ALIGNOF
190 %type <ttype> identifier IDENTIFIER TYPENAME CONSTANT expr nonnull_exprlist exprlist
191 %type <ttype> expr_no_commas cast_expr unary_expr primary STRING
192 %type <ttype> declspecs_nosc_nots_nosa_noea declspecs_nosc_nots_nosa_ea
193 %type <ttype> declspecs_nosc_nots_sa_noea declspecs_nosc_nots_sa_ea
194 %type <ttype> declspecs_nosc_ts_nosa_noea declspecs_nosc_ts_nosa_ea
195 %type <ttype> declspecs_nosc_ts_sa_noea declspecs_nosc_ts_sa_ea
196 %type <ttype> declspecs_sc_nots_nosa_noea declspecs_sc_nots_nosa_ea
197 %type <ttype> declspecs_sc_nots_sa_noea declspecs_sc_nots_sa_ea
198 %type <ttype> declspecs_sc_ts_nosa_noea declspecs_sc_ts_nosa_ea
199 %type <ttype> declspecs_sc_ts_sa_noea declspecs_sc_ts_sa_ea
200 %type <ttype> declspecs_ts declspecs_nots
201 %type <ttype> declspecs_ts_nosa declspecs_nots_nosa
202 %type <ttype> declspecs_nosc_ts declspecs_nosc_nots declspecs_nosc declspecs
203 %type <ttype> maybe_type_quals_attrs typespec_nonattr typespec_attr
204 %type <ttype> typespec_reserved_nonattr typespec_reserved_attr
205 %type <ttype> typespec_nonreserved_nonattr
207 %type <ttype> scspec SCSPEC STATIC TYPESPEC TYPE_QUAL maybe_type_qual
208 %type <ttype> initdecls notype_initdecls initdcl notype_initdcl
209 %type <ttype> init maybeasm
210 %type <ttype> asm_operands nonnull_asm_operands asm_operand asm_clobbers
211 %type <ttype> maybe_attribute attributes attribute attribute_list attrib
212 %type <ttype> any_word extension
214 %type <ttype> compstmt compstmt_start compstmt_nostart compstmt_primary_start
215 %type <ttype> do_stmt_start poplevel stmt label
217 %type <ttype> c99_block_start c99_block_end
218 %type <ttype> declarator
219 %type <ttype> notype_declarator after_type_declarator
220 %type <ttype> parm_declarator
221 %type <ttype> parm_declarator_starttypename parm_declarator_nostarttypename
222 %type <ttype> array_declarator
224 %type <ttype> structsp_attr structsp_nonattr
225 %type <ttype> component_decl_list component_decl_list2
226 %type <ttype> component_decl components components_notype component_declarator
227 %type <ttype> component_notype_declarator
228 %type <ttype> enumlist enumerator
229 %type <ttype> struct_head union_head enum_head
230 %type <ttype> typename absdcl absdcl1 absdcl1_ea absdcl1_noea
231 %type <ttype> direct_absdcl1 absdcl_maybe_attribute
232 %type <ttype> xexpr parms parm firstparm identifiers
234 %type <ttype> parmlist parmlist_1 parmlist_2
235 %type <ttype> parmlist_or_identifiers parmlist_or_identifiers_1
236 %type <ttype> identifiers_or_typenames
238 %type <itype> setspecs setspecs_fp
240 %type <filename> save_filename
241 %type <lineno> save_lineno
244 /* the Objective-C nonterminals */
246 %type <ttype> ivar_decl_list ivar_decls ivar_decl ivars ivar_declarator
247 %type <ttype> methoddecl unaryselector keywordselector selector
248 %type <ttype> keyworddecl receiver objcmessageexpr messageargs
249 %type <ttype> keywordexpr keywordarglist keywordarg
250 %type <ttype> myparms myparm optparmlist reservedwords objcselectorexpr
251 %type <ttype> selectorarg keywordnamelist keywordname objcencodeexpr
252 %type <ttype> objc_string non_empty_protocolrefs protocolrefs identifier_list objcprotocolexpr
254 %type <ttype> CLASSNAME OBJECTNAME
258 /* Number of statements (loosely speaking) and compound statements
260 static int stmt_count;
261 static int compstmt_count;
263 /* Input file and line number of the end of the body of last simple_if;
264 used by the stmt-rule immediately after simple_if returns. */
265 static const char *if_stmt_file;
266 static int if_stmt_line;
268 /* List of types and structure classes of the current declaration. */
269 static GTY(()) tree current_declspecs;
270 static GTY(()) tree prefix_attributes;
272 /* List of all the attributes applying to the identifier currently being
273 declared; includes prefix_attributes and possibly some more attributes
274 just after a comma. */
275 static GTY(()) tree all_prefix_attributes;
277 /* Stack of saved values of current_declspecs, prefix_attributes and
278 all_prefix_attributes. */
279 static GTY(()) tree declspec_stack;
281 /* PUSH_DECLSPEC_STACK is called from setspecs; POP_DECLSPEC_STACK
282 should be called from the productions making use of setspecs. */
283 #define PUSH_DECLSPEC_STACK \
285 declspec_stack = tree_cons (build_tree_list (prefix_attributes, \
286 all_prefix_attributes), \
291 #define POP_DECLSPEC_STACK \
293 current_declspecs = TREE_VALUE (declspec_stack); \
294 prefix_attributes = TREE_PURPOSE (TREE_PURPOSE (declspec_stack)); \
295 all_prefix_attributes = TREE_VALUE (TREE_PURPOSE (declspec_stack)); \
296 declspec_stack = TREE_CHAIN (declspec_stack); \
299 /* For __extension__, save/restore the warning flags which are
300 controlled by __extension__. */
301 #define SAVE_EXT_FLAGS() \
303 | (warn_pointer_arith << 1) \
304 | (warn_traditional << 2) \
307 #define RESTORE_EXT_FLAGS(tval) \
309 int val = tree_low_cst (tval, 0); \
310 pedantic = val & 1; \
311 warn_pointer_arith = (val >> 1) & 1; \
312 warn_traditional = (val >> 2) & 1; \
313 flag_iso = (val >> 3) & 1; \
317 /* Objective-C specific parser/lexer information */
319 static enum tree_code objc_inherit_code;
320 static int objc_pq_context = 0, objc_public_flag = 0;
322 /* The following flag is needed to contextualize ObjC lexical analysis.
323 In some cases (e.g., 'int NSObject;'), it is undesirable to bind
324 an identifier to an ObjC class, even if a class with that name
326 static int objc_need_raw_identifier;
327 #define OBJC_NEED_RAW_IDENTIFIER(VAL) objc_need_raw_identifier = VAL
331 #define OBJC_NEED_RAW_IDENTIFIER(VAL) /* nothing */
334 /* Tell yyparse how to print a token's value, if yydebug is set. */
336 #define YYPRINT(FILE,YYCHAR,YYLVAL) yyprint(FILE,YYCHAR,YYLVAL)
338 static void yyprint PARAMS ((FILE *, int, YYSTYPE));
339 static void yyerror PARAMS ((const char *));
340 static int yylexname PARAMS ((void));
341 static int yylexstring PARAMS ((void));
342 static inline int _yylex PARAMS ((void));
343 static int yylex PARAMS ((void));
344 static void init_reswords PARAMS ((void));
346 /* Initialisation routine for this file. */
358 pedwarn ("ISO C forbids an empty source file");
363 /* In case there were missing closebraces,
364 get us back to the global binding level. */
365 while (! global_bindings_p ())
367 /* __FUNCTION__ is defined at file scope (""). This
368 call may not be necessary as my tests indicate it
369 still works without it. */
370 finish_fname_decls ();
375 /* the reason for the strange actions in this rule
376 is so that notype_initdecls when reached via datadef
377 can find a valid list of type and sc specs in $0. */
380 {$<ttype>$ = NULL_TREE; } extdef
381 | extdefs {$<ttype>$ = NULL_TREE; ggc_collect(); } extdef
390 | ASM_KEYWORD '(' expr ')' ';'
392 if ((TREE_CODE ($3) == ADDR_EXPR
393 && TREE_CODE (TREE_OPERAND ($3, 0)) == STRING_CST)
394 || TREE_CODE ($3) == STRING_CST)
397 error ("argument of `asm' is not a constant string"); }
399 { RESTORE_EXT_FLAGS ($1); }
403 setspecs notype_initdecls ';'
405 error ("ISO C forbids data definition with no type or storage class");
407 warning ("data definition has no type or storage class");
409 POP_DECLSPEC_STACK; }
410 | declspecs_nots setspecs notype_initdecls ';'
411 { POP_DECLSPEC_STACK; }
412 | declspecs_ts setspecs initdecls ';'
413 { POP_DECLSPEC_STACK; }
420 pedwarn ("ISO C does not allow extra `;' outside of a function"); }
424 declspecs_ts setspecs declarator
425 { if (! start_function (current_declspecs, $3,
426 all_prefix_attributes))
430 { store_parm_decls (); }
431 save_filename save_lineno compstmt_or_error
432 { DECL_SOURCE_FILE (current_function_decl) = $7;
433 DECL_SOURCE_LINE (current_function_decl) = $8;
434 finish_function (0, 1);
435 POP_DECLSPEC_STACK; }
436 | declspecs_ts setspecs declarator error
437 { POP_DECLSPEC_STACK; }
438 | declspecs_nots setspecs notype_declarator
439 { if (! start_function (current_declspecs, $3,
440 all_prefix_attributes))
444 { store_parm_decls (); }
445 save_filename save_lineno compstmt_or_error
446 { DECL_SOURCE_FILE (current_function_decl) = $7;
447 DECL_SOURCE_LINE (current_function_decl) = $8;
448 finish_function (0, 1);
449 POP_DECLSPEC_STACK; }
450 | declspecs_nots setspecs notype_declarator error
451 { POP_DECLSPEC_STACK; }
452 | setspecs notype_declarator
453 { if (! start_function (NULL_TREE, $2,
454 all_prefix_attributes))
458 { store_parm_decls (); }
459 save_filename save_lineno compstmt_or_error
460 { DECL_SOURCE_FILE (current_function_decl) = $6;
461 DECL_SOURCE_LINE (current_function_decl) = $7;
462 finish_function (0, 1);
463 POP_DECLSPEC_STACK; }
464 | setspecs notype_declarator error
465 { POP_DECLSPEC_STACK; }
480 { $$ = NEGATE_EXPR; }
484 if (warn_traditional && !in_system_header)
485 warning ("traditional C rejects the unary plus operator");
489 { $$ = PREINCREMENT_EXPR; }
491 { $$ = PREDECREMENT_EXPR; }
493 { $$ = BIT_NOT_EXPR; }
495 { $$ = TRUTH_NOT_EXPR; }
498 expr: nonnull_exprlist
499 { $$ = build_compound_expr ($1); }
510 { $$ = build_tree_list (NULL_TREE, $1); }
511 | nonnull_exprlist ',' expr_no_commas
512 { chainon ($1, build_tree_list (NULL_TREE, $3)); }
517 | '*' cast_expr %prec UNARY
518 { $$ = build_indirect_ref ($2, "unary *"); }
519 /* __extension__ turns off -pedantic for following primary. */
520 | extension cast_expr %prec UNARY
522 RESTORE_EXT_FLAGS ($1); }
523 | unop cast_expr %prec UNARY
524 { $$ = build_unary_op ($1, $2, 0);
525 overflow_warning ($$); }
526 /* Refer to the address of a label as a pointer. */
528 { $$ = finish_label_address_expr ($2); }
529 /* This seems to be impossible on some machines, so let's turn it off.
530 You can use __builtin_next_arg to find the anonymous stack args.
532 { tree types = TYPE_ARG_TYPES (TREE_TYPE (current_function_decl));
533 $$ = error_mark_node;
534 if (TREE_VALUE (tree_last (types)) == void_type_node)
535 error ("`&...' used in function with fixed number of arguments");
539 pedwarn ("ISO C forbids `&...'");
540 $$ = tree_last (DECL_ARGUMENTS (current_function_decl));
541 $$ = build_unary_op (ADDR_EXPR, $$, 0);
544 | sizeof unary_expr %prec UNARY
546 if (TREE_CODE ($2) == COMPONENT_REF
547 && DECL_C_BIT_FIELD (TREE_OPERAND ($2, 1)))
548 error ("`sizeof' applied to a bit-field");
549 $$ = c_sizeof (TREE_TYPE ($2)); }
550 | sizeof '(' typename ')' %prec HYPERUNARY
552 $$ = c_sizeof (groktypename ($3)); }
553 | alignof unary_expr %prec UNARY
555 $$ = c_alignof_expr ($2); }
556 | alignof '(' typename ')' %prec HYPERUNARY
558 $$ = c_alignof (groktypename ($3)); }
559 | REALPART cast_expr %prec UNARY
560 { $$ = build_unary_op (REALPART_EXPR, $2, 0); }
561 | IMAGPART cast_expr %prec UNARY
562 { $$ = build_unary_op (IMAGPART_EXPR, $2, 0); }
566 SIZEOF { skip_evaluation++; }
570 ALIGNOF { skip_evaluation++; }
575 | '(' typename ')' cast_expr %prec UNARY
576 { $$ = c_cast_expr ($2, $4); }
581 | expr_no_commas '+' expr_no_commas
582 { $$ = parser_build_binary_op ($2, $1, $3); }
583 | expr_no_commas '-' expr_no_commas
584 { $$ = parser_build_binary_op ($2, $1, $3); }
585 | expr_no_commas '*' expr_no_commas
586 { $$ = parser_build_binary_op ($2, $1, $3); }
587 | expr_no_commas '/' expr_no_commas
588 { $$ = parser_build_binary_op ($2, $1, $3); }
589 | expr_no_commas '%' expr_no_commas
590 { $$ = parser_build_binary_op ($2, $1, $3); }
591 | expr_no_commas LSHIFT expr_no_commas
592 { $$ = parser_build_binary_op ($2, $1, $3); }
593 | expr_no_commas RSHIFT expr_no_commas
594 { $$ = parser_build_binary_op ($2, $1, $3); }
595 | expr_no_commas ARITHCOMPARE expr_no_commas
596 { $$ = parser_build_binary_op ($2, $1, $3); }
597 | expr_no_commas EQCOMPARE expr_no_commas
598 { $$ = parser_build_binary_op ($2, $1, $3); }
599 | expr_no_commas '&' expr_no_commas
600 { $$ = parser_build_binary_op ($2, $1, $3); }
601 | expr_no_commas '|' expr_no_commas
602 { $$ = parser_build_binary_op ($2, $1, $3); }
603 | expr_no_commas '^' expr_no_commas
604 { $$ = parser_build_binary_op ($2, $1, $3); }
605 | expr_no_commas ANDAND
606 { $1 = c_common_truthvalue_conversion
607 (default_conversion ($1));
608 skip_evaluation += $1 == boolean_false_node; }
610 { skip_evaluation -= $1 == boolean_false_node;
611 $$ = parser_build_binary_op (TRUTH_ANDIF_EXPR, $1, $4); }
612 | expr_no_commas OROR
613 { $1 = c_common_truthvalue_conversion
614 (default_conversion ($1));
615 skip_evaluation += $1 == boolean_true_node; }
617 { skip_evaluation -= $1 == boolean_true_node;
618 $$ = parser_build_binary_op (TRUTH_ORIF_EXPR, $1, $4); }
620 { $1 = c_common_truthvalue_conversion
621 (default_conversion ($1));
622 skip_evaluation += $1 == boolean_false_node; }
624 { skip_evaluation += (($1 == boolean_true_node)
625 - ($1 == boolean_false_node)); }
627 { skip_evaluation -= $1 == boolean_true_node;
628 $$ = build_conditional_expr ($1, $4, $7); }
631 pedwarn ("ISO C forbids omitting the middle term of a ?: expression");
632 /* Make sure first operand is calculated only once. */
633 $<ttype>2 = save_expr ($1);
634 $1 = c_common_truthvalue_conversion
635 (default_conversion ($<ttype>2));
636 skip_evaluation += $1 == boolean_true_node; }
638 { skip_evaluation -= $1 == boolean_true_node;
639 $$ = build_conditional_expr ($1, $<ttype>2, $5); }
640 | expr_no_commas '=' expr_no_commas
642 $$ = build_modify_expr ($1, NOP_EXPR, $3);
643 class = TREE_CODE_CLASS (TREE_CODE ($$));
644 if (IS_EXPR_CODE_CLASS (class))
645 C_SET_EXP_ORIGINAL_CODE ($$, MODIFY_EXPR);
647 | expr_no_commas ASSIGN expr_no_commas
649 $$ = build_modify_expr ($1, $2, $3);
650 /* This inhibits warnings in
651 c_common_truthvalue_conversion. */
652 class = TREE_CODE_CLASS (TREE_CODE ($$));
653 if (IS_EXPR_CODE_CLASS (class))
654 C_SET_EXP_ORIGINAL_CODE ($$, ERROR_MARK);
661 if (yychar == YYEMPTY)
663 $$ = build_external_ref ($1, yychar == '(');
667 { $$ = fix_string_type ($$); }
669 { $$ = fname_decl (C_RID_CODE ($$), $$); }
670 | '(' typename ')' '{'
671 { start_init (NULL_TREE, NULL, 0);
672 $2 = groktypename ($2);
673 really_start_incremental_init ($2); }
674 initlist_maybe_comma '}' %prec UNARY
675 { tree constructor = pop_init_level (0);
679 if (pedantic && ! flag_isoc99)
680 pedwarn ("ISO C89 forbids compound literals");
681 $$ = build_compound_literal (type, constructor);
684 { char class = TREE_CODE_CLASS (TREE_CODE ($2));
685 if (IS_EXPR_CODE_CLASS (class))
686 C_SET_EXP_ORIGINAL_CODE ($2, ERROR_MARK);
689 { $$ = error_mark_node; }
690 | compstmt_primary_start compstmt_nostart ')'
691 { tree saved_last_tree;
694 pedwarn ("ISO C forbids braced-groups within expressions");
697 saved_last_tree = COMPOUND_BODY ($1);
698 RECHAIN_STMTS ($1, COMPOUND_BODY ($1));
699 last_tree = saved_last_tree;
700 TREE_CHAIN (last_tree) = NULL_TREE;
702 last_expr_type = void_type_node;
703 $$ = build1 (STMT_EXPR, last_expr_type, $1);
704 TREE_SIDE_EFFECTS ($$) = 1;
706 | compstmt_primary_start error ')'
709 last_tree = COMPOUND_BODY ($1);
710 TREE_CHAIN (last_tree) = NULL_TREE;
711 $$ = error_mark_node;
713 | primary '(' exprlist ')' %prec '.'
714 { $$ = build_function_call ($1, $3); }
715 | VA_ARG '(' expr_no_commas ',' typename ')'
716 { $$ = build_va_arg ($3, groktypename ($5)); }
718 | CHOOSE_EXPR '(' expr_no_commas ',' expr_no_commas ',' expr_no_commas ')'
724 if (TREE_CODE (c) != INTEGER_CST)
725 error ("first argument to __builtin_choose_expr not a constant");
726 $$ = integer_zerop (c) ? $7 : $5;
728 | TYPES_COMPATIBLE_P '(' typename ',' typename ')'
732 e1 = TYPE_MAIN_VARIANT (groktypename ($3));
733 e2 = TYPE_MAIN_VARIANT (groktypename ($5));
735 $$ = comptypes (e1, e2)
736 ? build_int_2 (1, 0) : build_int_2 (0, 0);
738 | primary '[' expr ']' %prec '.'
739 { $$ = build_array_ref ($1, $3); }
740 | primary '.' identifier
743 if (!is_public ($1, $3))
744 $$ = error_mark_node;
747 $$ = build_component_ref ($1, $3);
749 | primary POINTSAT identifier
751 tree expr = build_indirect_ref ($1, "->");
754 if (!is_public (expr, $3))
755 $$ = error_mark_node;
758 $$ = build_component_ref (expr, $3);
761 { $$ = build_unary_op (POSTINCREMENT_EXPR, $1, 0); }
763 { $$ = build_unary_op (POSTDECREMENT_EXPR, $1, 0); }
766 { $$ = build_message_expr ($1); }
768 { $$ = build_selector_expr ($1); }
770 { $$ = build_protocol_expr ($1); }
772 { $$ = build_encode_expr ($1); }
774 { $$ = build_objc_string_object ($1); }
779 /* Produces an STRING_CST with perhaps more STRING_CSTs chained
780 onto it, which is to be read as an ObjC string object. */
784 | objc_string '@' STRING
785 { $$ = chainon ($1, $3); }
789 old_style_parm_decls:
793 /* ... is used here to indicate a varargs function. */
796 pedwarn ("ISO C does not permit use of `varargs.h'"); }
799 /* The following are analogous to lineno_decl, decls and decl
800 except that they do not allow nested functions.
801 They are used for old-style parm decls. */
803 save_filename save_lineno datadecl
810 | datadecls lineno_datadecl
811 | lineno_datadecl errstmt
814 /* We don't allow prefix attributes here because they cause reduce/reduce
815 conflicts: we can't know whether we're parsing a function decl with
816 attribute suffix, or function defn with attribute prefix on first old
819 declspecs_ts_nosa setspecs initdecls ';'
820 { POP_DECLSPEC_STACK; }
821 | declspecs_nots_nosa setspecs notype_initdecls ';'
822 { POP_DECLSPEC_STACK; }
823 | declspecs_ts_nosa ';'
824 { shadow_tag_warned ($1, 1);
825 pedwarn ("empty declaration"); }
826 | declspecs_nots_nosa ';'
827 { pedwarn ("empty declaration"); }
830 /* This combination which saves a lineno before a decl
831 is the normal thing to use, rather than decl itself.
832 This is to avoid shift/reduce conflicts in contexts
833 where statement labels are allowed. */
835 save_filename save_lineno decl
839 /* records the type and storage class specs to use for processing
840 the declarators that follow.
841 Maintains a stack of outer-level values of current_declspecs,
842 for the sake of parm declarations nested in function declarators. */
843 setspecs: /* empty */
844 { pending_xref_error ();
846 split_specs_attrs ($<ttype>0,
847 ¤t_declspecs, &prefix_attributes);
848 all_prefix_attributes = prefix_attributes; }
851 /* Possibly attributes after a comma, which should reset all_prefix_attributes
852 to prefix_attributes with these ones chained on the front. */
855 { all_prefix_attributes = chainon ($1, prefix_attributes); }
859 declspecs_ts setspecs initdecls ';'
860 { POP_DECLSPEC_STACK; }
861 | declspecs_nots setspecs notype_initdecls ';'
862 { POP_DECLSPEC_STACK; }
863 | declspecs_ts setspecs nested_function
864 { POP_DECLSPEC_STACK; }
865 | declspecs_nots setspecs notype_nested_function
866 { POP_DECLSPEC_STACK; }
870 { RESTORE_EXT_FLAGS ($1); }
873 /* A list of declaration specifiers. These are:
875 - Storage class specifiers (scspec), which for GCC currently includes
876 function specifiers ("inline").
878 - Type specifiers (typespec_*).
880 - Type qualifiers (TYPE_QUAL).
882 - Attribute specifier lists (attributes).
884 These are stored as a TREE_LIST; the head of the list is the last
885 item in the specifier list. Each entry in the list has either a
886 TREE_PURPOSE that is an attribute specifier list, or a TREE_VALUE that
887 is a single other specifier or qualifier; and a TREE_CHAIN that is the
888 rest of the list. TREE_STATIC is set on the list if something other
889 than a storage class specifier or attribute has been seen; this is used
890 to warn for the obsolescent usage of storage class specifiers other than
891 at the start of the list. (Doing this properly would require function
892 specifiers to be handled separately from storage class specifiers.)
894 The various cases below are classified according to:
896 (a) Whether a storage class specifier is included or not; some
897 places in the grammar disallow storage class specifiers (_sc or _nosc).
899 (b) Whether a type specifier has been seen; after a type specifier,
900 a typedef name is an identifier to redeclare (_ts or _nots).
902 (c) Whether the list starts with an attribute; in certain places,
903 the grammar requires specifiers that don't start with an attribute
906 (d) Whether the list ends with an attribute (or a specifier such that
907 any following attribute would have been parsed as part of that specifier);
908 this avoids shift-reduce conflicts in the parsing of attributes
913 (i) Distinguish between function specifiers and storage class specifiers,
914 at least for the purpose of warnings about obsolescent usage.
916 (ii) Halve the number of productions here by eliminating the _sc/_nosc
917 distinction and instead checking where required that storage class
918 specifiers aren't present. */
920 /* Declspecs which contain at least one type specifier or typedef name.
921 (Just `const' or `volatile' is not enough.)
922 A typedef'd name following these is taken as a name to be declared.
923 Declspecs have a non-NULL TREE_VALUE, attributes do not. */
925 declspecs_nosc_nots_nosa_noea:
927 { $$ = tree_cons (NULL_TREE, $1, NULL_TREE);
928 TREE_STATIC ($$) = 1; }
929 | declspecs_nosc_nots_nosa_noea TYPE_QUAL
930 { $$ = tree_cons (NULL_TREE, $2, $1);
931 TREE_STATIC ($$) = 1; }
932 | declspecs_nosc_nots_nosa_ea TYPE_QUAL
933 { $$ = tree_cons (NULL_TREE, $2, $1);
934 TREE_STATIC ($$) = 1; }
937 declspecs_nosc_nots_nosa_ea:
938 declspecs_nosc_nots_nosa_noea attributes
939 { $$ = tree_cons ($2, NULL_TREE, $1);
940 TREE_STATIC ($$) = TREE_STATIC ($1); }
943 declspecs_nosc_nots_sa_noea:
944 declspecs_nosc_nots_sa_noea TYPE_QUAL
945 { $$ = tree_cons (NULL_TREE, $2, $1);
946 TREE_STATIC ($$) = 1; }
947 | declspecs_nosc_nots_sa_ea TYPE_QUAL
948 { $$ = tree_cons (NULL_TREE, $2, $1);
949 TREE_STATIC ($$) = 1; }
952 declspecs_nosc_nots_sa_ea:
954 { $$ = tree_cons ($1, NULL_TREE, NULL_TREE);
955 TREE_STATIC ($$) = 0; }
956 | declspecs_nosc_nots_sa_noea attributes
957 { $$ = tree_cons ($2, NULL_TREE, $1);
958 TREE_STATIC ($$) = TREE_STATIC ($1); }
961 declspecs_nosc_ts_nosa_noea:
963 { $$ = tree_cons (NULL_TREE, $1, NULL_TREE);
964 TREE_STATIC ($$) = 1; }
965 | declspecs_nosc_ts_nosa_noea TYPE_QUAL
966 { $$ = tree_cons (NULL_TREE, $2, $1);
967 TREE_STATIC ($$) = 1; }
968 | declspecs_nosc_ts_nosa_ea TYPE_QUAL
969 { $$ = tree_cons (NULL_TREE, $2, $1);
970 TREE_STATIC ($$) = 1; }
971 | declspecs_nosc_ts_nosa_noea typespec_reserved_nonattr
972 { $$ = tree_cons (NULL_TREE, $2, $1);
973 TREE_STATIC ($$) = 1; }
974 | declspecs_nosc_ts_nosa_ea typespec_reserved_nonattr
975 { $$ = tree_cons (NULL_TREE, $2, $1);
976 TREE_STATIC ($$) = 1; }
977 | declspecs_nosc_nots_nosa_noea typespec_nonattr
978 { $$ = tree_cons (NULL_TREE, $2, $1);
979 TREE_STATIC ($$) = 1; }
980 | declspecs_nosc_nots_nosa_ea typespec_nonattr
981 { $$ = tree_cons (NULL_TREE, $2, $1);
982 TREE_STATIC ($$) = 1; }
985 declspecs_nosc_ts_nosa_ea:
987 { $$ = tree_cons (NULL_TREE, $1, NULL_TREE);
988 TREE_STATIC ($$) = 1; }
989 | declspecs_nosc_ts_nosa_noea attributes
990 { $$ = tree_cons ($2, NULL_TREE, $1);
991 TREE_STATIC ($$) = TREE_STATIC ($1); }
992 | declspecs_nosc_ts_nosa_noea typespec_reserved_attr
993 { $$ = tree_cons (NULL_TREE, $2, $1);
994 TREE_STATIC ($$) = 1; }
995 | declspecs_nosc_ts_nosa_ea typespec_reserved_attr
996 { $$ = tree_cons (NULL_TREE, $2, $1);
997 TREE_STATIC ($$) = 1; }
998 | declspecs_nosc_nots_nosa_noea typespec_attr
999 { $$ = tree_cons (NULL_TREE, $2, $1);
1000 TREE_STATIC ($$) = 1; }
1001 | declspecs_nosc_nots_nosa_ea typespec_attr
1002 { $$ = tree_cons (NULL_TREE, $2, $1);
1003 TREE_STATIC ($$) = 1; }
1006 declspecs_nosc_ts_sa_noea:
1007 declspecs_nosc_ts_sa_noea TYPE_QUAL
1008 { $$ = tree_cons (NULL_TREE, $2, $1);
1009 TREE_STATIC ($$) = 1; }
1010 | declspecs_nosc_ts_sa_ea TYPE_QUAL
1011 { $$ = tree_cons (NULL_TREE, $2, $1);
1012 TREE_STATIC ($$) = 1; }
1013 | declspecs_nosc_ts_sa_noea typespec_reserved_nonattr
1014 { $$ = tree_cons (NULL_TREE, $2, $1);
1015 TREE_STATIC ($$) = 1; }
1016 | declspecs_nosc_ts_sa_ea typespec_reserved_nonattr
1017 { $$ = tree_cons (NULL_TREE, $2, $1);
1018 TREE_STATIC ($$) = 1; }
1019 | declspecs_nosc_nots_sa_noea typespec_nonattr
1020 { $$ = tree_cons (NULL_TREE, $2, $1);
1021 TREE_STATIC ($$) = 1; }
1022 | declspecs_nosc_nots_sa_ea typespec_nonattr
1023 { $$ = tree_cons (NULL_TREE, $2, $1);
1024 TREE_STATIC ($$) = 1; }
1027 declspecs_nosc_ts_sa_ea:
1028 declspecs_nosc_ts_sa_noea attributes
1029 { $$ = tree_cons ($2, NULL_TREE, $1);
1030 TREE_STATIC ($$) = TREE_STATIC ($1); }
1031 | declspecs_nosc_ts_sa_noea typespec_reserved_attr
1032 { $$ = tree_cons (NULL_TREE, $2, $1);
1033 TREE_STATIC ($$) = 1; }
1034 | declspecs_nosc_ts_sa_ea typespec_reserved_attr
1035 { $$ = tree_cons (NULL_TREE, $2, $1);
1036 TREE_STATIC ($$) = 1; }
1037 | declspecs_nosc_nots_sa_noea typespec_attr
1038 { $$ = tree_cons (NULL_TREE, $2, $1);
1039 TREE_STATIC ($$) = 1; }
1040 | declspecs_nosc_nots_sa_ea typespec_attr
1041 { $$ = tree_cons (NULL_TREE, $2, $1);
1042 TREE_STATIC ($$) = 1; }
1045 declspecs_sc_nots_nosa_noea:
1047 { $$ = tree_cons (NULL_TREE, $1, NULL_TREE);
1048 TREE_STATIC ($$) = 0; }
1049 | declspecs_sc_nots_nosa_noea TYPE_QUAL
1050 { $$ = tree_cons (NULL_TREE, $2, $1);
1051 TREE_STATIC ($$) = 1; }
1052 | declspecs_sc_nots_nosa_ea TYPE_QUAL
1053 { $$ = tree_cons (NULL_TREE, $2, $1);
1054 TREE_STATIC ($$) = 1; }
1055 | declspecs_nosc_nots_nosa_noea scspec
1056 { if (extra_warnings && TREE_STATIC ($1))
1057 warning ("`%s' is not at beginning of declaration",
1058 IDENTIFIER_POINTER ($2));
1059 $$ = tree_cons (NULL_TREE, $2, $1);
1060 TREE_STATIC ($$) = TREE_STATIC ($1); }
1061 | declspecs_nosc_nots_nosa_ea scspec
1062 { if (extra_warnings && TREE_STATIC ($1))
1063 warning ("`%s' is not at beginning of declaration",
1064 IDENTIFIER_POINTER ($2));
1065 $$ = tree_cons (NULL_TREE, $2, $1);
1066 TREE_STATIC ($$) = TREE_STATIC ($1); }
1067 | declspecs_sc_nots_nosa_noea scspec
1068 { if (extra_warnings && TREE_STATIC ($1))
1069 warning ("`%s' is not at beginning of declaration",
1070 IDENTIFIER_POINTER ($2));
1071 $$ = tree_cons (NULL_TREE, $2, $1);
1072 TREE_STATIC ($$) = TREE_STATIC ($1); }
1073 | declspecs_sc_nots_nosa_ea scspec
1074 { if (extra_warnings && TREE_STATIC ($1))
1075 warning ("`%s' is not at beginning of declaration",
1076 IDENTIFIER_POINTER ($2));
1077 $$ = tree_cons (NULL_TREE, $2, $1);
1078 TREE_STATIC ($$) = TREE_STATIC ($1); }
1081 declspecs_sc_nots_nosa_ea:
1082 declspecs_sc_nots_nosa_noea attributes
1083 { $$ = tree_cons ($2, NULL_TREE, $1);
1084 TREE_STATIC ($$) = TREE_STATIC ($1); }
1087 declspecs_sc_nots_sa_noea:
1088 declspecs_sc_nots_sa_noea TYPE_QUAL
1089 { $$ = tree_cons (NULL_TREE, $2, $1);
1090 TREE_STATIC ($$) = 1; }
1091 | declspecs_sc_nots_sa_ea TYPE_QUAL
1092 { $$ = tree_cons (NULL_TREE, $2, $1);
1093 TREE_STATIC ($$) = 1; }
1094 | declspecs_nosc_nots_sa_noea scspec
1095 { if (extra_warnings && TREE_STATIC ($1))
1096 warning ("`%s' is not at beginning of declaration",
1097 IDENTIFIER_POINTER ($2));
1098 $$ = tree_cons (NULL_TREE, $2, $1);
1099 TREE_STATIC ($$) = TREE_STATIC ($1); }
1100 | declspecs_nosc_nots_sa_ea scspec
1101 { if (extra_warnings && TREE_STATIC ($1))
1102 warning ("`%s' is not at beginning of declaration",
1103 IDENTIFIER_POINTER ($2));
1104 $$ = tree_cons (NULL_TREE, $2, $1);
1105 TREE_STATIC ($$) = TREE_STATIC ($1); }
1106 | declspecs_sc_nots_sa_noea scspec
1107 { if (extra_warnings && TREE_STATIC ($1))
1108 warning ("`%s' is not at beginning of declaration",
1109 IDENTIFIER_POINTER ($2));
1110 $$ = tree_cons (NULL_TREE, $2, $1);
1111 TREE_STATIC ($$) = TREE_STATIC ($1); }
1112 | declspecs_sc_nots_sa_ea scspec
1113 { if (extra_warnings && TREE_STATIC ($1))
1114 warning ("`%s' is not at beginning of declaration",
1115 IDENTIFIER_POINTER ($2));
1116 $$ = tree_cons (NULL_TREE, $2, $1);
1117 TREE_STATIC ($$) = TREE_STATIC ($1); }
1120 declspecs_sc_nots_sa_ea:
1121 declspecs_sc_nots_sa_noea attributes
1122 { $$ = tree_cons ($2, NULL_TREE, $1);
1123 TREE_STATIC ($$) = TREE_STATIC ($1); }
1126 declspecs_sc_ts_nosa_noea:
1127 declspecs_sc_ts_nosa_noea TYPE_QUAL
1128 { $$ = tree_cons (NULL_TREE, $2, $1);
1129 TREE_STATIC ($$) = 1; }
1130 | declspecs_sc_ts_nosa_ea TYPE_QUAL
1131 { $$ = tree_cons (NULL_TREE, $2, $1);
1132 TREE_STATIC ($$) = 1; }
1133 | declspecs_sc_ts_nosa_noea typespec_reserved_nonattr
1134 { $$ = tree_cons (NULL_TREE, $2, $1);
1135 TREE_STATIC ($$) = 1; }
1136 | declspecs_sc_ts_nosa_ea typespec_reserved_nonattr
1137 { $$ = tree_cons (NULL_TREE, $2, $1);
1138 TREE_STATIC ($$) = 1; }
1139 | declspecs_sc_nots_nosa_noea typespec_nonattr
1140 { $$ = tree_cons (NULL_TREE, $2, $1);
1141 TREE_STATIC ($$) = 1; }
1142 | declspecs_sc_nots_nosa_ea typespec_nonattr
1143 { $$ = tree_cons (NULL_TREE, $2, $1);
1144 TREE_STATIC ($$) = 1; }
1145 | declspecs_nosc_ts_nosa_noea scspec
1146 { if (extra_warnings && TREE_STATIC ($1))
1147 warning ("`%s' is not at beginning of declaration",
1148 IDENTIFIER_POINTER ($2));
1149 $$ = tree_cons (NULL_TREE, $2, $1);
1150 TREE_STATIC ($$) = TREE_STATIC ($1); }
1151 | declspecs_nosc_ts_nosa_ea scspec
1152 { if (extra_warnings && TREE_STATIC ($1))
1153 warning ("`%s' is not at beginning of declaration",
1154 IDENTIFIER_POINTER ($2));
1155 $$ = tree_cons (NULL_TREE, $2, $1);
1156 TREE_STATIC ($$) = TREE_STATIC ($1); }
1157 | declspecs_sc_ts_nosa_noea scspec
1158 { if (extra_warnings && TREE_STATIC ($1))
1159 warning ("`%s' is not at beginning of declaration",
1160 IDENTIFIER_POINTER ($2));
1161 $$ = tree_cons (NULL_TREE, $2, $1);
1162 TREE_STATIC ($$) = TREE_STATIC ($1); }
1163 | declspecs_sc_ts_nosa_ea scspec
1164 { if (extra_warnings && TREE_STATIC ($1))
1165 warning ("`%s' is not at beginning of declaration",
1166 IDENTIFIER_POINTER ($2));
1167 $$ = tree_cons (NULL_TREE, $2, $1);
1168 TREE_STATIC ($$) = TREE_STATIC ($1); }
1171 declspecs_sc_ts_nosa_ea:
1172 declspecs_sc_ts_nosa_noea attributes
1173 { $$ = tree_cons ($2, NULL_TREE, $1);
1174 TREE_STATIC ($$) = TREE_STATIC ($1); }
1175 | declspecs_sc_ts_nosa_noea typespec_reserved_attr
1176 { $$ = tree_cons (NULL_TREE, $2, $1);
1177 TREE_STATIC ($$) = 1; }
1178 | declspecs_sc_ts_nosa_ea typespec_reserved_attr
1179 { $$ = tree_cons (NULL_TREE, $2, $1);
1180 TREE_STATIC ($$) = 1; }
1181 | declspecs_sc_nots_nosa_noea typespec_attr
1182 { $$ = tree_cons (NULL_TREE, $2, $1);
1183 TREE_STATIC ($$) = 1; }
1184 | declspecs_sc_nots_nosa_ea typespec_attr
1185 { $$ = tree_cons (NULL_TREE, $2, $1);
1186 TREE_STATIC ($$) = 1; }
1189 declspecs_sc_ts_sa_noea:
1190 declspecs_sc_ts_sa_noea TYPE_QUAL
1191 { $$ = tree_cons (NULL_TREE, $2, $1);
1192 TREE_STATIC ($$) = 1; }
1193 | declspecs_sc_ts_sa_ea TYPE_QUAL
1194 { $$ = tree_cons (NULL_TREE, $2, $1);
1195 TREE_STATIC ($$) = 1; }
1196 | declspecs_sc_ts_sa_noea typespec_reserved_nonattr
1197 { $$ = tree_cons (NULL_TREE, $2, $1);
1198 TREE_STATIC ($$) = 1; }
1199 | declspecs_sc_ts_sa_ea typespec_reserved_nonattr
1200 { $$ = tree_cons (NULL_TREE, $2, $1);
1201 TREE_STATIC ($$) = 1; }
1202 | declspecs_sc_nots_sa_noea typespec_nonattr
1203 { $$ = tree_cons (NULL_TREE, $2, $1);
1204 TREE_STATIC ($$) = 1; }
1205 | declspecs_sc_nots_sa_ea typespec_nonattr
1206 { $$ = tree_cons (NULL_TREE, $2, $1);
1207 TREE_STATIC ($$) = 1; }
1208 | declspecs_nosc_ts_sa_noea scspec
1209 { if (extra_warnings && TREE_STATIC ($1))
1210 warning ("`%s' is not at beginning of declaration",
1211 IDENTIFIER_POINTER ($2));
1212 $$ = tree_cons (NULL_TREE, $2, $1);
1213 TREE_STATIC ($$) = TREE_STATIC ($1); }
1214 | declspecs_nosc_ts_sa_ea scspec
1215 { if (extra_warnings && TREE_STATIC ($1))
1216 warning ("`%s' is not at beginning of declaration",
1217 IDENTIFIER_POINTER ($2));
1218 $$ = tree_cons (NULL_TREE, $2, $1);
1219 TREE_STATIC ($$) = TREE_STATIC ($1); }
1220 | declspecs_sc_ts_sa_noea scspec
1221 { if (extra_warnings && TREE_STATIC ($1))
1222 warning ("`%s' is not at beginning of declaration",
1223 IDENTIFIER_POINTER ($2));
1224 $$ = tree_cons (NULL_TREE, $2, $1);
1225 TREE_STATIC ($$) = TREE_STATIC ($1); }
1226 | declspecs_sc_ts_sa_ea scspec
1227 { if (extra_warnings && TREE_STATIC ($1))
1228 warning ("`%s' is not at beginning of declaration",
1229 IDENTIFIER_POINTER ($2));
1230 $$ = tree_cons (NULL_TREE, $2, $1);
1231 TREE_STATIC ($$) = TREE_STATIC ($1); }
1234 declspecs_sc_ts_sa_ea:
1235 declspecs_sc_ts_sa_noea attributes
1236 { $$ = tree_cons ($2, NULL_TREE, $1);
1237 TREE_STATIC ($$) = TREE_STATIC ($1); }
1238 | declspecs_sc_ts_sa_noea typespec_reserved_attr
1239 { $$ = tree_cons (NULL_TREE, $2, $1);
1240 TREE_STATIC ($$) = 1; }
1241 | declspecs_sc_ts_sa_ea typespec_reserved_attr
1242 { $$ = tree_cons (NULL_TREE, $2, $1);
1243 TREE_STATIC ($$) = 1; }
1244 | declspecs_sc_nots_sa_noea typespec_attr
1245 { $$ = tree_cons (NULL_TREE, $2, $1);
1246 TREE_STATIC ($$) = 1; }
1247 | declspecs_sc_nots_sa_ea typespec_attr
1248 { $$ = tree_cons (NULL_TREE, $2, $1);
1249 TREE_STATIC ($$) = 1; }
1252 /* Particular useful classes of declspecs. */
1254 declspecs_nosc_ts_nosa_noea
1255 | declspecs_nosc_ts_nosa_ea
1256 | declspecs_nosc_ts_sa_noea
1257 | declspecs_nosc_ts_sa_ea
1258 | declspecs_sc_ts_nosa_noea
1259 | declspecs_sc_ts_nosa_ea
1260 | declspecs_sc_ts_sa_noea
1261 | declspecs_sc_ts_sa_ea
1265 declspecs_nosc_nots_nosa_noea
1266 | declspecs_nosc_nots_nosa_ea
1267 | declspecs_nosc_nots_sa_noea
1268 | declspecs_nosc_nots_sa_ea
1269 | declspecs_sc_nots_nosa_noea
1270 | declspecs_sc_nots_nosa_ea
1271 | declspecs_sc_nots_sa_noea
1272 | declspecs_sc_nots_sa_ea
1276 declspecs_nosc_ts_nosa_noea
1277 | declspecs_nosc_ts_nosa_ea
1278 | declspecs_sc_ts_nosa_noea
1279 | declspecs_sc_ts_nosa_ea
1282 declspecs_nots_nosa:
1283 declspecs_nosc_nots_nosa_noea
1284 | declspecs_nosc_nots_nosa_ea
1285 | declspecs_sc_nots_nosa_noea
1286 | declspecs_sc_nots_nosa_ea
1290 declspecs_nosc_ts_nosa_noea
1291 | declspecs_nosc_ts_nosa_ea
1292 | declspecs_nosc_ts_sa_noea
1293 | declspecs_nosc_ts_sa_ea
1296 declspecs_nosc_nots:
1297 declspecs_nosc_nots_nosa_noea
1298 | declspecs_nosc_nots_nosa_ea
1299 | declspecs_nosc_nots_sa_noea
1300 | declspecs_nosc_nots_sa_ea
1304 declspecs_nosc_ts_nosa_noea
1305 | declspecs_nosc_ts_nosa_ea
1306 | declspecs_nosc_ts_sa_noea
1307 | declspecs_nosc_ts_sa_ea
1308 | declspecs_nosc_nots_nosa_noea
1309 | declspecs_nosc_nots_nosa_ea
1310 | declspecs_nosc_nots_sa_noea
1311 | declspecs_nosc_nots_sa_ea
1315 declspecs_nosc_nots_nosa_noea
1316 | declspecs_nosc_nots_nosa_ea
1317 | declspecs_nosc_nots_sa_noea
1318 | declspecs_nosc_nots_sa_ea
1319 | declspecs_nosc_ts_nosa_noea
1320 | declspecs_nosc_ts_nosa_ea
1321 | declspecs_nosc_ts_sa_noea
1322 | declspecs_nosc_ts_sa_ea
1323 | declspecs_sc_nots_nosa_noea
1324 | declspecs_sc_nots_nosa_ea
1325 | declspecs_sc_nots_sa_noea
1326 | declspecs_sc_nots_sa_ea
1327 | declspecs_sc_ts_nosa_noea
1328 | declspecs_sc_ts_nosa_ea
1329 | declspecs_sc_ts_sa_noea
1330 | declspecs_sc_ts_sa_ea
1333 /* A (possibly empty) sequence of type qualifiers and attributes. */
1334 maybe_type_quals_attrs:
1337 | declspecs_nosc_nots
1341 /* A type specifier (but not a type qualifier).
1342 Once we have seen one of these in a declaration,
1343 if a typedef name appears then it is being redeclared.
1345 The _reserved versions start with a reserved word and may appear anywhere
1346 in the declaration specifiers; the _nonreserved versions may only
1347 appear before any other type specifiers, and after that are (if names)
1350 FIXME: should the _nonreserved version be restricted to names being
1351 redeclared only? The other entries there relate only the GNU extensions
1352 and Objective C, and are historically parsed thus, and don't make sense
1353 after other type specifiers, but it might be cleaner to count them as
1356 _attr means: specifiers that either end with attributes,
1357 or are such that any following attributes would
1358 be parsed as part of the specifier.
1360 _nonattr: specifiers. */
1363 typespec_reserved_nonattr
1364 | typespec_nonreserved_nonattr
1368 typespec_reserved_attr
1371 typespec_reserved_nonattr:
1373 { OBJC_NEED_RAW_IDENTIFIER (1); }
1377 typespec_reserved_attr:
1381 typespec_nonreserved_nonattr:
1383 { /* For a typedef name, record the meaning, not the name.
1384 In case of `foo foo, bar;'. */
1385 $$ = lookup_name ($1); }
1387 | CLASSNAME protocolrefs
1388 { $$ = get_static_reference ($1, $2); }
1389 | OBJECTNAME protocolrefs
1390 { $$ = get_object_reference ($2); }
1392 /* Make "<SomeProtocol>" equivalent to "id <SomeProtocol>"
1393 - nisse@lysator.liu.se */
1394 | non_empty_protocolrefs
1395 { $$ = get_object_reference ($1); }
1397 | TYPEOF '(' expr ')'
1398 { $$ = TREE_TYPE ($3); }
1399 | TYPEOF '(' typename ')'
1400 { $$ = groktypename ($3); }
1403 /* typespec_nonreserved_attr does not exist. */
1407 | initdecls ',' maybe_resetattrs initdcl
1412 | notype_initdecls ',' maybe_resetattrs notype_initdcl
1418 | ASM_KEYWORD '(' STRING ')'
1423 declarator maybeasm maybe_attribute '='
1424 { $<ttype>$ = start_decl ($1, current_declspecs, 1,
1425 chainon ($3, all_prefix_attributes));
1426 start_init ($<ttype>$, $2, global_bindings_p ()); }
1428 /* Note how the declaration of the variable is in effect while its init is parsed! */
1430 finish_decl ($<ttype>5, $6, $2); }
1431 | declarator maybeasm maybe_attribute
1432 { tree d = start_decl ($1, current_declspecs, 0,
1433 chainon ($3, all_prefix_attributes));
1434 finish_decl (d, NULL_TREE, $2);
1439 notype_declarator maybeasm maybe_attribute '='
1440 { $<ttype>$ = start_decl ($1, current_declspecs, 1,
1441 chainon ($3, all_prefix_attributes));
1442 start_init ($<ttype>$, $2, global_bindings_p ()); }
1444 /* Note how the declaration of the variable is in effect while its init is parsed! */
1446 finish_decl ($<ttype>5, $6, $2); }
1447 | notype_declarator maybeasm maybe_attribute
1448 { tree d = start_decl ($1, current_declspecs, 0,
1449 chainon ($3, all_prefix_attributes));
1450 finish_decl (d, NULL_TREE, $2); }
1452 /* the * rules are dummies to accept the Apollo extended syntax
1453 so that the header files compile. */
1464 | attributes attribute
1465 { $$ = chainon ($1, $2); }
1469 ATTRIBUTE '(' '(' attribute_list ')' ')'
1476 | attribute_list ',' attrib
1477 { $$ = chainon ($1, $3); }
1484 { $$ = build_tree_list ($1, NULL_TREE); }
1485 | any_word '(' IDENTIFIER ')'
1486 { $$ = build_tree_list ($1, build_tree_list (NULL_TREE, $3)); }
1487 | any_word '(' IDENTIFIER ',' nonnull_exprlist ')'
1488 { $$ = build_tree_list ($1, tree_cons (NULL_TREE, $3, $5)); }
1489 | any_word '(' exprlist ')'
1490 { $$ = build_tree_list ($1, $3); }
1493 /* This still leaves out most reserved keywords,
1494 shouldn't we include them? */
1508 /* Initializers. `init' is the entry point. */
1513 { really_start_incremental_init (NULL_TREE); }
1514 initlist_maybe_comma '}'
1515 { $$ = pop_init_level (0); }
1517 { $$ = error_mark_node; }
1520 /* `initlist_maybe_comma' is the guts of an initializer in braces. */
1521 initlist_maybe_comma:
1524 pedwarn ("ISO C forbids empty initializer braces"); }
1525 | initlist1 maybecomma
1530 | initlist1 ',' initelt
1533 /* `initelt' is a single element of an initializer.
1534 It may use braces. */
1536 designator_list '=' initval
1537 { if (pedantic && ! flag_isoc99)
1538 pedwarn ("ISO C89 forbids specifying subobject to initialize"); }
1539 | designator initval
1541 pedwarn ("obsolete use of designated initializer without `='"); }
1543 { set_init_label ($1);
1545 pedwarn ("obsolete use of designated initializer with `:'"); }
1552 { push_init_level (0); }
1553 initlist_maybe_comma '}'
1554 { process_init_element (pop_init_level (0)); }
1556 { process_init_element ($1); }
1562 | designator_list designator
1567 { set_init_label ($2); }
1568 /* These are for labeled elements. The syntax for an array element
1569 initializer conflicts with the syntax for an Objective-C message,
1570 so don't include these productions in the Objective-C grammar. */
1572 | '[' expr_no_commas ELLIPSIS expr_no_commas ']'
1573 { set_init_index ($2, $4);
1575 pedwarn ("ISO C forbids specifying range of elements to initialize"); }
1576 | '[' expr_no_commas ']'
1577 { set_init_index ($2, NULL_TREE); }
1584 pedwarn ("ISO C forbids nested functions");
1586 push_function_context ();
1587 if (! start_function (current_declspecs, $1,
1588 all_prefix_attributes))
1590 pop_function_context ();
1594 old_style_parm_decls
1595 { store_parm_decls (); }
1596 /* This used to use compstmt_or_error.
1597 That caused a bug with input `f(g) int g {}',
1598 where the use of YYERROR1 above caused an error
1599 which then was handled by compstmt_or_error.
1600 There followed a repeated execution of that same rule,
1601 which called YYERROR1 again, and so on. */
1602 save_filename save_lineno compstmt
1603 { tree decl = current_function_decl;
1604 DECL_SOURCE_FILE (decl) = $5;
1605 DECL_SOURCE_LINE (decl) = $6;
1606 finish_function (1, 1);
1607 pop_function_context ();
1608 add_decl_stmt (decl); }
1611 notype_nested_function:
1614 pedwarn ("ISO C forbids nested functions");
1616 push_function_context ();
1617 if (! start_function (current_declspecs, $1,
1618 all_prefix_attributes))
1620 pop_function_context ();
1624 old_style_parm_decls
1625 { store_parm_decls (); }
1626 /* This used to use compstmt_or_error.
1627 That caused a bug with input `f(g) int g {}',
1628 where the use of YYERROR1 above caused an error
1629 which then was handled by compstmt_or_error.
1630 There followed a repeated execution of that same rule,
1631 which called YYERROR1 again, and so on. */
1632 save_filename save_lineno compstmt
1633 { tree decl = current_function_decl;
1634 DECL_SOURCE_FILE (decl) = $5;
1635 DECL_SOURCE_LINE (decl) = $6;
1636 finish_function (1, 1);
1637 pop_function_context ();
1638 add_decl_stmt (decl); }
1641 /* Any kind of declarator (thus, all declarators allowed
1642 after an explicit typespec). */
1645 after_type_declarator
1649 /* A declarator that is allowed only after an explicit typespec. */
1651 after_type_declarator:
1652 '(' maybe_attribute after_type_declarator ')'
1653 { $$ = $2 ? tree_cons ($2, $3, NULL_TREE) : $3; }
1654 | after_type_declarator '(' parmlist_or_identifiers %prec '.'
1655 { $$ = build_nt (CALL_EXPR, $1, $3, NULL_TREE); }
1656 /* | after_type_declarator '(' error ')' %prec '.'
1657 { $$ = build_nt (CALL_EXPR, $1, NULL_TREE, NULL_TREE);
1658 poplevel (0, 0, 0); } */
1659 | after_type_declarator array_declarator %prec '.'
1660 { $$ = set_array_declarator_type ($2, $1, 0); }
1661 | '*' maybe_type_quals_attrs after_type_declarator %prec UNARY
1662 { $$ = make_pointer_declarator ($2, $3); }
1669 /* Kinds of declarator that can appear in a parameter list
1670 in addition to notype_declarator. This is like after_type_declarator
1671 but does not allow a typedef name in parentheses as an identifier
1672 (because it would conflict with a function with that typedef as arg). */
1674 parm_declarator_starttypename
1675 | parm_declarator_nostarttypename
1678 parm_declarator_starttypename:
1679 parm_declarator_starttypename '(' parmlist_or_identifiers %prec '.'
1680 { $$ = build_nt (CALL_EXPR, $1, $3, NULL_TREE); }
1681 /* | parm_declarator_starttypename '(' error ')' %prec '.'
1682 { $$ = build_nt (CALL_EXPR, $1, NULL_TREE, NULL_TREE);
1683 poplevel (0, 0, 0); } */
1684 | parm_declarator_starttypename array_declarator %prec '.'
1685 { $$ = set_array_declarator_type ($2, $1, 0); }
1692 parm_declarator_nostarttypename:
1693 parm_declarator_nostarttypename '(' parmlist_or_identifiers %prec '.'
1694 { $$ = build_nt (CALL_EXPR, $1, $3, NULL_TREE); }
1695 /* | parm_declarator_nostarttypename '(' error ')' %prec '.'
1696 { $$ = build_nt (CALL_EXPR, $1, NULL_TREE, NULL_TREE);
1697 poplevel (0, 0, 0); } */
1698 | parm_declarator_nostarttypename array_declarator %prec '.'
1699 { $$ = set_array_declarator_type ($2, $1, 0); }
1700 | '*' maybe_type_quals_attrs parm_declarator_starttypename %prec UNARY
1701 { $$ = make_pointer_declarator ($2, $3); }
1702 | '*' maybe_type_quals_attrs parm_declarator_nostarttypename %prec UNARY
1703 { $$ = make_pointer_declarator ($2, $3); }
1704 | '(' maybe_attribute parm_declarator_nostarttypename ')'
1705 { $$ = $2 ? tree_cons ($2, $3, NULL_TREE) : $3; }
1708 /* A declarator allowed whether or not there has been
1709 an explicit typespec. These cannot redeclare a typedef-name. */
1712 notype_declarator '(' parmlist_or_identifiers %prec '.'
1713 { $$ = build_nt (CALL_EXPR, $1, $3, NULL_TREE); }
1714 /* | notype_declarator '(' error ')' %prec '.'
1715 { $$ = build_nt (CALL_EXPR, $1, NULL_TREE, NULL_TREE);
1716 poplevel (0, 0, 0); } */
1717 | '(' maybe_attribute notype_declarator ')'
1718 { $$ = $2 ? tree_cons ($2, $3, NULL_TREE) : $3; }
1719 | '*' maybe_type_quals_attrs notype_declarator %prec UNARY
1720 { $$ = make_pointer_declarator ($2, $3); }
1721 | notype_declarator array_declarator %prec '.'
1722 { $$ = set_array_declarator_type ($2, $1, 0); }
1747 /* structsp_attr: struct/union/enum specifiers that either
1748 end with attributes, or are such that any following attributes would
1749 be parsed as part of the struct/union/enum specifier.
1751 structsp_nonattr: other struct/union/enum specifiers. */
1754 struct_head identifier '{'
1755 { $$ = start_struct (RECORD_TYPE, $2);
1756 /* Start scope of tag before parsing components. */
1758 component_decl_list '}' maybe_attribute
1759 { $$ = finish_struct ($<ttype>4, $5, chainon ($1, $7)); }
1760 | struct_head '{' component_decl_list '}' maybe_attribute
1761 { $$ = finish_struct (start_struct (RECORD_TYPE, NULL_TREE),
1762 $3, chainon ($1, $5));
1764 | union_head identifier '{'
1765 { $$ = start_struct (UNION_TYPE, $2); }
1766 component_decl_list '}' maybe_attribute
1767 { $$ = finish_struct ($<ttype>4, $5, chainon ($1, $7)); }
1768 | union_head '{' component_decl_list '}' maybe_attribute
1769 { $$ = finish_struct (start_struct (UNION_TYPE, NULL_TREE),
1770 $3, chainon ($1, $5));
1772 | enum_head identifier '{'
1773 { $$ = start_enum ($2); }
1774 enumlist maybecomma_warn '}' maybe_attribute
1775 { $$ = finish_enum ($<ttype>4, nreverse ($5),
1776 chainon ($1, $8)); }
1778 { $$ = start_enum (NULL_TREE); }
1779 enumlist maybecomma_warn '}' maybe_attribute
1780 { $$ = finish_enum ($<ttype>3, nreverse ($4),
1781 chainon ($1, $7)); }
1785 struct_head identifier
1786 { $$ = xref_tag (RECORD_TYPE, $2); }
1787 | union_head identifier
1788 { $$ = xref_tag (UNION_TYPE, $2); }
1789 | enum_head identifier
1790 { $$ = xref_tag (ENUMERAL_TYPE, $2);
1791 /* In ISO C, enumerated types can be referred to
1792 only if already defined. */
1793 if (pedantic && !COMPLETE_TYPE_P ($$))
1794 pedwarn ("ISO C forbids forward references to `enum' types"); }
1805 { if (pedantic && ! flag_isoc99)
1806 pedwarn ("comma at end of enumerator list"); }
1809 component_decl_list:
1810 component_decl_list2
1812 | component_decl_list2 component_decl
1813 { $$ = chainon ($1, $2);
1814 pedwarn ("no semicolon at end of struct or union"); }
1817 component_decl_list2: /* empty */
1819 | component_decl_list2 component_decl ';'
1820 { $$ = chainon ($1, $2); }
1821 | component_decl_list2 ';'
1823 pedwarn ("extra semicolon in struct or union specified"); }
1825 /* foo(sizeof(struct{ @defs(ClassName)})); */
1826 | DEFS '(' CLASSNAME ')'
1828 tree interface = lookup_interface ($3);
1831 $$ = get_class_ivars (interface);
1834 error ("cannot find interface declaration for `%s'",
1835 IDENTIFIER_POINTER ($3));
1843 declspecs_nosc_ts setspecs components
1845 POP_DECLSPEC_STACK; }
1846 | declspecs_nosc_ts setspecs save_filename save_lineno
1848 /* Support for unnamed structs or unions as members of
1849 structs or unions (which is [a] useful and [b] supports
1852 pedwarn ("ISO C doesn't support unnamed structs/unions");
1854 $$ = grokfield($3, $4, NULL, current_declspecs, NULL_TREE);
1855 POP_DECLSPEC_STACK; }
1856 | declspecs_nosc_nots setspecs components_notype
1858 POP_DECLSPEC_STACK; }
1859 | declspecs_nosc_nots
1861 pedwarn ("ISO C forbids member declarations with no members");
1866 | extension component_decl
1868 RESTORE_EXT_FLAGS ($1); }
1872 component_declarator
1873 | components ',' maybe_resetattrs component_declarator
1874 { $$ = chainon ($1, $4); }
1878 component_notype_declarator
1879 | components_notype ',' maybe_resetattrs component_notype_declarator
1880 { $$ = chainon ($1, $4); }
1883 component_declarator:
1884 save_filename save_lineno declarator maybe_attribute
1885 { $$ = grokfield ($1, $2, $3, current_declspecs, NULL_TREE);
1886 decl_attributes (&$$, chainon ($4, all_prefix_attributes), 0); }
1887 | save_filename save_lineno
1888 declarator ':' expr_no_commas maybe_attribute
1889 { $$ = grokfield ($1, $2, $3, current_declspecs, $5);
1890 decl_attributes (&$$, chainon ($6, all_prefix_attributes), 0); }
1891 | save_filename save_lineno ':' expr_no_commas maybe_attribute
1892 { $$ = grokfield ($1, $2, NULL_TREE, current_declspecs, $4);
1893 decl_attributes (&$$, chainon ($5, all_prefix_attributes), 0); }
1896 component_notype_declarator:
1897 save_filename save_lineno notype_declarator maybe_attribute
1898 { $$ = grokfield ($1, $2, $3, current_declspecs, NULL_TREE);
1899 decl_attributes (&$$, chainon ($4, all_prefix_attributes), 0); }
1900 | save_filename save_lineno
1901 notype_declarator ':' expr_no_commas maybe_attribute
1902 { $$ = grokfield ($1, $2, $3, current_declspecs, $5);
1903 decl_attributes (&$$, chainon ($6, all_prefix_attributes), 0); }
1904 | save_filename save_lineno ':' expr_no_commas maybe_attribute
1905 { $$ = grokfield ($1, $2, NULL_TREE, current_declspecs, $4);
1906 decl_attributes (&$$, chainon ($5, all_prefix_attributes), 0); }
1909 /* We chain the enumerators in reverse order.
1910 They are put in forward order where enumlist is used.
1911 (The order used to be significant, but no longer is so.
1912 However, we still maintain the order, just to be clean.) */
1916 | enumlist ',' enumerator
1917 { if ($1 == error_mark_node)
1920 $$ = chainon ($3, $1); }
1922 { $$ = error_mark_node; }
1928 { $$ = build_enumerator ($1, NULL_TREE); }
1929 | identifier '=' expr_no_commas
1930 { $$ = build_enumerator ($1, $3); }
1935 { pending_xref_error ();
1938 { $$ = build_tree_list ($<ttype>2, $3); }
1941 absdcl: /* an absolute declarator */
1947 absdcl_maybe_attribute: /* absdcl maybe_attribute, but not just attributes */
1949 { $$ = build_tree_list (build_tree_list (current_declspecs,
1951 all_prefix_attributes); }
1953 { $$ = build_tree_list (build_tree_list (current_declspecs,
1955 all_prefix_attributes); }
1956 | absdcl1_noea attributes
1957 { $$ = build_tree_list (build_tree_list (current_declspecs,
1959 chainon ($2, all_prefix_attributes)); }
1962 absdcl1: /* a nonempty absolute declarator */
1969 | '*' maybe_type_quals_attrs absdcl1_noea
1970 { $$ = make_pointer_declarator ($2, $3); }
1974 '*' maybe_type_quals_attrs
1975 { $$ = make_pointer_declarator ($2, NULL_TREE); }
1976 | '*' maybe_type_quals_attrs absdcl1_ea
1977 { $$ = make_pointer_declarator ($2, $3); }
1981 '(' maybe_attribute absdcl1 ')'
1982 { $$ = $2 ? tree_cons ($2, $3, NULL_TREE) : $3; }
1983 | direct_absdcl1 '(' parmlist
1984 { $$ = build_nt (CALL_EXPR, $1, $3, NULL_TREE); }
1985 | direct_absdcl1 array_declarator
1986 { $$ = set_array_declarator_type ($2, $1, 1); }
1988 { $$ = build_nt (CALL_EXPR, NULL_TREE, $2, NULL_TREE); }
1990 { $$ = set_array_declarator_type ($1, NULL_TREE, 1); }
1993 /* The [...] part of a declarator for an array type. */
1996 '[' maybe_type_quals_attrs expr ']'
1997 { $$ = build_array_declarator ($3, $2, 0, 0); }
1998 | '[' maybe_type_quals_attrs ']'
1999 { $$ = build_array_declarator (NULL_TREE, $2, 0, 0); }
2000 | '[' maybe_type_quals_attrs '*' ']'
2001 { $$ = build_array_declarator (NULL_TREE, $2, 0, 1); }
2002 | '[' STATIC maybe_type_quals_attrs expr ']'
2003 { $$ = build_array_declarator ($4, $3, 1, 0); }
2004 /* declspecs_nosc_nots is a synonym for type_quals_attrs. */
2005 | '[' declspecs_nosc_nots STATIC expr ']'
2006 { $$ = build_array_declarator ($4, $2, 1, 0); }
2009 /* A nonempty series of declarations and statements (possibly followed by
2010 some labels) that can form the body of a compound statement.
2011 NOTE: we don't allow labels on declarations; this might seem like a
2012 natural extension, but there would be a conflict between attributes
2013 on the label and prefix attributes on the declaration. */
2016 lineno_stmt_decl_or_labels_ending_stmt
2017 | lineno_stmt_decl_or_labels_ending_decl
2018 | lineno_stmt_decl_or_labels_ending_label
2020 pedwarn ("deprecated use of label at end of compound statement");
2022 | lineno_stmt_decl_or_labels_ending_error
2025 lineno_stmt_decl_or_labels_ending_stmt:
2027 | lineno_stmt_decl_or_labels_ending_stmt lineno_stmt
2028 | lineno_stmt_decl_or_labels_ending_decl lineno_stmt
2029 | lineno_stmt_decl_or_labels_ending_label lineno_stmt
2030 | lineno_stmt_decl_or_labels_ending_error lineno_stmt
2033 lineno_stmt_decl_or_labels_ending_decl:
2035 | lineno_stmt_decl_or_labels_ending_stmt lineno_decl
2036 { if (pedantic && !flag_isoc99)
2037 pedwarn ("ISO C89 forbids mixed declarations and code"); }
2038 | lineno_stmt_decl_or_labels_ending_decl lineno_decl
2039 | lineno_stmt_decl_or_labels_ending_error lineno_decl
2042 lineno_stmt_decl_or_labels_ending_label:
2044 | lineno_stmt_decl_or_labels_ending_stmt lineno_label
2045 | lineno_stmt_decl_or_labels_ending_decl lineno_label
2046 | lineno_stmt_decl_or_labels_ending_label lineno_label
2047 | lineno_stmt_decl_or_labels_ending_error lineno_label
2050 lineno_stmt_decl_or_labels_ending_error:
2052 | lineno_stmt_decl_or_labels errstmt
2055 lineno_stmt_decl_or_labels:
2056 lineno_stmt_decl_or_labels_ending_stmt
2057 | lineno_stmt_decl_or_labels_ending_decl
2058 | lineno_stmt_decl_or_labels_ending_label
2059 | lineno_stmt_decl_or_labels_ending_error
2065 pushlevel: /* empty */
2068 add_scope_stmt (/*begin_p=*/1, /*partial_p=*/0);
2070 if (objc_method_context)
2076 poplevel: /* empty */
2077 { $$ = add_scope_stmt (/*begin_p=*/0, /*partial_p=*/0); }
2080 /* Start and end blocks created for the new scopes of C99. */
2081 c99_block_start: /* empty */
2084 $$ = c_begin_compound_stmt ();
2087 add_scope_stmt (/*begin_p=*/1, /*partial_p=*/0);
2089 if (objc_method_context)
2098 /* Productions using c99_block_start and c99_block_end will need to do what's
2099 in compstmt: RECHAIN_STMTS ($1, COMPOUND_BODY ($1)); $$ = $2; where
2100 $1 is the value of c99_block_start and $2 of c99_block_end. */
2101 c99_block_end: /* empty */
2104 tree scope_stmt = add_scope_stmt (/*begin_p=*/0, /*partial_p=*/0);
2105 $$ = poplevel (kept_level_p (), 0, 0);
2106 SCOPE_STMT_BLOCK (TREE_PURPOSE (scope_stmt))
2107 = SCOPE_STMT_BLOCK (TREE_VALUE (scope_stmt))
2114 /* Read zero or more forward-declarations for labels
2115 that nested functions can jump to. */
2120 pedwarn ("ISO C forbids label declarations"); }
2125 | label_decls label_decl
2129 LABEL identifiers_or_typenames ';'
2131 for (link = $2; link; link = TREE_CHAIN (link))
2133 tree label = shadow_label (TREE_VALUE (link));
2134 C_DECLARED_LABEL_FLAG (label) = 1;
2135 add_decl_stmt (label);
2140 /* This is the body of a function definition.
2141 It causes syntax errors to ignore to the next openbrace. */
2148 compstmt_start: '{' { compstmt_count++;
2149 $$ = c_begin_compound_stmt (); }
2152 compstmt_nostart: '}'
2153 { $$ = convert (void_type_node, integer_zero_node); }
2154 | pushlevel maybe_label_decls compstmt_contents_nonempty '}' poplevel
2155 { $$ = poplevel (kept_level_p (), 1, 0);
2156 SCOPE_STMT_BLOCK (TREE_PURPOSE ($5))
2157 = SCOPE_STMT_BLOCK (TREE_VALUE ($5))
2161 compstmt_contents_nonempty:
2166 compstmt_primary_start:
2168 { if (current_function_decl == 0)
2170 error ("braced-group within expression allowed only inside a function");
2173 /* We must force a BLOCK for this level
2174 so that, if it is not expanded later,
2175 there is a way to turn off the entire subtree of blocks
2176 that are contained in it. */
2178 push_label_level ();
2180 $$ = add_stmt (build_stmt (COMPOUND_STMT, last_tree));
2184 compstmt: compstmt_start compstmt_nostart
2185 { RECHAIN_STMTS ($1, COMPOUND_BODY ($1));
2186 last_expr_type = NULL_TREE;
2190 /* Value is number of statements counted as of the closeparen. */
2192 if_prefix c99_block_lineno_labeled_stmt
2193 { c_finish_then (); }
2194 /* Make sure c_expand_end_cond is run once
2195 for each call to c_expand_start_cond.
2196 Otherwise a crash is likely. */
2201 /* We must build the IF_STMT node before parsing its
2202 condition so that STMT_LINENO refers to the line
2203 containing the "if", and not the line containing
2204 the close-parenthesis.
2206 c_begin_if_stmt returns the IF_STMT node, which
2207 we later pass to c_expand_start_cond to fill
2208 in the condition and other tidbits. */
2210 { $<ttype>$ = c_begin_if_stmt (); }
2212 { c_expand_start_cond (c_common_truthvalue_conversion ($4),
2213 compstmt_count,$<ttype>2);
2214 $<itype>$ = stmt_count;
2215 if_stmt_file = $<filename>-2;
2216 if_stmt_line = $<lineno>-1; }
2219 /* This is a subroutine of stmt.
2220 It is used twice, once for valid DO statements
2221 and once for catching errors in parsing the end test. */
2227 = add_stmt (build_stmt (DO_STMT, NULL_TREE,
2229 /* In the event that a parse error prevents
2230 parsing the complete do-statement, set the
2231 condition now. Otherwise, we can get crashes at
2232 RTL-generation time. */
2233 DO_COND ($<ttype>$) = error_mark_node; }
2234 c99_block_lineno_labeled_stmt WHILE
2236 RECHAIN_STMTS ($$, DO_BODY ($$)); }
2239 /* The forced readahead in here is because we might be at the end of a
2240 line, and the line and file won't be bumped until yylex absorbs the
2241 first token on the next line. */
2243 { if (yychar == YYEMPTY)
2245 $$ = input_filename; }
2249 { if (yychar == YYEMPTY)
2254 lineno_labeled_stmt:
2256 | lineno_label lineno_labeled_stmt
2259 /* Like lineno_labeled_stmt, but a block in C99. */
2260 c99_block_lineno_labeled_stmt:
2261 c99_block_start lineno_labeled_stmt c99_block_end
2263 RECHAIN_STMTS ($1, COMPOUND_BODY ($1)); }
2267 save_filename save_lineno stmt
2270 STMT_LINENO ($3) = $2;
2271 /* ??? We currently have no way of recording
2272 the filename for a statement. This probably
2273 matters little in practice at the moment,
2274 but I suspect that problems will occur when
2275 doing inlining at the tree level. */
2281 save_filename save_lineno label
2284 STMT_LINENO ($3) = $2;
2289 select_or_iter_stmt:
2291 { c_expand_start_else ();
2292 $<itype>1 = stmt_count; }
2293 c99_block_lineno_labeled_stmt
2295 c_expand_end_cond ();
2296 if (extra_warnings && stmt_count == $<itype>1)
2297 warning ("empty body in an else-statement"); }
2298 | simple_if %prec IF
2299 { c_expand_end_cond ();
2300 /* This warning is here instead of in simple_if, because we
2301 do not want a warning if an empty if is followed by an
2302 else statement. Increment stmt_count so we don't
2303 give a second error if this is a nested `if'. */
2304 if (extra_warnings && stmt_count++ == $<itype>1)
2305 warning_with_file_and_line (if_stmt_file, if_stmt_line,
2306 "empty body in an if-statement"); }
2307 /* Make sure c_expand_end_cond is run once
2308 for each call to c_expand_start_cond.
2309 Otherwise a crash is likely. */
2310 | simple_if ELSE error
2311 { c_expand_end_cond (); }
2312 /* We must build the WHILE_STMT node before parsing its
2313 condition so that STMT_LINENO refers to the line
2314 containing the "while", and not the line containing
2315 the close-parenthesis.
2317 c_begin_while_stmt returns the WHILE_STMT node, which
2318 we later pass to c_finish_while_stmt_cond to fill
2319 in the condition and other tidbits. */
2322 $<ttype>$ = c_begin_while_stmt (); }
2324 { $4 = c_common_truthvalue_conversion ($4);
2325 c_finish_while_stmt_cond
2326 (c_common_truthvalue_conversion ($4), $<ttype>2);
2327 $<ttype>$ = add_stmt ($<ttype>2); }
2328 c99_block_lineno_labeled_stmt
2329 { RECHAIN_STMTS ($<ttype>6, WHILE_BODY ($<ttype>6)); }
2332 { DO_COND ($1) = c_common_truthvalue_conversion ($3); }
2333 | do_stmt_start error
2336 { $<ttype>$ = build_stmt (FOR_STMT, NULL_TREE, NULL_TREE,
2337 NULL_TREE, NULL_TREE);
2338 add_stmt ($<ttype>$); }
2341 RECHAIN_STMTS ($<ttype>2, FOR_INIT_STMT ($<ttype>2)); }
2344 FOR_COND ($<ttype>2)
2345 = c_common_truthvalue_conversion ($6); }
2347 { FOR_EXPR ($<ttype>2) = $9; }
2348 c99_block_lineno_labeled_stmt
2349 { RECHAIN_STMTS ($<ttype>2, FOR_BODY ($<ttype>2)); }
2350 | SWITCH '(' expr ')'
2352 $<ttype>$ = c_start_case ($3); }
2353 c99_block_lineno_labeled_stmt
2354 { c_finish_case (); }
2359 { add_stmt (build_stmt (EXPR_STMT, $1)); }
2361 { check_for_loop_decls (); }
2364 /* Parse a single real statement, not including any labels. */
2367 { stmt_count++; $$ = $1; }
2370 $$ = c_expand_expr_stmt ($1); }
2371 | c99_block_start select_or_iter_stmt c99_block_end
2373 RECHAIN_STMTS ($1, COMPOUND_BODY ($1));
2377 $$ = add_stmt (build_break_stmt ()); }
2380 $$ = add_stmt (build_continue_stmt ()); }
2383 $$ = c_expand_return (NULL_TREE); }
2386 $$ = c_expand_return ($2); }
2387 | ASM_KEYWORD maybe_type_qual '(' expr ')' ';'
2389 $$ = simple_asm_stmt ($4); }
2390 /* This is the case with just output operands. */
2391 | ASM_KEYWORD maybe_type_qual '(' expr ':' asm_operands ')' ';'
2393 $$ = build_asm_stmt ($2, $4, $6, NULL_TREE, NULL_TREE); }
2394 /* This is the case with input operands as well. */
2395 | ASM_KEYWORD maybe_type_qual '(' expr ':' asm_operands ':'
2396 asm_operands ')' ';'
2398 $$ = build_asm_stmt ($2, $4, $6, $8, NULL_TREE); }
2399 /* This is the case with clobbered registers as well. */
2400 | ASM_KEYWORD maybe_type_qual '(' expr ':' asm_operands ':'
2401 asm_operands ':' asm_clobbers ')' ';'
2403 $$ = build_asm_stmt ($2, $4, $6, $8, $10); }
2404 | GOTO identifier ';'
2407 decl = lookup_label ($2);
2410 TREE_USED (decl) = 1;
2411 $$ = add_stmt (build_stmt (GOTO_STMT, decl));
2418 pedwarn ("ISO C forbids `goto *expr;'");
2420 $3 = convert (ptr_type_node, $3);
2421 $$ = add_stmt (build_stmt (GOTO_STMT, $3)); }
2426 /* Any kind of label, including jump labels and case labels.
2427 ANSI C accepts labels only before statements, but we allow them
2428 also at the end of a compound statement. */
2430 label: CASE expr_no_commas ':'
2432 $$ = do_case ($2, NULL_TREE); }
2433 | CASE expr_no_commas ELLIPSIS expr_no_commas ':'
2435 $$ = do_case ($2, $4); }
2438 $$ = do_case (NULL_TREE, NULL_TREE); }
2439 | identifier save_filename save_lineno ':' maybe_attribute
2440 { tree label = define_label ($2, $3, $1);
2444 decl_attributes (&label, $5, 0);
2445 $$ = add_stmt (build_stmt (LABEL_STMT, label));
2452 /* Either a type-qualifier or nothing. First thing in an `asm' statement. */
2456 { emit_line_note (input_filename, lineno);
2459 { emit_line_note (input_filename, lineno); }
2468 /* These are the operands other than the first string and colon
2469 in asm ("addextend %2,%1": "=dm" (x), "0" (y), "g" (*x)) */
2470 asm_operands: /* empty */
2472 | nonnull_asm_operands
2475 nonnull_asm_operands:
2477 | nonnull_asm_operands ',' asm_operand
2478 { $$ = chainon ($1, $3); }
2483 { $$ = build_tree_list (build_tree_list (NULL_TREE, $1), $3); }
2484 | '[' identifier ']' STRING '(' expr ')'
2485 { $2 = build_string (IDENTIFIER_LENGTH ($2),
2486 IDENTIFIER_POINTER ($2));
2487 $$ = build_tree_list (build_tree_list ($2, $4), $6); }
2492 { $$ = tree_cons (NULL_TREE, $1, NULL_TREE); }
2493 | asm_clobbers ',' STRING
2494 { $$ = tree_cons (NULL_TREE, $3, $1); }
2497 /* This is what appears inside the parens in a function declarator.
2498 Its value is a list of ..._TYPE nodes. Attributes must appear here
2499 to avoid a conflict with their appearance after an open parenthesis
2500 in an abstract declarator, as in
2501 "void bar (int (__attribute__((__mode__(SI))) int foo));". */
2505 clear_parm_order ();
2506 declare_parm_level (0); }
2509 parmlist_tags_warning ();
2510 poplevel (0, 0, 0); }
2518 pedwarn ("ISO C forbids forward parameter declarations");
2519 /* Mark the forward decls as such. */
2520 for (parm = getdecls (); parm; parm = TREE_CHAIN (parm))
2521 TREE_ASM_WRITTEN (parm) = 1;
2522 clear_parm_order (); }
2524 { /* Dummy action so attributes are in known place
2525 on parser stack. */ }
2529 { $$ = tree_cons (NULL_TREE, NULL_TREE, NULL_TREE); }
2532 /* This is what appears inside the parens in a function declarator.
2533 Is value is represented in the format that grokdeclarator expects. */
2534 parmlist_2: /* empty */
2535 { $$ = get_parm_info (0); }
2537 { $$ = get_parm_info (0);
2538 /* Gcc used to allow this as an extension. However, it does
2539 not work for all targets, and thus has been disabled.
2540 Also, since func (...) and func () are indistinguishable,
2541 it caused problems with the code in expand_builtin which
2542 tries to verify that BUILT_IN_NEXT_ARG is being used
2544 error ("ISO C requires a named argument before `...'");
2547 { $$ = get_parm_info (1); }
2548 | parms ',' ELLIPSIS
2549 { $$ = get_parm_info (0); }
2554 { push_parm_decl ($1); }
2556 { push_parm_decl ($3); }
2559 /* A single parameter declaration or parameter type name,
2560 as found in a parmlist. */
2562 declspecs_ts setspecs parm_declarator maybe_attribute
2563 { $$ = build_tree_list (build_tree_list (current_declspecs,
2565 chainon ($4, all_prefix_attributes));
2566 POP_DECLSPEC_STACK; }
2567 | declspecs_ts setspecs notype_declarator maybe_attribute
2568 { $$ = build_tree_list (build_tree_list (current_declspecs,
2570 chainon ($4, all_prefix_attributes));
2571 POP_DECLSPEC_STACK; }
2572 | declspecs_ts setspecs absdcl_maybe_attribute
2574 POP_DECLSPEC_STACK; }
2575 | declspecs_nots setspecs notype_declarator maybe_attribute
2576 { $$ = build_tree_list (build_tree_list (current_declspecs,
2578 chainon ($4, all_prefix_attributes));
2579 POP_DECLSPEC_STACK; }
2581 | declspecs_nots setspecs absdcl_maybe_attribute
2583 POP_DECLSPEC_STACK; }
2586 /* The first parm, which must suck attributes from off the top of the parser
2589 declspecs_ts_nosa setspecs_fp parm_declarator maybe_attribute
2590 { $$ = build_tree_list (build_tree_list (current_declspecs,
2592 chainon ($4, all_prefix_attributes));
2593 POP_DECLSPEC_STACK; }
2594 | declspecs_ts_nosa setspecs_fp notype_declarator maybe_attribute
2595 { $$ = build_tree_list (build_tree_list (current_declspecs,
2597 chainon ($4, all_prefix_attributes));
2598 POP_DECLSPEC_STACK; }
2599 | declspecs_ts_nosa setspecs_fp absdcl_maybe_attribute
2601 POP_DECLSPEC_STACK; }
2602 | declspecs_nots_nosa setspecs_fp notype_declarator maybe_attribute
2603 { $$ = build_tree_list (build_tree_list (current_declspecs,
2605 chainon ($4, all_prefix_attributes));
2606 POP_DECLSPEC_STACK; }
2608 | declspecs_nots_nosa setspecs_fp absdcl_maybe_attribute
2610 POP_DECLSPEC_STACK; }
2615 { prefix_attributes = chainon (prefix_attributes, $<ttype>-2);
2616 all_prefix_attributes = prefix_attributes; }
2619 /* This is used in a function definition
2620 where either a parmlist or an identifier list is ok.
2621 Its value is a list of ..._TYPE nodes or a list of identifiers. */
2622 parmlist_or_identifiers:
2625 clear_parm_order ();
2626 declare_parm_level (1); }
2627 parmlist_or_identifiers_1
2629 parmlist_tags_warning ();
2630 poplevel (0, 0, 0); }
2633 parmlist_or_identifiers_1:
2637 for (t = $1; t; t = TREE_CHAIN (t))
2638 if (TREE_VALUE (t) == NULL_TREE)
2639 error ("`...' in old-style identifier list");
2640 $$ = tree_cons (NULL_TREE, NULL_TREE, $1);
2642 /* Make sure we have a parmlist after attributes. */
2644 && (TREE_CODE ($$) != TREE_LIST
2645 || TREE_PURPOSE ($$) == 0
2646 || TREE_CODE (TREE_PURPOSE ($$)) != PARM_DECL))
2651 /* A nonempty list of identifiers. */
2654 { $$ = build_tree_list (NULL_TREE, $1); }
2655 | identifiers ',' IDENTIFIER
2656 { $$ = chainon ($1, build_tree_list (NULL_TREE, $3)); }
2659 /* A nonempty list of identifiers, including typenames. */
2660 identifiers_or_typenames:
2662 { $$ = build_tree_list (NULL_TREE, $1); }
2663 | identifiers_or_typenames ',' identifier
2664 { $$ = chainon ($1, build_tree_list (NULL_TREE, $3)); }
2669 { $$ = SAVE_EXT_FLAGS();
2671 warn_pointer_arith = 0;
2672 warn_traditional = 0;
2677 /* Objective-C productions. */
2687 if (objc_implementation_context)
2689 finish_class (objc_implementation_context);
2690 objc_ivar_chain = NULL_TREE;
2691 objc_implementation_context = NULL_TREE;
2694 warning ("`@end' must appear in an implementation context");
2698 /* A nonempty list of identifiers. */
2701 { $$ = build_tree_list (NULL_TREE, $1); }
2702 | identifier_list ',' identifier
2703 { $$ = chainon ($1, build_tree_list (NULL_TREE, $3)); }
2707 CLASS identifier_list ';'
2709 objc_declare_class ($2);
2713 ALIAS identifier identifier ';'
2715 objc_declare_alias ($2, $3);
2719 INTERFACE identifier protocolrefs '{'
2721 objc_interface_context = objc_ivar_context
2722 = start_class (CLASS_INTERFACE_TYPE, $2, NULL_TREE, $3);
2723 objc_public_flag = 0;
2727 continue_class (objc_interface_context);
2732 finish_class (objc_interface_context);
2733 objc_interface_context = NULL_TREE;
2736 | INTERFACE identifier protocolrefs
2738 objc_interface_context
2739 = start_class (CLASS_INTERFACE_TYPE, $2, NULL_TREE, $3);
2740 continue_class (objc_interface_context);
2745 finish_class (objc_interface_context);
2746 objc_interface_context = NULL_TREE;
2749 | INTERFACE identifier ':' identifier protocolrefs '{'
2751 objc_interface_context = objc_ivar_context
2752 = start_class (CLASS_INTERFACE_TYPE, $2, $4, $5);
2753 objc_public_flag = 0;
2757 continue_class (objc_interface_context);
2762 finish_class (objc_interface_context);
2763 objc_interface_context = NULL_TREE;
2766 | INTERFACE identifier ':' identifier protocolrefs
2768 objc_interface_context
2769 = start_class (CLASS_INTERFACE_TYPE, $2, $4, $5);
2770 continue_class (objc_interface_context);
2775 finish_class (objc_interface_context);
2776 objc_interface_context = NULL_TREE;
2779 | IMPLEMENTATION identifier '{'
2781 objc_implementation_context = objc_ivar_context
2782 = start_class (CLASS_IMPLEMENTATION_TYPE, $2, NULL_TREE, NULL_TREE);
2783 objc_public_flag = 0;
2788 = continue_class (objc_implementation_context);
2791 | IMPLEMENTATION identifier
2793 objc_implementation_context
2794 = start_class (CLASS_IMPLEMENTATION_TYPE, $2, NULL_TREE, NULL_TREE);
2796 = continue_class (objc_implementation_context);
2799 | IMPLEMENTATION identifier ':' identifier '{'
2801 objc_implementation_context = objc_ivar_context
2802 = start_class (CLASS_IMPLEMENTATION_TYPE, $2, $4, NULL_TREE);
2803 objc_public_flag = 0;
2808 = continue_class (objc_implementation_context);
2811 | IMPLEMENTATION identifier ':' identifier
2813 objc_implementation_context
2814 = start_class (CLASS_IMPLEMENTATION_TYPE, $2, $4, NULL_TREE);
2816 = continue_class (objc_implementation_context);
2819 | INTERFACE identifier '(' identifier ')' protocolrefs
2821 objc_interface_context
2822 = start_class (CATEGORY_INTERFACE_TYPE, $2, $4, $6);
2823 continue_class (objc_interface_context);
2828 finish_class (objc_interface_context);
2829 objc_interface_context = NULL_TREE;
2832 | IMPLEMENTATION identifier '(' identifier ')'
2834 objc_implementation_context
2835 = start_class (CATEGORY_IMPLEMENTATION_TYPE, $2, $4, NULL_TREE);
2837 = continue_class (objc_implementation_context);
2842 PROTOCOL identifier protocolrefs
2844 objc_pq_context = 1;
2845 objc_interface_context
2846 = start_protocol(PROTOCOL_INTERFACE_TYPE, $2, $3);
2850 objc_pq_context = 0;
2851 finish_protocol(objc_interface_context);
2852 objc_interface_context = NULL_TREE;
2854 /* The @protocol forward-declaration production introduces a
2855 reduce/reduce conflict on ';', which should be resolved in
2856 favor of the production 'identifier_list -> identifier'. */
2857 | PROTOCOL identifier_list ';'
2859 objc_declare_protocols ($2);
2868 | non_empty_protocolrefs
2871 non_empty_protocolrefs:
2872 ARITHCOMPARE identifier_list ARITHCOMPARE
2874 if ($1 == LT_EXPR && $3 == GT_EXPR)
2882 ivar_decl_list visibility_spec ivar_decls
2887 PRIVATE { objc_public_flag = 2; }
2888 | PROTECTED { objc_public_flag = 0; }
2889 | PUBLIC { objc_public_flag = 1; }
2897 | ivar_decls ivar_decl ';'
2901 pedwarn ("extra semicolon in struct or union specified");
2906 /* There is a shift-reduce conflict here, because `components' may
2907 start with a `typename'. It happens that shifting (the default resolution)
2908 does the right thing, because it treats the `typename' as part of
2909 a `typed_typespecs'.
2911 It is possible that this same technique would allow the distinction
2912 between `notype_initdecls' and `initdecls' to be eliminated.
2913 But I am being cautious and not trying it. */
2916 declspecs_nosc_ts setspecs ivars
2918 POP_DECLSPEC_STACK; }
2919 | declspecs_nosc_nots setspecs ivars
2921 POP_DECLSPEC_STACK; }
2930 | ivars ',' maybe_resetattrs ivar_declarator
2936 $$ = add_instance_variable (objc_ivar_context,
2938 $1, current_declspecs,
2941 | declarator ':' expr_no_commas
2943 $$ = add_instance_variable (objc_ivar_context,
2945 $1, current_declspecs, $3);
2947 | ':' expr_no_commas
2949 $$ = add_instance_variable (objc_ivar_context,
2952 current_declspecs, $2);
2958 { objc_inherit_code = CLASS_METHOD_DECL; }
2960 { objc_inherit_code = INSTANCE_METHOD_DECL; }
2966 objc_pq_context = 1;
2967 if (!objc_implementation_context)
2968 fatal_error ("method definition not in class context");
2972 objc_pq_context = 0;
2973 if (objc_inherit_code == CLASS_METHOD_DECL)
2974 add_class_method (objc_implementation_context, $3);
2976 add_instance_method (objc_implementation_context, $3);
2977 start_method_def ($3);
2981 continue_method_def ();
2985 finish_method_def ();
2989 /* the reason for the strange actions in this rule
2990 is so that notype_initdecls when reached via datadef
2991 can find a valid list of type and sc specs in $0. */
2995 | {$<ttype>$ = NULL_TREE; } methodprotolist2
2998 methodprotolist2: /* eliminates a shift/reduce conflict */
3001 | methodprotolist2 methodproto
3002 | methodprotolist2 {$<ttype>$ = NULL_TREE; } datadef
3013 /* Remember protocol qualifiers in prototypes. */
3014 objc_pq_context = 1;
3018 /* Forget protocol qualifiers here. */
3019 objc_pq_context = 0;
3020 if (objc_inherit_code == CLASS_METHOD_DECL)
3021 add_class_method (objc_interface_context, $3);
3023 add_instance_method (objc_interface_context, $3);
3029 '(' typename ')' unaryselector
3031 $$ = build_method_decl (objc_inherit_code, $2, $4, NULL_TREE);
3036 $$ = build_method_decl (objc_inherit_code, NULL_TREE, $1, NULL_TREE);
3039 | '(' typename ')' keywordselector optparmlist
3041 $$ = build_method_decl (objc_inherit_code, $2, $4, $5);
3044 | keywordselector optparmlist
3046 $$ = build_method_decl (objc_inherit_code, NULL_TREE, $1, $2);
3050 /* "optarglist" assumes that start_method_def has already been called...
3051 if it is not, the "xdecls" will not be placed in the proper scope */
3058 /* to get around the following situation: "int foo (int a) int b; {}" that
3059 is synthesized when parsing "- a:a b:b; id c; id d; { ... }" */
3074 declspecs_ts setspecs myparms ';'
3075 { POP_DECLSPEC_STACK; }
3077 { shadow_tag ($1); }
3078 | declspecs_nots ';'
3079 { pedwarn ("empty declaration"); }
3084 { push_parm_decl ($1); }
3085 | myparms ',' myparm
3086 { push_parm_decl ($3); }
3089 /* A single parameter declaration or parameter type name,
3090 as found in a parmlist. DOES NOT ALLOW AN INITIALIZER OR ASMSPEC */
3093 parm_declarator maybe_attribute
3094 { $$ = build_tree_list (build_tree_list (current_declspecs,
3096 chainon ($2, all_prefix_attributes)); }
3097 | notype_declarator maybe_attribute
3098 { $$ = build_tree_list (build_tree_list (current_declspecs,
3100 chainon ($2, all_prefix_attributes)); }
3101 | absdcl_maybe_attribute
3112 /* oh what a kludge! */
3113 $$ = objc_ellipsis_node;
3121 /* returns a tree list node generated by get_parm_info */
3134 | keywordselector keyworddecl
3136 $$ = chainon ($1, $2);
3149 ENUM | STRUCT | UNION | IF | ELSE | WHILE | DO | FOR
3150 | SWITCH | CASE | DEFAULT | BREAK | CONTINUE | RETURN
3151 | GOTO | ASM_KEYWORD | SIZEOF | TYPEOF | ALIGNOF
3152 | TYPESPEC | TYPE_QUAL
3156 selector ':' '(' typename ')' identifier
3158 $$ = build_keyword_decl ($1, $4, $6);
3161 | selector ':' identifier
3163 $$ = build_keyword_decl ($1, NULL_TREE, $3);
3166 | ':' '(' typename ')' identifier
3168 $$ = build_keyword_decl (NULL_TREE, $3, $5);
3173 $$ = build_keyword_decl (NULL_TREE, NULL_TREE, $2);
3184 | keywordarglist keywordarg
3186 $$ = chainon ($1, $2);
3194 if (TREE_CHAIN ($1) == NULL_TREE)
3195 /* just return the expr., remove a level of indirection */
3196 $$ = TREE_VALUE ($1);
3198 /* we have a comma expr., we will collapse later */
3204 selector ':' keywordexpr
3206 $$ = build_tree_list ($1, $3);
3210 $$ = build_tree_list (NULL_TREE, $2);
3218 $$ = get_class_reference ($1);
3224 { objc_receiver_context = 1; }
3226 { objc_receiver_context = 0; }
3229 $$ = build_tree_list ($3, $5);
3240 | keywordnamelist keywordname
3242 $$ = chainon ($1, $2);
3249 $$ = build_tree_list ($1, NULL_TREE);
3253 $$ = build_tree_list (NULL_TREE, NULL_TREE);
3258 SELECTOR '(' selectorarg ')'
3265 PROTOCOL '(' identifier ')'
3271 /* extension to support C-structures in the archiver */
3274 ENCODE '(' typename ')'
3276 $$ = groktypename ($3);
3283 /* yylex() is a thin wrapper around c_lex(), all it does is translate
3284 cpplib.h's token codes into yacc's token codes. */
3286 static enum cpp_ttype last_token;
3288 /* The reserved keyword table. */
3292 ENUM_BITFIELD(rid) rid : 16;
3293 unsigned int disable : 16;
3296 /* Disable mask. Keywords are disabled if (reswords[i].disable & mask) is
3298 #define D_C89 0x01 /* not in C89 */
3299 #define D_EXT 0x02 /* GCC extension */
3300 #define D_EXT89 0x04 /* GCC extension incorporated in C99 */
3301 #define D_OBJC 0x08 /* Objective C only */
3303 static const struct resword reswords[] =
3305 { "_Bool", RID_BOOL, 0 },
3306 { "_Complex", RID_COMPLEX, 0 },
3307 { "__FUNCTION__", RID_FUNCTION_NAME, 0 },
3308 { "__PRETTY_FUNCTION__", RID_PRETTY_FUNCTION_NAME, 0 },
3309 { "__alignof", RID_ALIGNOF, 0 },
3310 { "__alignof__", RID_ALIGNOF, 0 },
3311 { "__asm", RID_ASM, 0 },
3312 { "__asm__", RID_ASM, 0 },
3313 { "__attribute", RID_ATTRIBUTE, 0 },
3314 { "__attribute__", RID_ATTRIBUTE, 0 },
3315 { "__bounded", RID_BOUNDED, 0 },
3316 { "__bounded__", RID_BOUNDED, 0 },
3317 { "__builtin_choose_expr", RID_CHOOSE_EXPR, 0 },
3318 { "__builtin_types_compatible_p", RID_TYPES_COMPATIBLE_P, 0 },
3319 { "__builtin_va_arg", RID_VA_ARG, 0 },
3320 { "__complex", RID_COMPLEX, 0 },
3321 { "__complex__", RID_COMPLEX, 0 },
3322 { "__const", RID_CONST, 0 },
3323 { "__const__", RID_CONST, 0 },
3324 { "__extension__", RID_EXTENSION, 0 },
3325 { "__func__", RID_C99_FUNCTION_NAME, 0 },
3326 { "__imag", RID_IMAGPART, 0 },
3327 { "__imag__", RID_IMAGPART, 0 },
3328 { "__inline", RID_INLINE, 0 },
3329 { "__inline__", RID_INLINE, 0 },
3330 { "__label__", RID_LABEL, 0 },
3331 { "__ptrbase", RID_PTRBASE, 0 },
3332 { "__ptrbase__", RID_PTRBASE, 0 },
3333 { "__ptrextent", RID_PTREXTENT, 0 },
3334 { "__ptrextent__", RID_PTREXTENT, 0 },
3335 { "__ptrvalue", RID_PTRVALUE, 0 },
3336 { "__ptrvalue__", RID_PTRVALUE, 0 },
3337 { "__real", RID_REALPART, 0 },
3338 { "__real__", RID_REALPART, 0 },
3339 { "__restrict", RID_RESTRICT, 0 },
3340 { "__restrict__", RID_RESTRICT, 0 },
3341 { "__signed", RID_SIGNED, 0 },
3342 { "__signed__", RID_SIGNED, 0 },
3343 { "__thread", RID_THREAD, 0 },
3344 { "__typeof", RID_TYPEOF, 0 },
3345 { "__typeof__", RID_TYPEOF, 0 },
3346 { "__unbounded", RID_UNBOUNDED, 0 },
3347 { "__unbounded__", RID_UNBOUNDED, 0 },
3348 { "__volatile", RID_VOLATILE, 0 },
3349 { "__volatile__", RID_VOLATILE, 0 },
3350 { "asm", RID_ASM, D_EXT },
3351 { "auto", RID_AUTO, 0 },
3352 { "break", RID_BREAK, 0 },
3353 { "case", RID_CASE, 0 },
3354 { "char", RID_CHAR, 0 },
3355 { "const", RID_CONST, 0 },
3356 { "continue", RID_CONTINUE, 0 },
3357 { "default", RID_DEFAULT, 0 },
3358 { "do", RID_DO, 0 },
3359 { "double", RID_DOUBLE, 0 },
3360 { "else", RID_ELSE, 0 },
3361 { "enum", RID_ENUM, 0 },
3362 { "extern", RID_EXTERN, 0 },
3363 { "float", RID_FLOAT, 0 },
3364 { "for", RID_FOR, 0 },
3365 { "goto", RID_GOTO, 0 },
3366 { "if", RID_IF, 0 },
3367 { "inline", RID_INLINE, D_EXT89 },
3368 { "int", RID_INT, 0 },
3369 { "long", RID_LONG, 0 },
3370 { "register", RID_REGISTER, 0 },
3371 { "restrict", RID_RESTRICT, D_C89 },
3372 { "return", RID_RETURN, 0 },
3373 { "short", RID_SHORT, 0 },
3374 { "signed", RID_SIGNED, 0 },
3375 { "sizeof", RID_SIZEOF, 0 },
3376 { "static", RID_STATIC, 0 },
3377 { "struct", RID_STRUCT, 0 },
3378 { "switch", RID_SWITCH, 0 },
3379 { "typedef", RID_TYPEDEF, 0 },
3380 { "typeof", RID_TYPEOF, D_EXT },
3381 { "union", RID_UNION, 0 },
3382 { "unsigned", RID_UNSIGNED, 0 },
3383 { "void", RID_VOID, 0 },
3384 { "volatile", RID_VOLATILE, 0 },
3385 { "while", RID_WHILE, 0 },
3387 { "id", RID_ID, D_OBJC },
3389 /* These objc keywords are recognized only immediately after
3391 { "class", RID_AT_CLASS, D_OBJC },
3392 { "compatibility_alias", RID_AT_ALIAS, D_OBJC },
3393 { "defs", RID_AT_DEFS, D_OBJC },
3394 { "encode", RID_AT_ENCODE, D_OBJC },
3395 { "end", RID_AT_END, D_OBJC },
3396 { "implementation", RID_AT_IMPLEMENTATION, D_OBJC },
3397 { "interface", RID_AT_INTERFACE, D_OBJC },
3398 { "private", RID_AT_PRIVATE, D_OBJC },
3399 { "protected", RID_AT_PROTECTED, D_OBJC },
3400 { "protocol", RID_AT_PROTOCOL, D_OBJC },
3401 { "public", RID_AT_PUBLIC, D_OBJC },
3402 { "selector", RID_AT_SELECTOR, D_OBJC },
3404 /* These are recognized only in protocol-qualifier context
3406 { "bycopy", RID_BYCOPY, D_OBJC },
3407 { "byref", RID_BYREF, D_OBJC },
3408 { "in", RID_IN, D_OBJC },
3409 { "inout", RID_INOUT, D_OBJC },
3410 { "oneway", RID_ONEWAY, D_OBJC },
3411 { "out", RID_OUT, D_OBJC },
3414 #define N_reswords (sizeof reswords / sizeof (struct resword))
3416 /* Table mapping from RID_* constants to yacc token numbers.
3417 Unfortunately we have to have entries for all the keywords in all
3419 static const short rid_to_yy[RID_MAX] =
3421 /* RID_STATIC */ STATIC,
3422 /* RID_UNSIGNED */ TYPESPEC,
3423 /* RID_LONG */ TYPESPEC,
3424 /* RID_CONST */ TYPE_QUAL,
3425 /* RID_EXTERN */ SCSPEC,
3426 /* RID_REGISTER */ SCSPEC,
3427 /* RID_TYPEDEF */ SCSPEC,
3428 /* RID_SHORT */ TYPESPEC,
3429 /* RID_INLINE */ SCSPEC,
3430 /* RID_VOLATILE */ TYPE_QUAL,
3431 /* RID_SIGNED */ TYPESPEC,
3432 /* RID_AUTO */ SCSPEC,
3433 /* RID_RESTRICT */ TYPE_QUAL,
3436 /* RID_BOUNDED */ TYPE_QUAL,
3437 /* RID_UNBOUNDED */ TYPE_QUAL,
3438 /* RID_COMPLEX */ TYPESPEC,
3439 /* RID_THREAD */ SCSPEC,
3443 /* RID_VIRTUAL */ 0,
3444 /* RID_EXPLICIT */ 0,
3446 /* RID_MUTABLE */ 0,
3449 /* RID_IN */ TYPE_QUAL,
3450 /* RID_OUT */ TYPE_QUAL,
3451 /* RID_INOUT */ TYPE_QUAL,
3452 /* RID_BYCOPY */ TYPE_QUAL,
3453 /* RID_BYREF */ TYPE_QUAL,
3454 /* RID_ONEWAY */ TYPE_QUAL,
3457 /* RID_INT */ TYPESPEC,
3458 /* RID_CHAR */ TYPESPEC,
3459 /* RID_FLOAT */ TYPESPEC,
3460 /* RID_DOUBLE */ TYPESPEC,
3461 /* RID_VOID */ TYPESPEC,
3462 /* RID_ENUM */ ENUM,
3463 /* RID_STRUCT */ STRUCT,
3464 /* RID_UNION */ UNION,
3466 /* RID_ELSE */ ELSE,
3467 /* RID_WHILE */ WHILE,
3470 /* RID_SWITCH */ SWITCH,
3471 /* RID_CASE */ CASE,
3472 /* RID_DEFAULT */ DEFAULT,
3473 /* RID_BREAK */ BREAK,
3474 /* RID_CONTINUE */ CONTINUE,
3475 /* RID_RETURN */ RETURN,
3476 /* RID_GOTO */ GOTO,
3477 /* RID_SIZEOF */ SIZEOF,
3480 /* RID_ASM */ ASM_KEYWORD,
3481 /* RID_TYPEOF */ TYPEOF,
3482 /* RID_ALIGNOF */ ALIGNOF,
3483 /* RID_ATTRIBUTE */ ATTRIBUTE,
3484 /* RID_VA_ARG */ VA_ARG,
3485 /* RID_EXTENSION */ EXTENSION,
3486 /* RID_IMAGPART */ IMAGPART,
3487 /* RID_REALPART */ REALPART,
3488 /* RID_LABEL */ LABEL,
3489 /* RID_PTRBASE */ PTR_BASE,
3490 /* RID_PTREXTENT */ PTR_EXTENT,
3491 /* RID_PTRVALUE */ PTR_VALUE,
3493 /* RID_CHOOSE_EXPR */ CHOOSE_EXPR,
3494 /* RID_TYPES_COMPATIBLE_P */ TYPES_COMPATIBLE_P,
3496 /* RID_FUNCTION_NAME */ STRING_FUNC_NAME,
3497 /* RID_PRETTY_FUNCTION_NAME */ STRING_FUNC_NAME,
3498 /* RID_C99_FUNCTION_NAME */ VAR_FUNC_NAME,
3501 /* RID_BOOL */ TYPESPEC,
3505 /* RID_PRIVATE */ 0,
3506 /* RID_PROTECTED */ 0,
3507 /* RID_TEMPLATE */ 0,
3512 /* RID_NAMESPACE */ 0,
3514 /* RID_OPERATOR */ 0,
3519 /* RID_TYPENAME */ 0,
3524 /* RID_CONSTCAST */ 0,
3525 /* RID_DYNCAST */ 0,
3526 /* RID_REINTCAST */ 0,
3527 /* RID_STATCAST */ 0,
3529 /* alternate spellings */
3543 /* RID_ID */ OBJECTNAME,
3544 /* RID_AT_ENCODE */ ENCODE,
3545 /* RID_AT_END */ END,
3546 /* RID_AT_CLASS */ CLASS,
3547 /* RID_AT_ALIAS */ ALIAS,
3548 /* RID_AT_DEFS */ DEFS,
3549 /* RID_AT_PRIVATE */ PRIVATE,
3550 /* RID_AT_PROTECTED */ PROTECTED,
3551 /* RID_AT_PUBLIC */ PUBLIC,
3552 /* RID_AT_PROTOCOL */ PROTOCOL,
3553 /* RID_AT_SELECTOR */ SELECTOR,
3554 /* RID_AT_INTERFACE */ INTERFACE,
3555 /* RID_AT_IMPLEMENTATION */ IMPLEMENTATION
3563 int mask = (flag_isoc99 ? 0 : D_C89)
3564 | (flag_no_asm ? (flag_isoc99 ? D_EXT : D_EXT|D_EXT89) : 0);
3566 if (c_language != clk_objective_c)
3569 /* It is not necessary to register ridpointers as a GC root, because
3570 all the trees it points to are permanently interned in the
3571 get_identifier hash anyway. */
3572 ridpointers = (tree *) xcalloc ((int) RID_MAX, sizeof (tree));
3573 for (i = 0; i < N_reswords; i++)
3575 /* If a keyword is disabled, do not enter it into the table
3576 and so create a canonical spelling that isn't a keyword. */
3577 if (reswords[i].disable & mask)
3580 id = get_identifier (reswords[i].word);
3581 C_RID_CODE (id) = reswords[i].rid;
3582 C_IS_RESERVED_WORD (id) = 1;
3583 ridpointers [(int) reswords[i].rid] = id;
3587 #define NAME(type) cpp_type2name (type)
3593 const char *string = _(msgid);
3595 if (last_token == CPP_EOF)
3596 error ("%s at end of input", string);
3597 else if (last_token == CPP_CHAR || last_token == CPP_WCHAR)
3599 unsigned int val = TREE_INT_CST_LOW (yylval.ttype);
3600 const char *const ell = (last_token == CPP_CHAR) ? "" : "L";
3601 if (val <= UCHAR_MAX && ISGRAPH (val))
3602 error ("%s before %s'%c'", string, ell, val);
3604 error ("%s before %s'\\x%x'", string, ell, val);
3606 else if (last_token == CPP_STRING
3607 || last_token == CPP_WSTRING)
3608 error ("%s before string constant", string);
3609 else if (last_token == CPP_NUMBER)
3610 error ("%s before numeric constant", string);
3611 else if (last_token == CPP_NAME)
3612 error ("%s before \"%s\"", string, IDENTIFIER_POINTER (yylval.ttype));
3614 error ("%s before '%s' token", string, NAME(last_token));
3623 int objc_force_identifier = objc_need_raw_identifier;
3624 OBJC_NEED_RAW_IDENTIFIER (0);
3627 if (C_IS_RESERVED_WORD (yylval.ttype))
3629 enum rid rid_code = C_RID_CODE (yylval.ttype);
3632 /* Turn non-typedefed refs to "id" into plain identifiers; this
3633 allows constructs like "void foo(id id);" to work. */
3634 if (rid_code == RID_ID)
3636 decl = lookup_name (yylval.ttype);
3637 if (decl == NULL_TREE || TREE_CODE (decl) != TYPE_DECL)
3641 if (!OBJC_IS_AT_KEYWORD (rid_code)
3642 && (!OBJC_IS_PQ_KEYWORD (rid_code) || objc_pq_context))
3645 int yycode = rid_to_yy[(int) rid_code];
3646 if (yycode == STRING_FUNC_NAME)
3648 /* __FUNCTION__ and __PRETTY_FUNCTION__ get converted
3649 to string constants. */
3650 const char *name = fname_string (rid_code);
3652 yylval.ttype = build_string (strlen (name) + 1, name);
3653 C_ARTIFICIAL_STRING_P (yylval.ttype) = 1;
3654 last_token = CPP_STRING; /* so yyerror won't choke */
3658 /* Return the canonical spelling for this keyword. */
3659 yylval.ttype = ridpointers[(int) rid_code];
3664 decl = lookup_name (yylval.ttype);
3667 if (TREE_CODE (decl) == TYPE_DECL)
3673 tree objc_interface_decl = is_class_name (yylval.ttype);
3674 /* ObjC class names are in the same namespace as variables and
3675 typedefs, and hence are shadowed by local declarations. */
3676 if (objc_interface_decl
3677 && (global_bindings_p ()
3678 || (!objc_force_identifier && !decl)))
3680 yylval.ttype = objc_interface_decl;
3689 /* Concatenate strings before returning them to the parser. This isn't quite
3690 as good as having it done in the lexer, but it's better than nothing. */
3695 enum cpp_ttype next_type;
3696 tree orig = yylval.ttype;
3698 next_type = c_lex (&yylval.ttype);
3699 if (next_type == CPP_STRING
3700 || next_type == CPP_WSTRING
3701 || (next_type == CPP_NAME && yylexname () == STRING))
3703 varray_type strings;
3706 static int last_lineno = 0;
3707 static const char *last_input_filename = 0;
3708 if (warn_traditional && !in_system_header
3709 && (lineno != last_lineno || !last_input_filename ||
3710 strcmp (last_input_filename, input_filename)))
3712 warning ("traditional C rejects string concatenation");
3713 last_lineno = lineno;
3714 last_input_filename = input_filename;
3718 VARRAY_TREE_INIT (strings, 32, "strings");
3719 VARRAY_PUSH_TREE (strings, orig);
3723 VARRAY_PUSH_TREE (strings, yylval.ttype);
3724 next_type = c_lex (&yylval.ttype);
3726 while (next_type == CPP_STRING
3727 || next_type == CPP_WSTRING
3728 || (next_type == CPP_NAME && yylexname () == STRING));
3730 yylval.ttype = combine_strings (strings);
3733 yylval.ttype = orig;
3735 /* We will have always read one token too many. */
3736 _cpp_backup_tokens (parse_in, 1);
3745 last_token = c_lex (&yylval.ttype);
3748 case CPP_EQ: return '=';
3749 case CPP_NOT: return '!';
3750 case CPP_GREATER: yylval.code = GT_EXPR; return ARITHCOMPARE;
3751 case CPP_LESS: yylval.code = LT_EXPR; return ARITHCOMPARE;
3752 case CPP_PLUS: yylval.code = PLUS_EXPR; return '+';
3753 case CPP_MINUS: yylval.code = MINUS_EXPR; return '-';
3754 case CPP_MULT: yylval.code = MULT_EXPR; return '*';
3755 case CPP_DIV: yylval.code = TRUNC_DIV_EXPR; return '/';
3756 case CPP_MOD: yylval.code = TRUNC_MOD_EXPR; return '%';
3757 case CPP_AND: yylval.code = BIT_AND_EXPR; return '&';
3758 case CPP_OR: yylval.code = BIT_IOR_EXPR; return '|';
3759 case CPP_XOR: yylval.code = BIT_XOR_EXPR; return '^';
3760 case CPP_RSHIFT: yylval.code = RSHIFT_EXPR; return RSHIFT;
3761 case CPP_LSHIFT: yylval.code = LSHIFT_EXPR; return LSHIFT;
3763 case CPP_COMPL: return '~';
3764 case CPP_AND_AND: return ANDAND;
3765 case CPP_OR_OR: return OROR;
3766 case CPP_QUERY: return '?';
3767 case CPP_OPEN_PAREN: return '(';
3768 case CPP_EQ_EQ: yylval.code = EQ_EXPR; return EQCOMPARE;
3769 case CPP_NOT_EQ: yylval.code = NE_EXPR; return EQCOMPARE;
3770 case CPP_GREATER_EQ:yylval.code = GE_EXPR; return ARITHCOMPARE;
3771 case CPP_LESS_EQ: yylval.code = LE_EXPR; return ARITHCOMPARE;
3773 case CPP_PLUS_EQ: yylval.code = PLUS_EXPR; return ASSIGN;
3774 case CPP_MINUS_EQ: yylval.code = MINUS_EXPR; return ASSIGN;
3775 case CPP_MULT_EQ: yylval.code = MULT_EXPR; return ASSIGN;
3776 case CPP_DIV_EQ: yylval.code = TRUNC_DIV_EXPR; return ASSIGN;
3777 case CPP_MOD_EQ: yylval.code = TRUNC_MOD_EXPR; return ASSIGN;
3778 case CPP_AND_EQ: yylval.code = BIT_AND_EXPR; return ASSIGN;
3779 case CPP_OR_EQ: yylval.code = BIT_IOR_EXPR; return ASSIGN;
3780 case CPP_XOR_EQ: yylval.code = BIT_XOR_EXPR; return ASSIGN;
3781 case CPP_RSHIFT_EQ: yylval.code = RSHIFT_EXPR; return ASSIGN;
3782 case CPP_LSHIFT_EQ: yylval.code = LSHIFT_EXPR; return ASSIGN;
3784 case CPP_OPEN_SQUARE: return '[';
3785 case CPP_CLOSE_SQUARE: return ']';
3786 case CPP_OPEN_BRACE: return '{';
3787 case CPP_CLOSE_BRACE: return '}';
3788 case CPP_ELLIPSIS: return ELLIPSIS;
3790 case CPP_PLUS_PLUS: return PLUSPLUS;
3791 case CPP_MINUS_MINUS: return MINUSMINUS;
3792 case CPP_DEREF: return POINTSAT;
3793 case CPP_DOT: return '.';
3795 /* The following tokens may affect the interpretation of any
3796 identifiers following, if doing Objective-C. */
3797 case CPP_COLON: OBJC_NEED_RAW_IDENTIFIER (0); return ':';
3798 case CPP_COMMA: OBJC_NEED_RAW_IDENTIFIER (0); return ',';
3799 case CPP_CLOSE_PAREN: OBJC_NEED_RAW_IDENTIFIER (0); return ')';
3800 case CPP_SEMICOLON: OBJC_NEED_RAW_IDENTIFIER (0); return ';';
3807 int ret = yylexname ();
3809 return yylexstring ();
3821 return yylexstring ();
3823 /* This token is Objective-C specific. It gives the next token
3824 special significance. */
3829 enum cpp_ttype after_at_type;
3831 after_at_type = c_lex (&after_at);
3833 if (after_at_type == CPP_NAME
3834 && C_IS_RESERVED_WORD (after_at)
3835 && OBJC_IS_AT_KEYWORD (C_RID_CODE (after_at)))
3837 yylval.ttype = after_at;
3838 last_token = after_at_type;
3839 return rid_to_yy [(int) C_RID_CODE (after_at)];
3841 _cpp_backup_tokens (parse_in, 1);
3846 /* These tokens are C++ specific (and will not be generated
3847 in C mode, but let's be cautious). */
3849 case CPP_DEREF_STAR:
3855 /* These tokens should not survive translation phase 4. */
3858 error ("syntax error at '%s' token", NAME(last_token));
3871 timevar_push (TV_LEX);
3873 timevar_pop (TV_LEX);
3877 /* Function used when yydebug is set, to print a token in more detail. */
3880 yyprint (file, yychar, yyl)
3887 fprintf (file, " [%s]", NAME(last_token));
3898 if (IDENTIFIER_POINTER (t))
3899 fprintf (file, " `%s'", IDENTIFIER_POINTER (t));
3903 fprintf (file, " %s", GET_MODE_NAME (TYPE_MODE (TREE_TYPE (t))));
3904 if (TREE_CODE (t) == INTEGER_CST)
3906 #if HOST_BITS_PER_WIDE_INT == 64
3907 #if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_INT
3910 #if HOST_BITS_PER_WIDE_INT == HOST_BITS_PER_LONG
3917 #if HOST_BITS_PER_WIDE_INT != HOST_BITS_PER_INT
3923 TREE_INT_CST_HIGH (t), TREE_INT_CST_LOW (t));
3928 /* This is not the ideal place to put these, but we have to get them out
3929 of c-lex.c because cp/lex.c has its own versions. */
3931 /* Free malloced parser stacks if necessary. */
3934 free_parser_stacks ()
3938 free (malloced_yyss);
3939 free (malloced_yyvs);
3943 #include "gt-c-parse.h"