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

bug fixes for SDG edges 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@520 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-01-02 15:57:57 +00:00
parent db8e4a90d7
commit 184cca27fb
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/SDG.java
View File

@ -208,7 +208,7 @@ public class SDG extends AbstractNumberedGraph<Statement> implements ISDG {
case EXC_RET_CALLER: {
ParamStatement.ExceptionalReturnCaller nrc = (ParamStatement.ExceptionalReturnCaller) N;
SSAInvokeInstruction call = nrc.getCall();
Collection<Statement> result = HashSetFactory.make(5);
Collection<Statement> result = new Iterator2Collection<Statement>(getPDG(N.getNode()).getPredNodes(N));
if (!dOptions.equals(DataDependenceOptions.NONE)) {
// data dependence predecessors
for (CGNode t : N.getNode().getPossibleTargets(call.getCallSite())) {
@ -222,7 +222,7 @@ public class SDG extends AbstractNumberedGraph<Statement> implements ISDG {
case NORMAL_RET_CALLER: {
ParamStatement.NormalReturnCaller nrc = (ParamStatement.NormalReturnCaller) N;
SSAInvokeInstruction call = nrc.getCall();
Collection<Statement> result = HashSetFactory.make(5);
Collection<Statement> result = new Iterator2Collection<Statement>(getPDG(N.getNode()).getPredNodes(N));
if (!dOptions.equals(DataDependenceOptions.NONE)) {
// data dependence predecessors
for (CGNode t : N.getNode().getPossibleTargets(call.getCallSite())) {