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

Merge branch 'master' of https://github.com/wala/WALA

This commit is contained in:
Julian Dolby 2017-08-22 18:05:59 -04:00
parent 6a17898b71 68f30f949d
commit 2d829a339e
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
com.ibm.wala.core/src/com/ibm/wala/analysis/typeInference/TypeInference.java
View File

@ -727,8 +727,8 @@ public class TypeInference extends SSAInference<TypeVariable> implements FixedPo
@Override
public IVariable makeVariable(int valueNumber) {
SymbolTable st = ir.getSymbolTable();
if (doPrimitives) {
SymbolTable st = ir.getSymbolTable();
if (st.isConstant(valueNumber)) {
if (st.isBooleanConstant(valueNumber)) {
return new TypeVariable(language.getPrimitive(language.getConstantType(Boolean.TRUE)));
@ -752,8 +752,9 @@ public class TypeInference extends SSAInference<TypeVariable> implements FixedPo
if (valueNumber < 0) {
throw new IllegalArgumentException("bad value number " + valueNumber);
}
assert getVariable(valueNumber) != null : "null variable for value number " + valueNumber;
return getVariable(valueNumber).getType();
TypeVariable variable = getVariable(valueNumber);
assert variable != null : "null variable for value number " + valueNumber;
return variable.getType();
}
public TypeAbstraction getConstantType(int valueNumber) {