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
|
[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
share/libc/__fc_builtin_for_normalization.i:34:[kernel] New global node introducing identifier Frama_C_bzero(24)
[kernel] First occurrence of Frama_C_bzero
share/libc/__fc_builtin_for_normalization.i:43:[kernel] New global node introducing identifier Frama_C_copy_block(40)
[kernel] First occurrence of Frama_C_copy_block
[kernel] Parsing tests/syntax/syntactic_hook.i (no preprocessing)
tests/syntax/syntactic_hook.i:5:[kernel] New global node introducing identifier f(69)
[kernel] First occurrence of f
tests/syntax/syntactic_hook.i:7:[kernel] New global node introducing identifier h(72)
[kernel] First occurrence of h
tests/syntax/syntactic_hook.i:9:[kernel] warning: [SH]: definition of h does not use exactly the same prototype as declared on line 7
tests/syntax/syntactic_hook.i:9:[kernel] New global node introducing identifier h(72)
[kernel] New occurrence of existing identifier h
tests/syntax/syntactic_hook.i:11:[kernel] New global node introducing identifier k(79)
[kernel] First occurrence of k
tests/syntax/syntactic_hook.i:13:[kernel] New global node introducing identifier k(79)
[kernel] New occurrence of existing identifier k
tests/syntax/syntactic_hook.i:15:[kernel] New global node introducing identifier main(85)
[kernel] First occurrence of main
tests/syntax/syntactic_hook.i:17:[kernel] New global node introducing identifier t(89)
[kernel] First occurrence of t
tests/syntax/syntactic_hook.i:17:[kernel] warning: [SH]: definition of local function t
:0:[kernel] New global node introducing identifier g(91)
[kernel] First occurrence of g
tests/syntax/syntactic_hook.i:21:[kernel] warning: Calling undeclared function g. Old style K&R code?
tests/syntax/syntactic_hook.i:21:[kernel] warning: [SH]: implicit declaration for prototype g
tests/syntax/syntactic_hook.i:22:[kernel] Dropping side-effect in sizeof. Nothing to worry, this is by the book.
tests/syntax/syntactic_hook.i:22:[kernel] warning: [SH]: dropping side effect in sizeof: x++ is converted to tmp
tests/syntax/syntactic_hook.i:24:[kernel] warning: [SH]: side effect of expression x++ occurs in conditional part of expression x
&&
x++. It is not always executed
tests/syntax/syntactic_hook.i:25:[kernel] warning: [SH]: side effect of expression x++ occurs in conditional part of expression x
&&
(x++ || x). It is not always executed
tests/syntax/syntactic_hook.i:26:[kernel] warning: [SH]: side effect of expression x++ occurs in conditional part of expression x
||
x++. It is not always executed
tests/syntax/syntactic_hook.i:27:[kernel] warning: [SH]: side effect of expression x++ occurs in conditional part of expression x
? x++ :
x++. It is not always executed
tests/syntax/syntactic_hook.i:27:[kernel] warning: [SH]: side effect of expression x++ occurs in conditional part of expression x
? x++ :
x++. It is not always executed
tests/syntax/syntactic_hook.i:31:[kernel] user error: Declaration of f does not match previous declaration from tests/syntax/syntactic_hook.i:5 (different number of arguments).
tests/syntax/syntactic_hook.i:31:[kernel] warning: [SH]: conflict with declaration of f at line 5: different number of arguments
[kernel] user error: Inconsistent formals
[kernel] user error: stopping on file "tests/syntax/syntactic_hook.i" that has errors.
[kernel] Frama-C aborted: invalid user input.
|
