no matter if there are other variables having that constant value, it's still constant

This commit is contained in:
peter
2013-09-05 16:27:41 +02:00
parent 68d131bbbc
commit 559ab965eb
3 changed files with 28 additions and 8 deletions
@@ -549,7 +549,7 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
public DfaConstValue getConstantValue(DfaVariableValue value) {
DfaConstValue result = null;
for (DfaValue equal : getEqClassesFor(value)) {
if (equal == value) continue;
if (equal instanceof DfaVariableValue) continue;
DfaConstValue constValue = asConstantValue(equal);
if (constValue == null) return null;
result = constValue;