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

rewrite assertion that was always calling toString() 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3032 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2008-09-10 20:50:04 +00:00
parent eb78ecdb8e
commit 952dd9ff56
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
com.ibm.wala.core/src/com/ibm/wala/ssa/SSAAbstractInvokeInstruction.java
View File

@ -14,7 +14,6 @@ import com.ibm.wala.classLoader.CallSiteReference;
import com.ibm.wala.shrikeBT.IInvokeInstruction;
import com.ibm.wala.types.MethodReference;
import com.ibm.wala.types.TypeReference;
import com.ibm.wala.util.debug.Assertions;
/**
* @author Julian Dolby (dolby@us.ibm.com)
@ -56,10 +55,7 @@ public abstract class SSAAbstractInvokeInstruction extends SSAInstruction implem
* @return the value number of the receiver of a virtual call
*/
public int getReceiver() {
if (Assertions.verifyAssertions) {
IInvokeInstruction.IDispatch code = site.getInvocationCode();
Assertions._assert(code != IInvokeInstruction.Dispatch.STATIC, toString());
}
assert site.getInvocationCode() != IInvokeInstruction.Dispatch.STATIC : toString();
return getUse(0);
}