]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | boolops.c: (in function main) | |
3 | boolops.c:12:3: Assignment of int to Kzam: b = 12 | |
4 | ||
11db3170 | 5 | Finished checking --- 1 code warning, as expected |
885824d3 | 6 | |
7 | mbool.h:1:17: Type implemented as macro: bool | |
8 | ||
11db3170 | 9 | Finished checking --- 1 code warning, as expected |
885824d3 | 10 | |
11 | boolenum.c: (in function main) | |
12 | boolenum.c:11:8: Use of == with BOOLEAN variables (risks inconsistency because | |
13 | of multiple true values): a == TRUE | |
14 | ||
11db3170 | 15 | Finished checking --- 1 code warning, as expected |
885824d3 | 16 | |
17 | break.c: (in function f) | |
18 | break.c:9:4: Dereference of possibly null pointer x: *x | |
19 | break.c:1:24: Storage x may become null | |
20 | ||
11db3170 | 21 | Finished checking --- 1 code warning, as expected |
885824d3 | 22 | |
23 | bstring.c:4:14: Initial value of s4[0] is type char *, expects char: "hullo" | |
24 | bstring.c:4:23: Initial value of s4[1] is type char *, expects char: "g'bye" | |
25 | ||
11db3170 | 26 | Finished checking --- 2 code warnings, as expected |
885824d3 | 27 | |
28 | decl.c:3:21: Structure struct tm declared with fields { int x; }, specified | |
29 | with fields { int tm_sec; int tm_min; int tm_hour;, ... } | |
f9264521 | 30 | load file standard.lcd: Specification of struct tm |
885824d3 | 31 | decl.c:3:17: Field tm_sec in specified corresponds to x in declaration |
f9264521 | 32 | load file standard.lcd: Specification of tm_sec |
885824d3 | 33 | |
11db3170 | 34 | Finished checking --- 1 code warning, as expected |
885824d3 | 35 | |
0bd4c301 | 36 | Finished checking --- no warnings |
37 | ||
38 | enumbool.c:1:16: Enumerator member false declared with inconsistent type: | |
39 | enum { false, true } | |
40 | load file standard.lcd: Specification of false: bool | |
41 | enumbool.c:1:27: Enumerator member true declared with inconsistent type: | |
42 | enum { false, true } | |
43 | load file standard.lcd: Specification of true: bool | |
885824d3 | 44 | enumbool.c:1:34: Member of boolean enumerated type definition does not match |
0bd4c301 | 45 | name set to represent true or false: false |
885824d3 | 46 | enumbool.c:1:34: Member of boolean enumerated type definition does not match |
0bd4c301 | 47 | name set to represent true or false: true |
885824d3 | 48 | |
0bd4c301 | 49 | Finished checking --- 4 code warnings, expected 2 |
885824d3 | 50 | |
11db3170 | 51 | Finished checking --- no warnings |
885824d3 | 52 | |
7ebcc5bb | 53 | extension.c:2:18: Parse Error: New function scope inside function. (For help on |
1b8ae690 | 54 | parse errors, see splint -help parseerrors.) |
885824d3 | 55 | *** Cannot continue. |
56 | ||
11db3170 | 57 | Finished checking --- no warnings |
885824d3 | 58 | |
59 | nestext.c: (in function f) | |
60 | nestext.c:3:26: Declaration using extern inside function scope: int test(void) | |
61 | ||
11db3170 | 62 | Finished checking --- 1 code warning, as expected |
885824d3 | 63 | |
885824d3 | 64 | sizeofarray.c:1:12: Function parameter x declared as manifest array (size |
65 | constant is meaningless) | |
66 | sizeofarray.c: (in function f) | |
67 | sizeofarray.c:5:13: Parameter to sizeof is an array-type function parameter: | |
68 | sizeof((x)) | |
69 | sizeofarray.c:10:16: Return value type size_t does not match declared type int: | |
70 | sizeof((a)) | |
71 | ||
11db3170 | 72 | Finished checking --- 3 code warnings, as expected |
885824d3 | 73 | |
74 | rex.c: (in function main) | |
75 | rex.c:19:12: Only storage re.parent (type struct rx_hash *) derived from | |
76 | variable declared in this scope is not released (memory leak) | |
80ee600a | 77 | rex.c:19:12: Only storage *(re.children)->parent (type struct rx_hash *) |
78 | derived from variable declared in this scope is not released (memory leak) | |
79 | rex.c:19:12: Only storage *(*(re.children)->children)->parent (type struct | |
80 | rx_hash *) derived from variable declared in this scope is not released | |
81 | (memory leak) | |
82 | rex.c:19:12: Only storage *(*(*(re.children)->children)->children)->parent | |
83 | (type struct rx_hash *) derived from variable declared in this scope is not | |
84 | released (memory leak) | |
85 | ||
11db3170 | 86 | Finished checking --- 4 code warnings, as expected |
885824d3 | 87 | |
88 | struct.c:13:6: Function main declared to return void, should return int | |
89 | ||
11db3170 | 90 | Finished checking --- 1 code warning, as expected |