Index: src/ControlStruct/ExceptTranslate.cc
===================================================================
--- src/ControlStruct/ExceptTranslate.cc	(revision a16764a6fbfe44300fc8834400a31c89befda091)
+++ src/ControlStruct/ExceptTranslate.cc	(revision 8d7bef249652cc2b9854c7090c758bcd9ad9f613)
@@ -204,5 +204,4 @@
 		call->get_args().push_back( throwStmt->get_expr() );
 		throwStmt->set_expr( nullptr );
-		delete throwStmt;
 		return new ExprStmt( call );
 	}
@@ -234,5 +233,4 @@
 			new UntypedExpr( new NameExpr( "__cfaabi_ehm__rethrow_terminate" ) )
 			) );
-		delete throwStmt;
 		return result;
 	}
@@ -251,5 +249,4 @@
 			);
 		result->labels = throwStmt->labels;
-		delete throwStmt;
 		return result;
 	}
@@ -384,5 +381,4 @@
 		modded_handler->set_cond( nullptr );
 		modded_handler->set_body( nullptr );
-		delete modded_handler;
 		return block;
 	}
@@ -530,5 +526,4 @@
 		CompoundStmt * body = finally->get_block();
 		finally->set_block( nullptr );
-		delete finally;
 		tryStmt->set_finally( nullptr );
 
Index: src/ControlStruct/MLEMutator.cc
===================================================================
--- src/ControlStruct/MLEMutator.cc	(revision a16764a6fbfe44300fc8834400a31c89befda091)
+++ src/ControlStruct/MLEMutator.cc	(revision 8d7bef249652cc2b9854c7090c758bcd9ad9f613)
@@ -151,5 +151,4 @@
 
 		// transform break/continue statements into goto to simplify later handling of branches
-		delete branchStmt;
 		return new BranchStmt( exitLabel, BranchStmt::Goto );
 	}