Changes in src/ControlStruct/MLEMutator.cc [27de955:eb3261f]

File:

• src/ControlStruct/MLEMutator.cc (modified) (4 diffs)

src/ControlStruct/MLEMutator.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jun 03 15:09:27 2015
-// Update Count     : 170
+// Last Modified On : Thu Jun 04 15:12:33 2015
+// Update Count     : 173
 //
 
@@ -52 +52 @@
                 bool labeledBlock = !(cmpndStmt->get_labels().empty());
                 if ( labeledBlock ) {
-                        Label brkLabel = generator->newLabel();
+                        Label brkLabel = generator->newLabel("blockBreak");
                         enclosingBlocks.push_back( Entry( cmpndStmt, brkLabel ) );
                 } // if
@@ -75 +75 @@
         Statement *MLEMutator::handleLoopStmt( LoopClass *loopStmt ) {
                 // remember this as the most recent enclosing loop, then mutate 
-                // the body of the loop -- this will do SOMETHING with branch statements
+                // the body of the loop -- this will determine whether brkLabel
+                // and contLabel are used with branch statements
                 // and will recursively do the same to nested loops
                 Label brkLabel = generator->newLabel("loopBreak");
@@ -86 +87 @@
                 assert ( e == loopStmt );
 
-                // generate labels as needed
+                // this will take the necessary steps to add definitions of the previous
+                // two labels, if they are used.
                 loopStmt->set_body( mutateLoop( loopStmt->get_body(), e ) );
                 enclosingLoops.pop_back();