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
|
// Tests of constants
// @skip-test
import org.checkerframework.checker.signedness.qual.UnknownSignedness;
import org.checkerframework.checker.signedness.qual.Unsigned;
public class ConstantTests {
void m() {
int s = -2 / -1;
@Unsigned int u = -1 / -2;
int a = -1;
int b = -2;
int c = a / b;
@UnknownSignedness int x = 0xFFFFFFFE / 2;
int s1 = 0xFFFFFFFE;
@UnknownSignedness int y = s1 / 2;
// :: error: (operation.unsignedlhs)
@UnknownSignedness int z = ((@Unsigned int) -1) / -2;
@Unsigned int u1lit = 0xFFFFFFFE; // unsigned: 2^32 - 2, signed: -2
// :: error: (operation.unsignedlhs)
@UnknownSignedness int w = u1lit / 2;
}
}
|
