From eb10c8bc24a2e905f8e8de69d27b107a890cdc00 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Mon, 15 Jan 2018 14:08:27 +0700
Subject: [PATCH] DFA test ReassignedVarInLoop

---
 .../dataFlow/fixture/ReassignedVarInLoop.java | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 java/java-tests/testData/inspection/dataFlow/fixture/ReassignedVarInLoop.java

diff --git a/java/java-tests/testData/inspection/dataFlow/fixture/ReassignedVarInLoop.java b/java/java-tests/testData/inspection/dataFlow/fixture/ReassignedVarInLoop.java
new file mode 100644
index 000000000000..01c36e43794a
--- /dev/null
+++ b/java/java-tests/testData/inspection/dataFlow/fixture/ReassignedVarInLoop.java
@@ -0,0 +1,22 @@
+import java.util.*;
+
+public class ReassignedVarInLoop {
+  public static void test(String text) {
+    List<String> result = new ArrayList<String>();
+    int start = -1;
+    for (int i = 0; i < text.length(); i++) {
+      char c = text.charAt(i);
+      boolean flag = Character.isJavaIdentifierPart(c);
+      if (flag && start == -1) {
+        start = i;
+      }
+      if (flag && <warning descr="Condition 'start != -1' is always 'true' when reached">start != -1</warning>) {
+        result.add("foo");
+      }
+      else if (<warning descr="Condition '!flag' is always 'true'">!flag</warning> && start != -1) {
+        result.add("foo");
+        start = -1;
+      }
+    }
+  }
+}