Changeset 878b1385 for src/ControlStruct/HoistControlDecls.cpp

Timestamp:

Jul 24, 2024, 6:59:16 PM (5 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

151c8db, 5aeb1a9, d02d223

Parents:

1ad112a5 (diff), b6923b17 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/ControlStruct/HoistControlDecls.cpp (modified) (3 diffs)

src/ControlStruct/HoistControlDecls.cpp

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