]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | libs.c: (in function compare2) | |
3 | libs.c:14:10: Observer storage returned without qualification: "ok" | |
4 | libs.c:14:10: Storage becomes observer | |
5 | libs.c: (in function leave) | |
6 | libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" | |
7 | libs.c:21:3: Unreachable code: exit(i) | |
8 | libs.c: (in function print) | |
80ee600a | 9 | libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: |
10 | s | |
11 | libs.c:30:3: Format string parameter to printf is not a compile-time constant: | |
12 | s | |
13 | libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: | |
14 | s | |
885824d3 | 15 | libs.c:33:3: Assignment of int to char: c = fgetc(f) |
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, | |
19 | int) returns int]: compare | |
20 | libs.c:46:10: Function bsearch called with 4 args, expects 5 | |
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 | |
24 | libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... | |
25 | libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x | |
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 | |
29 | libs.c:54:11: Unrecognized identifier: SIGHUP | |
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: | |
33 | signal(SIGHUP, c... | |
34 | libs.c:55:3: Return value (type [function (int) returns void]) ignored: | |
35 | signal(SIGHUP, l... | |
36 | ||
11db3170 | 37 | Finished checking --- 18 code warnings, as expected |
885824d3 | 38 | |
39 | libs.c: (in function compare2) | |
40 | libs.c:14:10: Observer storage returned without qualification: "ok" | |
41 | libs.c:14:10: Storage becomes observer | |
42 | libs.c: (in function leave) | |
43 | libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" | |
44 | libs.c:21:3: Unreachable code: exit(i) | |
45 | libs.c: (in function print) | |
80ee600a | 46 | libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: |
47 | s | |
48 | libs.c:30:3: Format string parameter to printf is not a compile-time constant: | |
49 | s | |
50 | libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: | |
51 | s | |
885824d3 | 52 | libs.c:33:3: Assignment of int to char: c = fgetc(f) |
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, | |
56 | int) returns int]: compare | |
57 | libs.c:46:10: Function bsearch called with 4 args, expects 5 | |
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 | |
61 | libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... | |
62 | libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x | |
63 | libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x | |
64 | libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x | |
65 | libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x | |
66 | libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x | |
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 | |
70 | libs.c:54:11: Unrecognized identifier: SIGHUP | |
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: | |
74 | signal(SIGHUP, c... | |
75 | libs.c:55:3: Return value (type [function (int) returns void]) ignored: | |
76 | signal(SIGHUP, l... | |
77 | ||
11db3170 | 78 | Finished checking --- 22 code warnings, as expected |
885824d3 | 79 | |
80 | libs.c: (in function compare2) | |
81 | libs.c:14:10: Observer storage returned without qualification: "ok" | |
82 | libs.c:14:10: Storage becomes observer | |
83 | libs.c: (in function leave) | |
84 | libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" | |
85 | libs.c:21:3: Unreachable code: exit(i) | |
86 | libs.c: (in function print) | |
80ee600a | 87 | libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: |
88 | s | |
885824d3 | 89 | libs.c:29:3: Undocumented modification of *f possible from call to fprintf: |
90 | fprintf(f, s) | |
80ee600a | 91 | libs.c:30:3: Format string parameter to printf is not a compile-time constant: |
92 | s | |
93 | libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: | |
94 | s | |
885824d3 | 95 | libs.c:33:7: Undocumented modification of *f possible from call to fgetc: |
96 | fgetc(f) | |
97 | libs.c:33:3: Assignment of int to char: c = fgetc(f) | |
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, | |
103 | int) returns int]: compare | |
104 | libs.c:46:10: Function bsearch called with 4 args, expects 5 | |
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 | |
108 | libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... | |
109 | libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x | |
110 | libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x | |
111 | libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x | |
112 | libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x | |
113 | libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x | |
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 | |
117 | libs.c:54:11: Unrecognized identifier: SIGHUP | |
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: | |
121 | signal(SIGHUP, c... | |
122 | libs.c:55:3: Return value (type [function (int) returns void]) ignored: | |
123 | signal(SIGHUP, l... | |
124 | ||
11db3170 | 125 | Finished checking --- 25 code warnings, as expected |
885824d3 | 126 | |
127 | libs.c: (in function compare2) | |
128 | libs.c:14:10: Observer storage returned without qualification: "ok" | |
129 | libs.c:14:10: Storage becomes observer | |
130 | libs.c: (in function leave) | |
131 | libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" | |
132 | libs.c:21:3: Unreachable code: exit(i) | |
133 | libs.c: (in function print) | |
80ee600a | 134 | libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: |
135 | s | |
885824d3 | 136 | libs.c:29:3: Undocumented modification of *f possible from call to fprintf: |
137 | fprintf(f, s) | |
138 | libs.c:29:3: Return value (type int) ignored: fprintf(f, s) | |
80ee600a | 139 | libs.c:30:3: Format string parameter to printf is not a compile-time constant: |
140 | s | |
885824d3 | 141 | libs.c:30:3: Called procedure printf may access global stdout |
142 | libs.c:30:3: Undocumented modification of *stdout possible from call to printf: | |
143 | printf(s) | |
144 | libs.c:30:3: Return value (type int) ignored: printf(s) | |
145 | libs.c:31:12: Undocumented use of global stderr | |
80ee600a | 146 | libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: |
147 | s | |
885824d3 | 148 | libs.c:31:3: Undocumented modification of *stderr possible from call to |
149 | fprintf: fprintf(stderr, s) | |
150 | libs.c:31:3: Return value (type int) ignored: fprintf(stderr, s) | |
151 | libs.c:33:7: Called procedure fgetc may access global errno | |
152 | libs.c:33:7: Undocumented modification of *f possible from call to fgetc: | |
153 | fgetc(f) | |
154 | libs.c:33:7: Undocumented modification of errno possible from call to fgetc: | |
155 | fgetc(f) | |
156 | libs.c:33:3: Assignment of int to char: c = fgetc(f) | |
157 | libs.c:34:7: Undocumented modification of *f possible from call to getc: | |
158 | getc(f) | |
159 | libs.c:34:3: Assignment of int to char: c = getc(f) | |
160 | libs.c: (in function main) | |
161 | libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int, | |
162 | int) returns int]: compare | |
163 | libs.c:46:10: Function bsearch called with 4 args, expects 5 | |
164 | libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *) | |
165 | returns int] * gets [function () returns char] *: | |
166 | ([function () returns char] *)compare2 | |
167 | libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... | |
168 | libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x | |
169 | libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x | |
170 | libs.c:51:3: Called procedure qsort may access global errno | |
171 | libs.c:51:3: Undocumented modification of errno possible from call to qsort: | |
172 | qsort(NULL, x, x, ([function () returns int] *)compare) | |
173 | libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x | |
174 | libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x | |
175 | libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x | |
176 | libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *) | |
177 | returns int] * gets [function () returns char] *: | |
178 | ([function () returns char] *)compare2 | |
179 | libs.c:52:3: Called procedure qsort may access global errno | |
180 | libs.c:52:3: Undocumented modification of errno possible from call to qsort: | |
181 | qsort(x, x, x, ([function () returns char] *)compare2) | |
182 | libs.c:54:11: Unrecognized identifier: SIGHUP | |
183 | libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void] | |
184 | * gets [function (int, int) returns int]: compare | |
185 | libs.c:54:3: Called procedure signal may access global errno | |
186 | libs.c:54:3: Undocumented modification of errno possible from call to signal: | |
187 | signal(SIGHUP, compare) | |
188 | libs.c:54:3: Return value (type [function (int) returns void]) ignored: | |
189 | signal(SIGHUP, c... | |
190 | libs.c:55:3: Called procedure signal may access global errno | |
191 | libs.c:55:3: Undocumented modification of errno possible from call to signal: | |
192 | signal(SIGHUP, leave) | |
193 | libs.c:55:3: Return value (type [function (int) returns void]) ignored: | |
194 | signal(SIGHUP, l... | |
195 | ||
11db3170 | 196 | Finished checking --- 42 code warnings, as expected |