Changeset 7e13b11 for src/Parser/parser.yy

Timestamp:

Mar 6, 2024, 10:59:19 AM (2 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

56b47b9

Parents:

7a29392f

Message:

documentations, support CFA declaration syntax in sizeof/alignof

File:

• src/Parser/parser.yy (modified) (19 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 : Mon Mar  4 08:44:25 2024
-// Update Count     : 6562
+// Last Modified On : Wed Mar  6 10:51:55 2024
+// Update Count     : 6588
 //
 
@@ -938 +938 @@
         | ALIGNOF '(' type_no_function ')'                                      // GCC, type alignment
                 { $$ = new ExpressionNode( new ast::AlignofExpr( yylloc, maybeMoveBuildType( $3 ) ) ); }
+
+                // Cannot use rule "type", which includes cfa_abstract_function, for sizeof/alignof, because of S/R problems on
+                // look ahead, so the cfa_abstract_function is factored out.
+        | SIZEOF '(' cfa_abstract_function ')'
+                { $$ = new ExpressionNode( new ast::SizeofExpr( yylloc, maybeMoveBuildType( $3 ) ) ); }
+        | ALIGNOF '(' cfa_abstract_function ')'                         // GCC, type alignment
+                { $$ = new ExpressionNode( new ast::AlignofExpr( yylloc, maybeMoveBuildType( $3 ) ) ); }
+
         | OFFSETOF '(' type_no_function ',' identifier ')'
                 { $$ = new ExpressionNode( build_offsetOf( yylloc, $3, build_varref( yylloc, $5 ) ) ); }
-        | TYPEID '(' type_no_function ')'
+        | TYPEID '(' type ')'
                 {
                         SemanticError( yylloc, "typeid name is currently unimplemented." ); $$ = nullptr;
@@ -1238 +1246 @@
                 { assert( $1 ); $1->set_last( $2 ); $$ = $1; }
         | statement_list_nodecl error                                           // invalid syntax rule
-                { SemanticError( yylloc, "syntax error, declarations only allowed at the start of the switch body, i.e., after the '{'." ); $$ = nullptr; }
+                { SemanticError( yylloc, "syntax error, declarations only allowed at the start of the switch body,"
+                                                 " i.e., after the '{'." ); $$ = nullptr; }
         ;
 
@@ -1246 +1255 @@
         ;
 
-// if, switch, and choose require parenthesis around the conditional because it can be followed by a statement.
-// For example, without parenthesis:
-//
-//    if x + y + z; => "if ( x + y ) + z" or "if ( x ) + y + z"
-//    switch ( S ) { ... } => switch ( S ) { compound literal... } ... or 
+// "if", "switch", and "choose" require parenthesis around the conditional. See the following ambiguities without
+// parenthesis:
+//
+//   if x + y + z; => "if ( x + y ) + z" or "if ( x ) + y + z"
+//
+//   switch O { }
+// 
+//     O{} => object-constructor for conditional, switch body ???
+//     O{} => O for conditional followed by switch body
+// 
+//     C++ has this problem, as it has the same constructor syntax.
+// 
+//   switch sizeof ( T ) { }
+// 
+//     sizeof ( T ) => sizeof of T for conditional followed by switch body
+//     sizeof ( T ) => sizeof of compound literal (T){ }, closing parenthesis ???
+// 
+//     Note the two grammar rules for sizeof (alignof)
+// 
+//       | SIZEOF unary_expression
+//       | SIZEOF '(' type_no_function ')'
+// 
+//     where the first DOES NOT require parenthesis! And C++ inherits this problem from C.
 
 selection_statement:
@@ -2200 +2227 @@
         | ATOMIC
                 { $$ = DeclarationNode::newTypeQualifier( ast::CV::Atomic ); }
+
+                // forall must be a CV qualifier because it can appear in places where SC qualifiers are disallowed.
+                //
+                //   void foo( forall( T ) T (*)( T ) ); // forward declaration
+                //   void bar( static int ); // static disallowed (gcc/CFA)
         | forall
                 { $$ = DeclarationNode::newForall( $1 ); }
@@ -2464 +2496 @@
         ;
 
+// ************************** AGGREGATE *******************************
+
 aggregate_type:                                                                                 // struct, union
         aggregate_key attribute_list_opt
@@ -2544 +2578 @@
         | EXCEPTION                                                                                     // CFA
                 { $$ = ast::AggregateDecl::Exception; }
-          //            { SemanticError( yylloc, "exception aggregate is currently unimplemented." ); $$ = ast::AggregateDecl::NoAggregate; }
         ;
 
@@ -2683 +2716 @@
         ;
 
-// ***********
-// Enumeration
-// ***********
+// ************************** ENUMERATION *******************************
 
 enum_type:
@@ -2785 +2816 @@
         ;
 
-// *******************
-// Function parameters
-// *******************
+// ************************** FUNCTION PARAMETERS *******************************
 
 parameter_list_ellipsis_opt:
@@ -2868 +2897 @@
         | type_qualifier_list cfa_abstract_tuple identifier_or_type_name default_initializer_opt
                 { $$ = $2->addName( $3 )->addQualifiers( $1 ); }
-        | cfa_function_specifier
+        | cfa_function_specifier                                                        // int f( "int fp()" );
         ;
 
@@ -2878 +2907 @@
         | type_qualifier_list cfa_abstract_tuple
                 { $$ = $2->addQualifiers( $1 ); }
-        | cfa_abstract_function
+        | cfa_abstract_function                                                         // int f( "int ()" );
         ;
 
@@ -3036 +3065 @@
                 { $$ = ast::TypeDecl::Dtype; }
         | '*'
-                { $$ = ast::TypeDecl::DStype; }                                         // dtype + sized
-        // | '(' '*' ')'
-        //      { $$ = ast::TypeDecl::Ftype; }
+                { $$ = ast::TypeDecl::DStype; }                                 // Dtype + sized
+        // | '(' '*' ')'                                                                        // Gregor made me do it
+        //      { $$ = ast::TypeDecl::Ftype; }
         | ELLIPSIS
                 { $$ = ast::TypeDecl::Ttype; }
@@ -3244 +3273 @@
                         $$ = $6;
                 }
-        // global distribution
+                // global distribution
         | type_qualifier_list
                 {
@@ -3369 +3398 @@
         ;
 
+// **************************** ASM *****************************
+
 asm_name_opt:                                                                                   // GCC
         // empty
@@ -3379 +3410 @@
                 }
         ;
+
+// **************************** ATTRIBUTE *****************************
 
 attribute_list_opt:                                                                             // GCC
@@ -3826 +3859 @@
 
 type_parameter_function:
-        typedef_name '(' parameter_list_ellipsis_opt ')' // empty parameter list OBSOLESCENT (see 3)
+        typedef_name '(' parameter_list_ellipsis_opt ')'        // empty parameter list OBSOLESCENT (see 3)
                 { $$ = $1->addParamList( $3 ); }
         | '(' type_parameter_ptr ')' '(' parameter_list_ellipsis_opt ')' // empty parameter list OBSOLESCENT (see 3)
@@ -3876 +3909 @@
 
 abstract_function:
-        '(' parameter_list_ellipsis_opt ')'                     // empty parameter list OBSOLESCENT (see 3)
+        '(' parameter_list_ellipsis_opt ')'                                     // empty parameter list OBSOLESCENT (see 3)
                 { $$ = DeclarationNode::newFunction( nullptr, nullptr, $2, nullptr ); }
         | '(' abstract_ptr ')' '(' parameter_list_ellipsis_opt ')' // empty parameter list OBSOLESCENT (see 3)
@@ -4008 +4041 @@
 
 abstract_parameter_function:
-        '(' parameter_list_ellipsis_opt ')'                     // empty parameter list OBSOLESCENT (see 3)
+        '(' parameter_list_ellipsis_opt ')'                                     // empty parameter list OBSOLESCENT (see 3)
                 { $$ = DeclarationNode::newFunction( nullptr, nullptr, $2, nullptr ); }
         | '(' abstract_parameter_ptr ')' '(' parameter_list_ellipsis_opt ')' // empty parameter list OBSOLESCENT (see 3)
@@ -4280 +4313 @@
 // mode: c++ //
 // tab-width: 4 //
-// compile-command: "make install" //
+// compile-command: "bison -Wcounterexamples parser.yy" //
 // End: //