dfa: suppress constant condition checking for expression-internal assignments (IDEA-31697)

java/java-tests/testData/inspection/dataFlow/IDEADEV11033/expected.xml

@@ -1,2 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<problems/>

java/java-tests/testData/inspection/dataFlow/IDEADEV11033/src/RightAssociativeAssignment.java

@@ -1,6 +0,0 @@
-public class NonconstantCondition {
-	void test(boolean flag) {
-		if (flag == (flag = true)) {
-		}
-	}
-}

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

@@ -0,0 +1,16 @@
+class Contracts {
+
+  void test(boolean flag) {
+    if (flag == (flag = true)) System.out.println();
+
+    int x = 1;
+    boolean y = x == (x +=1); // returns false
+    if (y) System.out.println();
+
+    int k = 1;
+    boolean z = (k +=1) == k; // returns true
+    if (z) System.out.println();
+  }
+
+
+}