From ed85c598e26b7d3fa0a8aec119363bf3f7c6c687 Mon Sep 17 00:00:00 2001 From: Sergey Pospelov Date: Sun, 16 Oct 2022 17:16:17 +0800 Subject: [PATCH] Fix exceptional graph building --- pom.xml | 2 +- src/main/java/soot/toolkits/graph/ExceptionalUnitGraph.java | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/pom.xml b/pom.xml index d5a9761eb82..e352b2c0b7a 100644 --- a/pom.xml +++ b/pom.xml @@ -6,7 +6,7 @@ org.soot-oss soot-utbot-fork Soot - a J*va Optimization Framework - 4.4.0-FORK-1 + 4.4.0-FORK-2 A Java Optimization Framework https://soot-oss.github.io/soot diff --git a/src/main/java/soot/toolkits/graph/ExceptionalUnitGraph.java b/src/main/java/soot/toolkits/graph/ExceptionalUnitGraph.java index c82a85b017b..78b24a53d1b 100644 --- a/src/main/java/soot/toolkits/graph/ExceptionalUnitGraph.java +++ b/src/main/java/soot/toolkits/graph/ExceptionalUnitGraph.java @@ -437,9 +437,9 @@ protected Set buildExceptionalEdges(ThrowAnalysis throwAnalysis, if (thrower == entryPoint) { trapsThatAreHeads.add(catcher); } - for (Unit pred : throwersPreds) { - addEdge(unitToSuccs, unitToPreds, pred, catcher); - } +// for (Unit pred : throwersPreds) { +// addEdge(unitToSuccs, unitToPreds, pred, catcher); +// } } if (alwaysAddSelfEdges || (selfThrowables != null && selfThrowables.catchableAs(trapsType))) { addEdge(unitToSuccs, unitToPreds, thrower, catcher);