1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
[kernel] Parsing reject_use_decl_mismatch_bts728.c (with preprocessing)
[kernel:typing:implicit-function-declaration] reject_use_decl_mismatch_bts728.c:15: Warning:
Calling undeclared function f. Old style K&R code?
[kernel] reject_use_decl_mismatch_bts728.c:19: User Error:
Declaration of f does not match previous declaration from reject_use_decl_mismatch_bts728.c:15 (different number of arguments).
[kernel] reject_use_decl_mismatch_bts728.c:19: User Error:
Inconsistent formals
17 }
18
19 int f(int x,int y, int z, int t,int t1,int t2,int t3,int t4,int t5,int t6) {
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
20 x = 17;
21 y=18;
[kernel] User Error: stopping on file "reject_use_decl_mismatch_bts728.c" that has errors. Add
'-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.
|
