Changeset dd54139

Timestamp:

Nov 16, 2024, 6:36:58 PM (5 weeks ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

ea10f64

Parents:

95707a3

Message:

empty tuple prints a syntax error, first attempt at tuple arrays with new declaration syntax

File:

• src/Parser/parser.yy (modified) (7 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 : Sun Oct 13 12:18:15 2024
-// Update Count     : 6845
+// Last Modified On : Fri Nov 15 15:01:33 2024
+// Update Count     : 6915
 //
 
@@ -24 +24 @@
 // the grammar.
 
-// 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".
+// 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".
 
 // This grammar also has two levels of extensions. The first extensions cover most of the GCC C extensions. All of the
@@ -1170 +1166 @@
                 // comma_expression in cfa_identifier_parameter_array and cfa_abstract_array
         '[' ',' ']'
-                { $$ = new ExpressionNode( build_tuple( yylloc, nullptr ) ); }
+                // { $$ = new ExpressionNode( build_tuple( yylloc, nullptr ) ); }
+                { SemanticError( yylloc, "Empty tuple is meaningless." ); $$ = nullptr; }
         | '[' assignment_expression ',' ']'
                 { $$ = new ExpressionNode( build_tuple( yylloc, $2 ) ); }
@@ -1224 +1221 @@
         | DIRECTIVE
                 { $$ = new StatementNode( build_directive( yylloc, $1 ) ); }
+//      | attribute ';'
+//              { $$ = new StatementNode( $1 ); } 
         ;
 
@@ -2057 +2056 @@
         | cfa_abstract_tuple identifier_or_type_name asm_name_opt
                 { $$ = $1->addName( $2 )->addAsmName( $3 ); }
-        | type_qualifier_list cfa_abstract_tuple identifier_or_type_name asm_name_opt
-                { $$ = $2->addQualifiers( $1 )->addName( $3 )->addAsmName( $4 ); }
+        | 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 ); }
 
                 // [ int s, int t ];                    // declare s and t
@@ -4223 +4224 @@
         cfa_identifier_parameter_ptr
         | cfa_identifier_parameter_array
+        | type_qualifier_list cfa_identifier_parameter_array
+                { $$ = $2->addQualifiers( $1 ); }
         ;
 
@@ -4246 +4249 @@
         '[' ']' 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 ); }