]>
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 | |
36 | enumbool.c:1:34: Member of boolean enumerated type definition does not match | |
37 | name set to represent TRUE or FALSE: false | |
38 | enumbool.c:1:34: Member of boolean enumerated type definition does not match | |
39 | name set to represent TRUE or FALSE: true | |
40 | ||
11db3170 | 41 | Finished checking --- 2 code warnings, as expected |
885824d3 | 42 | |
11db3170 | 43 | Finished checking --- no warnings |
885824d3 | 44 | |
11db3170 | 45 | Finished checking --- no warnings |
885824d3 | 46 | |
7ebcc5bb | 47 | extension.c:2:18: Parse Error: New function scope inside function. (For help on |
1b8ae690 | 48 | parse errors, see splint -help parseerrors.) |
885824d3 | 49 | *** Cannot continue. |
50 | ||
11db3170 | 51 | Finished checking --- no warnings |
885824d3 | 52 | |
53 | nestext.c: (in function f) | |
54 | nestext.c:3:26: Declaration using extern inside function scope: int test(void) | |
55 | ||
11db3170 | 56 | Finished checking --- 1 code warning, as expected |
885824d3 | 57 | |
885824d3 | 58 | sizeofarray.c:1:12: Function parameter x declared as manifest array (size |
59 | constant is meaningless) | |
60 | sizeofarray.c: (in function f) | |
61 | sizeofarray.c:5:13: Parameter to sizeof is an array-type function parameter: | |
62 | sizeof((x)) | |
63 | sizeofarray.c:10:16: Return value type size_t does not match declared type int: | |
64 | sizeof((a)) | |
65 | ||
11db3170 | 66 | Finished checking --- 3 code warnings, as expected |
885824d3 | 67 | |
68 | rex.c: (in function main) | |
69 | rex.c:19:12: Only storage re.parent (type struct rx_hash *) derived from | |
70 | variable declared in this scope is not released (memory leak) | |
80ee600a | 71 | rex.c:19:12: Only storage *(re.children)->parent (type struct rx_hash *) |
72 | derived from variable declared in this scope is not released (memory leak) | |
73 | rex.c:19:12: Only storage *(*(re.children)->children)->parent (type struct | |
74 | rx_hash *) derived from variable declared in this scope is not released | |
75 | (memory leak) | |
76 | rex.c:19:12: Only storage *(*(*(re.children)->children)->children)->parent | |
77 | (type struct rx_hash *) derived from variable declared in this scope is not | |
78 | released (memory leak) | |
79 | ||
11db3170 | 80 | Finished checking --- 4 code warnings, as expected |
885824d3 | 81 | |
82 | struct.c:13:6: Function main declared to return void, should return int | |
83 | ||
11db3170 | 84 | Finished checking --- 1 code warning, as expected |