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
|
[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/vdescr_bts1387.i (no preprocessing)
[kernel] Variable Frama_C_bzero has vdescr ''
[kernel] Variable dest has vdescr ''
[kernel] Variable n has vdescr ''
[kernel] Variable Frama_C_copy_block has vdescr ''
[kernel] Variable dest has vdescr ''
[kernel] Variable size has vdescr ''
[kernel] Variable n has vdescr ''
[kernel] Variable f has vdescr ''
[kernel] Variable has vdescr ''
[kernel] Variable g has vdescr ''
[kernel] Variable has vdescr ''
[kernel] Variable fptr has vdescr ''
[kernel] Variable main has vdescr ''
[kernel] Variable a has vdescr ''
[kernel] Variable b has vdescr ''
[kernel] Variable c has vdescr ''
[kernel] Variable d has vdescr ''
[kernel] Variable p has vdescr ''
[kernel] Variable t has vdescr ''
[kernel] Variable tmp has vdescr 'j++'
[kernel] Variable tmp_0 has vdescr 'p++'
[kernel] Variable tmp_1 has vdescr 'p++'
[kernel] Variable tmp_2 has vdescr 'f(j)'
[kernel] Variable tmp_3 has vdescr 'g(j)'
[kernel] Variable tmp_4 has vdescr 'k?& j:(int *)0'
[kernel] Variable l has vdescr ''
[kernel] Variable j has vdescr ''
[kernel] Variable k has vdescr ''
|
