MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-06 06:21:16 +07:00
Code Issues Packages Projects Releases Wiki Activity

dfa: boxed/unboxed values are also unknown

Browse Source
This commit is contained in:
peter
2013-09-17 21:56:28 +04:00
parent 68499e9e2d
commit f5b050dba6
1 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
+9 -2
View File
@@ -174,7 +174,7 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
if (!myVariableStates.isEmpty()) {
result.append("\n vars: ");
for (Map.Entry<DfaVariableValue, DfaVariableState> entry : myVariableStates.entrySet()) {
result.append("[").append(entry.getKey()).append("->").append(entry.getValue()).append("]");
result.append("\n[").append(entry.getKey()).append("->").append(entry.getValue()).append("]");
}
}
if (!myUnknownVariables.isEmpty()) {
@@ -701,7 +701,14 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
}
private boolean isUnknownState(DfaValue val) {
return val instanceof DfaVariableValue && (myUnknownVariables.contains(val) || myUnknownVariables.contains(val.createNegated()));
if (val instanceof DfaBoxedValue) return isUnknownState(((DfaBoxedValue)val).getWrappedValue());
if (val instanceof DfaUnboxedValue) return isUnknownState(((DfaUnboxedValue)val).getVariable());
if (val instanceof DfaVariableValue) {
if (myUnknownVariables.contains(val)) return true;
DfaVariableValue negatedValue = ((DfaVariableValue)val).getNegatedValue();
if (negatedValue != null && myUnknownVariables.contains(negatedValue)) return true;
}
return false;
}
@Override