adapt to wala changes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3926 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
1faed23dba
commit
607415b897
|
@ -151,11 +151,7 @@ public class EclipseProjectSourceAnalysisEngine extends EclipseProjectAnalysisEn
|
|||
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);
|
||||
}
|
||||
});
|
||||
|
||||
|
|
Loading…
Reference in New Issue