Changes in src/GenPoly/DeclMutator.cc [25a8631:8688ce1]

File:

• src/GenPoly/DeclMutator.cc (modified) (15 diffs)

src/GenPoly/DeclMutator.cc

@@ -9 +9 @@
 // Author           : Aaron B. Moss
 // Created On       : Fri Nov 27 14:44:00 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Thu Jun 22 13:49:00 2017
-// Update Count     : 4
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Aug  4 11:16:43 2016
+// Update Count     : 3
 //
 
@@ -20 +20 @@
 
 namespace GenPoly {
+        namespace {
+                const std::list<Label> noLabels;
+        }
+
         DeclMutator::DeclMutator() : Mutator(), declsToAdd(1), declsToAddAfter(1) {}
 
         DeclMutator::~DeclMutator() {}
-
+        
         void DeclMutator::mutateDeclarationList( std::list< Declaration* > &decls ) {
                 for ( std::list< Declaration* >::iterator decl = decls.begin(); ; ++decl ) {
@@ -30 +34 @@
 
                         if ( decl == decls.end() ) break;
-
+                        
                         // run mutator on declaration
                         *decl = maybeMutate( *decl, *this );
@@ -51 +55 @@
                 newBack->splice( newBack->end(), *back );
                 declsToAdd.pop_back();
-
+                
                 back = declsToAddAfter.rbegin();
                 newBack = back + 1;
@@ -62 +66 @@
                 CompoundStmt *compoundStmt = dynamic_cast< CompoundStmt* >(stmt);
                 if ( compoundStmt ) return mutate( compoundStmt );
-
+                
                 doBeginScope();
-
+                
                 // run mutator on statement
                 stmt = maybeMutate( stmt, *this );
@@ -98 +102 @@
                 doBeginScope();
 
-
+                
                 for ( std::list< Statement* >::iterator stmt = stmts.begin(); ; ++stmt ) {
                         // add any new declarations after the previous statement
@@ -108 +112 @@
 
                         if ( stmt == stmts.end() ) break;
-
+                        
                         // run mutator on statement
                         *stmt = maybeMutate( *stmt, *this );
@@ -119 +123 @@
                         declsToAdd.back().clear();
                 }
-
+                
                 doEndScope();
         }
@@ -135 +139 @@
                 return compoundStmt;
         }
-
+        
         Statement* DeclMutator::mutate(IfStmt *ifStmt) {
                 ifStmt->set_condition( maybeMutate( ifStmt->get_condition(), *this ) );
@@ -142 +146 @@
                 return ifStmt;
         }
-
+        
         Statement* DeclMutator::mutate(WhileStmt *whileStmt) {
                 whileStmt->set_condition( maybeMutate( whileStmt->get_condition(), *this ) );
@@ -148 +152 @@
                 return whileStmt;
         }
-
+        
         Statement* DeclMutator::mutate(ForStmt *forStmt) {
                 mutateAll( forStmt->get_initialization(), *this );
@@ -156 +160 @@
                 return forStmt;
         }
-
+        
         Statement* DeclMutator::mutate(SwitchStmt *switchStmt) {
                 switchStmt->set_condition( maybeMutate( switchStmt->get_condition(), *this ) );
@@ -162 +166 @@
                 return switchStmt;
         }
-
+        
         Statement* DeclMutator::mutate(CaseStmt *caseStmt) {
                 caseStmt->set_condition( maybeMutate( caseStmt->get_condition(), *this ) );
@@ -168 +172 @@
                 return caseStmt;
         }
-
+        
         Statement* DeclMutator::mutate(TryStmt *tryStmt) {
                 tryStmt->set_block( maybeMutate( tryStmt->get_block(), *this ) );
@@ -175 +179 @@
                 return tryStmt;
         }
-
+        
         Statement* DeclMutator::mutate(CatchStmt *catchStmt) {
                 catchStmt->set_decl( maybeMutate( catchStmt->get_decl(), *this ) );
-                catchStmt->set_cond( maybeMutate( catchStmt->get_cond(), *this ) );
                 catchStmt->set_body( mutateStatement( catchStmt->get_body() ) );
                 return catchStmt;