DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix (i think) to edge computation caching

This commit is contained in:
Julian Dolby 2013-09-26 13:15:32 -04:00
parent 26c2be5ffb
commit a8fdf96cde
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/AbstractInterproceduralCFG.java
View File

@ -760,6 +760,7 @@ public abstract class AbstractInterproceduralCFG<T extends ISSABasicBlock> imple
addIntraproceduralNodesAndEdgesForCGNodeIfNeeded(src.getNode());
}
}
addedSuccs.add(getNumber(src));
return g.hasEdge(src, dst);
}