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