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
|
[kernel] Parsing for_unspecified_seq_in_inc.i (no preprocessing)
/* Generated by Frama-C */
extern int f(void);
int main(void)
{
int __retres;
while (1) {
int tmp;
goto __Cont;
__Cont: tmp = f();
}
{
int a;
while (1) {
int tmp_0;
goto __Cont_0;
__Cont_0: { /* sequence */
tmp_0 = f();
;
}
}
}
while (1) {
int tmp_1;
int tmp_2;
goto __Cont_1;
__Cont_1: { /* sequence */
tmp_1 = f();
tmp_2 = f();
}
}
{
int a_0;
while (1) {
goto __Cont_2;
__Cont_2: a_0 ++;
}
}
__retres = 0;
return __retres;
}
|
