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

DfaMemoryStateImpl: fix SOE when canonicalizing the stack value (EA-139129)

Browse Source
This commit is contained in:
Tagir Valeev
2019-03-11 14:37:53 +07:00
parent 25b29dda44
commit 90aab8b9c4
1 changed files with 1 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
+1
View File
@@ -1491,6 +1491,7 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
EqClass eqClass = variable.getDependentVariables().isEmpty() ? null : getEqClass(variable);
DfaVariableValue newCanonical =
eqClass == null ? null : StreamEx.of(eqClass.getVariables(false)).without(variable).min(EqClass.CANONICAL_VARIABLE_COMPARATOR)
.filter(candidate -> !candidate.dependsOn(variable))
.orElse(null);
myStack.replaceAll(value -> handleStackValueOnVariableFlush(value, variable, newCanonical));