diff --git a/infer/tests/codetoanalyze/java/impurity/PurityModeled.java b/infer/tests/codetoanalyze/java/impurity/PurityModeled.java index 81f733689..1142b30bf 100644 --- a/infer/tests/codetoanalyze/java/impurity/PurityModeled.java +++ b/infer/tests/codetoanalyze/java/impurity/PurityModeled.java @@ -131,6 +131,7 @@ class PurityModeled { for (Color c : Color.values()) {} } + @SuppressWarnings("unchecked") void clone_pure(ArrayList list) { ArrayList cloned = (ArrayList) list.clone(); cloned.add(""); // no change the list diff --git a/infer/tests/codetoanalyze/java/performance/ArrayListTest.java b/infer/tests/codetoanalyze/java/performance/ArrayListTest.java index 9d00f1c91..7a198bf72 100644 --- a/infer/tests/codetoanalyze/java/performance/ArrayListTest.java +++ b/infer/tests/codetoanalyze/java/performance/ArrayListTest.java @@ -294,7 +294,7 @@ public class ArrayListTest { } } - ArrayList arr = new ArrayList(); + ArrayList arr = new ArrayList(); void boolean_control_var_linear() { for (int i = 0; i < arr.size(); i++) { diff --git a/infer/tests/codetoanalyze/java/purity/PurityModeled.java b/infer/tests/codetoanalyze/java/purity/PurityModeled.java index ce402e104..989753717 100644 --- a/infer/tests/codetoanalyze/java/purity/PurityModeled.java +++ b/infer/tests/codetoanalyze/java/purity/PurityModeled.java @@ -28,6 +28,7 @@ class PurityModeled { for (Color c : Color.values()) {} } + @SuppressWarnings("unchecked") void clone_pure(ArrayList list) { ArrayList cloned = (ArrayList) list.clone(); cloned.add(""); // no change the list