]> andersk Git - splint.git/blame - test/libs.out
Created repository.
[splint.git] / test / libs.out
CommitLineData
885824d3 1
2libs.c: (in function compare2)
3libs.c:14:10: Observer storage returned without qualification: "ok"
4 libs.c:14:10: Storage becomes observer
5libs.c: (in function leave)
6libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
7libs.c:21:3: Unreachable code: exit(i)
8libs.c: (in function print)
9libs.c:33:3: Assignment of int to char: c = fgetc(f)
10libs.c:34:3: Assignment of int to char: c = getc(f)
11libs.c: (in function main)
12libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
13 int) returns int]: compare
14libs.c:46:10: Function bsearch called with 4 args, expects 5
15libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
16 returns int] * gets [function () returns char] *:
17 ([function () returns char] *)compare2
18libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
19libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
20libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
21 returns int] * gets [function () returns char] *:
22 ([function () returns char] *)compare2
23libs.c:54:11: Unrecognized identifier: SIGHUP
24libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
25 * gets [function (int, int) returns int]: compare
26libs.c:54:3: Return value (type [function (int) returns void]) ignored:
27 signal(SIGHUP, c...
28libs.c:55:3: Return value (type [function (int) returns void]) ignored:
29 signal(SIGHUP, l...
30
31Finished LCLint checking --- 15 code errors found, as expected
32
33libs.c: (in function compare2)
34libs.c:14:10: Observer storage returned without qualification: "ok"
35 libs.c:14:10: Storage becomes observer
36libs.c: (in function leave)
37libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
38libs.c:21:3: Unreachable code: exit(i)
39libs.c: (in function print)
40libs.c:33:3: Assignment of int to char: c = fgetc(f)
41libs.c:34:3: Assignment of int to char: c = getc(f)
42libs.c: (in function main)
43libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
44 int) returns int]: compare
45libs.c:46:10: Function bsearch called with 4 args, expects 5
46libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
47 returns int] * gets [function () returns char] *:
48 ([function () returns char] *)compare2
49libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
50libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x
51libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x
52libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
53libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x
54libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x
55libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
56 returns int] * gets [function () returns char] *:
57 ([function () returns char] *)compare2
58libs.c:54:11: Unrecognized identifier: SIGHUP
59libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
60 * gets [function (int, int) returns int]: compare
61libs.c:54:3: Return value (type [function (int) returns void]) ignored:
62 signal(SIGHUP, c...
63libs.c:55:3: Return value (type [function (int) returns void]) ignored:
64 signal(SIGHUP, l...
65
66Finished LCLint checking --- 19 code errors found, as expected
67
68libs.c: (in function compare2)
69libs.c:14:10: Observer storage returned without qualification: "ok"
70 libs.c:14:10: Storage becomes observer
71libs.c: (in function leave)
72libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
73libs.c:21:3: Unreachable code: exit(i)
74libs.c: (in function print)
75libs.c:29:3: Undocumented modification of *f possible from call to fprintf:
76 fprintf(f, s)
77libs.c:33:7: Undocumented modification of *f possible from call to fgetc:
78 fgetc(f)
79libs.c:33:3: Assignment of int to char: c = fgetc(f)
80libs.c:34:7: Undocumented modification of *f possible from call to getc:
81 getc(f)
82libs.c:34:3: Assignment of int to char: c = getc(f)
83libs.c: (in function main)
84libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
85 int) returns int]: compare
86libs.c:46:10: Function bsearch called with 4 args, expects 5
87libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
88 returns int] * gets [function () returns char] *:
89 ([function () returns char] *)compare2
90libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
91libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x
92libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x
93libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
94libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x
95libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x
96libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
97 returns int] * gets [function () returns char] *:
98 ([function () returns char] *)compare2
99libs.c:54:11: Unrecognized identifier: SIGHUP
100libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
101 * gets [function (int, int) returns int]: compare
102libs.c:54:3: Return value (type [function (int) returns void]) ignored:
103 signal(SIGHUP, c...
104libs.c:55:3: Return value (type [function (int) returns void]) ignored:
105 signal(SIGHUP, l...
106
107Finished LCLint checking --- 22 code errors found, as expected
108
109libs.c: (in function compare2)
110libs.c:14:10: Observer storage returned without qualification: "ok"
111 libs.c:14:10: Storage becomes observer
112libs.c: (in function leave)
113libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
114libs.c:21:3: Unreachable code: exit(i)
115libs.c: (in function print)
116libs.c:29:3: Undocumented modification of *f possible from call to fprintf:
117 fprintf(f, s)
118libs.c:29:3: Return value (type int) ignored: fprintf(f, s)
119libs.c:30:3: Called procedure printf may access global stdout
120libs.c:30:3: Undocumented modification of *stdout possible from call to printf:
121 printf(s)
122libs.c:30:3: Return value (type int) ignored: printf(s)
123libs.c:31:12: Undocumented use of global stderr
124libs.c:31:3: Undocumented modification of *stderr possible from call to
125 fprintf: fprintf(stderr, s)
126libs.c:31:3: Return value (type int) ignored: fprintf(stderr, s)
127libs.c:33:7: Called procedure fgetc may access global errno
128libs.c:33:7: Undocumented modification of *f possible from call to fgetc:
129 fgetc(f)
130libs.c:33:7: Undocumented modification of errno possible from call to fgetc:
131 fgetc(f)
132libs.c:33:3: Assignment of int to char: c = fgetc(f)
133libs.c:34:7: Undocumented modification of *f possible from call to getc:
134 getc(f)
135libs.c:34:3: Assignment of int to char: c = getc(f)
136libs.c: (in function main)
137libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
138 int) returns int]: compare
139libs.c:46:10: Function bsearch called with 4 args, expects 5
140libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
141 returns int] * gets [function () returns char] *:
142 ([function () returns char] *)compare2
143libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
144libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x
145libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x
146libs.c:51:3: Called procedure qsort may access global errno
147libs.c:51:3: Undocumented modification of errno possible from call to qsort:
148 qsort(NULL, x, x, ([function () returns int] *)compare)
149libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
150libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x
151libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x
152libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
153 returns int] * gets [function () returns char] *:
154 ([function () returns char] *)compare2
155libs.c:52:3: Called procedure qsort may access global errno
156libs.c:52:3: Undocumented modification of errno possible from call to qsort:
157 qsort(x, x, x, ([function () returns char] *)compare2)
158libs.c:54:11: Unrecognized identifier: SIGHUP
159libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
160 * gets [function (int, int) returns int]: compare
161libs.c:54:3: Called procedure signal may access global errno
162libs.c:54:3: Undocumented modification of errno possible from call to signal:
163 signal(SIGHUP, compare)
164libs.c:54:3: Return value (type [function (int) returns void]) ignored:
165 signal(SIGHUP, c...
166libs.c:55:3: Called procedure signal may access global errno
167libs.c:55:3: Undocumented modification of errno possible from call to signal:
168 signal(SIGHUP, leave)
169libs.c:55:3: Return value (type [function (int) returns void]) ignored:
170 signal(SIGHUP, l...
171
172Finished LCLint checking --- 39 code errors found, as expected
This page took 0.069915 seconds and 5 git commands to generate.