OSDN Git Service

* gcj.texi (Linking): New node. Document -lgij usage.
[pf3gnuchains/gcc-fork.git] / gcc / c-parse.in
index 7589e73..d701391 100644 (file)
@@ -29,7 +29,7 @@ Software Foundation, 59 Temple Place - Suite 330, Boston, MA
    written by AT&T, but I have never seen it.  */
 
 @@ifc
-%expect 10 /* shift/reduce conflicts, and no reduce/reduce conflicts.  */
+%expect 13 /* shift/reduce conflicts, and no reduce/reduce conflicts.  */
 @@end_ifc
 
 %{
@@ -174,8 +174,9 @@ do {                                                                        \
 
 /* The Objective-C keywords.  These are included in C and in
    Objective C, so that the token codes are the same in both.  */
-%token INTERFACE IMPLEMENTATION END SELECTOR DEFS ENCODE
-%token CLASSNAME PUBLIC PRIVATE PROTECTED PROTOCOL OBJECTNAME CLASS ALIAS
+%token AT_INTERFACE AT_IMPLEMENTATION AT_END AT_SELECTOR AT_DEFS AT_ENCODE
+%token CLASSNAME AT_PUBLIC AT_PRIVATE AT_PROTECTED AT_PROTOCOL 
+%token OBJECTNAME AT_CLASS AT_ALIAS
 %token AT_THROW AT_TRY AT_CATCH AT_FINALLY AT_SYNCHRONIZED
 %token OBJC_STRING
 
@@ -209,9 +210,10 @@ do {                                                                       \
 %type <ttype> any_word
 
 %type <ttype> compstmt compstmt_start compstmt_primary_start
-%type <ttype> do_stmt_start stmt label
+%type <ttype> stmt label stmt_nocomp start_break start_continue
 
 %type <ttype> c99_block_start c99_block_lineno_labeled_stmt
+%type <ttype> if_statement_1 if_statement_2
 %type <ttype> declarator
 %type <ttype> notype_declarator after_type_declarator
 %type <ttype> parm_declarator
@@ -226,7 +228,8 @@ do {                                                                        \
 %type <ttype> struct_head union_head enum_head
 %type <ttype> typename absdcl absdcl1 absdcl1_ea absdcl1_noea
 %type <ttype> direct_absdcl1 absdcl_maybe_attribute
-%type <ttype> xexpr parms parm firstparm identifiers
+%type <ttype> condition xexpr for_cond_expr for_incr_expr
+%type <ttype> parms parm firstparm identifiers
 
 %type <ttype> parmlist parmlist_1 parmlist_2
 %type <ttype> parmlist_or_identifiers parmlist_or_identifiers_1
@@ -250,20 +253,9 @@ do {                                                                       \
 %type <ttype> CLASSNAME OBJECTNAME OBJC_STRING
 
 %type <ttype> superclass
-%type <itype> objc_try_catch_stmt objc_finally_block
 @@end_ifobjc
 \f
 %{
-/* Number of statements (loosely speaking) and compound statements
-   seen so far.  */
-static int stmt_count;
-static int compstmt_count;
-
-/* Input location of the end of the body of last simple_if;
-   used by the stmt-rule immediately after simple_if returns.  */
-static location_t if_stmt_locus;
-
-
 /* List of types and structure classes of the current declaration.  */
 static GTY(()) tree current_declspecs;
 static GTY(()) tree prefix_attributes;
@@ -1331,12 +1323,12 @@ typespec_nonreserved_nonattr:
        | CLASSNAME protocolrefs
                { $$ = get_static_reference ($1, $2); }
        | OBJECTNAME protocolrefs
-               { $$ = get_object_reference ($2); }
+               { $$ = get_protocol_reference ($2); }
 
 /* Make "<SomeProtocol>" equivalent to "id <SomeProtocol>"
    - nisse@lysator.liu.se */
         | non_empty_protocolrefs
-                { $$ = get_object_reference ($1); }
+                { $$ = get_protocol_reference ($1); }
 @@end_ifobjc
        | typeof '(' expr ')'
                { skip_evaluation--;
@@ -1519,7 +1511,7 @@ designator:
        ;
 \f
 nested_function:
-         declarator
+       declarator
                { if (pedantic)
                    pedwarn ("ISO C forbids nested functions");
 
@@ -1531,25 +1523,25 @@ nested_function:
                      YYERROR1;
                    }
                }
-          old_style_parm_decls save_location
+       old_style_parm_decls save_location
                { tree decl = current_function_decl;
                  DECL_SOURCE_LOCATION (decl) = $4;
                  store_parm_decls (); }
-/* This used to use compstmt_or_error.
-   That caused a bug with input `f(g) int g {}',
-   where the use of YYERROR1 above caused an error
-   which then was handled by compstmt_or_error.
-   There followed a repeated execution of that same rule,
-   which called YYERROR1 again, and so on.  */
-         compstmt
+       /* This used to use compstmt_or_error.  That caused a bug with
+          input `f(g) int g {}', where the use of YYERROR1 above caused
+          an error which then was handled by compstmt_or_error.  There
+          followed a repeated execution of that same rule, which called
+          YYERROR1 again, and so on.  */
+       compstmt
                { tree decl = current_function_decl;
+                 add_stmt ($6);
                  finish_function ();
                  pop_function_context ();
-                 add_decl_stmt (decl); }
+                 add_stmt (build_stmt (DECL_EXPR, decl)); }
        ;
 
 notype_nested_function:
-         notype_declarator
+       notype_declarator
                { if (pedantic)
                    pedwarn ("ISO C forbids nested functions");
 
@@ -1561,21 +1553,21 @@ notype_nested_function:
                      YYERROR1;
                    }
                }
-         old_style_parm_decls save_location
+       old_style_parm_decls save_location
                { tree decl = current_function_decl;
                  DECL_SOURCE_LOCATION (decl) = $4;
                  store_parm_decls (); }
-/* This used to use compstmt_or_error.
-   That caused a bug with input `f(g) int g {}',
-   where the use of YYERROR1 above caused an error
-   which then was handled by compstmt_or_error.
-   There followed a repeated execution of that same rule,
-   which called YYERROR1 again, and so on.  */
-         compstmt
+       /* This used to use compstmt_or_error.  That caused a bug with
+          input `f(g) int g {}', where the use of YYERROR1 above caused
+          an error which then was handled by compstmt_or_error.  There
+          followed a repeated execution of that same rule, which called
+          YYERROR1 again, and so on.  */
+       compstmt
                { tree decl = current_function_decl;
+                 add_stmt ($6);
                  finish_function ();
                  pop_function_context ();
-                 add_decl_stmt (decl); }
+                 add_stmt (build_stmt (DECL_EXPR, decl)); }
        ;
 
 /* Any kind of declarator (thus, all declarators allowed
@@ -1765,7 +1757,7 @@ component_decl_list2:     /* empty */
                    pedwarn ("extra semicolon in struct or union specified"); }
 @@ifobjc
        /* foo(sizeof(struct{ @defs(ClassName)})); */
-       | DEFS '(' CLASSNAME ')'
+       | AT_DEFS '(' CLASSNAME ')'
                { $$ = nreverse (get_class_ivars_from_name ($3)); }
 @@end_ifobjc
        ;
@@ -2024,7 +2016,7 @@ label_decl:
                    {
                      tree label = declare_label (TREE_VALUE (link));
                      C_DECLARED_LABEL_FLAG (label) = 1;
-                     add_decl_stmt (label);
+                     add_stmt (build_stmt (DECL_EXPR, label));
                    }
                }
        ;
@@ -2033,12 +2025,11 @@ label_decl:
    It causes syntax errors to ignore to the next openbrace.  */
 compstmt_or_error:
          compstmt
-               {}
+               { add_stmt ($1); }
        | error compstmt
        ;
 
-compstmt_start: '{' { compstmt_count++;
-                      $$ = c_begin_compound_stmt (true); }
+compstmt_start: '{' { $$ = c_begin_compound_stmt (true); }
         ;
 
 compstmt_nostart: '}'
@@ -2058,64 +2049,12 @@ compstmt_primary_start:
                             "only inside a function");
                      YYERROR;
                    }
-                 compstmt_count++;
                  $$ = c_begin_stmt_expr ();
                }
         ;
 
 compstmt: compstmt_start compstmt_nostart
-               { add_stmt (c_end_compound_stmt ($1, true));
-                 $$ = NULL_TREE; }
-       ;
-
-/* Value is number of statements counted as of the closeparen.  */
-simple_if:
-         if_prefix c99_block_lineno_labeled_stmt
-                { c_finish_then ($2); }
-/* Make sure c_expand_end_cond is run once
-   for each call to c_expand_start_cond.
-   Otherwise a crash is likely.  */
-       | if_prefix error
-       ;
-
-if_prefix:
-         /* We must build the IF_STMT node before parsing its
-            condition so that EXPR_LOCUS refers to the line
-            containing the "if", and not the line containing
-            the close-parenthesis.
-
-            c_begin_if_stmt returns the IF_STMT node, which
-            we later pass to c_expand_start_cond to fill
-            in the condition and other tidbits.  */
-          IF
-                { $<ttype>$ = c_begin_if_stmt (); }
-            '(' expr ')'
-               { c_expand_start_cond (lang_hooks.truthvalue_conversion ($4),
-                                      compstmt_count,$<ttype>2);
-                 $<itype>$ = stmt_count;
-                 if_stmt_locus = $<location>-1; }
-        ;
-
-/* This is a subroutine of stmt.
-   It is used twice, once for valid DO statements
-   and once for catching errors in parsing the end test.  */
-do_stmt_start:
-         DO
-               { stmt_count++;
-                 compstmt_count++;
-                 c_in_iteration_stmt++;
-                 $<ttype>$
-                   = add_stmt (build_stmt (DO_STMT, NULL_TREE,
-                                           NULL_TREE));
-                 /* In the event that a parse error prevents
-                    parsing the complete do-statement, set the
-                    condition now.  Otherwise, we can get crashes at
-                    RTL-generation time.  */
-                 DO_COND ($<ttype>$) = error_mark_node; }
-         c99_block_lineno_labeled_stmt WHILE
-               { $$ = $<ttype>2;
-                 DO_BODY ($$) = $3;
-                 c_in_iteration_stmt--; }
+               { $$ = c_end_compound_stmt ($1, true); }
        ;
 
 /* The forced readahead in here is because we might be at the end of a
@@ -2128,14 +2067,14 @@ save_location:
                  $$ = input_location; }
        ;
 
-lineno_labeled_stmt:
-         lineno_stmt
-       | lineno_label lineno_labeled_stmt
+lineno_labels:
+         /* empty */
+       | lineno_labels lineno_label
        ;
 
-/* Like lineno_labeled_stmt, but a block in C99.  */
+/* A labeled statement.  In C99 it also generates an implicit block.  */
 c99_block_lineno_labeled_stmt:
-         c99_block_start lineno_labeled_stmt
+         c99_block_start lineno_labels lineno_stmt
                 { $$ = c_end_compound_stmt ($1, flag_isoc99); }
        ;
 
@@ -2153,95 +2092,85 @@ lineno_stmt:
                     because (recursively) all of the component statments
                     should already have line numbers assigned.  */
                  if ($2 && EXPR_P ($2))
-                   {
-                     SET_EXPR_LOCUS ($2, NULL);
-                     annotate_with_locus ($2, $1);
-                   }
+                   SET_EXPR_LOCATION ($2, $1);
                }
        ;
 
 lineno_label:
          save_location label
-               { if ($2)
-                   {
-                     SET_EXPR_LOCUS ($2, NULL);
-                     annotate_with_locus ($2, $1);
-                   }
-               }
+               { if ($2) SET_EXPR_LOCATION ($2, $1); }
        ;
 
-select_or_iter_stmt:
-         simple_if ELSE
-               { c_expand_start_else ();
-                 $<itype>1 = stmt_count; }
-         c99_block_lineno_labeled_stmt
-                { c_finish_else ($4);
-                 c_expand_end_cond ();
-                 if (extra_warnings && stmt_count == $<itype>1)
-                   warning ("empty body in an else-statement"); }
-       | simple_if %prec IF
-               { c_expand_end_cond ();
-                 /* This warning is here instead of in simple_if, because we
-                    do not want a warning if an empty if is followed by an
-                    else statement.  Increment stmt_count so we don't
-                    give a second error if this is a nested `if'.  */
-                 if (extra_warnings && stmt_count++ == $<itype>1)
-                   warning ("%Hempty body in an if-statement",
-                             &if_stmt_locus); }
-/* Make sure c_expand_end_cond is run once
-   for each call to c_expand_start_cond.
-   Otherwise a crash is likely.  */
-       | simple_if ELSE error
-               { c_expand_end_cond (); }
-       /* We must build the WHILE_STMT node before parsing its
-         condition so that EXPR_LOCUS refers to the line
-         containing the "while", and not the line containing
-         the close-parenthesis.
-
-         c_begin_while_stmt returns the WHILE_STMT node, which
-         we later pass to c_finish_while_stmt_cond to fill
-         in the condition and other tidbits.  */
-       | WHILE
-                { stmt_count++;
-                 $<ttype>$ = c_begin_while_stmt (); }
-         '(' expr ')'
-                { c_in_iteration_stmt++;
-                 c_finish_while_stmt_cond ($4, $<ttype>2); }
-         c99_block_lineno_labeled_stmt
-                { c_in_iteration_stmt--;
-                 c_finish_while_stmt ($7, $<ttype>2); }
-       | do_stmt_start
-         '(' expr ')' ';'
-                { DO_COND ($1) = lang_hooks.truthvalue_conversion ($3); }
-       | do_stmt_start error
-               { }
-       | FOR
-               { $<ttype>$ = c_begin_for_stmt (); }
-         '(' for_init_stmt
-               { stmt_count++;
-                 c_finish_for_stmt_init ($<ttype>2); }
-         xexpr ';'
-                { c_finish_for_stmt_cond ($6, $<ttype>2); }
-         xexpr ')'
-                { c_in_iteration_stmt++;
-                 c_finish_for_stmt_incr ($9, $<ttype>2); }
-         c99_block_lineno_labeled_stmt
-                { c_finish_for_stmt ($12, $<ttype>2);
-                 c_in_iteration_stmt--; }
-       | SWITCH '(' expr ')'
-               { stmt_count++;
-                 $<ttype>$ = c_start_case ($3);
-                 c_in_case_stmt++; }
-         c99_block_lineno_labeled_stmt
-                { c_finish_case ($6);
-                 c_in_case_stmt--; }
+condition: save_location expr
+               { $$ = lang_hooks.truthvalue_conversion ($2);
+                 if (EXPR_P ($$))
+                   SET_EXPR_LOCATION ($$, $1); }
        ;
 
-for_init_stmt:
-         xexpr ';'
-               { add_stmt (build_stmt (EXPR_STMT, $1)); }
-       | decl
-               { check_for_loop_decls (); }
+/* Implement -Wparenthesis by special casing IF statement directly nested
+   within IF statement.  This requires some amount of duplication of the
+   productions under c99_block_lineno_labeled_stmt in order to work out.
+   But it's still likely more maintainable than lots of state outside the
+   parser...  */
+
+if_statement_1:
+       c99_block_start lineno_labels if_statement
+               { $$ = c_end_compound_stmt ($1, flag_isoc99); }
+       ;
+
+if_statement_2:
+         c99_block_start lineno_labels ';'
+               { if (extra_warnings)
+                   add_stmt (build (NOP_EXPR, NULL_TREE, NULL_TREE));
+                 $$ = c_end_compound_stmt ($1, flag_isoc99); }
+       | c99_block_lineno_labeled_stmt
+       ;
+
+if_statement:
+         IF c99_block_start save_location '(' condition ')'
+           if_statement_1 ELSE if_statement_2
+               { c_finish_if_stmt ($3, $5, $7, $9, true);
+                 add_stmt (c_end_compound_stmt ($2, flag_isoc99)); }
+       | IF c99_block_start save_location '(' condition ')'
+           if_statement_2 ELSE if_statement_2
+               { c_finish_if_stmt ($3, $5, $7, $9, false);
+                 add_stmt (c_end_compound_stmt ($2, flag_isoc99)); }
+       | IF c99_block_start save_location '(' condition ')'
+           if_statement_1                              %prec IF
+               { c_finish_if_stmt ($3, $5, $7, NULL, true);
+                 add_stmt (c_end_compound_stmt ($2, flag_isoc99)); }
+       | IF c99_block_start save_location '(' condition ')'
+           if_statement_2                              %prec IF
+               { c_finish_if_stmt ($3, $5, $7, NULL, false);
+                 add_stmt (c_end_compound_stmt ($2, flag_isoc99)); }
+       ;
+
+start_break: /* empty */
+               { $$ = c_break_label; c_break_label = NULL; }
+       ;
+
+start_continue: /* empty */
+               { $$ = c_cont_label; c_cont_label = NULL; }
+       ;
+
+while_statement:
+       WHILE c99_block_start save_location '(' condition ')'
+       start_break start_continue c99_block_lineno_labeled_stmt
+               { c_finish_loop ($3, $5, NULL, $9, c_break_label,
+                                c_cont_label, true);
+                 add_stmt (c_end_compound_stmt ($2, flag_isoc99));
+                 c_break_label = $7; c_cont_label = $8; }
+       ;
+
+do_statement:
+       DO c99_block_start save_location start_break start_continue
+       c99_block_lineno_labeled_stmt WHILE
+               { $<ttype>$ = c_break_label; c_break_label = $4; }
+               { $<ttype>$ = c_cont_label; c_cont_label = $5; }
+       '(' condition ')' ';'
+                { c_finish_loop ($3, $11, NULL, $6, $<ttype>8,
+                                $<ttype>9, false);
+                 add_stmt (c_end_compound_stmt ($2, flag_isoc99)); }
        ;
 
 xexpr:
@@ -2250,136 +2179,150 @@ xexpr:
        | expr
        ;
 
-/* Parse a single real statement, not including any labels.  */
-stmt:
-         compstmt
-               { stmt_count++; $$ = $1; }
-       | expr ';'
-               { stmt_count++;
-                 $$ = c_expand_expr_stmt ($1); }
-       | c99_block_start select_or_iter_stmt
-                { add_stmt (c_end_compound_stmt ($1, flag_isoc99));
-                 $$ = NULL_TREE; }
-       | BREAK ';'
-               { stmt_count++;
-                 if (!(c_in_iteration_stmt || c_in_case_stmt))
+for_init_stmt:
+         xexpr ';'
+               { c_finish_expr_stmt ($1); }
+       | decl
+               { check_for_loop_decls (); }
+       ;
+
+for_cond_expr: save_location xexpr
+               { if ($2)
                    {
-                     error ("break statement not within loop or switch");
-                     $$ = NULL_TREE;
+                     $$ = lang_hooks.truthvalue_conversion ($2);
+                     if (EXPR_P ($$))
+                       SET_EXPR_LOCATION ($$, $1);
                    }
                  else
-                   $$ = add_stmt (build_break_stmt ()); }
+                   $$ = NULL;
+               }
+       ;
+
+for_incr_expr: xexpr
+               { $$ = c_process_expr_stmt ($1); }
+       ;
+
+for_statement:
+       FOR c99_block_start '(' for_init_stmt
+       save_location for_cond_expr ';' for_incr_expr ')'
+       start_break start_continue c99_block_lineno_labeled_stmt
+               { c_finish_loop ($5, $6, $8, $12, c_break_label,
+                                c_cont_label, true);
+                 add_stmt (c_end_compound_stmt ($2, flag_isoc99));
+                 c_break_label = $10; c_cont_label = $11; }
+       ;
+
+switch_statement:
+       SWITCH c99_block_start '(' expr ')'
+               { $<ttype>$ = c_start_case ($4); }
+       start_break c99_block_lineno_labeled_stmt
+                { c_finish_case ($8);
+                 if (c_break_label)
+                   add_stmt (build (LABEL_EXPR, void_type_node,
+                                    c_break_label));
+                 c_break_label = $7;
+                 add_stmt (c_end_compound_stmt ($2, flag_isoc99)); }
+       ;
+
+/* Parse a single real statement, not including any labels or compounds.  */
+stmt_nocomp:
+         expr ';'
+               { $$ = c_finish_expr_stmt ($1); }
+       | if_statement
+               { $$ = NULL_TREE; }
+       | while_statement
+               { $$ = NULL_TREE; }
+       | do_statement
+               { $$ = NULL_TREE; }
+       | for_statement
+               { $$ = NULL_TREE; }
+       | switch_statement
+               { $$ = NULL_TREE; }
+       | BREAK ';'
+               { $$ = c_finish_bc_stmt (&c_break_label, true); }
        | CONTINUE ';'
-                { stmt_count++;
-                 if (!c_in_iteration_stmt)
-                   {
-                     error ("continue statement not within a loop");
-                     $$ = NULL_TREE;
-                   }
-                 else
-                   $$ = add_stmt (build_continue_stmt ()); }
+                { $$ = c_finish_bc_stmt (&c_cont_label, false); }
        | RETURN ';'
-                { stmt_count++;
-                 $$ = c_expand_return (NULL_TREE); }
+                { $$ = c_finish_return (NULL_TREE); }
        | RETURN expr ';'
-                { stmt_count++;
-                 $$ = c_expand_return ($2); }
+                { $$ = c_finish_return ($2); }
        | asm_stmt
        | GOTO identifier ';'
-               { tree decl;
-                 stmt_count++;
-                 decl = lookup_label ($2);
-                 if (decl != 0)
-                   {
-                     TREE_USED (decl) = 1;
-                     $$ = add_stmt (build_stmt (GOTO_STMT, decl));
-                   }
-                 else
-                   $$ = NULL_TREE;
-               }
+               { $$ = c_finish_goto_label ($2); }
        | GOTO '*' expr ';'
-               { if (pedantic)
-                   pedwarn ("ISO C forbids `goto *expr;'");
-                 stmt_count++;
-                 $3 = convert (ptr_type_node, $3);
-                 $$ = add_stmt (build_stmt (GOTO_STMT, $3)); }
+               { $$ = c_finish_goto_ptr ($3); }
        | ';'
                { $$ = NULL_TREE; }
 @@ifobjc
        | AT_THROW expr ';'
-               { stmt_count++;
-                 $$ = objc_build_throw_stmt ($2);
-               }
+               { $$ = objc_build_throw_stmt ($2); }
        | AT_THROW ';'
-               { stmt_count++;
-                 $$ = objc_build_throw_stmt (NULL_TREE);
-               }
+               { $$ = objc_build_throw_stmt (NULL_TREE); }
        | objc_try_catch_stmt
-               { objc_build_finally_prologue (); }
-         objc_finally_block
-               { $$ = objc_build_try_catch_finally_stmt ($1, $3); }
-       | AT_SYNCHRONIZED '(' expr ')'
-               { objc_build_synchronized_prologue ($3); }
-         compstmt
-               { $$ = objc_build_synchronized_epilogue (); }
+               { $$ = NULL_TREE; }
+       | AT_SYNCHRONIZED save_location '(' expr ')' compstmt
+               { objc_build_synchronized ($2, $4, $6); $$ = NULL_TREE; }
        ;
 
-objc_try_catch_stmt:
-         objc_try_stmt
-               { objc_build_try_epilogue (1); }
-         objc_catch_list
-               { objc_build_catch_epilogue (); $$ = 1; }
-       | objc_try_stmt
-               { objc_build_try_epilogue (0); $$ = 0; }
+objc_catch_prefix:
+       AT_CATCH '(' parm ')'
+               { objc_begin_catch_clause ($3); }
        ;
 
+objc_catch_clause:
+         objc_catch_prefix '{' compstmt_nostart
+               { objc_finish_catch_clause (); }
+       | objc_catch_prefix '{' error '}'
+               { objc_finish_catch_clause (); }
+       ;
 
-objc_try_stmt:
-         AT_TRY
-               { objc_build_try_prologue (); }
-         compstmt
+objc_opt_catch_list:
+         /* empty */
+       | objc_opt_catch_list objc_catch_clause
        ;
 
-objc_catch_list:
-         objc_catch_list objc_catch_block
-       | objc_catch_block
+objc_try_catch_clause:
+       AT_TRY save_location compstmt
+               { objc_begin_try_stmt ($2, $3); }
+       objc_opt_catch_list
        ;
 
-objc_catch_block:
-         AT_CATCH '(' parm ')'
-               { objc_build_catch_stmt ($3); }
-         compstmt
-               { stmt_count++; }
+objc_finally_clause:
+       AT_FINALLY save_location compstmt
+               { objc_build_finally_clause ($2, $3); }
        ;
 
-objc_finally_block:
-         AT_FINALLY compstmt
-           { $$ = 1; }
-       | /* NULL */
-           { $$ = 0; }
+objc_try_catch_stmt:
+         objc_try_catch_clause
+               { objc_finish_try_stmt (); }
+       | objc_try_catch_clause objc_finally_clause
+               { objc_finish_try_stmt (); }
 @@end_ifobjc
        ;
 
+/* Parse a single or compound real statement, not including any labels.  */
+stmt:
+         compstmt
+               { add_stmt ($1); $$ = NULL_TREE; }
+       | stmt_nocomp
+       ;
+
 /* Any kind of label, including jump labels and case labels.
    ANSI C accepts labels only before statements, but we allow them
    also at the end of a compound statement.  */
 
 label:   CASE expr_no_commas ':'
-                { stmt_count++;
-                 $$ = do_case ($2, NULL_TREE); }
+                { $$ = do_case ($2, NULL_TREE); }
        | CASE expr_no_commas ELLIPSIS expr_no_commas ':'
-                { stmt_count++;
-                 $$ = do_case ($2, $4); }
+                { $$ = do_case ($2, $4); }
        | DEFAULT ':'
-                { stmt_count++;
-                 $$ = do_case (NULL_TREE, NULL_TREE); }
+                { $$ = do_case (NULL_TREE, NULL_TREE); }
        | identifier save_location ':' maybe_attribute
                { tree label = define_label ($2, $1);
-                 stmt_count++;
                  if (label)
                    {
                      decl_attributes (&label, $4, 0);
-                     $$ = add_stmt (build_stmt (LABEL_STMT, label));
+                     $$ = add_stmt (build_stmt (LABEL_EXPR, label));
                    }
                  else
                    $$ = NULL_TREE;
@@ -2416,8 +2359,7 @@ asmdef:
 asm_stmt:
        ASM_KEYWORD maybe_volatile stop_string_translation
                '(' asm_argument ')' start_string_translation ';'
-               { stmt_count++;
-                 $$ = build_asm_stmt ($2, $5); }
+               { $$ = build_asm_stmt ($2, $5); }
        ;
 
 asm_argument:
@@ -2664,7 +2606,7 @@ objcdef:
        | aliasdecl
        | protocoldef
        | methoddef
-       | END
+       | AT_END
                {
                  if (objc_implementation_context)
                     {
@@ -2686,14 +2628,14 @@ identifier_list:
        ;
 
 classdecl:
-         CLASS identifier_list ';'
+         AT_CLASS identifier_list ';'
                {
                  objc_declare_class ($2);
                }
        ;
 
 aliasdecl:
-         ALIAS identifier identifier ';'
+         AT_ALIAS identifier identifier ';'
                {
                  objc_declare_alias ($2, $3);
                }
@@ -2710,7 +2652,7 @@ class_ivars:
        ;
 
 classdef:
-         INTERFACE identifier superclass protocolrefs
+         AT_INTERFACE identifier superclass protocolrefs
                {
                  objc_interface_context = objc_ivar_context
                    = start_class (CLASS_INTERFACE_TYPE, $2, $3, $4);
@@ -2720,13 +2662,13 @@ classdef:
                {
                   continue_class (objc_interface_context);
                }
-         methodprotolist END
+         methodprotolist AT_END
                {
                  finish_class (objc_interface_context);
                  objc_interface_context = NULL_TREE;
                }
 
-       | IMPLEMENTATION identifier superclass
+       | AT_IMPLEMENTATION identifier superclass
                {
                  objc_implementation_context = objc_ivar_context
                    = start_class (CLASS_IMPLEMENTATION_TYPE, $2, $3, NULL_TREE);
@@ -2738,19 +2680,19 @@ classdef:
                    = continue_class (objc_implementation_context);
                }
 
-       | INTERFACE identifier '(' identifier ')' protocolrefs
+       | AT_INTERFACE identifier '(' identifier ')' protocolrefs
                {
                  objc_interface_context
                    = start_class (CATEGORY_INTERFACE_TYPE, $2, $4, $6);
                   continue_class (objc_interface_context);
                }
-         methodprotolist END
+         methodprotolist AT_END
                {
                  finish_class (objc_interface_context);
                  objc_interface_context = NULL_TREE;
                }
 
-       | IMPLEMENTATION identifier '(' identifier ')'
+       | AT_IMPLEMENTATION identifier '(' identifier ')'
                {
                  objc_implementation_context
                    = start_class (CATEGORY_IMPLEMENTATION_TYPE, $2, $4, NULL_TREE);
@@ -2760,13 +2702,13 @@ classdef:
        ;
 
 protocoldef:
-         PROTOCOL identifier protocolrefs
+         AT_PROTOCOL identifier protocolrefs
                {
                  objc_pq_context = 1;
                  objc_interface_context
                    = start_protocol(PROTOCOL_INTERFACE_TYPE, $2, $3);
                }
-         methodprotolist END
+         methodprotolist AT_END
                {
                  objc_pq_context = 0;
                  finish_protocol(objc_interface_context);
@@ -2775,7 +2717,7 @@ protocoldef:
        /* The @protocol forward-declaration production introduces a
           reduce/reduce conflict on ';', which should be resolved in
           favor of the production 'identifier_list -> identifier'.  */
-       | PROTOCOL identifier_list ';'
+       | AT_PROTOCOL identifier_list ';'
                {
                  objc_declare_protocols ($2);
                }
@@ -2805,9 +2747,9 @@ ivar_decl_list:
         ;
 
 visibility_spec:
-         PRIVATE { objc_public_flag = 2; }
-       | PROTECTED { objc_public_flag = 0; }
-       | PUBLIC { objc_public_flag = 1; }
+         AT_PRIVATE { objc_public_flag = 2; }
+       | AT_PROTECTED { objc_public_flag = 0; }
+       | AT_PUBLIC { objc_public_flag = 1; }
        ;
 
 ivar_decls:
@@ -3166,14 +3108,14 @@ keywordname:
        ;
 
 objcselectorexpr:
-         SELECTOR '(' selectorarg ')'
+         AT_SELECTOR '(' selectorarg ')'
                {
                  $$ = $3;
                }
        ;
 
 objcprotocolexpr:
-         PROTOCOL '(' identifier ')'
+         AT_PROTOCOL '(' identifier ')'
                {
                  $$ = $3;
                }
@@ -3182,7 +3124,7 @@ objcprotocolexpr:
 /* extension to support C-structures in the archiver */
 
 objcencodeexpr:
-         ENCODE '(' typename ')'
+         AT_ENCODE '(' typename ')'
                {
                  $$ = groktypename ($3);
                }
@@ -3439,23 +3381,23 @@ static const short rid_to_yy[RID_MAX] =
 
   /* Objective C */
   /* RID_ID */                 OBJECTNAME,
-  /* RID_AT_ENCODE */          ENCODE,
-  /* RID_AT_END */             END,
-  /* RID_AT_CLASS */           CLASS,
-  /* RID_AT_ALIAS */           ALIAS,
-  /* RID_AT_DEFS */            DEFS,
-  /* RID_AT_PRIVATE */         PRIVATE,
-  /* RID_AT_PROTECTED */       PROTECTED,
-  /* RID_AT_PUBLIC */          PUBLIC,
-  /* RID_AT_PROTOCOL */                PROTOCOL,
-  /* RID_AT_SELECTOR */                SELECTOR,
+  /* RID_AT_ENCODE */          AT_ENCODE,
+  /* RID_AT_END */             AT_END,
+  /* RID_AT_CLASS */           AT_CLASS,
+  /* RID_AT_ALIAS */           AT_ALIAS,
+  /* RID_AT_DEFS */            AT_DEFS,
+  /* RID_AT_PRIVATE */         AT_PRIVATE,
+  /* RID_AT_PROTECTED */       AT_PROTECTED,
+  /* RID_AT_PUBLIC */          AT_PUBLIC,
+  /* RID_AT_PROTOCOL */                AT_PROTOCOL,
+  /* RID_AT_SELECTOR */                AT_SELECTOR,
   /* RID_AT_THROW */           AT_THROW,
   /* RID_AT_TRY */             AT_TRY,
   /* RID_AT_CATCH */           AT_CATCH,
   /* RID_AT_FINALLY */         AT_FINALLY,
   /* RID_AT_SYNCHRONIZED */    AT_SYNCHRONIZED,
-  /* RID_AT_INTERFACE */       INTERFACE,
-  /* RID_AT_IMPLEMENTATION */  IMPLEMENTATION
+  /* RID_AT_INTERFACE */       AT_INTERFACE,
+  /* RID_AT_IMPLEMENTATION */  AT_IMPLEMENTATION
 };
 
 static void