IDEA-107071 Incorrect "Condition '...' is always 'false'" inspection result

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

@@ -0,0 +1,26 @@
+public class BrokenAlignment {
+
+  public static void main(String[] args) {
+
+    Throwable error = null;
+    try {
+      doSomething();
+    } catch (AssertionError e) {
+      // rethrow error
+      throw e;
+    } catch (Throwable e) {
+      // remember error
+      error = e;
+    }
+
+    if (error != null) { // <<--- inspection warning
+      // handle error ...
+    }
+
+  }
+
+  public static void doSomething() {
+    throw new RuntimeException("dummy");
+  }
+
+}

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

@@ -99,6 +99,7 @@ public class DataFlowInspectionTest extends LightCodeInsightFixtureTestCase {
   public void testReturningNullFromVoidMethod() throws Throwable { doTest(); }
 
   public void testCatchRuntimeException() throws Throwable { doTest(); }
+  public void testCatchThrowable() throws Throwable { doTest(); }
   public void testNotNullCatchParameter() { doTest(); }
 
   public void testAssertFailInCatch() throws Throwable {