[java-dfa] containsConstant should ignore locality if values are compared by equals

Fixes IDEA-265089 ConstantCondition always false incorrectly reported on String.equals with String literal on left side

GitOrigin-RevId: 4e128a8308a9813bba953e107400c51879a6e7f2

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/types/DfReferenceType.java

@@ -125,7 +125,11 @@ public interface DfReferenceType extends DfType {
 
   @Override
   default boolean containsConstant(@NotNull DfConstantType<?> constant) {
-    return dropTypeConstraint().isSuperType(constant);
+    DfReferenceType filtered = dropTypeConstraint();
+    if (getConstraint().isComparedByEquals()) {
+      filtered = filtered.dropLocality();
+    }
+    return filtered.isSuperType(constant);
   }
 
   @Override

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

@@ -0,0 +1,18 @@
+public class StringEqualityNewStringInMethod {
+  // IDEA-265089
+  public boolean bad() {
+    return "baah".equals(toString("baah".getBytes("UTF-8")));
+  }
+
+  public boolean good() {
+    return "baah".equals(new String("baah".getBytes("UTF-8"), 0, 4, "UTF-8"));
+  }
+
+  public boolean good2() {
+    return toString("baah".getBytes("UTF-8")).equals("baah");
+  }
+
+  private static String toString(final byte[] data) {
+    return new String(data, 0, 4, "UTF-8");
+  }
+}

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

@@ -622,6 +622,7 @@ public class DataFlowInspectionTest extends DataFlowInspectionTestCase {
   public void testVoidIsAlwaysNull() { doTest(); }
   public void testImpossibleType() { doTest(); }
   public void testStringEquality() { doTest(); }
+  public void testStringEqualityNewStringInMethod() { doTest(); }
   public void testAssignmentFieldAliasing() { doTest(); }
   public void testNewBoxedNumberEquality() { doTest(); }
   public void testBoxingIncorrectLiteral() { doTest(); }