Fixed boxed boolean handling

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/DfaMemoryStateImpl.java

@@ -911,7 +911,7 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
       return true;
     }
     return applyRelation(unboxedLeft, unboxedRight, negated) &&
-           checkCompareWithBooleanLiteral(unboxedLeft, unboxedRight, negated);
+           ((negated && !isNotNull(dfaLeft)) || checkCompareWithBooleanLiteral(unboxedLeft, unboxedRight, negated));
   }
 
   private boolean checkCompareWithBooleanLiteral(DfaValue dfaLeft, DfaValue dfaRight, boolean negated) {

java/java-tests/testData/inspection/dataFlow/fixture/BoxedBoolean.java

@@ -0,0 +1,12 @@
+import org.jetbrains.annotations.*;
+
+class X {
+  native @Nullable Boolean readSomething();
+
+  void test() {
+    final Boolean x = readSomething();
+    if(x == Boolean.TRUE) {}
+    else if(x == Boolean.FALSE || x == null) {}
+    else {}
+  }
+}

java/java-tests/testSrc/com/intellij/java/codeInspection/DataFlowInspectionTest.java

@@ -648,4 +648,5 @@ public class DataFlowInspectionTest extends DataFlowInspectionTestCase {
   public void testSameArguments() { doTest(); }
   public void testMaxLoop() { doTest(); }
   public void testExplicitBoxing() { doTest(); }
+  public void testBoxedBoolean() { doTest(); }
 }