Test, that should fail but it doesn't...

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

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

java/java-tests/testData/inspection/dataFlow/IDEADEV74518/src/NoWarnings.java

@@ -0,0 +1,16 @@
+import java.util.*;
+
+public class NoWarnings {
+    public void f() {
+        int i = 1;
+
+        boolean b = true;
+        while (i < 200) {
+            if (b && i == 1) { // Warning here: i == 1 is always true, but it is not so.
+                b = false;
+            } else {
+                i++;
+            }
+        }
+    }
+}