dfa: check that states to be merged are really complementary (IDEA-136917)
authorpeter <peter@jetbrains.com>
Wed, 25 Feb 2015 16:24:43 +0000 (17:24 +0100)
committerpeter <peter@jetbrains.com>
Wed, 25 Feb 2015 16:27:47 +0000 (17:27 +0100)
commitb74370435f901ff0b7904f53395fc558ba1106e4
tree49facef496ca7a24483c693d8ab365763d9ed286
parent210ca9eab1627a81bc4de34ea31f28d2d1064a67
dfa: check that states to be merged are really complementary (IDEA-136917)
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/StateMerger.java
java/java-tests/testData/inspection/dataFlow/fixture/CheckComplementarityWhenMerge.java [new file with mode: 0644]
java/java-tests/testSrc/com/intellij/codeInspection/DataFlowInspectionTest.java