From b2fd7a0ea965b0ea29f34be670e4d280ebc7d425 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Tue, 12 May 2020 11:59:43 +0700
Subject: [PATCH] Condition.getValueComparedTo: remove incorrect recursive call

GitOrigin-RevId: d7cb08f88167a19755c92c869a19db582d8b4d2a
---
 .../com/intellij/codeInspection/dataFlow/ContractValue.java    | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ContractValue.java b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ContractValue.java
index 60155abb2512..1fed494f6a75 100644
--- a/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ContractValue.java
+++ b/java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/ContractValue.java
@@ -382,9 +382,6 @@ public abstract class ContractValue {
       if (value == IndependentValue.FALSE) {
         return getValueComparedTo(IndependentValue.TRUE, !equal);
       }
-      if (value == IndependentValue.TRUE) {
-        return getValueComparedTo(IndependentValue.FALSE, !equal);
-      }
       return null;
     }