checker/tests/signedness/WideningInitialization.java

import org.checkerframework.checker.signedness.qual.Signed;

public class WideningInitialization {
  public int findLineNr(int pc, char startPC, char lineNr) {
    int ln = 0;
    for (int i = 0; i < 3; i++) {
      if (startPC <= pc) {
        ln = lineNr;
      } else {
        return ln;
      }
    }
    return ln;
  }

  public int findLineNr2(char lineNr) {
    int ln = 0;
    ln = lineNr;
    return ln;
  }

  public void findLineNr3a(char lineNr) {
    @Signed int ln = lineNr;
  }

  public int findLineNr3b(char lineNr) {
    int ln = lineNr;
    return ln;
  }

  public int findLineNr4(char lineNr) {
    return lineNr;
  }
}