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
|
import org.checkerframework.checker.signedness.qual.Unsigned;
import org.checkerframework.common.value.qual.IntRange;
class Issue2534 {
@IntRange(from = 0, to = Integer.MAX_VALUE) int field = 3;
@IntRange(from = 0, to = Integer.MAX_VALUE) int qwe() {
return 3;
}
void m1() {
@Unsigned int c = qwe();
}
void m2() {
@Unsigned int c = field;
}
void m3() {
@Unsigned int c = this.field;
}
void m4(@IntRange(from = 0, to = Integer.MAX_VALUE) int array[]) {
@Unsigned int c = array[0];
}
}
|
