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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
class store_load1
{
public static void main(String[] args)
{
if (true) {
int a0 = 0;
int a1 = 1;
int a2 = 2;
int a3 = 3;
int a4 = 4;
assert 0 == a0;
assert 1 == a1;
assert 2 == a2;
assert 3 == a3;
assert 4 == a4;
}
if (true) {
long a0 = 0L;
long a1 = 1L;
long a2 = 2L;
long a3 = 3L;
long a4 = 4L;
assert 0L == a0;
assert 1L == a1;
assert 2L == a2;
assert 3L == a3;
assert 4L == a4;
}
if (true) {
double a0 = 0.0;
double a1 = 1.0;
double a2 = 2.0;
double a3 = 3.0;
double a4 = 4.0;
assert 0.0 == a0;
assert 1.0 == a1;
assert 2.0 == a2;
assert 3.0 == a3;
assert 4.0 == a4;
}
if (true) {
float a0 = 0.5f;
float a1 = 1.0f;
float a2 = 2.0f;
float a3 = 3.0f;
float a4 = 4.0f;
assert 0.5f == a0;
assert 1.0f == a1;
assert 2.0f == a2;
assert 3.0f == a3;
assert 4.0f == a4;
}
}
}
|
