[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/syntactic_hook.i (no preprocessing)
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:17:[kernel] warning: [SH]: definition of local function t
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.
