Changeset b2ddaf3 for src

Timestamp:

Oct 8, 2022, 4:25:24 PM (2 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

95bda0a

Parents:

265e460

Message:

fix parsing bug for attribute at the end of a distribution list

File:

• src/Parser/parser.yy (modified) (5 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 Sep 26 08:45:53 2022
-// Update Count     : 5704
+// Last Modified On : Sat Oct  8 08:21:18 2022
+// Update Count     : 5709
 //
 
@@ -103 +103 @@
         // distribute declaration_specifier across all declared variables, e.g., static, const, but not __attribute__.
         assert( declList );
-//      printf( "distAttr1 typeSpec %p\n", typeSpec ); typeSpec->print( std::cout );
+        // printf( "distAttr1 typeSpec %p\n", typeSpec ); typeSpec->print( std::cout );
         DeclarationNode * cur = declList, * cl = (new DeclarationNode)->addType( typeSpec );
-//      printf( "distAttr2 cl %p\n", cl ); cl->type->print( std::cout );
-//      cl->type->aggregate.name = cl->type->aggInst.aggregate->aggregate.name;
+        // printf( "distAttr2 cl %p\n", cl ); cl->type->print( std::cout );
+        // cl->type->aggregate.name = cl->type->aggInst.aggregate->aggregate.name;
 
         for ( cur = dynamic_cast<DeclarationNode *>( cur->get_next() ); cur != nullptr; cur = dynamic_cast<DeclarationNode *>( cur->get_next() ) ) {
@@ -112 +112 @@
         } // for
         declList->addType( cl );
-//      printf( "distAttr3 declList %p\n", declList ); declList->print( std::cout, 0 );
+        // printf( "distAttr3 declList %p\n", declList ); declList->print( std::cout, 0 );
         return declList;
 } // distAttr
@@ -3043 +3043 @@
                         $$ = $6;
                 }
+        // global distribution
         | type_qualifier_list
                 {
@@ -3067 +3068 @@
         | declaration_qualifier_list type_qualifier_list
                 {
-                        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 ) forall = true; // remember generic type
+                        if ( ($1->type && $1->type->qualifiers.val) || ($2->type && $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 && $2->type->forall) ) forall = true; // remember generic type
                 }
           '{' up external_definition_list_opt down '}'          // CFA, namespace