Changes in src/ControlStruct/MLEMutator.cc [ba3706f:d180746]

File:

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

src/ControlStruct/MLEMutator.cc

@@ -149 +149 @@
 
                         if ( CaseStmt * c = dynamic_cast< CaseStmt * >( statements.back() ) ) {
-                                Statement * stmt = new BranchStmt( Label("brkLabel"), BranchStmt::Break );
-                                stmt->labels.push_back( brkLabel );
-                                c->get_statements().push_back( stmt );
+                                std::list<Label> temp; temp.push_back( brkLabel );
+                                c->get_statements().push_back( new BranchStmt( temp, Label("brkLabel"), BranchStmt::Break ) );
                         } else assert(0); // as of this point, all statements of a switch are still CaseStmts
                 } // if
@@ -233 +232 @@
                 // transform break/continue statements into goto to simplify later handling of branches
                 delete branchStmt;
-                return new BranchStmt( exitLabel, BranchStmt::Goto );
+                return new BranchStmt( std::list<Label>(), exitLabel, BranchStmt::Goto );
         }
 
@@ -240 +239 @@
                 CompoundStmt *newBody;
                 if ( ! (newBody = dynamic_cast<CompoundStmt *>( bodyLoop )) ) {
-                        newBody = new CompoundStmt();
+                        newBody = new CompoundStmt( std::list< Label >() );
                         newBody->get_kids().push_back( bodyLoop );
                 } // if