Exceptions.java

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

public class Exceptions {
    void exceptionParam(@Nullable Exception m) {
        //:: error: (dereference.of.nullable)
        m.getClass(); // should emit error
    }

    void nonnullExceptionParam(@NonNull Exception m) {
        m.getClass();
    }

    void exception(@Nullable Exception m) {
        try {

        } catch (Exception e) {
            e.getClass();
            //:: error: (dereference.of.nullable)
            m.getClass(); // should emit error
        }
    }

    void throwException() {
        int a = 0;
        if (a == 0) {
            //:: error: (throwing.nullable)
            throw null;
        } else if (a == 1) {
            RuntimeException e = null;
            //:: error: (throwing.nullable)
            throw e;
        } else {
            RuntimeException e = new RuntimeException();
            throw e;
        }
    }

    void reassignException() {
        try {
        } catch (RuntimeException e) {
            //:: error: (assignment.type.incompatible)
            e = null;
            throw e;
        }
    }
}