diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
index 6f466384c8ae..55b5ff436b68 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
@@ -90,6 +90,10 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
 
     if (myStateSize != that.myStateSize) return false;
     if (myDistinctClasses.size() != that.myDistinctClasses.size()) return false;
+    if (myStack.size() != that.myStack.size()) return false;
+    if (myOffsetStack.size() != that.myOffsetStack.size()) return false;
+    if (myVariableStates.size() != that.myVariableStates.size()) return false;
+    if (myUnknownVariables.size() != that.myUnknownVariables.size()) return false;
 
     if (!myStack.equals(that.myStack)) return false;
     if (!myOffsetStack.equals(that.myOffsetStack)) return false;