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