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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
boolops.c: (in function main)
boolops.c:12:3: Assignment of int to Kzam: b = 12
Finished LCLint checking --- 1 code error found, as expected
mbool.h:1:17: Type implemented as macro: bool
Finished LCLint checking --- 1 code error found, as expected
boolenum.c: (in function main)
boolenum.c:11:8: Use of == with BOOLEAN variables (risks inconsistency because
of multiple true values): a == TRUE
Finished LCLint checking --- 1 code error found, as expected
break.c: (in function f)
break.c:9:4: Dereference of possibly null pointer x: *x
break.c:1:24: Storage x may become null
Finished LCLint checking --- 1 code error found, as expected
bstring.c:4:14: Initial value of s4[0] is type char *, expects char: "hullo"
bstring.c:4:23: Initial value of s4[1] is type char *, expects char: "g'bye"
Finished LCLint checking --- 2 code errors found, as expected
decl.c:3:21: Structure struct tm declared with fields { int x; }, specified
with fields { int tm_sec; int tm_min; int tm_hour;, ... }
load file ansi.lcd: Specification of struct tm
decl.c:3:17: Field tm_sec in specified corresponds to x in declaration
load file ansi.lcd: Specification of tm_sec
Finished LCLint checking --- 1 code error found, as expected
enumbool.c:1:34: Member of boolean enumerated type definition does not match
name set to represent TRUE or FALSE: false
enumbool.c:1:34: Member of boolean enumerated type definition does not match
name set to represent TRUE or FALSE: true
Finished LCLint checking --- 2 code errors found, as expected
Finished LCLint checking --- no code errors found
Finished LCLint checking --- no code errors found
extension.c:3:1: Parse Error. (For help on parse errors, see lclint -help
parseerrors.)
*** Cannot continue.
Finished LCLint checking --- no code errors found
nestext.c: (in function f)
nestext.c:3:26: Declaration using extern inside function scope: int test(void)
Finished LCLint checking --- 1 code error found, as expected
Finished LCLint checking --- no code errors found
sizeofarray.c:1:12: Function parameter x declared as manifest array (size
constant is meaningless)
sizeofarray.c: (in function f)
sizeofarray.c:5:13: Parameter to sizeof is an array-type function parameter:
sizeof((x))
sizeofarray.c:10:16: Return value type size_t does not match declared type int:
sizeof((a))
Finished LCLint checking --- 3 code errors found, as expected
rex.c: (in function main)
rex.c:19:12: Only storage re.parent (type struct rx_hash *) derived from
variable declared in this scope is not released (memory leak)
Finished LCLint checking --- 1 code error found, as expected
struct.c:13:6: Function main declared to return void, should return int
Finished LCLint checking --- 1 code error found, as expected
|
