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 toInsert, Unit point_src, Un innerChain.insertBefore(toInsert, point_tgt); if (originalPred != point_src) { - if (originalPred instanceof GotoStmt) { + if (!originalPred.fallsThrough()) { return; }