Changes in / [5518719:26fd986]

Location:

src

Files:

• ControlStruct/LabelFixer.cc (modified) (3 diffs)
• ControlStruct/MLEMutator.cc (modified) (16 diffs)
• ControlStruct/MLEMutator.h (modified) (2 diffs)
• SynTree/Statement.cc (modified) (3 diffs)

src/ControlStruct/LabelFixer.cc

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Tue Jan 21 10:32:00 2020
-// Update Count     : 160
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Mar 11 22:26:02 2019
+// Update Count     : 159
 //
 
@@ -21 +21 @@
 #include "ControlStruct/LabelGenerator.h"  // for LabelGenerator
 #include "LabelFixer.h"
-#include "MLEMutator.h"                    // for MultiLevelExitMutator
+#include "MLEMutator.h"                    // for MLEMutator
 #include "SynTree/Declaration.h"           // for FunctionDecl
 #include "SynTree/Expression.h"            // for NameExpr, Expression, Unty...
@@ -44 +44 @@
 
         void LabelFixer::postvisit( FunctionDecl * functionDecl ) {
-                PassVisitor<MultiLevelExitMutator> mlem( resolveJumps(), generator );
-                functionDecl->acceptMutator( mlem );
+                PassVisitor<MLEMutator> mlemut( resolveJumps(), generator );
+                functionDecl->acceptMutator( mlemut );
         }
 

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 );

src/ControlStruct/MLEMutator.h

@@ -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     : 47
+// Last Modified On : Thr Jan 16 12:46:00 2020
+// Update Count     : 46
 //
+
+// Can anyone figure out what MLE stands for?
 
 #pragma once
@@ -30 +32 @@
         class LabelGenerator;
 
-        class MultiLevelExitMutator : public WithVisitorRef<MultiLevelExitMutator>,
-                        public WithShortCircuiting, public WithGuards {
+        class MLEMutator : public WithVisitorRef<MLEMutator>, public WithShortCircuiting, public WithGuards {
           public:
                 class Entry;
-                MultiLevelExitMutator( std::map<Label, Statement *> *t, LabelGenerator *gen = 0 ) :
-                        targetTable( t ), breakLabel(std::string("")), generator( gen ) {}
-                ~MultiLevelExitMutator();
+                MLEMutator( std::map<Label, Statement *> *t, LabelGenerator *gen = 0 ) : targetTable( t ), breakLabel(std::string("")), generator( gen ) {}
+                ~MLEMutator();
 
                 void premutate( CompoundStmt *cmpndStmt );

src/SynTree/Statement.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Mon Jan 20 16:03:00 2020
-// Update Count     : 71
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Jan 10 14:20:47 2020
+// Update Count     : 70
 //
 
@@ -101 +101 @@
 
 
-const char * BranchStmt::brType[] = {
-        "Goto", "Break", "Continue", "Fall Through", "Fall Through Default",
-};
+const char * BranchStmt::brType[] = { "Goto", "Break", "Continue" };
 
 BranchStmt::BranchStmt( Label target, Type type ) throw ( SemanticErrorException ) :
@@ -121 +119 @@
 
 void BranchStmt::print( std::ostream & os, Indenter indent ) const {
-        assert(type < 5);
         os << "Branch (" << brType[type] << ")" << endl ;
         if ( target != "" ) os << indent+1 << "with target: " << target << endl;