]> source.dussan.org Git - jgit.git/commitdiff
[spotbugs] silence short-circuit warning in PackOutputStream#write 86/172986/4
authorMatthias Sohn <matthias.sohn@sap.com>
Sun, 29 Nov 2020 20:46:09 +0000 (21:46 +0100)
committerChristian Halstrick <christian.halstrick@sap.com>
Thu, 17 Dec 2020 16:18:11 +0000 (17:18 +0100)
Change-Id: I47b7a7991afae0dd1e678bd5e1f8e81599791e5f
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/findBugs/FindBugsExcludeFilter.xml

index 2efbb9c1a5b7e862075f13f7a4f8bd7978175320..a04b0a72990e7b6a7543d5deada4b048dc8823b8 100644 (file)
@@ -9,6 +9,12 @@
        <Bug pattern="DM_GC" />
      </Match>
 
+     <Match>
+       <Class name="org.eclipse.jgit.internal.storage.pack.PackOutputStream" />
+       <Method name="writeHeader" />
+       <Bug pattern="NS_DANGEROUS_NON_SHORT_CIRCUIT" />
+     </Match>
+
      <!-- Silence ignoring return value of mkdirs -->
      <Match>
        <Class name="org.eclipse.jgit.dircache.DirCacheCheckout" />