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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
[B2 (ENTRY)]
Succs (1): B1
[B1]
1: 0
2: int x = 0;
3: x
4: [B1.3] (ImplicitCastExpr, LValueToRValue, int)
5: 10
6: [B1.4] + [B1.5]
7: int y = x + 10;
8: y
9: [B1.8] (ImplicitCastExpr, LValueToRValue, int)
10: 2
11: [B1.9] * [B1.10]
12: int z = y * 2;
13: z
14: [B1.13] (ImplicitCastExpr, LValueToRValue, int)
15: 3
16: [B1.14] - [B1.15]
17: int w = z - 3;
18: w
19: [B1.18] (ImplicitCastExpr, LValueToRValue, int)
20: 300
21: [B1.19] + [B1.20]
22: int a = w + 300;
23: a
24: [B1.23] (ImplicitCastExpr, LValueToRValue, int)
25: 4
26: [B1.24] * [B1.25]
27: int b = a * 4;
28: b
29: [B1.28] (ImplicitCastExpr, LValueToRValue, int)
30: 7
31: [B1.29] - [B1.30]
32: int c = b - 7;
33: c
34: [B1.33] (ImplicitCastExpr, LValueToRValue, int)
35: return [B1.34];
Preds (1): B2
Succs (1): B0
[B0 (EXIT)]
Preds (1): B1
0-2-pre = max(-inf, inf)
1-2-pre = max(-inf, inf)
2-2-pre = max(-inf, inf)
3-2-pre = max(-inf, inf)
4-2-pre = max(-inf, inf)
5-2-pre = max(-inf, inf)
6-2-pre = max(-inf, inf)
0-1-pre = max(-inf, 0-2-pre)
1-1-pre = max(-inf, 1-2-pre)
2-1-pre = max(-inf, 2-2-pre)
3-1-pre = max(-inf, 3-2-pre)
4-1-pre = max(-inf, 4-2-pre)
5-1-pre = max(-inf, 5-2-pre)
6-1-pre = max(-inf, 6-2-pre)
0-1-0 = max(-inf, MCF<[0,0,0,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-pre, 1-1-pre, 2-1-pre, 3-1-pre, 4-1-pre, 5-1-pre, 6-1-pre))
1-1-0 = max(-inf, MCF<[-1,0,1,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-pre, 1-1-pre, 2-1-pre, 3-1-pre, 4-1-pre, 5-1-pre, 6-1-pre))
2-1-0 = max(-inf, MCF<[-1,0,0,1,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-pre, 1-1-pre, 2-1-pre, 3-1-pre, 4-1-pre, 5-1-pre, 6-1-pre))
3-1-0 = max(-inf, MCF<[-1,0,0,0,1,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-pre, 1-1-pre, 2-1-pre, 3-1-pre, 4-1-pre, 5-1-pre, 6-1-pre))
4-1-0 = max(-inf, MCF<[-1,0,0,0,0,1,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-pre, 1-1-pre, 2-1-pre, 3-1-pre, 4-1-pre, 5-1-pre, 6-1-pre))
5-1-0 = max(-inf, MCF<[-1,0,0,0,0,0,1,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-pre, 1-1-pre, 2-1-pre, 3-1-pre, 4-1-pre, 5-1-pre, 6-1-pre))
6-1-0 = max(-inf, MCF<[-1,0,0,0,0,0,0,1],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-pre, 1-1-pre, 2-1-pre, 3-1-pre, 4-1-pre, 5-1-pre, 6-1-pre))
0-1-1 = max(-inf, MCF<[-1,1,0,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-0, 1-1-0, 2-1-0, 3-1-0, 4-1-0, 5-1-0, 6-1-0))
1-1-1 = max(-inf, add(10, MCF<[-1,1,0,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-0, 1-1-0, 2-1-0, 3-1-0, 4-1-0, 5-1-0, 6-1-0)))
2-1-1 = max(-inf, MCF<[-1,0,0,1,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-0, 1-1-0, 2-1-0, 3-1-0, 4-1-0, 5-1-0, 6-1-0))
3-1-1 = max(-inf, MCF<[-1,0,0,0,1,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-0, 1-1-0, 2-1-0, 3-1-0, 4-1-0, 5-1-0, 6-1-0))
4-1-1 = max(-inf, MCF<[-1,0,0,0,0,1,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-0, 1-1-0, 2-1-0, 3-1-0, 4-1-0, 5-1-0, 6-1-0))
5-1-1 = max(-inf, MCF<[-1,0,0,0,0,0,1,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-0, 1-1-0, 2-1-0, 3-1-0, 4-1-0, 5-1-0, 6-1-0))
6-1-1 = max(-inf, MCF<[-1,0,0,0,0,0,0,1],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-0, 1-1-0, 2-1-0, 3-1-0, 4-1-0, 5-1-0, 6-1-0))
0-1-2 = max(-inf, MCF<[-1,1,0,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-1, 1-1-1, 2-1-1, 3-1-1, 4-1-1, 5-1-1, 6-1-1))
1-1-2 = max(-inf, MCF<[-1,0,1,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-1, 1-1-1, 2-1-1, 3-1-1, 4-1-1, 5-1-1, 6-1-1))
2-1-2 = max(-inf, MCF<[-2,0,2,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-1, 1-1-1, 2-1-1, 3-1-1, 4-1-1, 5-1-1, 6-1-1))
3-1-2 = max(-inf, MCF<[-1,0,0,0,1,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-1, 1-1-1, 2-1-1, 3-1-1, 4-1-1, 5-1-1, 6-1-1))
4-1-2 = max(-inf, MCF<[-1,0,0,0,0,1,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-1, 1-1-1, 2-1-1, 3-1-1, 4-1-1, 5-1-1, 6-1-1))
5-1-2 = max(-inf, MCF<[-1,0,0,0,0,0,1,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-1, 1-1-1, 2-1-1, 3-1-1, 4-1-1, 5-1-1, 6-1-1))
6-1-2 = max(-inf, MCF<[-1,0,0,0,0,0,0,1],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-1, 1-1-1, 2-1-1, 3-1-1, 4-1-1, 5-1-1, 6-1-1))
0-1-3 = max(-inf, MCF<[-1,1,0,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-2, 1-1-2, 2-1-2, 3-1-2, 4-1-2, 5-1-2, 6-1-2))
1-1-3 = max(-inf, MCF<[-1,0,1,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-2, 1-1-2, 2-1-2, 3-1-2, 4-1-2, 5-1-2, 6-1-2))
2-1-3 = max(-inf, MCF<[-1,0,0,1,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-2, 1-1-2, 2-1-2, 3-1-2, 4-1-2, 5-1-2, 6-1-2))
3-1-3 = max(-inf, add(-3, MCF<[-1,0,0,1,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-2, 1-1-2, 2-1-2, 3-1-2, 4-1-2, 5-1-2, 6-1-2)))
4-1-3 = max(-inf, MCF<[-1,0,0,0,0,1,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-2, 1-1-2, 2-1-2, 3-1-2, 4-1-2, 5-1-2, 6-1-2))
5-1-3 = max(-inf, MCF<[-1,0,0,0,0,0,1,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-2, 1-1-2, 2-1-2, 3-1-2, 4-1-2, 5-1-2, 6-1-2))
6-1-3 = max(-inf, MCF<[-1,0,0,0,0,0,0,1],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-2, 1-1-2, 2-1-2, 3-1-2, 4-1-2, 5-1-2, 6-1-2))
0-1-4 = max(-inf, MCF<[-1,1,0,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-3, 1-1-3, 2-1-3, 3-1-3, 4-1-3, 5-1-3, 6-1-3))
1-1-4 = max(-inf, MCF<[-1,0,1,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-3, 1-1-3, 2-1-3, 3-1-3, 4-1-3, 5-1-3, 6-1-3))
2-1-4 = max(-inf, MCF<[-1,0,0,1,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-3, 1-1-3, 2-1-3, 3-1-3, 4-1-3, 5-1-3, 6-1-3))
3-1-4 = max(-inf, MCF<[-1,0,0,0,1,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-3, 1-1-3, 2-1-3, 3-1-3, 4-1-3, 5-1-3, 6-1-3))
4-1-4 = max(-inf, add(300, MCF<[-1,0,0,0,1,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-3, 1-1-3, 2-1-3, 3-1-3, 4-1-3, 5-1-3, 6-1-3)))
5-1-4 = max(-inf, MCF<[-1,0,0,0,0,0,1,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-3, 1-1-3, 2-1-3, 3-1-3, 4-1-3, 5-1-3, 6-1-3))
6-1-4 = max(-inf, MCF<[-1,0,0,0,0,0,0,1],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-3, 1-1-3, 2-1-3, 3-1-3, 4-1-3, 5-1-3, 6-1-3))
0-1-5 = max(-inf, MCF<[-1,1,0,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-4, 1-1-4, 2-1-4, 3-1-4, 4-1-4, 5-1-4, 6-1-4))
1-1-5 = max(-inf, MCF<[-1,0,1,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-4, 1-1-4, 2-1-4, 3-1-4, 4-1-4, 5-1-4, 6-1-4))
2-1-5 = max(-inf, MCF<[-1,0,0,1,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-4, 1-1-4, 2-1-4, 3-1-4, 4-1-4, 5-1-4, 6-1-4))
3-1-5 = max(-inf, MCF<[-1,0,0,0,1,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-4, 1-1-4, 2-1-4, 3-1-4, 4-1-4, 5-1-4, 6-1-4))
4-1-5 = max(-inf, MCF<[-1,0,0,0,0,1,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-4, 1-1-4, 2-1-4, 3-1-4, 4-1-4, 5-1-4, 6-1-4))
5-1-5 = max(-inf, MCF<[-4,0,0,0,0,4,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-4, 1-1-4, 2-1-4, 3-1-4, 4-1-4, 5-1-4, 6-1-4))
6-1-5 = max(-inf, MCF<[-1,0,0,0,0,0,0,1],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-4, 1-1-4, 2-1-4, 3-1-4, 4-1-4, 5-1-4, 6-1-4))
0-1-6 = max(-inf, MCF<[-1,1,0,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-5, 1-1-5, 2-1-5, 3-1-5, 4-1-5, 5-1-5, 6-1-5))
1-1-6 = max(-inf, MCF<[-1,0,1,0,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-5, 1-1-5, 2-1-5, 3-1-5, 4-1-5, 5-1-5, 6-1-5))
2-1-6 = max(-inf, MCF<[-1,0,0,1,0,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-5, 1-1-5, 2-1-5, 3-1-5, 4-1-5, 5-1-5, 6-1-5))
3-1-6 = max(-inf, MCF<[-1,0,0,0,1,0,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-5, 1-1-5, 2-1-5, 3-1-5, 4-1-5, 5-1-5, 6-1-5))
4-1-6 = max(-inf, MCF<[-1,0,0,0,0,1,0,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-5, 1-1-5, 2-1-5, 3-1-5, 4-1-5, 5-1-5, 6-1-5))
5-1-6 = max(-inf, MCF<[-1,0,0,0,0,0,1,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-5, 1-1-5, 2-1-5, 3-1-5, 4-1-5, 5-1-5, 6-1-5))
6-1-6 = max(-inf, add(-7, MCF<[-1,0,0,0,0,0,1,0],[2:1,3:1,4:1,5:1,6:1,7:1,8:1]>(0-1-5, 1-1-5, 2-1-5, 3-1-5, 4-1-5, 5-1-5, 6-1-5)))
0-0-pre = max(-inf, 0-1-6)
1-0-pre = max(-inf, 1-1-6)
2-0-pre = max(-inf, 2-1-6)
3-0-pre = max(-inf, 3-1-6)
4-0-pre = max(-inf, 4-1-6)
5-0-pre = max(-inf, 5-1-6)
6-0-pre = max(-inf, 6-1-6)
Block 0:
x <= 0
y <= 10
z <= 20
w <= 17
a <= 317
b <= 1268
c <= 1261
Block 1:
x <= inf
y <= inf
z <= inf
w <= inf
a <= inf
b <= inf
c <= inf
Block 2:
x <= inf
y <= inf
z <= inf
w <= inf
a <= inf
b <= inf
c <= inf
|
