DfaMemoryStateImpl#applyRelationCondition: use isSubRelation to match e.g. '!=' and '<' relations

Fixes IDEA-238619 Wrong warning in for-loop over float

GitOrigin-RevId: 40b05cb62617bd6130852837463fc0dd061806a6

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

@@ -722,7 +722,7 @@ public class DfaMemoryStateImpl implements DfaMemoryState {
       }
       RelationType constantRelation = getFloatingConstantRelation(leftType, rightType);
       if (constantRelation != null) {
-        return constantRelation == relationType;
+        return relationType.isSubRelation(constantRelation);
       }
       if (canBeNaN(leftType) || canBeNaN(rightType)) {
         if (dfaLeft == dfaRight && dfaLeft instanceof DfaVariableValue && !(dfaLeft.getType() instanceof PsiPrimitiveType)) {

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

@@ -0,0 +1,9 @@
+import java.util.*;
+
+public class FloatLoop {
+  void test() {
+    for(float f = 0.0f; f != 2.0f; f += 0.01f){
+      System.out.println(f);
+    }
+  }
+}

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

@@ -68,6 +68,7 @@ public class DataFlowRangeAnalysisTest extends DataFlowInspectionTestCase {
   public void testStringConcat() { doTest(); }
   public void testUnaryPlusMinus() { doTest(); }
   public void testWidenPlusInLoop() { doTest(); }
+  public void testFloatLoop() { doTest(); }
   public void testWidenMulInLoop() { doTest(); }
   public void testReduceBinOpOnCast() { doTest(); }
   public void testSuppressZeroReport() { doTest(); }