/*
 *  This file is part of the Jikes RVM project (http://jikesrvm.org).
 *
 *  This file is licensed to You under the Common Public License (CPL);
 *  You may not use this file except in compliance with the License. You
 *  may obtain a copy of the License at
 *
 *      http://www.opensource.org/licenses/cpl1.0.php
 *
 *  See the COPYRIGHT.txt file distributed with this work for information
 *  regarding copyright ownership.
 */
public class inlineTest7 {

  public static void main(String[] args) {
    run();
  }

  public static void run() {
    inlineTest7 x = new inlineTest7();
    x.foo();
  }

  public void foo() {
    int i2 = 1;
    int k2 = 30;
    do {
      int k1 = k2 / 2;
      i2 = bar(i2+1, 25);
      k2 = k1;
    } while (k2 > 1);
  }

  public int bar(int i, int j) {
    if (i < j)
      return i;
    else
      return j;
  }
}

