Issue160.java

public class Issue160 {
    public static void t1() {
        String s = null;
        if (s != null) {
        } else {
            return;
        }
        System.out.println(s.toString());
    }

    public static void t2() {
        String s = null;
        if (s != null) {
        } else {
            throw new RuntimeException();
        }
        System.out.println(s.toString());
    }

    public static void t3() {
        String s = null;
        if (s != null) {
        } else {
            System.exit(0);
        }
        System.out.println(s.toString());
    }

    public static void t1b() {
        String s = null;
        if (s == null) {
        } else {
            return;
        }
        //:: error: (dereference.of.nullable)
        System.out.println(s.toString());
    }

    public static void t2b() {
        String s = null;
        if (s == null) {
        } else {
            throw new RuntimeException();
        }
        //:: error: (dereference.of.nullable)
        System.out.println(s.toString());
    }

    public static void t3b() {
        String s = null;
        if (s == null) {
        } else {
            System.exit(0);
        }
        //:: error: (dereference.of.nullable)
        System.out.println(s.toString());
    }
}