Changes in src/ControlStruct/ExceptTranslate.cc [ad0be81:6fca7ea]

File:

• src/ControlStruct/ExceptTranslate.cc (modified) (5 diffs)

src/ControlStruct/ExceptTranslate.cc

@@ -10 +10 @@
 // Created On       : Wed Jun 14 16:49:00 2017
 // Last Modified By : Andrew Beach
-// Last Modified On : Fri Jun 30 13:30:00 2017
-// Update Count     : 1
+// Last Modified On : Wed Jul 12 15:07:00 2017
+// Update Count     : 3
 //
 
@@ -157 +157 @@
         Statement * create_terminate_throw( ThrowStmt *throwStmt ) {
                 // { int NAME = EXPR; __throw_terminate( &NAME ); }
-                return create_given_throw( "__cfaehm__throw_termination", throwStmt );
+                return create_given_throw( "__cfaehm__throw_terminate", throwStmt );
         }
         Statement * create_terminate_rethrow( ThrowStmt *throwStmt ) {
@@ -164 +164 @@
                 Statement * result = new ExprStmt(
                         throwStmt->get_labels(),
-                        new UntypedExpr( new NameExpr( "__cfaehm__rethrow_termination" ) )
+                        new UntypedExpr( new NameExpr( "__cfaehm__rethrow_terminate" ) )
                         );
                 delete throwStmt;
@@ -171 +171 @@
         Statement * create_resume_throw( ThrowStmt *throwStmt ) {
                 // __throw_resume( EXPR );
-                return create_given_throw( "__cfaehm__throw_resumption", throwStmt );
+                return create_given_throw( "__cfaehm__throw_resume", throwStmt );
         }
         Statement * create_resume_rethrow( ThrowStmt *throwStmt ) {
@@ -593 +593 @@
 
                 PassVisitor<ExceptionMutatorCore> translator;
-                for ( Declaration * decl : translationUnit ) {
-                        decl->acceptMutator( translator );
-                }
+                mutateAll( translationUnit, translator );
         }
 }