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
|
[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/orig_name.i (no preprocessing)
tests/syntax/orig_name.i:10:[kernel] Variable x has been renamed to x_1
tests/syntax/orig_name.i:7:[kernel] Variable x has been renamed to x_0
/* Generated by Frama-C */
int x = 1;
int f(int x_0)
{
int y;
y = 0;
if (x_0 == 0) {
int x_1;
int tmp;
x_1 = 3;
{ /* sequence */
tmp = x_1;
x_1 ++;
y = tmp;
}
}
y += x_0;
return y;
}
|
