]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | decl.c: (in function main) | |
3 | decl.c:7:3: Call to non-function (type [function (int) returns int] **): x | |
4 | decl.c:8:2: Path with no return in function declared to return int | |
5 | ||
11db3170 | 6 | Finished checking --- 2 code warnings, as expected |
885824d3 | 7 | |
8 | decl.c:3:5: Function main declared without parameter list | |
9 | decl.c: (in function main) | |
10 | decl.c:7:3: Call to non-function (type [function (int) returns int] **): x | |
11 | decl.c:8:2: Path with no return in function declared to return int | |
6317f163 | 12 | decl.c: (in function foo1) |
13 | decl.c:13:3: Likely out-of-bounds store: buf[10] | |
14 | Unable to resolve constraint: | |
15 | requires 9 >= 10 | |
16 | needed to satisfy precondition: | |
17 | requires maxSet(buf @ decl.c:13:3) >= 10 | |
885824d3 | 18 | decl.c:1:5: Function test declared but not defined |
19 | decl.c:1:5: Function test exported but not declared in header file | |
20 | ||
6317f163 | 21 | Finished checking --- 6 code warnings, as expected |
885824d3 | 22 | |
23 | decl2.c:3:6: Variable glob2 defined with inconsistent type (arrays and pointers | |
24 | are not identical in variable declarations): int * | |
25 | decl2.h:3:12: Previous declaration of glob2: int [] | |
26 | decl2.c:4:5: Variable glob2 redefined | |
27 | decl2.c:3:6: Previous definition of glob2 | |
28 | decl2.c:6:6: Variable glob3 redeclared with inconsistent type: char | |
29 | decl2.h:4:12: Previous declaration of glob3: int | |
30 | decl2.c:9:5: Variable glob redefined | |
31 | decl2.c:8:5: Previous definition of glob | |
32 | ||
11db3170 | 33 | Finished checking --- 4 code warnings, as expected |