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