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

correct ephemeral state copy (IDEA-113143 Calling method with contract shouldn't result in nullability suspicion)

Browse Source
This commit is contained in:
peter
2013-09-19 18:56:52 +02:00
parent 60c471bcdd
commit b016c04ab0
2 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java
+4
View File
@@ -65,6 +65,7 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
public DfaMemoryStateImpl createCopy() {
DfaMemoryStateImpl newState = createNew();
newState.myEphemeral = myEphemeral;
newState.myStack.addAll(myStack);
newState.myDistinctClasses.addAll(myDistinctClasses.toArray());
newState.myUnknownVariables.addAll(myUnknownVariables);
@@ -148,6 +149,9 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
public String toString() {
StringBuilder result = new StringBuilder();
result.append('<');
if (myEphemeral) {
result.append("ephemeral, ");
}
for (SortedIntSet set : getNonTrivialEqClasses()) {
appendClass(result, set);