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
|
[kernel] Parsing cert_exp10.c (with preprocessing)
[kernel:CERT:EXP:10] cert_exp10.c:11: Warning:
Potential unsequenced side-effects
[kernel:CERT:EXP:10] cert_exp10.c:13: Warning:
Potential unsequenced side-effects
/* Generated by Frama-C */
extern int f(int);
int main(void)
{
int __retres;
int tmp_0;
int tmp_1;
int i = 3;
int z = 3;
int m1 = f(1);
tmp_0 = f(2);
tmp_1 = f(3);
int m2 = tmp_0 + tmp_1;
if (i > 0) {
i ++;
z = i;
}
else z = i;
__retres = 0;
return __retres;
}
|
