fix SpotBugs warnings: exclude too strict rules.

sosy-lab · Aug 27, 2021 · 6f829d7 · 6f829d7
1 parent c14146d
commit 6f829d7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/build/SpotBugs.exclude.xml b/build/SpotBugs.exclude.xml
@@ -9,6 +9,9 @@ SPDX-License-Identifier: Apache-2.0
 -->
 
 <FindBugsFilter>
+    <!-- These checks are too pessimistic: https://github.com/spotbugs/spotbugs/issues/1601 -->
+    <Match><Bug pattern="EI_EXPOSE_REP"/></Match>
+    <Match><Bug pattern="EI_EXPOSE_REP2"/></Match>
     <!-- SpotBugs does not support @org.checkerframework.checker.nullness.qual.Nullable
          (cf. https://github.com/spotbugs/spotbugs/issues/643) -->
     <Match><Bug code="NP,RCN"/></Match>