splint-3.1.2/test/libs.expect

2 libs.c: (in function compare2)
5 libs.c: (in function leave)
8 libs.c: (in function print)
16 libs.c:34:3: Assignment of int to char: c = getc(f)
17 libs.c: (in function main)
18 libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
21 libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
22     returns int] * gets [function () returns char] *:
23     ([function () returns char] *)compare2
26 libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
27     returns int] * gets [function () returns char] *:
28     ([function () returns char] *)compare2
30 libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
31                  * gets [function (int, int) returns int]: compare
32 libs.c:54:3: Return value (type [function (int) returns void]) ignored:
34 libs.c:55:3: Return value (type [function (int) returns void]) ignored:
39 libs.c: (in function compare2)
42 libs.c: (in function leave)
45 libs.c: (in function print)
53 libs.c:34:3: Assignment of int to char: c = getc(f)
54 libs.c: (in function main)
55 libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
58 libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
59     returns int] * gets [function () returns char] *:
60     ([function () returns char] *)compare2
67 libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
68     returns int] * gets [function () returns char] *:
69     ([function () returns char] *)compare2
71 libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
72                  * gets [function (int, int) returns int]: compare
73 libs.c:54:3: Return value (type [function (int) returns void]) ignored:
75 libs.c:55:3: Return value (type [function (int) returns void]) ignored:
80 libs.c: (in function compare2)
83 libs.c: (in function leave)
86 libs.c: (in function print)
98 libs.c:34:7: Undocumented modification of *f possible from call to getc:
99                 getc(f)
100 libs.c:34:3: Assignment of int to char: c = getc(f)
101 libs.c: (in function main)
102 libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
105 libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
106     returns int] * gets [function () returns char] *:
107     ([function () returns char] *)compare2
114 libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
115     returns int] * gets [function () returns char] *:
116     ([function () returns char] *)compare2
118 libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
119                  * gets [function (int, int) returns int]: compare
120 libs.c:54:3: Return value (type [function (int) returns void]) ignored:
122 libs.c:55:3: Return value (type [function (int) returns void]) ignored:
127 libs.c: (in function compare2)
130 libs.c: (in function leave)
133 libs.c: (in function print)
157 libs.c:34:7: Called procedure getc may access global errno
158 libs.c:34:7: Undocumented modification of *f possible from call to getc:
159                 getc(f)
160 libs.c:34:7: Undocumented modification of errno possible from call to getc:
161                 getc(f)
162 libs.c:34:3: Assignment of int to char: c = getc(f)
163 libs.c: (in function main)
164 libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
167 libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
168     returns int] * gets [function () returns char] *:
169     ([function () returns char] *)compare2
175                 qsort(NULL, x, x, ([function () returns int] *)compare)
179 libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
180     returns int] * gets [function () returns char] *:
181     ([function () returns char] *)compare2
184                 qsort(x, x, x, ([function () returns char] *)compare2)
186 libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
187                  * gets [function (int, int) returns int]: compare
191 libs.c:54:3: Return value (type [function (int) returns void]) ignored:
196 libs.c:55:3: Return value (type [function (int) returns void]) ignored: