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
|
decl.c: (in function main)
decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
decl.c:8:2: Path with no return in function declared to return int
Finished checking --- 2 code warnings, as expected
decl.c:3:5: Function main declared without parameter list
decl.c: (in function main)
decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
decl.c:8:2: Path with no return in function declared to return int
decl.c: (in function foo1)
decl.c:13:3: Likely out-of-bounds store: buf[10]
Unable to resolve constraint:
requires 9 >= 10
needed to satisfy precondition:
requires maxSet(buf @ decl.c:13:3) >= 10
decl.c:1:5: Function test declared but not defined
decl.c:1:5: Function test exported but not declared in header file
Finished checking --- 6 code warnings, as expected
decl2.c:3:6: Variable glob2 defined with inconsistent type (arrays and pointers
are not identical in variable declarations): int *
decl2.h:3:12: Previous declaration of glob2: int []
decl2.c:4:5: Variable glob2 redefined
decl2.c:3:6: Previous definition of glob2
decl2.c:6:6: Variable glob3 redeclared with inconsistent type: char
decl2.h:4:12: Previous declaration of glob3: int
decl2.c:9:5: Variable glob redefined
decl2.c:8:5: Previous definition of glob
Finished checking --- 4 code warnings, as expected
|
