Reports loops that cannot complete without index overflow or doesn't execute at all

Usually it happens because of mistake in update operation

Example:


  void foo(int s) {
    for (int i = s; i > 12; i++) { // i-- should be here
      System.out.println(i);
    }
  }

New in 2019.1