checker/tests/nullness/ControlFlow.java

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

// test-case for issue 160
public class ControlFlow {
  public static void main(String[] args) {
    String s = null;
    if (s == null) {
      // Important!
    } else {
      // Can also throw exception or call System#exit
      return;
    }
    // :: error: (dereference.of.nullable)
    System.out.println(s.toString());
  }
}