1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
import java.util.*;
import org.checkerframework.checker.tainting.qual.*;
public class Issue2330<T extends @Tainted Object> {
// Checker can't verify that this creates an untainted Issue2330
@SuppressWarnings("tainting")
public @Untainted Issue2330(@PolyTainted int i) {}
// Checker can't verify that this creates an untainted Issue2330
@SuppressWarnings("tainting")
public @Untainted Issue2330() {}
public static void f(@PolyTainted int i) {
new @Untainted Issue2330<@PolyTainted Integer>(i);
new @Untainted Issue2330<@PolyTainted Integer>();
}
}
|
