framework/tests/value/StringLenWidening.java

// Tests termination of a loop increasing the length of a string

public class StringLenWidening {

  // Minimized example from java.util.logging.Logger.entering
  public void entering(Object params[]) {
    String msg = "ENTRY";
    for (int i = 0; i < params.length; i++) {
      msg = msg + i;
    }
  }

  public void repeat(int a) {
    String str = "";
    for (int i = 0; i < a; i++) {
      str += "a";
    }
  }
}