Method foo

src/test/resources/bugfinder/NullDeref3.java:5–10

()

public class NullDeref3 {

    void foo() {
        NullDeref3 n = new NullDeref3();
        if (n != null) // report a RCN warning
            System.out.println("Not null");
        System.out.println(n.hashCode());
    }

    Object foo2(Object o) {
        if (o == null)