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

change to how default values for value numbers are recorded for SSA conversion by CAst 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3916 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
dolby-oss 2010-09-09 14:02:15 +00:00
parent 5cfbd1fbaf
commit 3fa3c8b03c
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/client/JavaSourceAnalysisEngine.java
View File

@ -30,6 +30,7 @@ import com.ibm.wala.ipa.callgraph.impl.Util;
import com.ibm.wala.ipa.cha.ClassHierarchy;
import com.ibm.wala.ipa.cha.ClassHierarchyException;
import com.ibm.wala.ipa.cha.IClassHierarchy;
import com.ibm.wala.ssa.ConstantValue;
import com.ibm.wala.ssa.SSAOptions;
import com.ibm.wala.ssa.SymbolTable;
import com.ibm.wala.ssa.Value;
@ -150,11 +151,7 @@ public abstract class JavaSourceAnalysisEngine extends AbstractAnalysisEngine {
SSAOptions ssaOptions = new SSAOptions();
ssaOptions.setDefaultValues(new SSAOptions.DefaultValues() {
public int getDefaultValue(SymbolTable symtab, int valueNumber) {
Value v = symtab.getValue(valueNumber);
if (v == null) {
assert v != null : "no default for " + valueNumber;
}
return v.getDefaultValue(symtab);
return symtab.getDefaultValue(valueNumber);
}
});