checker/tests/nullness/Throwing.java

import org.checkerframework.checker.nullness.qual.*;

public class Throwing {

  String a;

  // :: error: (initialization.fields.uninitialized)
  public Throwing(boolean throwError) {
    if (throwError) {
      throw new RuntimeException("not a real error");
    }
  }

  // :: error: (initialization.fields.uninitialized)
  public Throwing(int input) {
    try {
      throw new RuntimeException("not a real error");
    } catch (RuntimeException e) {
      // do nothing
    }
  }
}