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: don't create negated value just to flush it

Browse Source
This commit is contained in:
peter
2013-09-16 21:16:38 +04:00
parent 36a4b9bfa8
commit d0469515fa
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
+6 -4
View File
@@ -838,10 +838,10 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
}
private void doFlush(DfaVariableValue varPlain) {
DfaVariableValue varNegated = varPlain.createNegated();
DfaVariableValue varNegated = varPlain.getNegatedValue();
final int idPlain = varPlain.getID();
final int idNegated = varNegated.getID();
final int idNegated = varNegated == null ? -1 : varNegated.getID();
int size = myEqClasses.size();
int interruptCount = 0;
@@ -855,7 +855,7 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
}
int cl = varClass.get(i);
DfaValue value = myFactory.getValue(cl);
if (mine(idPlain, value) || mine(idNegated, value)) {
if (mine(idPlain, value) || idNegated >= 0 && mine(idNegated, value)) {
varClass.remove(i);
break;
}
@@ -882,7 +882,9 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
}
myVariableStates.remove(varPlain);
myVariableStates.remove(varNegated);
if (varNegated != null) {
myVariableStates.remove(varNegated);
}
}
@Nullable private static DfaConstValue asConstantValue(DfaValue value) {