MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-09 20:42:52 +07:00
Code Issues Packages Projects Releases Wiki Activity

[rollback] NotNullValues mustn't end up in equivalence classes table. (Check SliceTreeTest next time)

Browse Source
This commit is contained in:
Maxim Shafirov
2012-03-19 18:24:37 +04:00
parent fdb6653456
commit dec44500b5
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
+3 -1
View File
@@ -568,6 +568,7 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
return true;
}
/*
if (dfaRight instanceof DfaNotNullValue) {
if (dfaLeft instanceof DfaVariableValue) {
DfaVariableState varState = getVariableState((DfaVariableValue)dfaLeft);
@@ -576,11 +577,12 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
if (isNegated) {
return varState.addNotInstanceofValue(type) || applyCondition(compareToNull(dfaVar, false));
}
return applyCondition(compareToNull(dfaVar, false)) && varState.setInstanceofValue(type);
return applyCondition(compareToNull(dfaVar, true)) && varState.setInstanceofValue(type);
}
return true;
}
*/
if (dfaRight == myFactory.getConstFactory().getNull() && dfaLeft instanceof DfaVariableValue) {
final DfaVariableState varState = getVariableState((DfaVariableValue)dfaLeft);