]> andersk Git - splint.git/blob - test/tests2.4.out
Merged with Dave Evans's changes.
[splint.git] / test / tests2.4.out
1
2 Finished LCLint checking --- no code errors found
3
4 Finished LCLint checking --- no code errors found
5
6 duffs.c: (in function send)
7 duffs.c:7:8: Fall through case (no preceeding break)
8 duffs.c:8:8: Fall through case (no preceeding break)
9 duffs.c:9:8: Fall through case (no preceeding break)
10 duffs.c:10:8: Fall through case (no preceeding break)
11 duffs.c:11:8: Fall through case (no preceeding break)
12 duffs.c:12:8: Fall through case (no preceeding break)
13 duffs.c:13:8: Fall through case (no preceeding break)
14
15 Finished LCLint checking --- 7 code errors found
16
17 Finished LCLint checking --- no code errors found
18
19 Finished LCLint checking --- no code errors found
20
21 bug2.c: (in function main)
22 bug2.c:6:8: Fall through case (no preceeding break)
23 bug2.c:10:10: Fall through case (no preceeding break)
24 bug2.c:16:8: Fall through case (no preceeding break)
25 bug2.c:5:5: Statement after switch is not a case: printf("here 1")
26 bug2.c:20:2: Path with no return in function declared to return int
27
28 Finished LCLint checking --- 5 code errors found, as expected
29
30 bug3.c: (in function main)
31 bug3.c:8:8: Fall through case (no preceeding break)
32 bug3.c:12:21: Variable j used before definition
33 bug3.c:13:2: Path with no return in function declared to return int
34
35 Finished LCLint checking --- 3 code errors found
36
37 Finished LCLint checking --- no code errors found
38
39 Finished LCLint checking --- no code errors found
40
41 Finished LCLint checking --- no code errors found
42
43 hexconstants.c: (in function f)
44 hexconstants.c:5:10: Return value type unsigned int does not match declared
45                         type int: m1 + m2
46
47 Finished LCLint checking --- 1 code error found, as expected
48 Command Line: Setting mode checks after setting mode flags will override set
49                  values of flags: exportlocal
50
51 hexconstants.c: (in function f)
52 hexconstants.c:2:21: Variable m1 initialized to type int, expects unsigned int:
53                         0xFF
54 hexconstants.c:3:21: Variable m2 initialized to type int, expects unsigned int:
55                         0142
56 hexconstants.c:5:10: Return value type unsigned int does not match declared
57                         type int: m1 + m2
58 hexconstants.c:1:5: Function f exported but not declared in header file
59    hexconstants.c:6:1: Definition of f
60
61 Finished LCLint checking --- 4 code errors found, as expected
62
63 innercomment.c:1:17: Comment starts inside comment
64 innercomment.c:16:3: Comment starts inside comment
65 Finished LCLint checking --- no code errors found
66
67 Finished LCLint checking --- no code errors found
68
69 offsetof.c: (in function f)
70 offsetof.c:10:3: Assignment of size_t to int: m = offsetof(S,u)
71 offsetof.c:12:26: Deep field k in offsetof is not the name of a field of struct
72                      { int m; }: offsetof(S,u.s.k)
73
74 Finished LCLint checking --- 2 code errors found, as expected
75
76 Finished LCLint checking --- no code errors found
77
78 Finished LCLint checking --- no code errors found
79
80 Finished LCLint checking --- no code errors found
81
82 error.c:5:9: Variable x initialized to type char, expects int: 'a'
83
84 Finished LCLint checking --- 1 code error found, as expected
85
86 ulrich.c: (in function utl_calloc)
87 ulrich.c:14:13: Possibly null storage newblock returned as non-null: newblock
88    ulrich.c:12:16: Storage newblock may become null
89
90 Finished LCLint checking --- 1 code error found
91
92 cpptest.c: (in function test)
93 cpptest.c:2:11: Variable x initialized to type char, expects int: 'a'
94
95 Finished LCLint checking --- 1 code error found
96
97 longlong.c: (in function llf)
98 longlong.c:2:11: Variable m initialized to type long long, expects int: llx
99 longlong.c:3:3: Assignment of long long to int: m = 243LL
100 longlong.c:6:3: Assignment of long long to long int: lx = 5234LL
101 longlong.c:9:3: Assignment of long long to long int: lx = llx
102
103 Finished LCLint checking --- 4 code errors found, as expected
104
105 Finished LCLint checking --- no code errors found
106
107 Finished LCLint checking --- no code errors found
108
109 Finished LCLint checking --- no code errors found
110
111 alignof.c: (in function f)
112 alignof.c:2:23: Variable m initialized to type size_t, expects int: alignof(x)
113 alignof.c:3:23: Variable n initialized to type size_t, expects int:
114                    alignof((x))
115
116 Finished LCLint checking --- 2 code errors found, as expected
117
118 Spec file not found: DBL_MANT_DIG=25.lcl
119 Command Line: Malformed option `-D'
120 Cannot open file: DBL_MANT_DIG=25.c
121 Cannot open file: source.c
122
123 Finished LCLint checking --- no code processed
This page took 0.049675 seconds and 5 git commands to generate.