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

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 : Thu Jun 04 15:12:33 2015
-// Update Count     : 173
+// Last Modified On : Wed Jun 03 15:09:27 2015
+// Update Count     : 170
 //
 
@@ -52 +52 @@
                 bool labeledBlock = !(cmpndStmt->get_labels().empty());
                 if ( labeledBlock ) {
-                        Label brkLabel = generator->newLabel("blockBreak");
+                        Label brkLabel = generator->newLabel();
                         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 determine whether brkLabel
-                // and contLabel are used with branch statements
+                // the body of the loop -- this will do SOMETHING with branch statements
                 // and will recursively do the same to nested loops
                 Label brkLabel = generator->newLabel("loopBreak");
@@ -87 +86 @@
                 assert ( e == loopStmt );
 
-                // this will take the necessary steps to add definitions of the previous
-                // two labels, if they are used.
+                // generate labels as needed
                 loopStmt->set_body( mutateLoop( loopStmt->get_body(), e ) );
                 enclosingLoops.pop_back();