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

File:

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

src/ControlStruct/MLEMutator.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Wed Jan 22 11:50:00 2020
-// Update Count     : 223
+// Last Modified On : Tue Jan 21 10:33:00 2020
+// Update Count     : 222
 //
 
@@ -60 +60 @@
                 }
         } // namespace
-
-        void MultiLevelExitMutator::premutate( FunctionDecl * ) {
-                visit_children = false;
-        }
 
         // break labels have to come after the statement they break out of, so mutate a statement, then if they inform us
@@ -356 +352 @@
                 });
                 enclosingControlStructures = std::list<Entry>();
-                GuardValue( inFinally );
-                inFinally = true;
-        }
-
-        void MultiLevelExitMutator::premutate( ReturnStmt *returnStmt ) {
-                if ( inFinally ) {
-                        SemanticError( returnStmt->location, "'return' may not appear in a finally clause" );
-                }
         }