Skip to content

Commit e7b5edb

Browse files
committed
avoid dead code insertion during insertOnEdge
1 parent bcd8a60 commit e7b5edb

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/main/java/soot/UnitPatchingChain.java

+1-1
Original file line numberDiff line numberDiff line change
@@ -134,7 +134,7 @@ public void insertOnEdge(Collection<? extends Unit> toInsert, Unit point_src, Un
134134
innerChain.insertBefore(toInsert, point_tgt);
135135

136136
if (originalPred != point_src) {
137-
if (originalPred instanceof GotoStmt) {
137+
if (!originalPred.fallsThrough()) {
138138
return;
139139
}
140140

0 commit comments

Comments
 (0)