From e7b5edb653a60923c85490534f3001b1dda74d96 Mon Sep 17 00:00:00 2001
From: benSepanski <ben_sepanski@utexas.edu>
Date: Thu, 9 Sep 2021 13:41:50 -0500
Subject: [PATCH] avoid dead code insertion during insertOnEdge

---
 src/main/java/soot/UnitPatchingChain.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/soot/UnitPatchingChain.java b/src/main/java/soot/UnitPatchingChain.java
index 53f5edfe546..e3b4752a24e 100644
--- a/src/main/java/soot/UnitPatchingChain.java
+++ b/src/main/java/soot/UnitPatchingChain.java
@@ -134,7 +134,7 @@ public void insertOnEdge(Collection<? extends Unit> toInsert, Unit point_src, Un
       innerChain.insertBefore(toInsert, point_tgt);
 
       if (originalPred != point_src) {
-        if (originalPred instanceof GotoStmt) {
+        if (!originalPred.fallsThrough()) {
           return;
         }