Changeset 936e9f4 for src/Parser/parser.yy

Timestamp:

Aug 16, 2017, 6:31:41 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

21f0aa8, 6d49ea3

Parents:

fcc88a4

Message:

first attempt, add declarations into "if" conditional

File:

• src/Parser/parser.yy (modified) (9 diffs)

src/Parser/parser.yy

@@ -9 +9 @@
 // Author           : Peter A. Buhr
 // Created On       : Sat Sep  1 20:22:55 2001
-// Last Modified By : Andrew Beach
-// Last Modified On : Wed Aug  4 13:33:00 2017
-// Update Count     : 2475
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Aug 16 18:09:14 2017
+// Update Count     : 2485
 //
 
@@ -98 +98 @@
         StatementNode * sn;
         ConstantExpr * constant;
+        IfCtl * ifctl;
         ForCtl * fctl;
         LabelNode * label;
@@ -175 +176 @@
 %type<en> comma_expression                              comma_expression_opt
 %type<en> argument_expression_list              argument_expression                     default_initialize_opt
+%type<ifctl> if_control_expression
 %type<fctl> for_control_expression
 %type<en> subrange
@@ -794 +796 @@
 
 selection_statement:
-        IF '(' comma_expression ')' statement                           %prec THEN
+        IF '(' if_control_expression ')' statement                              %prec THEN
                 // explicitly deal with the shift/reduce conflict on if/else
                 { $$ = new StatementNode( build_if( $3, $5, nullptr ) ); }
-        | IF '(' comma_expression ')' statement ELSE statement
+        | IF '(' if_control_expression ')' statement ELSE statement
                 { $$ = new StatementNode( build_if( $3, $5, $7 ) ); }
         | SWITCH '(' comma_expression ')' case_clause           // CFA
@@ -819 +821 @@
                 }
         ;
+
+if_control_expression:
+        comma_expression
+                { $$ = new IfCtl( nullptr, $1 ); }
+        | c_declaration                                                                         // no semi-coln
+                { $$ = new IfCtl( $1, nullptr ); }
+        | cfa_declaration                                                                       // no semi-colon
+                { $$ = new IfCtl( $1, nullptr ); }
+        | declaration comma_expression
+                { $$ = new IfCtl( $1, $2 ); }
+        ;
 
 // CASE and DEFAULT clauses are only allowed in the SWITCH statement, precluding Duff's device. In addition, a case
@@ -1097 +1110 @@
 
 KR_declaration_list:
-        c_declaration
-        | KR_declaration_list push c_declaration
+        c_declaration ';'
+        | KR_declaration_list push c_declaration ';'
                 { $$ = $1->appendList( $3 ); }
         ;
@@ -1117 +1130 @@
         ;
 
-declaration:                                                                                    // CFA, new & old style declarations
-        cfa_declaration
-        | c_declaration
+declaration:                                                                                    // old & new style declarations
+        c_declaration ';'
+        | cfa_declaration ';'                                                           // CFA
         ;
 
@@ -1134 +1147 @@
 
 cfa_declaration:                                                                                // CFA
-        cfa_variable_declaration pop ';'
-        | cfa_typedef_declaration pop ';'
-        | cfa_function_declaration pop ';'
-        | type_declaring_list pop ';'
-        | trait_specifier pop ';'
+        cfa_variable_declaration pop
+        | cfa_typedef_declaration pop
+        | cfa_function_declaration pop
+        | type_declaring_list pop
+        | trait_specifier pop
         ;
 
@@ -1338 +1351 @@
 
 c_declaration:
-        declaration_specifier declaring_list pop ';'
+        declaration_specifier declaring_list pop
                 {
                         $$ = distAttr( $1, $2 );
                 }
-        | typedef_declaration pop ';'
-        | typedef_expression pop ';'                                            // GCC, naming expression type
-        | sue_declaration_specifier pop ';'
+        | typedef_declaration pop
+        | typedef_expression pop                                                        // GCC, naming expression type
+        | sue_declaration_specifier pop
         ;