dfa: don't flush array variable after element assignment (IDEA-135834)
authorpeter <peter@jetbrains.com>
Mon, 2 Feb 2015 11:25:20 +0000 (12:25 +0100)
committerpeter <peter@jetbrains.com>
Mon, 2 Feb 2015 11:42:56 +0000 (12:42 +0100)
commit9c3cd4bd4937db52996309bdf21d2de0f81c1a50
tree427f6f4e5a85ae0723c4b5773a280f701dd7b21a
parent72f9c3604e7995ba1a480d76420b31638f748420
dfa: don't flush array variable after element assignment (IDEA-135834)
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ControlFlowAnalyzer.java
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/InstructionVisitor.java
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/instructions/FlushVariableInstruction.java
java/java-tests/testData/inspection/dataFlow/fixture/NullableArray.java [new file with mode: 0644]
java/java-tests/testSrc/com/intellij/codeInspection/DataFlowInspectionTest.java