@@ -0,0 +1,1049 @@
+package sfBugsNew;%0A%0Aimport edu.umd.cs.findbugs.annotations.ExpectWarning;%0Aimport edu.umd.cs.findbugs.annotations.NoWarning;%0A%0Apublic class Bug1204 %7B%0A%0A    static volatile Object ob;%0A%0A    @NoWarning(%22DC_DOUBLECHECK%22)%0A    static Object lm() %7B%0A        Object result = ob;%0A        if (result == null) %7B // Bug: Possible doublecheck on snippet.Snippet.ob%0A            // in snippet.Snippet.lm()%0A            synchronized (Bug1204.class) %7B%0A                result = ob;%0A                if (result == null)%0A                    result = ob = new Object();%0A            %7D%0A        %7D%0A        return result;%0A    %7D%0A    %0A    static Object ob2;%0A    @ExpectWarning(%22DC_DOUBLECHECK%22)%0A    static Object lm2() %7B%0A        Object result = ob2;%0A        if (result == null) %7B // Bug: Possible doublecheck on snippet.Snippet.ob%0A            // in snippet.Snippet.lm()%0A            synchronized (Bug1204.class) %7B%0A                result = ob2;%0A                if (result == null)%0A                    result = ob2 = new Object();%0A            %7D%0A        %7D%0A        return result;%0A    %7D%0A%7D%0A

Add new test case