Changes in src/ControlStruct/MLEMutator.cc [5cdeecd:d62806c]

File:

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

src/ControlStruct/MLEMutator.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Tue Jan 21 10:33:00 2020
-// Update Count     : 222
+// Last Modified On : Thr Jan 16 15:33:00 2020
+// Update Count     : 221
 //
 
@@ -33 +33 @@
 
 namespace ControlStruct {
-        MultiLevelExitMutator::~MultiLevelExitMutator() {
+        MLEMutator::~MLEMutator() {
                 delete targetTable;
                 targetTable = 0;
         }
         namespace {
-                bool isLoop( const MultiLevelExitMutator::Entry & e ) {
-                        return dynamic_cast< WhileStmt * >( e.get_controlStructure() )
-                                || dynamic_cast< ForStmt * >( e.get_controlStructure() );
-                }
-                bool isSwitch( const MultiLevelExitMutator::Entry & e ) {
-                        return dynamic_cast< SwitchStmt *>( e.get_controlStructure() );
-                }
-
-                bool isBreakTarget( const MultiLevelExitMutator::Entry & e ) {
-                        return isLoop( e ) || isSwitch( e )
-                                || dynamic_cast< CompoundStmt *>( e.get_controlStructure() );
-                }
-                bool isContinueTarget( const MultiLevelExitMutator::Entry & e ) {
-                        return isLoop( e );
-                }
-                bool isFallthroughTarget( const MultiLevelExitMutator::Entry & e ) {
-                        return dynamic_cast< CaseStmt *>( e.get_controlStructure() );
-                }
-                bool isFallthroughDefaultTarget( const MultiLevelExitMutator::Entry & e ) {
-                        return isSwitch( e );
-                }
+                bool isLoop( const MLEMutator::Entry & e ) { return dynamic_cast< WhileStmt * >( e.get_controlStructure() ) || dynamic_cast< ForStmt * >( e.get_controlStructure() ); }
+                bool isSwitch( const MLEMutator::Entry & e ) { return dynamic_cast< SwitchStmt *>( e.get_controlStructure() ); }
+
+                bool isBreakTarget( const MLEMutator::Entry & e ) { return isLoop( e ) || isSwitch( e ) || dynamic_cast< CompoundStmt *>( e.get_controlStructure() ); }
+                bool isContinueTarget( const MLEMutator::Entry & e ) { return isLoop( e ); }
+                bool isFallthroughTarget( const MLEMutator::Entry & e ) { return dynamic_cast< CaseStmt *>( e.get_controlStructure() );; }
+                bool isFallthroughDefaultTarget( const MLEMutator::Entry & e ) { return isSwitch( e ); }
         } // namespace
 
@@ -64 +50 @@
         // through the breakLabel field tha they need a place to jump to on a break statement, add the break label to the
         // body of statements
-        void MultiLevelExitMutator::fixBlock( std::list< Statement * > &kids, bool caseClause ) {
+        void MLEMutator::fixBlock( std::list< Statement * > &kids, bool caseClause ) {
                 SemanticErrorException errors;
 
@@ -95 +81 @@
         }
 
-        void MultiLevelExitMutator::premutate( CompoundStmt *cmpndStmt ) {
+        void MLEMutator::premutate( CompoundStmt *cmpndStmt ) {
                 visit_children = false;
                 bool labeledBlock = !(cmpndStmt->labels.empty());
@@ -132 +118 @@
                         }
                 }
-                assertf( false, "Could not find label '%s' on statement %s",
-                        originalTarget.get_name().c_str(), toString( stmt ).c_str() );
-        }
-
-
-        Statement *MultiLevelExitMutator::postmutate( BranchStmt *branchStmt )
-                        throw ( SemanticErrorException ) {
+                assertf( false, "Could not find label '%s' on statement %s", originalTarget.get_name().c_str(), toString( stmt ).c_str() );
+        }
+
+
+        Statement *MLEMutator::postmutate( BranchStmt *branchStmt ) throw ( SemanticErrorException ) {
                 std::string originalTarget = branchStmt->originalTarget;
 
@@ -246 +230 @@
         }
 
-        Statement *MultiLevelExitMutator::mutateLoop( Statement *bodyLoop, Entry &e ) {
+        Statement *MLEMutator::mutateLoop( Statement *bodyLoop, Entry &e ) {
                 // only generate these when needed
                 if( !e.isContUsed() && !e.isBreakUsed() ) return bodyLoop;
@@ -269 +253 @@
 
         template< typename LoopClass >
-        void MultiLevelExitMutator::prehandleLoopStmt( LoopClass * loopStmt ) {
+        void MLEMutator::prehandleLoopStmt( 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 and will recursively do the same to nested
@@ -280 +264 @@
 
         template< typename LoopClass >
-        Statement * MultiLevelExitMutator::posthandleLoopStmt( LoopClass * loopStmt ) {
+        Statement * MLEMutator::posthandleLoopStmt( LoopClass * loopStmt ) {
                 assert( ! enclosingControlStructures.empty() );
                 Entry &e = enclosingControlStructures.back();
@@ -291 +275 @@
         }
 
-        void MultiLevelExitMutator::premutate( WhileStmt * whileStmt ) {
+        void MLEMutator::premutate( WhileStmt * whileStmt ) {
                 return prehandleLoopStmt( whileStmt );
         }
 
-        void MultiLevelExitMutator::premutate( ForStmt * forStmt ) {
+        void MLEMutator::premutate( ForStmt * forStmt ) {
                 return prehandleLoopStmt( forStmt );
         }
 
-        Statement * MultiLevelExitMutator::postmutate( WhileStmt * whileStmt ) {
+        Statement * MLEMutator::postmutate( WhileStmt * whileStmt ) {
                 return posthandleLoopStmt( whileStmt );
         }
 
-        Statement * MultiLevelExitMutator::postmutate( ForStmt * forStmt ) {
+        Statement * MLEMutator::postmutate( ForStmt * forStmt ) {
                 return posthandleLoopStmt( forStmt );
         }
 
-        void MultiLevelExitMutator::premutate( IfStmt * ifStmt ) {
+        void MLEMutator::premutate( IfStmt * ifStmt ) {
                 // generate a label for breaking out of a labeled if
                 bool labeledBlock = !(ifStmt->get_labels().empty());
@@ -317 +301 @@
         }
 
-        Statement * MultiLevelExitMutator::postmutate( IfStmt * ifStmt ) {
+        Statement * MLEMutator::postmutate( IfStmt * ifStmt ) {
                 bool labeledBlock = !(ifStmt->get_labels().empty());
                 if ( labeledBlock ) {
@@ -327 +311 @@
         }
 
-        void MultiLevelExitMutator::premutate( TryStmt * tryStmt ) {
+        void MLEMutator::premutate( TryStmt * tryStmt ) {
                 // generate a label for breaking out of a labeled if
                 bool labeledBlock = !(tryStmt->get_labels().empty());
@@ -337 +321 @@
         }
 
-        Statement * MultiLevelExitMutator::postmutate( TryStmt * tryStmt ) {
+        Statement * MLEMutator::postmutate( TryStmt * tryStmt ) {
                 bool labeledBlock = !(tryStmt->get_labels().empty());
                 if ( labeledBlock ) {
@@ -347 +331 @@
         }
 
-        void MultiLevelExitMutator::premutate( FinallyStmt * ) {
+        void MLEMutator::premutate( FinallyStmt * ) {
                 GuardAction([this, old = std::move(enclosingControlStructures)]() {
                         enclosingControlStructures = std::move(old);
@@ -354 +338 @@
         }
 
-        void MultiLevelExitMutator::premutate( CaseStmt *caseStmt ) {
+        void MLEMutator::premutate( CaseStmt *caseStmt ) {
                 visit_children = false;
 
@@ -393 +377 @@
         }
 
-        void MultiLevelExitMutator::premutate( SwitchStmt *switchStmt ) {
+        void MLEMutator::premutate( SwitchStmt *switchStmt ) {
                 // generate a label for breaking out of a labeled switch
                 Label brkLabel = generator->newLabel("switchBreak", switchStmt);
@@ -419 +403 @@
         }
 
-        Statement * MultiLevelExitMutator::postmutate( SwitchStmt * switchStmt ) {
+        Statement * MLEMutator::postmutate( SwitchStmt * switchStmt ) {
                 Entry &e = enclosingControlStructures.back();
                 assert ( e == switchStmt );