diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/AbstractInterproceduralCFG.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/AbstractInterproceduralCFG.java index c16e6bd25..b647a5019 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/AbstractInterproceduralCFG.java +++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/AbstractInterproceduralCFG.java @@ -760,6 +760,7 @@ public abstract class AbstractInterproceduralCFG imple addIntraproceduralNodesAndEdgesForCGNodeIfNeeded(src.getNode()); } } + addedSuccs.add(getNumber(src)); return g.hasEdge(src, dst); }