package npe;
class TrackFields {
    Object x;
    TrackFields(Object x) {
            this.x = x;
            }

    int f() {
            if (x == null) return x.hashCode();
            return 42;
            }
    int g() {
            if (x != null) return 42;
            return x.hashCode();
            }
    int doNotReport() {
        if (x == null) 
        	x = new Object();
        return x.hashCode();
        }
}

Test case for tracking fields in NP analysis
Test case for tracking fields in NP analysis


git-svn-id: e7d6bde23f017c9ff4efd468d79d66def666766b@6015 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
