Changes in / [878b1385:1ad112a5]

Files:

• src/ControlStruct/HoistControlDecls.cpp (modified) (3 diffs)
• src/ControlStruct/HoistControlDecls.hpp (modified) (2 diffs)
• src/main.cpp (modified) (3 diffs)
• tests/.expect/fallthrough.txt (added)
• tests/.expect/labelledExit.txt (added)
• tests/Makefile.am (modified) (1 diff)
• tests/ctrl-flow/.expect/fallthrough.txt (deleted)
• tests/ctrl-flow/.expect/goto.txt (deleted)
• tests/ctrl-flow/.expect/labelledExit.txt (deleted)
• tests/ctrl-flow/fallthrough.cfa (deleted)
• tests/ctrl-flow/goto.cfa (deleted)
• tests/ctrl-flow/labelledExit.cfa (deleted)
• tests/fallthrough.cfa (added)
• tests/labelledExit.cfa (added)

src/ControlStruct/HoistControlDecls.cpp

@@ -9 +9 @@
 // Author           : Andrew Beach
 // Created On       : Fri Dec  3 15:34:00 2021
-// Last Modified By : Andrew Beach
-// Last Modified On : Wed Jul 24 12:00:00 2024
-// Update Count     : 3
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Feb  1 18:59:47 2022
+// Update Count     : 25
 //
 
@@ -23 +23 @@
 namespace ControlStruct {
 
-namespace {
-
 template<typename StmtT>
 const Stmt * hoist( const StmtT * stmt ) {
-        // If no hoisting is needed (no declaration), then make no changes.
-        if ( stmt->inits.size() == 0 ) {
+        // If no hoisting is needed, then make no changes.
+
+        if ( stmt->inits.size() == 0 ) {                                        // no declarations ?
                 // if ( /* no conditional declarations */ ...  ) ...
                 return stmt;
-        }
+        } // if
 
-        StmtT * mutStmt = mutate( stmt );
-        CompoundStmt * block = new CompoundStmt( stmt->location );
+        // Put hoist declarations and modified statement in a compound statement.
+
+        CompoundStmt * block = new CompoundStmt( stmt->location ); // create empty compound statement
         //    {}
 
-        //    Label: if ( int x = f(), y = g(); ... ) ...
-        // link declarations into compound statement
-        for ( const Stmt * next : mutStmt->inits ) {
+        for ( const Stmt * next : stmt->inits ) {                       // link conditional declarations into compound
                 block->kids.push_back( next );
         }
+        //    if ( int x = f(), y = g(); ... ) ...
+        // link declarations into compound statement
         //    {
         //         int x = f();
         //         int y = g();
         //    }
-        mutStmt->inits.clear();
-        //    Label: if ( ... ) ...
 
-        block->labels.swap( mutStmt->labels );
-        //    Label: {
-        //        int x = f();
-        //        int y = g();
-        //    }
+        StmtT * mutStmt = mutate( stmt );                                       // create mutate handle to change statement
+        mutStmt->inits.clear();                                                         // remove declarations
         //    if ( ... ) ...
 
-        block->kids.push_back( mutStmt );
-        //    Label: {
+        block->kids.push_back( mutStmt );                                       // link modified statement into compound
+        //    {
         //        int x = f();
         //        int y = g();
@@ -78 +73 @@
 };
 
-} // namespace
-
 // Hoist initialization out of for statements.
 void hoistControlDecls( TranslationUnit & translationUnit ) {

src/ControlStruct/HoistControlDecls.hpp

@@ -9 +9 @@
 // Author           : Andrew Beach
 // Created On       : Fri Dec  3 15:31:00 2021
-// Last Modified By : Andrew Beach
-// Last Modified On : Wed Jul 24 12:04:00 2024
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Jan 31 22:25:07 2022
 // Update Count     : 3
 //
@@ -21 +21 @@
 
 namespace ControlStruct {
-
 /// Hoist declarations out of control flow statements into compound statement.
-/// Must happen before auto-gen routines are added and after loop control
-/// flow is resolved.
+/// Must happen before auto-gen routines are added.
 void hoistControlDecls( ast::TranslationUnit & translationUnit );
-
 } // namespace ControlStruct
 

src/main.cpp

@@ -331 +331 @@
                 PASS( "Fix Unique Ids", Validate::fixUniqueIds, transUnit );
                 PASS( "Implement Corun", Concurrency::implementCorun, transUnit );
-                PASS( "Fix Label Address", Validate::fixLabelAddresses, transUnit );
-                PASS( "Fix Labels", ControlStruct::fixLabels, transUnit );
                 PASS( "Hoist Control Declarations", ControlStruct::hoistControlDecls, transUnit );
 
@@ -344 +342 @@
                 PASS( "Set Length From Initializer", Validate::setLengthFromInitializer, transUnit );
                 PASS( "Find Global Decls", Validate::findGlobalDecls, transUnit );
+                PASS( "Fix Label Address", Validate::fixLabelAddresses, transUnit );
 
                 if ( symtabp ) {
@@ -357 +356 @@
 
                 PASS( "Translate Throws", ControlStruct::translateThrows, transUnit );
+                PASS( "Fix Labels", ControlStruct::fixLabels, transUnit );
                 PASS( "Implement Waituntil", Concurrency::generateWaitUntil, transUnit  );
                 PASS( "Fix Names", CodeGen::fixNames, transUnit );

tests/Makefile.am

@@ -208 +208 @@
 
 SYNTAX_ONLY_CODE = expression typedefRedef variableDeclarator switch numericConstants identFuncDeclarator \
-        init1 limits nested-types cast ctrl-flow/labelledExit array quasiKeyword include/stdincludes include/includes builtins/sync warnings/self-assignment concurrency/waitfor/parse
+        init1 limits nested-types cast labelledExit array quasiKeyword include/stdincludes include/includes builtins/sync warnings/self-assignment concurrency/waitfor/parse
 ${SYNTAX_ONLY_CODE} : % : %.cfa ${CFACCBIN}
         ${CFACOMPILE_SYNTAX}