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

dfa: remove trivial state facts that constant != another constant

Browse Source
This commit is contained in:
peter
2013-09-21 13:32:29 +02:00
parent 4ccfcf740c
commit 370d44d546
1 changed files with 9 additions and 0 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
View File
@@ -775,6 +775,15 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
if (!isNegated) { //Equals
if (c1Index.equals(c2Index)) return true;
if (!uniteClasses(c1Index, c2Index)) return false;
for (long encodedPair : myDistinctClasses.toArray()) {
SortedIntSet c1 = myEqClasses.get(low(encodedPair));
SortedIntSet c2 = myEqClasses.get(high(encodedPair));
if (ContainerUtil.findInstance(getEqClassValues(c1), DfaConstValue.class) != null &&
ContainerUtil.findInstance(getEqClassValues(c2), DfaConstValue.class) != null) {
myDistinctClasses.remove(encodedPair);
}
}
}
else { // Not Equals
if (c1Index.equals(c2Index)) return false;