1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// Test case for Issue #425:
// https://github.com/typetools/checker-framework/issues/425
// @skip-test until the issue is fixed
import java.util.HashSet;
import java.util.Set;
import org.checkerframework.checker.nullness.qual.Nullable;
public class Issue425 {
private @Nullable Set<Integer> field = null;
class EvilSet<T> extends HashSet<T> {
public boolean add(T e) {
field = null;
return super.add(e);
}
}
public void fail() {
if (field == null) {
field = new EvilSet<>();
}
field.add(1);
// This line throws an exception at run time.
field.add(2);
}
public static void main(String[] args) throws Exception {
Issue425 m = new Issue425();
m.fail();
}
}
|
