Changes in src/Parser/parser.yy [ecf3812:1a8b17a]

File:

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

src/Parser/parser.yy

@@ -10 +10 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Nov 15 15:01:33 2024
-// Update Count     : 6915
+// Last Modified On : Sun Oct 13 12:18:15 2024
+// Update Count     : 6845
 //
 
@@ -24 +24 @@
 // the grammar.
 
-// The root language for this grammar is ANSI99/11 C. All of ANSI99/11 is parsed.  Most of the syntactic extensions from
-// ANSI90 to ANSI11 C are marked with the comment "C99/C11".
+// The root language for this grammar is ANSI99/11 C. All of ANSI99/11 is parsed, except for:
+//
+//   designation with '=' (use ':' instead)
+//
+// This incompatibility is discussed in detail before the "designation" grammar rule.  Most of the syntactic extensions
+// from ANSI90 to ANSI11 C are marked with the comment "C99/C11".
 
 // This grammar also has two levels of extensions. The first extensions cover most of the GCC C extensions. All of the
@@ -979 +983 @@
                 { $$ = new ExpressionNode( new ast::VirtualCastExpr( yylloc, maybeMoveBuild( $5 ), maybeMoveBuildType( $3 ) ) ); }
         | '(' RETURN type_no_function ')' cast_expression       // CFA
-                { $$ = new ExpressionNode( build_cast( yylloc, $3, $5, ast::ReturnCast ) ); }
+                { $$ = new ExpressionNode( build_cast( yylloc, $3, $5, ast::CastExpr::Return ) ); }
         | '(' COERCE type_no_function ')' cast_expression       // CFA
                 { SemanticError( yylloc, "Coerce cast is currently unimplemented." ); $$ = nullptr; }
@@ -1166 +1170 @@
                 // comma_expression in cfa_identifier_parameter_array and cfa_abstract_array
         '[' ',' ']'
-                // { $$ = new ExpressionNode( build_tuple( yylloc, nullptr ) ); }
-                { SemanticError( yylloc, "Empty tuple is meaningless." ); $$ = nullptr; }
+                { $$ = new ExpressionNode( build_tuple( yylloc, nullptr ) ); }
         | '[' assignment_expression ',' ']'
                 { $$ = new ExpressionNode( build_tuple( yylloc, $2 ) ); }
@@ -1221 +1224 @@
         | DIRECTIVE
                 { $$ = new StatementNode( build_directive( yylloc, $1 ) ); }
-//      | attribute ';'
-//              { $$ = new StatementNode( $1 ); } 
         ;
 
@@ -2056 +2057 @@
         | cfa_abstract_tuple identifier_or_type_name asm_name_opt
                 { $$ = $1->addName( $2 )->addAsmName( $3 ); }
-        | multi_array_dimension cfa_abstract_tuple identifier_or_type_name asm_name_opt
-                { $$ = $2->addNewArray( $1 )->addName( $3 )->addAsmName( $4 ); }
-        | multi_array_dimension type_qualifier_list cfa_abstract_tuple identifier_or_type_name asm_name_opt
-                { $$ = $3->addNewArray( $1 )->addQualifiers( $2 )->addName( $4 )->addAsmName( $5 ); }
+        | type_qualifier_list cfa_abstract_tuple identifier_or_type_name asm_name_opt
+                { $$ = $2->addQualifiers( $1 )->addName( $3 )->addAsmName( $4 ); }
 
                 // [ int s, int t ];                    // declare s and t
@@ -4224 +4223 @@
         cfa_identifier_parameter_ptr
         | cfa_identifier_parameter_array
-        | type_qualifier_list cfa_identifier_parameter_array
-                { $$ = $2->addQualifiers( $1 ); }
         ;
 
@@ -4249 +4246 @@
         '[' ']' type_specifier_nobody
                 { $$ = $3->addNewArray( DeclarationNode::newArray( nullptr, nullptr, false ) ); }
-        | '[' ']' cfa_abstract_tuple
-                { $$ = $3->addNewArray( DeclarationNode::newArray( nullptr, nullptr, false ) ); }
         | cfa_array_parameter_1st_dimension type_specifier_nobody
-                { $$ = $2->addNewArray( $1 ); }
-        | cfa_array_parameter_1st_dimension cfa_abstract_tuple
                 { $$ = $2->addNewArray( $1 ); }
         | '[' ']' multi_array_dimension type_specifier_nobody
                 { $$ = $4->addNewArray( $3 )->addNewArray( DeclarationNode::newArray( nullptr, nullptr, false ) ); }
-        | '[' ']' multi_array_dimension cfa_abstract_tuple
-                { $$ = $4->addNewArray( $3 )->addNewArray( DeclarationNode::newArray( nullptr, nullptr, false ) ); }
         | cfa_array_parameter_1st_dimension multi_array_dimension type_specifier_nobody
                 { $$ = $3->addNewArray( $2 )->addNewArray( $1 ); }
-        | cfa_array_parameter_1st_dimension multi_array_dimension cfa_abstract_tuple
-                { $$ = $3->addNewArray( $2 )->addNewArray( $1 ); }
         | multi_array_dimension type_specifier_nobody
-                { $$ = $2->addNewArray( $1 ); }
-        | multi_array_dimension cfa_abstract_tuple
                 { $$ = $2->addNewArray( $1 ); }