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

use SSAAbstractInvokeInstruction to work with CAst 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1892 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
dolby-oss 2007-10-17 15:15:25 +00:00
parent b5ee69fa79
commit 1e78c51f91
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -277,9 +277,9 @@ public abstract class AbstractInterproceduralCFG<T extends ISSABasicBlock> imple
if (call == null) {
throw new IllegalArgumentException("call == null");
}
if (!(call instanceof com.ibm.wala.ssa.SSAInvokeInstruction) && !(call instanceof com.ibm.wala.shrikeBT.InvokeInstruction)) {
if (!(call instanceof com.ibm.wala.ssa.SSAAbstractInvokeInstruction) && !(call instanceof com.ibm.wala.shrikeBT.InvokeInstruction)) {
throw new IllegalArgumentException(
"(not ( call instanceof com.ibm.wala.ssa.SSAInvokeInstruction ) ) and (not ( call instanceof com.ibm.wala.shrikeBT.InvokeInstruction ) )");
"(not ( call instanceof com.ibm.wala.ssa.SSAAbstractInvokeInstruction ) ) and (not ( call instanceof com.ibm.wala.shrikeBT.InvokeInstruction ) )");
}
CallSiteReference site = null;
if (call instanceof InvokeInstruction) {
@ -287,7 +287,7 @@ public abstract class AbstractInterproceduralCFG<T extends ISSABasicBlock> imple
site = CallSiteReference.make(pc, MethodReference.findOrCreate(loader, c.getClassType(), c.getMethodName(), c
.getMethodSignature()), call.getInvocationCode());
} else {
com.ibm.wala.ssa.SSAInvokeInstruction c = (com.ibm.wala.ssa.SSAInvokeInstruction) call;
com.ibm.wala.ssa.SSAAbstractInvokeInstruction c = (com.ibm.wala.ssa.SSAAbstractInvokeInstruction) call;
site = CallSiteReference.make(pc, c.getDeclaredTarget(), call.getInvocationCode());
}
return site;