Changes in src/Parser/parser.yy [3fd8b0e:4c3ee8d]

File:

• src/Parser/parser.yy (modified) (15 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 : Thu Jun  7 10:07:12 2018
-// Update Count     : 3527
+// Last Modified On : Mon Jul  2 20:23:14 2018
+// Update Count     : 3607
 //
 
@@ -115 +115 @@
 } // distExt
 
+void distQual( DeclarationNode * declaration, DeclarationNode * qualifiers ) {
+        // distribute qualifiers across all declarations in a distribution statemement
+        for ( DeclarationNode * iter = declaration; iter != nullptr; iter = (DeclarationNode *)iter->get_next() ) {
+                if ( isMangled( iter->linkage ) ) {             // ignore extern "C"
+                        iter->addQualifiers( qualifiers->clone() );
+                } // if
+        } // for
+} // distExt
+
 // There is an ambiguity for inline generic-routine return-types and generic routines.
 //   forall( otype T ) struct S { int i; } bar( T ) {}
@@ -136 +145 @@
 } // build_postfix_name
 
-bool forall = false, xxx = false;                                               // aggregate have one or more forall qualifiers ?
+bool forall = false, xxx = false, yyy = false;                  // aggregate have one or more forall qualifiers ?
 
 // https://www.gnu.org/software/bison/manual/bison.html#Location-Type
@@ -304 +313 @@
 %type<en> enumerator_value_opt
 
-%type<decl> exception_declaration external_definition external_definition_list external_definition_list_no_pop_push external_definition_list_opt
+%type<decl> external_definition external_definition_list external_definition_list_opt
+
+%type<decl> exception_declaration
 
 %type<decl> field_declaration field_declaration_list_opt field_declarator_opt field_declaring_list
@@ -503 +514 @@
                 { $$ = new ExpressionNode( build_func( new ExpressionNode( build_postfix_name( $5 ) ), $2 ) ); }
         | type_name '.' no_attr_identifier                                      // CFA, nested type
-                // { SemanticError( yylloc, "Qualified name is currently unimplemented." ); $$ = nullptr; }
-                { $$ = nullptr; }
+                { SemanticError( yylloc, "Qualified name is currently unimplemented." ); $$ = nullptr; }
         | type_name '.' '[' field_list ']'                                      // CFA, nested type / tuple field selector
-                // { SemanticError( yylloc, "Qualified name is currently unimplemented." ); $$ = nullptr; }
-                { $$ = nullptr; }
+                { SemanticError( yylloc, "Qualified name is currently unimplemented." ); $$ = nullptr; }
         | GENERIC '(' assignment_expression ',' generic_assoc_list ')' // C11
                 {
@@ -1136 +1145 @@
 
 waitfor:
-        WAITFOR '(' identifier ')'
-                {
-                        $$ = new ExpressionNode( new NameExpr( *$3 ) );
-                        delete $3;
-                }
-        | WAITFOR '(' identifier ',' argument_expression_list ')'
-                {
-                        $$ = new ExpressionNode( new NameExpr( *$3 ) );
-                        $$->set_last( $5 );
-                        delete $3;
-                }
+        WAITFOR '(' cast_expression ')'
+                { $$ = $3; }
+        | WAITFOR '(' cast_expression ',' argument_expression_list ')'
+                { $$ = (ExpressionNode *)$3->set_last( $5 ); }
         ;
 
@@ -1163 +1165 @@
                 { $$ = build_waitfor_timeout( nullptr, $3, $1 ); }
                 // "else" must be conditional after timeout or timeout is never triggered (i.e., it is meaningless)
+        | when_clause_opt timeout statement WOR ELSE statement
+                { SemanticError( yylloc, "else clause must be conditional after timeout or timeout never triggered." ); $$ = nullptr; }
         | when_clause_opt timeout statement WOR when_clause ELSE statement
                 { $$ = build_waitfor_timeout( $2, $3, $1, $7, $5 ); }
@@ -1792 +1796 @@
                 { $$ = DeclarationNode::newFromTypedef( $1 ); }
         | '.' TYPEDEFname
-                { $$ = DeclarationNode::newQualifiedType( DeclarationNode::newFromGlobalScope(), DeclarationNode::newFromTypedef( $2 ) ); }
+                { SemanticError( yylloc, "Qualified name is currently unimplemented." ); $$ = nullptr; }
         | type_name '.' TYPEDEFname
-                { $$ = DeclarationNode::newQualifiedType( $1, DeclarationNode::newFromTypedef( $3 ) ); }
+                { SemanticError( yylloc, "Qualified name is currently unimplemented." ); $$ = nullptr; }
         | typegen_name
         | '.' typegen_name
-                { $$ = DeclarationNode::newQualifiedType( DeclarationNode::newFromGlobalScope(), $2 ); }
+                { SemanticError( yylloc, "Qualified name is currently unimplemented." ); $$ = nullptr; }
         | type_name '.' typegen_name
-                { $$ = DeclarationNode::newQualifiedType( $1, $3 ); }
+                { SemanticError( yylloc, "Qualified name is currently unimplemented." ); $$ = nullptr; }
         ;
 
@@ -1821 +1825 @@
         ;
 
+fred:
+        // empty
+                { yyy = false; }
+        ;
+
 aggregate_type:                                                                                 // struct, union
         aggregate_key attribute_list_opt '{' field_declaration_list_opt '}'
                 { $$ = DeclarationNode::newAggregate( $1, new string( DeclarationNode::anonymous.newName() ), nullptr, $4, true )->addQualifiers( $2 ); }
-        | aggregate_key attribute_list_opt no_attr_identifier
+        | aggregate_key attribute_list_opt no_attr_identifier fred
                 {
                         typedefTable.makeTypedef( *$3, forall ? TYPEGENname : TYPEDEFname ); // create typedef
-                        //if ( forall ) typedefTable.changeKind( *$3, TYPEGENname ); // possibly update
                         forall = false;                                                         // reset
                 }
           '{' field_declaration_list_opt '}'
-                { $$ = DeclarationNode::newAggregate( $1, $3, nullptr, $6, true )->addQualifiers( $2 ); }
-        | aggregate_key attribute_list_opt type_name
+                { $$ = DeclarationNode::newAggregate( $1, $3, nullptr, $7, true )->addQualifiers( $2 ); }
+        | aggregate_key attribute_list_opt type_name fred
                 {
                         typedefTable.makeTypedef( *$3->type->symbolic.name, forall ? TYPEGENname : TYPEDEFname ); // create typedef
-                        //if ( forall ) typedefTable.changeKind( *$3->type->symbolic.name, TYPEGENname ); // possibly update
                         forall = false;                                                         // reset
                 }
           '{' field_declaration_list_opt '}'
-                { $$ = DeclarationNode::newAggregate( $1, $3->type->symbolic.name, nullptr, $6, true )->addQualifiers( $2 ); }
+                { $$ = DeclarationNode::newAggregate( $1, $3->type->symbolic.name, nullptr, $7, true )->addQualifiers( $2 ); }
         | aggregate_key attribute_list_opt '(' type_list ')' '{' field_declaration_list_opt '}' // CFA
                 { $$ = DeclarationNode::newAggregate( $1, new string( DeclarationNode::anonymous.newName() ), $4, $7, false )->addQualifiers( $2 ); }
@@ -1846 +1853 @@
 
 aggregate_type_nobody:                                                                  // struct, union - {...}
-        aggregate_key attribute_list_opt no_attr_identifier
+        aggregate_key attribute_list_opt no_attr_identifier fred
                 {
                         typedefTable.makeTypedef( *$3, forall ? TYPEGENname : TYPEDEFname );
-                        //if ( forall ) typedefTable.changeKind( *$3, TYPEGENname ); // possibly update
                         forall = false;                                                         // reset
                         $$ = DeclarationNode::newAggregate( $1, $3, nullptr, nullptr, false )->addQualifiers( $2 );
                 }
-        | aggregate_key attribute_list_opt type_name
+        | aggregate_key attribute_list_opt type_name fred
                 {
                         // Create new generic declaration with same name as previous forward declaration, where the IDENTIFIER is
@@ -1867 +1873 @@
 aggregate_key:
         STRUCT
-                { $$ = DeclarationNode::Struct; }
+                { yyy = true; $$ = DeclarationNode::Struct; }
         | UNION
-                { $$ = DeclarationNode::Union; }
+                { yyy = true; $$ = DeclarationNode::Union; }
         | EXCEPTION
-                { $$ = DeclarationNode::Exception; }
+                { yyy = true; $$ = DeclarationNode::Exception; }
         | COROUTINE
-                { $$ = DeclarationNode::Coroutine; }
+                { yyy = true; $$ = DeclarationNode::Coroutine; }
         | MONITOR
-                { $$ = DeclarationNode::Monitor; }
+                { yyy = true; $$ = DeclarationNode::Monitor; }
         | THREAD
-                { $$ = DeclarationNode::Thread; }
+                { yyy = true; $$ = DeclarationNode::Thread; }
         ;
 
@@ -1893 +1899 @@
                 { distExt( $3 ); $$ = distAttr( $2, $3 ); }             // mark all fields in list
         | typedef_declaration ';'                                                       // CFA
+                { SemanticError( yylloc, "Typedef in aggregate is currently unimplemented." ); $$ = nullptr; }
         | cfa_field_declaring_list ';'                                          // CFA, new style field declaration
         | EXTENSION cfa_field_declaring_list ';'                        // GCC
                 { distExt( $2 ); $$ = $2; }                                             // mark all fields in list
         | cfa_typedef_declaration ';'                                           // CFA
+                { SemanticError( yylloc, "Typedef in aggregate is currently unimplemented." ); $$ = nullptr; }
         | static_assert                                                                         // C11
         ;
@@ -2320 +2328 @@
 
 translation_unit:
-        // empty
-                {}                                                                                              // empty input file
+        // empty, input file
         | external_definition_list
                 { parseTree = parseTree ? parseTree->appendList( $1 ) : $1;     }
@@ -2335 +2342 @@
         ;
 
-        // SKULLDUGGERY: Declarations in extern "X" and distribution need to be added to the current lexical scope.
-        // However, external_definition_list creates a new scope around each external_definition, but the pop loses all the
-        // types in the extern "X" and distribution at the end of the block. This version of external_definition_list does
-
-        // not do push/pop for declarations at the level of the extern "X" and distribution block. Any recursive uses of
-        // external_definition_list within the extern "X" and distribution block correctly pushes/pops for that scope level.
-external_definition_list_no_pop_push:
-        external_definition
-        | external_definition_list_no_pop_push
-                { forall = xxx; }
-          external_definition
-                { $$ = $1 ? $1->appendList( $3 ) : $3; }
-        ;
-
 external_definition_list_opt:
         // empty
                 { $$ = nullptr; }
-        | external_definition_list_no_pop_push
+        | external_definition_list
+        ;
+
+up:
+                { typedefTable.up(); }
+        ;
+
+down:
+                { typedefTable.down(); }
         ;
 
@@ -2372 +2373 @@
                         linkage = LinkageSpec::linkageUpdate( yylloc, linkage, $2 );
                 }
-          '{' external_definition_list_opt '}'
+          '{' up external_definition_list_opt down '}'
                 {
                         linkage = linkageStack.top();
                         linkageStack.pop();
-                        $$ = $5;
+                        $$ = $6;
                 }
         | type_qualifier_list
-                { if ( $1->type->forall ) xxx = forall = true; } // remember generic type
-          '{' external_definition_list_opt '}'                          // CFA, namespace
-                {
-                        for ( DeclarationNode * iter = $4; iter != nullptr; iter = (DeclarationNode *)iter->get_next() ) {
-                                if ( isMangled( iter->linkage ) ) {             // ignore extern "C"
-                                        iter->addQualifiers( $1->clone() );
-                                } // if
-                        } // for
+                {
+                        if ( $1->type->qualifiers.val ) { SemanticError( yylloc, "CV qualifiers cannot be distributed; only storage-class and forall qualifiers." ); }
+                        if ( $1->type->forall ) xxx = forall = true; // remember generic type
+                }
+          '{' up external_definition_list_opt down '}'          // CFA, namespace
+                {
+                        distQual( $5, $1 );
                         xxx = false;
                         delete $1;
-                        $$ = $4;
+                        $$ = $5;
                 }
         | declaration_qualifier_list
-                { if ( $1->type->forall ) xxx = forall = true; } // remember generic type
-          '{' external_definition_list_opt '}'                          // CFA, namespace
-                {
-                        for ( DeclarationNode * iter = $4; iter != nullptr; iter = (DeclarationNode *)iter->get_next() ) {
-                                if ( isMangled( iter->linkage ) ) {             // ignore extern "C"
-                                        iter->addQualifiers( $1->clone() );
-                                } // if
-                        } // for
+                {
+                        if ( $1->type && $1->type->qualifiers.val ) { SemanticError( yylloc, "CV qualifiers cannot be distributed; only storage-class and forall qualifiers." ); }
+                        if ( $1->type && $1->type->forall ) xxx = forall = true; // remember generic type
+                }
+          '{' up external_definition_list_opt down '}'          // CFA, namespace
+                {
+                        distQual( $5, $1 );
                         xxx = false;
                         delete $1;
-                        $$ = $4;
+                        $$ = $5;
                 }
         | declaration_qualifier_list type_qualifier_list
                 {
-                        // forall must be in the type_qualifier_list
-                        if ( $2->type->forall ) xxx = forall = true; // remember generic type
-                }
-          '{' external_definition_list_opt '}'                          // CFA, namespace
-                {
-                        for ( DeclarationNode * iter = $5; iter != nullptr; iter = (DeclarationNode *)iter->get_next() ) {
-                                if ( isMangled( iter->linkage ) && isMangled( $2->linkage ) ) { // ignore extern "C"
-                                        iter->addQualifiers( $1->clone() );
-                                        iter->addQualifiers( $2->clone() );
-                                } // if
-                        } // for
+                        if ( ($1->type && $1->type->qualifiers.val) || $2->type->qualifiers.val ) { SemanticError( yylloc, "CV qualifiers cannot be distributed; only storage-class and forall qualifiers." ); }
+                        if ( ($1->type && $1->type->forall) || $2->type->forall ) xxx = forall = true; // remember generic type
+                }
+          '{' up external_definition_list_opt down '}'          // CFA, namespace
+                {
+                        distQual( $6, $2 );
+                        distQual( $6, $1 );
                         xxx = false;
                         delete $1;
                         delete $2;
-                        $$ = $5;
+                        $$ = $6;
                 }
         ;