checker/tests/nullness/TryCatch.java

import java.io.*;
import java.util.ArrayList;
import java.util.List;
import org.checkerframework.checker.nullness.qual.*;

class EntryReader {
  public EntryReader() throws IOException {}
}

public class TryCatch {
  void constructorException() throws IOException {
    List<Exception> file_errors = new ArrayList<>();
    try {
      new EntryReader();
    } catch (FileNotFoundException e) {
      file_errors.add(e);
    }
  }

  void unreachableCatch(String[] xs) {
    String t = "";
    t.toString();
    try {
    } catch (Throwable e) {
      // Note that this code is dead.
      // :: error: (dereference.of.nullable)
      t.toString();
    }
  }

  void noClassDefFoundError(@Nullable Object x) {
    try {
      Class cls = EntryReader.class;
    } catch (NoClassDefFoundError e) {
      if (x != null) {
        // OK
        x.toString();
      }
    }
  }
}