Changeset d939274 for src/ControlStruct/MLEMutator.cc

Timestamp:

Jun 2, 2015, 1:59:11 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

aaron-thesis, arm-eh, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

4eb1db6

Parents:

b2152e7a

Message:

documentation, reformatting, operator+ for iterators

File:

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

src/ControlStruct/MLEMutator.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Tue Jun 02 13:35:49 2015
-// Update Count     : 91
+// Last Modified On : Tue Jun 02 13:43:01 2015
+// Update Count     : 92
 //
 
@@ -33 +33 @@
                 } // if
 
+                // a child statement may set the break label
+                // - if they do, attach it to the next statement
                 std::list< Statement * > &kids = cmpndStmt->get_kids();
                 for ( std::list< Statement * >::iterator k = kids.begin(); k != kids.end(); k++ ) {
@@ -38 +40 @@
 
                         if ( ! get_breakLabel().empty() ) {
-                                std::list< Statement * >::iterator next = k; next++;
+                                std::list< Statement * >::iterator next = k+1;
                                 if ( next == kids.end() ) {
                                         std::list<Label> ls; ls.push_back( get_breakLabel() );
@@ -58 +60 @@
                 } // if
 
-                //mutateAll( cmpndStmt->get_kids(), *this );
                 return cmpndStmt;
         }
@@ -76 +77 @@
         Statement *MLEMutator::mutate( ForStmt *forStmt ) {
                 enclosingLoops.push_back( Entry( forStmt ) );
-                maybeMutate( forStmt->get_body(), *this );
+                forStmt->set_body( maybeMutate( forStmt->get_body(), *this ) );
 
                 Entry &e = enclosingLoops.back();
@@ -185 +186 @@
 
         Statement *MLEMutator::mutateLoop( Statement *bodyLoop, Entry &e ) {
+                // ensure loop body is a block
                 CompoundStmt *newBody;
                 if ( ! (newBody = dynamic_cast<CompoundStmt *>( bodyLoop )) ) {
@@ -216 +218 @@
         }
 
-        //*** Entry's methods
+        //*** Entry's methods - ensure these labels can be set at most once
         void MLEMutator::Entry::set_contExit( Label l ) {
                 assert ( contExit == "" || contExit == l );