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();
        }
}

@@ -198,32 +198,144 @@
 ;%0A            %7D%0A
+    int f2() %7B%0A    %09Object tmp = x;%0A        if (tmp == null) return x.hashCode();%0A        return 42;%0A        %7D%0A%0A
     int g() %7B%0A  

add another test case