Java: Fixed false positive unused declarations under constant conditions (IDEA-182738)

java/java-psi-impl/src/com/intellij/psi/controlFlow/DefUseUtil.java

@@ -146,7 +146,7 @@ public class DefUseUtil {
 
     ControlFlow flow;
     try {
-      flow = ControlFlowFactory.getInstance(body.getProject()).getControlFlow(body, ourPolicy);
+      flow = ControlFlowFactory.getInstance(body.getProject()).getControlFlow(body, ourPolicy, false);
     }
     catch (AnalysisCanceledException e) {
       return null;

java/java-tests/testData/inspection/defUse/UnderAlwaysFalseCondition.java

@@ -0,0 +1,8 @@
+class C {
+  void foo(int n) {
+    if (false) {
+      int[] a = new int[n];
+      a[0] = 1;
+    }
+  }
+}

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

@@ -69,6 +69,7 @@ public class DefUseTest extends LightCodeInsightFixtureTestCase {
   }
   public void testFieldInitializerUsedInMethodReference() { doTest(); }
   public void testFieldInitializerChainedConstructor() { doTest(); }
+  public void testUnderAlwaysFalseCondition() { doTest(); }
 
   @NotNull
   @Override