Changes in / [c0b23644:5c4d27f]

Location:

src/Parser

Files:

• DeclarationNode.cc (modified) (3 diffs)
• parser.yy (modified) (4 diffs)

src/Parser/DeclarationNode.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 12:34:05 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Nov 20 09:21:52 2017
-// Update Count     : 1031
+// Last Modified On : Sat Sep 23 18:16:48 2017
+// Update Count     : 1024
 //
 
@@ -509 +509 @@
 
 DeclarationNode * DeclarationNode::addQualifiers( DeclarationNode * q ) {
-        if ( ! q ) { delete q; return this; }                           // empty qualifier
+        if ( ! q ) { delete q; return this; }
 
         checkSpecifiers( q );
         copySpecifiers( q );
 
-        if ( ! q->type ) { delete q; return this; }
+        if ( ! q->type ) {
+                delete q;
+                return this;
+        } // if
 
         if ( ! type ) {
-                type = q->type;                                                                 // reuse structure
+                type = q->type;                                                                 // reuse this structure
                 q->type = nullptr;
                 delete q;
@@ -523 +526 @@
         } // if
 
-        if ( q->type->forall ) {                                                        // forall qualifier ?
-                if ( type->forall ) {                                                   // polymorphic routine ?
-                        type->forall->appendList( q->type->forall ); // augment forall qualifier
+        if ( q->type->forall ) {
+                if ( type->forall ) {
+                        type->forall->appendList( q->type->forall );
                 } else {
-                        if ( type->kind == TypeData::Aggregate ) {      // struct/union ?
-                                if ( type->aggregate.params ) {                 // polymorphic ?
-                                        type->aggregate.params->appendList( q->type->forall ); // augment forall qualifier
-                                } else {                                                                // not polymorphic
-                                        type->aggregate.params = q->type->forall; // make polymorphic type
-                                        // change implicit typedef from TYPEDEFname to TYPEGENname
-                                        typedefTable.changeKind( *type->aggregate.name, TypedefTable::TG );
-                                } // if
-                        } else {                                                                        // not polymorphic
-                                type->forall = q->type->forall;                 // make polymorphic routine
+                        if ( type->kind == TypeData::Aggregate ) {
+                                type->aggregate.params = q->type->forall;
+                                // change implicit typedef from TYPEDEFname to TYPEGENname
+                                typedefTable.changeKind( *type->aggregate.name, TypedefTable::TG );
+                        } else {
+                                type->forall = q->type->forall;
                         } // if
                 } // if
-                q->type->forall = nullptr;                                              // forall qualifier moved
+                q->type->forall = nullptr;
         } // if
 

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 Nov 20 09:45:36 2017
-// Update Count     : 2945
+// Last Modified On : Fri Nov 17 11:38:57 2017
+// Update Count     : 2914
 //
 
@@ -114 +114 @@
         } // for
 } // distExt
-
-// There is an ambiguity for inline generic-routine return-types and generic routines.
-//   forall( otype T ) struct S { int i; } bar( T ) {}
-// Does the forall bind to the struct or the routine, and how would it be possible to explicitly specify the binding.
-//   forall( otype T ) struct S { int T; } forall( otype W ) bar( W ) {}
-
-void rebindForall( DeclarationNode * declSpec, DeclarationNode * funcDecl ) {
-        if ( declSpec->type->kind == TypeData::Aggregate ) { // return is aggregate definition
-                funcDecl->type->forall = declSpec->type->aggregate.params; // move forall from aggregate to function type
-                declSpec->type->aggregate.params = nullptr;
-        } // if
-} // rebindForall
 
 bool forall = false;                                                                    // aggregate have one or more forall qualifiers ?
@@ -2413 +2401 @@
         | declaration_specifier function_declarator with_clause_opt compound_statement
                 {
-                        rebindForall( $1, $2 );
                         typedefTable.addToEnclosingScope( TypedefTable::ID );
                         typedefTable.leaveScope();
@@ -2440 +2427 @@
         | declaration_specifier KR_function_declarator KR_declaration_list_opt with_clause_opt compound_statement
                 {
-                        rebindForall( $1, $2 );
                         typedefTable.addToEnclosingScope( TypedefTable::ID );
                         typedefTable.leaveScope();