]> andersk Git - splint.git/blob - test/tests2.5/newlint.lcd
Fixed library dump support so that buffer constraint annotations are read and written...
[splint.git] / test / tests2.5 / newlint.lcd
1 ;;LCLint Dump: newlint.lcd
2 ;;LCLint 3.0b-alpha --- 20 June 2001
3 ;;lib:166
4 ;;ctTable
5 0 u-2 19 38
6 0 p1|-2 20 39
7 0 b-2 21 40
8 0 p3|-2 22 41
9 0 p4|-2 23 42
10 0 p5|-2 24 43
11 0 p6|-2 25 44
12 0 p7|-2 26 45
13 0 p8|-2 27 46
14 0 p9|-2 28 47
15 0 p10|-2 29 48
16 0 p11|-2 30 49
17 0 p12|-2 31 50
18 0 p13|-2 32 51
19 0 p14|-2 33 52
20 0 p15|-2 34 53
21 0 p16|-2 35 54
22 0 p17|-2 36 55
23 0 p18|-2 37 56
24 1 t0|0 312 -1
25 1 t1|1&
26 1 t2|2&
27 1 t3|3&
28 1 t4|4 313 -1
29 1 t5|5&
30 1 t6|6&
31 1 t7|7&
32 1 t8|8&
33 1 t9|9&
34 1 t10|10&
35 1 t11|11&
36 1 t12|12&
37 1 t13|13&
38 1 t14|14&
39 1 t15|15&
40 1 t16|16&
41 1 t17|17&
42 1 t18|18&
43 2 y0|0&
44 2 y1|1&
45 2 y2|2&
46 2 y3|3&
47 2 y4|4&
48 2 y5|5&
49 2 y6|6&
50 2 y7|7&
51 2 y8|8&
52 2 y9|9&
53 2 y10|10&
54 2 y11|11&
55 2 y12|12&
56 2 y13|13&
57 2 y14|14&
58 2 y15|15&
59 2 y16|16&
60 2 y17|17&
61 2 y18|18&
62 -2 ?!
63 0 a1|&
64 0 s2|&
65 0 s3|&
66 0 s4|&
67 0 s5|&
68 0 s13|&
69 0 s14|&
70 0 s6|-1 381 -1
71 0 s7|&
72 0 a0|-1 399 -1
73 3 C0.5/20|!
74 3 C0.68/2|!
75 3 C0.2/5|!
76 3 f0 (70|@7|$#,)!
77 3 f1 (70|@7|$#,)!
78 3 C0.5/3|!
79 3 f0 (73|$#,)!
80 3 f2 (73|$#,)!
81 3 f70 (73|$#,)!
82 3 f0 (73|$#,)!
83 3 f2 (73|$#,)!
84 3 f70 (73|$#,)!
85 3 f0 (73|$#,)!
86 3 f2 (73|$#,)!
87 3 f70 (73|$#,)!
88 3 f0 (73|$#,)!
89 3 f2 (73|$#,)!
90 3 f70 (73|$#,)!
91 3 f0 (73|$#,)!
92 3 f2 (73|$#,)!
93 3 C0.2/5|!
94 3 f88 (73|$#,)!
95 3 C0.5/3|!
96 3 f0 (90|$#,)!
97 3 f2 (90|$#,)!
98 3 f88 (90|$#,)!
99 3 f0 (90|$#,)!
100 3 f2 (90|$#,)!
101 3 f88 (90|$#,)!
102 3 f0 (90|$#,)!
103 3 f2 (90|$#,)!
104 3 f88 (90|$#,)!
105 3 f0 (90|$#,)!
106 3 f2 (90|$#,)!
107 3 f88 (90|$#,)!
108 3 f0 (90|$#,)!
109 3 f2 (90|$#,)!
110 3 C0.2/5|!
111 3 f105 (90|$#,)!
112 3 C0.5/3|!
113 3 f0 (107|$#,)!
114 3 f2 (107|$#,)!
115 3 f105 (107|$#,)!
116 3 C0.4/5|!
117 3 f0 (107|$#,)!
118 3 f4 (107|$#,)!
119 3 f111 (107|$#,)!
120 3 f0 (107|$#,)!
121 3 f4 (107|$#,)!
122 3 f111 (107|$#,)!
123 3 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|$#int_frac_digits,4|@1|$#frac_digits,4|@1|$#p_cs_precedes,4|@1|$#p_sep_by_space,4|@1|$#n_cs_precedes,4|@1|$#n_sep_by_space,4|@1|$#p_sign_posn,4|@1|$#n_sign_posn,}!
124 0 s342|-1 125 -1
125 3 f0 (5|$#,23|0@5@7&#,)!
126 3 f19 (5|$#,23|0@5@7&#,)!
127 3 f23 (5|$#,23|0@5@7&#,)!
128 3 f0 ()!
129 3 f19 ()!
130 1 t119|119&
131 3 f125 ()!
132 3 f0 (17|$#,)!
133 3 f17 (17|$#,)!
134 3 f0 (17|$#,)!
135 3 f17 (17|$#,)!
136 3 f0 (17|$#,)!
137 3 f17 (17|$#,)!
138 3 f0 (17|$#,)!
139 3 f17 (17|$#,)!
140 3 f0 (17|$#,)!
141 3 f17 (17|$#,)!
142 3 f0 (17|$#,)!
143 3 f17 (17|$#,)!
144 3 f0 (17|$#,17|$#,)!
145 3 f17 (17|$#,17|$#,)!
146 3 f0 (17|$#,)!
147 3 f17 (17|$#,)!
148 3 f0 (17|$#,)!
149 3 f17 (17|$#,)!
150 3 f0 (17|$#,)!
151 3 f17 (17|$#,)!
152 3 f0 (17|$#,)!
153 3 f17 (17|$#,)!
154 3 f0 (17|$#,5|$#,)!
155 3 f17 (17|$#,5|$#,)!
156 3 f0 (17|$#,24|4@0@7&#,)!
157 3 f17 (17|$#,24|4@0@7&#,)!
158 3 f0 (17|$#,)!
159 3 f17 (17|$#,)!
160 3 f0 (17|$#,)!
161 3 f17 (17|$#,)!
162 3 f0 (17|$#,17|$#,)!
163 3 f17 (17|$#,17|$#,)!
164 3 f0 (17|$#,)!
165 3 f17 (17|$#,)!
166 3 f0 (17|$#,)!
167 3 f17 (17|$#,)!
168 3 f0 (17|$#,)!
169 3 f17 (17|$#,)!
170 3 f0 (17|$#,)!
171 3 f17 (17|$#,)!
172 3 f0 (17|$#,36|4@0@7&#,)!
173 3 f17 (17|$#,36|4@0@7&#,)!
174 3 f0 (17|$#,17|$#,)!
175 3 f17 (17|$#,17|$#,)!
176 0 a15|&
177 3 f0 (171|4@0@7&#,)!
178 3 f5 (171|4@0@7&#,)!
179 3 f0 (171|$#,5|$#,)!
180 3 f1 (171|$#,5|$#,)!
181 0 s8|&
182 3 ?!
183 3 f177 (5|$#,)!
184 3 f1 (5|$#,)^180
185 1 t179|179&
186 3 ?!
187 3 f181 (5|$#,)!
188 3 f1 (5|$#,)^184
189 1 t183|183&
190 3 ?!
191 3 f185 (5|$#,)!
192 3 f1 (5|$#,)^188
193 1 t187|187&
194 3 ?!
195 3 f189 (5|$#,)!
196 3 f1 (5|$#,)^192
197 1 t191|191&
198 3 f0 (5|$#,192|0@5@7&#,)!
199 3 f19 (5|$#,192|0@5@7&#,)^195
200 1 t194|194&
201 3 ?!
202 3 f196 (5|$#,)!
203 3 f19 (5|$#,)!
204 3 f1 (5|$#,192|0@5@7&#,)!
205 3 f1 (5|$#,)!
206 3 f200 (5|$#,192|0@5@7&#,)!
207 3 f0 (5|$#,)!
208 3 f5 (5|$#,)!
209 0 a16|&
210 3 f0 (204|4@0@7&#,!.,)!
211 3 f1 (204|4@0@7&#,!.,)!
212 3 f0 (204|$#,)!
213 3 f1 (204|$#,)!
214 0 a17|-1 211 -1
215 0 a18|-1 287 -1
216 1 t209|209&
217 3 f0 (23|$#,)!
218 3 f5 (23|$#,)!
219 3 f0 (23|$#,23|$#,)!
220 3 f5 (23|$#,23|$#,)!
221 3 f0 ()!
222 3 f19 ()!
223 3 f211 ()!
224 3 f0 (23|@5|4@5@7&#,)!
225 3 f19 (23|@5|4@5@7&#,)!
226 3 f23 (23|@5|4@5@7&#,)!
227 3 f0 (211|$#,)!
228 3 f5 (211|$#,)!
229 3 f0 (211|0@5@7&#,)!
230 3 f5 (211|0@5@7&#,)!
231 3 f0 (23|$#,23|$#,)!
232 3 f19 (23|$#,23|$#,)!
233 3 f211 (23|$#,23|$#,)!
234 3 f0 (23|$#,23|$#,211|$#,)!
235 3 f19 (23|$#,23|$#,211|$#,)!
236 3 f211 (23|$#,23|$#,211|$#,)!
237 3 f0 (211|$#,23|0@5@19@2@0#,)!
238 3 f1 (211|$#,23|0@5@19@2@0#,)!
239 3 f0 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
240 3 f5 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
241 3 C0.5/1|!
242 3 f0 (211|$#,23|$#,!.,)!
243 3 f5 (211|$#,23|$#,!.,)!
244 3 f236 (211|$#,23|$#,!.,)!
245 3 f0 (211|$#,23|$#,!.,)!
246 3 f5 (211|$#,23|$#,!.,)!
247 3 f0 (23|$#,!.,)!
248 3 f5 (23|$#,!.,)!
249 3 f236 (23|$#,!.,)!
250 3 f0 (23|$#,!.,)!
251 3 f5 (23|$#,!.,)!
252 3 f0 (23|4@0@7&#,23|$#,!.,)!
253 3 f5 (23|4@0@7&#,23|$#,!.,)!
254 3 f236 (23|4@0@7&#,23|$#,!.,)!
255 3 f0 (23|4@0@7&#,23|$#,!.,)!
256 3 f5 (23|4@0@7&#,23|$#,!.,)!
257 3 f0 (211|$#,23|$#,204|$#,)!
258 3 f5 (211|$#,23|$#,204|$#,)!
259 3 f0 (23|$#,204|$#,)!
260 3 f5 (23|$#,204|$#,)!
261 3 f0 (23|4@0@7&#,23|$#,204|$#,)!
262 3 f5 (23|4@0@7&#,23|$#,204|$#,)!
263 3 f0 (211|$#,)!
264 3 f5 (211|$#,)!
265 3 f0 (23|@5|4@0@7&#,5|$#,211|$#,)!
266 3 f19 (23|@5|4@0@7&#,5|$#,211|$#,)!
267 3 f23 (23|@5|4@0@7&#,5|$#,211|$#,)!
268 3 C0.5/4|!
269 3 f0 (263|$#,211|$#,)!
270 3 f5 (263|$#,211|$#,)!
271 3 f0 (23|$#,211|$#,)!
272 3 f5 (23|$#,211|$#,)!
273 3 f0 (211|@7|$#,)!
274 3 f5 (211|@7|$#,)!
275 3 f0 ()!
276 3 f5 ()!
277 3 f0 (23|4@0@7&#,)!
278 3 f19 (23|4@0@7&#,)!
279 3 f23 (23|4@0@7&#,)!
280 3 f0 (263|$#,211|@7|$#,)!
281 3 f5 (263|$#,211|@7|$#,)!
282 3 f0 (263|$#,)!
283 3 f5 (263|$#,)!
284 3 f0 (23|$#,)!
285 3 f5 (23|$#,)!
286 3 f0 (263|$#,211|$#,)!
287 3 f5 (263|$#,211|$#,)!
288 3 f0 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
289 3 f63 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
290 3 f0 (20|$#,63|$#,63|$#,211|$#,)!
291 3 f63 (20|$#,63|$#,63|$#,211|$#,)!
292 1 t210|210&
293 3 f0 (211|$#,287|4@0@7&#,)!
294 3 f5 (211|$#,287|4@0@7&#,)!
295 3 f0 (211|$#,9|$#,5|$#,)!
296 3 f5 (211|$#,9|$#,5|$#,)!
297 3 f0 (211|$#,287|$#,)!
298 3 f5 (211|$#,287|$#,)!
299 3 f0 (211|$#,)!
300 3 f9 (211|$#,)!
301 3 f0 (211|$#,)!
302 3 f1 (211|$#,)!
303 3 f0 (211|$#,)!
304 3 f1 (211|$#,)!
305 3 f0 (211|$#,)!
306 3 f5 (211|$#,)!
307 3 f0 (211|$#,)!
308 3 f5 (211|$#,)!
309 3 f0 (23|0@5@7&#,)!
310 3 f1 (23|0@5@7&#,)!
311 3 f0 (23|$#,)!
312 3 f17 (23|$#,)!
313 3 f0 (23|$#,)!
314 3 f5 (23|$#,)!
315 3 f0 (23|$#,)!
316 3 f9 (23|$#,)!
317 1 t19|19&
318 1 t23|23&
319 3 f0 (23|$#,313|4@5@7&#,)!
320 3 f17 (23|$#,313|4@5@7&#,)!
321 3 f0 (23|$#,313|4@5@7&#,5|$#,)!
322 3 f9 (23|$#,313|4@5@7&#,5|$#,)!
323 3 f0 (23|$#,313|4@5@7&#,5|$#,)!
324 3 f10 (23|$#,313|4@5@7&#,5|$#,)!
325 3 f0 ()!
326 3 f5 ()!
327 3 f0 (6|$#,)!
328 3 f1 (6|$#,)!
329 3 f0 (63|$#,63|$#,)!
330 3 f19 (63|$#,63|$#,)!
331 3 f20 (63|$#,63|$#,)!
332 3 f0 (63|$#,)!
333 3 f19 (63|$#,)!
334 3 f20 (63|$#,)!
335 3 f0 (20|@5|4@5@2&#,63|$#,)!
336 3 f19 (20|@5|4@5@2&#,63|$#,)!
337 3 f20 (20|@5|4@5@2&#,63|$#,)!
338 3 f0 (20|4@5@2&#,)!
339 3 f1 (20|4@5@2&#,)!
340 3 f0 ()!
341 3 f1 ()!
342 3 f0 (5|$#,)!
343 3 f1 (5|$#,)!
344 3 ?!
345 3 f339 ()!
346 3 f1 ()^342
347 1 t341|341&
348 3 f0 (342|$#,)!
349 3 f5 (342|$#,)!
350 3 f0 (23|$#,)!
351 3 f19 (23|$#,)!
352 3 f23 (23|$#,)!
353 3 f0 (23|0@5@7&#,)!
354 3 f5 (23|0@5@7&#,)!
355 3 ?!
356 3 f350 (20|$#,20|$#,)!
357 3 f5 (20|$#,20|$#,)^353
358 1 t352|352&
359 3 f0 (20|$#,20|$#,63|$#,63|$#,353|$#,)!
360 3 f19 (20|$#,20|$#,63|$#,63|$#,353|$#,)!
361 3 f20 (20|$#,20|$#,63|$#,63|$#,353|$#,)!
362 3 ?!
363 3 f357 (20|$#,20|$#,)!
364 3 f5 (20|$#,20|$#,)^360
365 1 t359|359&
366 3 f0 (20|$#,63|$#,63|$#,360|$#,)!
367 3 f1 (20|$#,63|$#,63|$#,360|$#,)!
368 3 f0 (5|$#,)!
369 3 f5 (5|$#,)!
370 3 S!2{5|@1|$#quot,5|@1|$#rem,}!
371 0 s339|&
372 0 s19|&
373 3 f0 (5|$#,5|$#,)!
374 3 f367 (5|$#,5|$#,)!
375 3 f0 (9|$#,)!
376 3 f9 (9|$#,)!
377 3 S!3{9|@1|$#quot,9|@1|$#rem,}!
378 0 s340|&
379 0 s20|&
380 3 f0 (9|$#,9|$#,)!
381 3 f374 (9|$#,9|$#,)!
382 3 f0 (5|$#,)!
383 3 f66 (5|$#,)!
384 3 f0 (211|$#,)!
385 3 f66 (211|$#,)!
386 1 t65|65 463 -1
387 3 f0 (381|@5|$#,5|$#,211|$#,)!
388 3 f19 (381|@5|$#,5|$#,211|$#,)!
389 3 f381 (381|@5|$#,5|$#,211|$#,)!
390 3 f0 (65|$#,211|$#,)!
391 3 f66 (65|$#,211|$#,)!
392 3 f0 (381|$#,211|$#,)!
393 3 f5 (381|$#,211|$#,)!
394 3 f0 (211|$#,5|$#,)!
395 3 f5 (211|$#,5|$#,)!
396 3 f0 (211|$#,381|$#,!.,)!
397 3 f5 (211|$#,381|$#,!.,)!
398 3 f0 (211|$#,381|$#,!.,)!
399 3 f5 (211|$#,381|$#,!.,)!
400 3 f0 (211|@7|$#,)!
401 3 f66 (211|@7|$#,)!
402 3 f0 ()!
403 3 f66 ()!
404 1 t67|67&
405 3 f0 (23|$#,63|$#,399|0@5@7&#,)!
406 3 f63 (23|$#,63|$#,399|0@5@7&#,)!
407 3 f0 (381|0@5@7&#,23|$#,63|$#,399|0@5@7&#,)!
408 3 f63 (381|0@5@7&#,23|$#,63|$#,399|0@5@7&#,)!
409 3 f0 (399|0@5@7&#,)!
410 3 f5 (399|0@5@7&#,)!
411 3 f0 (381|0@5@7&#,313|$#,63|$#,399|0@5@7&#,)!
412 3 f63 (381|0@5@7&#,313|$#,63|$#,399|0@5@7&#,)!
413 3 f0 (65|$#,211|@7|$#,)!
414 3 f66 (65|$#,211|@7|$#,)!
415 3 f0 (65|$#,)!
416 3 f66 (65|$#,)!
417 3 f0 (381|$#,63|$#,381|$#,!.,)!
418 3 f5 (381|$#,63|$#,381|$#,!.,)!
419 3 f0 (381|$#,381|$#,!.,)!
420 3 f5 (381|$#,381|$#,!.,)!
421 3 f0 (66|$#,211|$#,)!
422 3 f66 (66|$#,211|$#,)!
423 3 f0 (211|$#,381|$#,204|$#,)!
424 3 f5 (211|$#,381|$#,204|$#,)!
425 3 f0 (381|$#,63|$#,381|$#,204|$#,)!
426 3 f5 (381|$#,63|$#,381|$#,204|$#,)!
427 3 f0 (381|$#,204|$#,)!
428 3 f5 (381|$#,204|$#,)!
429 3 f0 (23|4@5@7&#,65|$#,399|0@5@7&#,)!
430 3 f63 (23|4@5@7&#,65|$#,399|0@5@7&#,)!
431 3 C0.1/381|!
432 3 f0 (381|@5|4@0@9&#,381|$#,)!
433 3 f1 (381|@5|4@0@9&#,381|$#,)!
434 3 f426 (381|@5|4@0@9&#,381|$#,)!
435 3 f0 (381|@5|$#,65|$#,)!
436 3 f19 (381|@5|$#,65|$#,)!
437 3 f381 (381|@5|$#,65|$#,)!
438 3 f0 (381|$#,381|$#,)!
439 3 f5 (381|$#,381|$#,)!
440 3 f0 (381|$#,381|$#,)!
441 3 f5 (381|$#,381|$#,)!
442 3 f0 (381|@5|4@0@9&#,381|$#,)!
443 3 f1 (381|@5|4@0@9&#,381|$#,)!
444 3 f426 (381|@5|4@0@9&#,381|$#,)!
445 3 f0 (381|$#,381|$#,)!
446 3 f63 (381|$#,381|$#,)!
447 0 s341|-1 443 -1
448 1 t442|442&
449 3 f0 (381|4@0@7&#,63|$#,381|$#,443|$#,)!
450 3 f63 (381|4@0@7&#,63|$#,381|$#,443|$#,)!
451 3 f0 (381|$#,)!
452 3 f63 (381|$#,)!
453 3 C0.1/381|!
454 3 f0 (381|@5|4@0@9&#,381|$#,63|$#,)!
455 3 f1 (381|@5|4@0@9&#,381|$#,63|$#,)!
456 3 f448 (381|@5|4@0@9&#,381|$#,63|$#,)!
457 3 f0 (381|$#,381|$#,63|$#,)!
458 3 f5 (381|$#,381|$#,63|$#,)!
459 3 f0 (381|@5|4@0@9&#,381|$#,63|$#,)!
460 3 f1 (381|@5|4@0@9&#,381|$#,63|$#,)!
461 3 f448 (381|@5|4@0@9&#,381|$#,63|$#,)!
462 3 f0 (381|@5|$#,381|$#,)!
463 3 f19 (381|@5|$#,381|$#,)!
464 3 f381 (381|@5|$#,381|$#,)!
465 3 f0 (381|@5|$#,65|$#,)!
466 3 f19 (381|@5|$#,65|$#,)!
467 3 f381 (381|@5|$#,65|$#,)!
468 1 t381|381&
469 3 f0 (23|0@5@7&#,463|$#,63|$#,399|0@5@7&#,)!
470 3 f63 (23|0@5@7&#,463|$#,63|$#,399|0@5@7&#,)!
471 3 f0 (381|$#,381|$#,)!
472 3 f63 (381|$#,381|$#,)!
473 3 f0 (381|$#,381|$#,)!
474 3 f19 (381|$#,381|$#,)!
475 3 f381 (381|$#,381|$#,)!
476 3 f0 (381|$#,463|0@5@7&#,)!
477 3 f17 (381|$#,463|0@5@7&#,)!
478 3 f0 (381|0@5@7&#,381|$#,463|$#,)!
479 3 f19 (381|0@5@7&#,381|$#,463|$#,)!
480 3 f381 (381|0@5@7&#,381|$#,463|$#,)!
481 3 f0 (381|$#,463|0@5@7&#,5|$#,)!
482 3 f9 (381|$#,463|0@5@7&#,5|$#,)!
483 3 f0 (381|$#,463|0@5@7&#,5|$#,)!
484 3 f10 (381|$#,463|0@5@7&#,5|$#,)!
485 3 f0 (381|0@5@7&#,381|$#,63|$#,)!
486 3 f63 (381|0@5@7&#,381|$#,63|$#,)!
487 3 f0 (66|$#,)!
488 3 f5 (66|$#,)!
489 3 f0 (381|$#,65|$#,63|$#,)!
490 3 f19 (381|$#,65|$#,63|$#,)!
491 3 f381 (381|$#,65|$#,63|$#,)!
492 3 f0 (381|$#,381|$#,63|$#,)!
493 3 f5 (381|$#,381|$#,63|$#,)!
494 3 f0 (381|@5|$#,381|$#,63|$#,)!
495 3 f19 (381|@5|$#,381|$#,63|$#,)!
496 3 f381 (381|@5|$#,381|$#,63|$#,)!
497 3 f0 (381|@5|$#,381|$#,63|$#,)!
498 3 f19 (381|@5|$#,381|$#,63|$#,)!
499 3 f381 (381|@5|$#,381|$#,63|$#,)!
500 3 f0 (381|@5|$#,65|$#,63|$#,)!
501 3 f19 (381|@5|$#,65|$#,63|$#,)!
502 3 f381 (381|@5|$#,65|$#,63|$#,)!
503 3 f0 (381|$#,!.,)!
504 3 f5 (381|$#,!.,)!
505 3 f0 (381|$#,!.,)!
506 3 f5 (381|$#,!.,)!
507 0 s9|&
508 0 s10|&
509 3 C0.2/5|!
510 3 f0 (66|$#,)!
511 3 f2 (66|$#,)!
512 3 f504 (66|$#,)!
513 3 f0 (66|$#,)!
514 3 f2 (66|$#,)!
515 3 f504 (66|$#,)!
516 3 f0 (66|$#,)!
517 3 f2 (66|$#,)!
518 3 f504 (66|$#,)!
519 3 f0 (66|$#,502|$#,)!
520 3 f2 (66|$#,502|$#,)!
521 3 f504 (66|$#,502|$#,)!
522 3 f0 (66|$#,)!
523 3 f2 (66|$#,)!
524 3 f504 (66|$#,)!
525 3 f0 (66|$#,)!
526 3 f2 (66|$#,)!
527 3 C0.2/5|!
528 3 f522 (66|$#,)!
529 3 f0 (66|$#,)!
530 3 f2 (66|$#,)!
531 3 f522 (66|$#,)!
532 3 f0 (66|$#,)!
533 3 f2 (66|$#,)!
534 3 f522 (66|$#,)!
535 3 f0 (66|$#,)!
536 3 f2 (66|$#,)!
537 3 f522 (66|$#,)!
538 3 f0 (66|$#,)!
539 3 f2 (66|$#,)!
540 3 f522 (66|$#,)!
541 3 f0 (66|$#,)!
542 3 f2 (66|$#,)!
543 3 f522 (66|$#,)!
544 3 C0.2/5|!
545 3 f0 (66|$#,)!
546 3 f2 (66|$#,)!
547 3 f539 (66|$#,)!
548 3 C0.66/5|!
549 3 f0 (66|$#,503|$#,)!
550 3 f66 (66|$#,503|$#,)!
551 3 f543 (66|$#,503|$#,)!
552 3 f0 (66|$#,)!
553 3 f66 (66|$#,)!
554 3 f543 (66|$#,)!
555 3 f0 (66|$#,)!
556 3 f66 (66|$#,)!
557 3 f543 (66|$#,)!
558 3 f0 (23|$#,)!
559 3 f503 (23|$#,)!
560 3 f0 (23|$#,)!
561 3 f502 (23|$#,)!
562 3 f0 (23|$#,63|$#,)!
563 3 f5 (23|$#,63|$#,)!
564 3 f0 (381|0@5@7&#,23|0@5@7&#,63|$#,)!
565 3 f5 (381|0@5@7&#,23|0@5@7&#,63|$#,)!
566 3 f0 (23|4@5@7&#,65|$#,)!
567 3 f5 (23|4@5@7&#,65|$#,)!
568 3 f0 (381|4@0@7&#,23|$#,63|$#,)!
569 3 f63 (381|4@0@7&#,23|$#,63|$#,)!
570 3 f0 (23|4@0@7&#,381|$#,63|$#,)!
571 3 f63 (23|4@0@7&#,381|$#,63|$#,)!
572 3 C0.1/20|!
573 3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
574 3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
575 3 f567 (20|@5|4@0@9&#,20|$#,63|$#,)!
576 3 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
577 3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
578 3 f567 (20|@5|4@0@7&#,20|$#,63|$#,)!
579 3 C0.1/23|!
580 3 f0 (23|4@0@9&#,23|$#,)!
581 3 f1 (23|4@0@9&#,23|$#,)!
582 3 f574 (23|4@0@9&#,23|$#,)!
583 3 f0 (23|4@0@9&#,23|$#,63|$#,)!
584 3 f1 (23|4@0@9&#,23|$#,63|$#,)!
585 3 f574 (23|4@0@9&#,23|$#,63|$#,)!
586 3 f0 (23|4@0@9&#,23|$#,)!
587 3 f1 (23|4@0@9&#,23|$#,)!
588 3 f574 (23|4@0@9&#,23|$#,)!
589 3 f0 (23|4@0@9&#,23|$#,5|$#,)!
590 3 f1 (23|4@0@9&#,23|$#,5|$#,)!
591 3 f574 (23|4@0@9&#,23|$#,5|$#,)!
592 3 f0 (20|$#,20|$#,63|$#,)!
593 3 f5 (20|$#,20|$#,63|$#,)!
594 3 f0 (23|$#,23|$#,)!
595 3 f5 (23|$#,23|$#,)!
596 3 f0 (23|$#,23|$#,)!
597 3 f5 (23|$#,23|$#,)!
598 3 f0 (23|$#,23|$#,63|$#,)!
599 3 f5 (23|$#,23|$#,63|$#,)!
600 3 f0 (23|4@5@7&#,23|$#,63|$#,)!
601 3 f63 (23|4@5@7&#,23|$#,63|$#,)!
602 3 f0 (20|$#,5|$#,63|$#,)!
603 3 f19 (20|$#,5|$#,63|$#,)!
604 3 f20 (20|$#,5|$#,63|$#,)!
605 3 f0 (23|$#,263|$#,)!
606 3 f19 (23|$#,263|$#,)!
607 3 f23 (23|$#,263|$#,)!
608 3 f0 (23|$#,23|$#,)!
609 3 f63 (23|$#,23|$#,)!
610 3 f0 (23|@5|$#,23|$#,)!
611 3 f19 (23|@5|$#,23|$#,)!
612 3 f23 (23|@5|$#,23|$#,)!
613 3 f0 (23|@5|$#,263|$#,)!
614 3 f19 (23|@5|$#,263|$#,)!
615 3 f23 (23|@5|$#,263|$#,)!
616 3 f0 (23|$#,23|$#,)!
617 3 f63 (23|$#,23|$#,)!
618 3 f0 (23|@5|0@0@9&#,23|$#,)!
619 3 f19 (23|@5|0@0@9&#,23|$#,)!
620 3 f23 (23|@5|0@0@9&#,23|$#,)!
621 3 f0 (23|@5|0@5@7&#,23|$#,)!
622 3 f19 (23|@5|0@5@7&#,23|$#,)!
623 3 f23 (23|@5|0@5@7&#,23|$#,)!
624 3 C0.1/20|!
625 3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
626 3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
627 3 f619 (20|@5|4@0@7&#,5|$#,63|$#,)!
628 3 f0 (5|$#,)!
629 3 f19 (5|$#,)!
630 3 f23 (5|$#,)!
631 3 f0 (23|$#,)!
632 3 f63 (23|$#,)!
633 0 s11|&
634 0 s12|-1 637 -1
635 3 Stm{5|@1|$#tm_sec,5|@1|$#tm_min,5|@1|$#tm_hour,5|@1|$#tm_mday,5|@1|$#tm_mon,5|@1|$#tm_year,5|@1|$#tm_wday,5|@1|$#tm_yday,5|@1|$#tm_isdst,}!
636 3 f0 ()!
637 3 f628 ()!
638 3 f0 (629|$#,629|$#,)!
639 3 f17 (629|$#,629|$#,)!
640 3 f0 (443|$#,)!
641 3 f629 (443|$#,)!
642 1 t629|629&
643 3 f0 (637|4@5@7&#,)!
644 3 f629 (637|4@5@7&#,)!
645 3 f0 (443|$#,)!
646 3 f19 (443|$#,)!
647 3 f23 (443|$#,)!
648 3 f0 (637|$#,)!
649 3 f19 (637|$#,)!
650 3 f23 (637|$#,)!
651 3 f0 (637|$#,)!
652 3 f19 (637|$#,)!
653 3 f443 (637|$#,)!
654 3 f0 (637|$#,)!
655 3 f19 (637|$#,)!
656 3 f443 (637|$#,)!
657 3 f0 (23|4@0@7&#,63|$#,23|$#,443|$#,)!
658 3 f63 (23|4@0@7&#,63|$#,23|$#,443|$#,)!
659 3 C1.5/1|!
660 3 f0 (!.,)!
661 3 f5 (!.,)!
662 3 f654 (!.,)!
663 3 f0 (!.,)!
664 3 f5 (!.,)!
665 3 f654 (!.,)!
666 ;;tistable
667 1
668 0
669 0,15
670 15
671 0,15,16
672 16
673 0,15,16,17
674 17
675 0,15,16,17,18
676 18
677 ;;symTable
678 *0 (Datatype)
679 0@+@=@0@7@0@0@67#mbstate_t
680 2@+@-@0@0@0@0@2#lltX_bool
681 13@-@-@0@0@0@0@59#__SIZE_TYPE__
682 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
683 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
684 13@-@-@0@0@0@0@62#ptrdiff_t
685 13@-@-@0@0@0@0@65#wchar_t
686 13@-@-@0@0@0@0@66#wint_t
687 13@-@-@0@0@0@0@176#sig_atomic_t
688 13@-@-@0@0@0@0@502#wctype_t
689 13@-@-@0@0@0@0@503#wctrans_t
690 13@-@-@0@0@0@0@628#clock_t
691 13@-@-@0@0@0@0@629#time_t
692 14@-@-@0@0@0@0@63#size_t
693 15@-@-@0@0@0@0@64#ssize_t
694 20@+@+@0@0@0@0@171#jmp_buf
695 20@+@+@0@0@0@0@204#va_list
696 20@+@+@0@0@0@0@209#FILE
697 20@+@+@0@0@0@0@210#fpos_t
698 365@-@-@0@0@0@0@367#div_t
699 372@-@-@0@0@0@0@374#ldiv_t
700 *1 (Constant)
701 0@i0@0@6#NULL
702 2@i1@0@0#TRUE
703 2$#NDEBUG
704 2@i0@0@6#FALSE
705 3$#UCHAR_MAX#UCHAR_MIN
706 4$#CHAR_MAX#CHAR_MIN#SCHAR_MAX#SCHAR_MIN
707 5$#BUFSIZ#CHAR_BIT#CLOCKS_PER_SEC#EDOM#EILSEQ#EOF#ERANGE#EXIT_FAILURE#EXIT_SUCCESS#FILENAME_MAX#FLT_RADIX#FOPEN_MAX#INT_MAX#INT_MIN#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME#L_tmpnam#RAND_MAX#SEEK_CUR#SEEK_END#SEEK_SET#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM#TMP_MAX#WCHAR_MAX#WCHAR_MIN#_IOFBF#_IOLBF#_IONBF#__INCLUDE_LEVEL__#__LCLINT__#__LINE__
708 6$#UINT_MAX
709 7$#SHRT_MAX#SHRT_MIN
710 8$#USHRT_MAX
711 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
712 10$#ULONG_MAX
713 17$#HUGE_VAL
714 23$#__BASE_FILE__#__DATE__#__FILE__#__REGISTER_PREFIX__#__TIME__#__USER_LABEL_PREFIX__#__VERSION__
715 63$#MB_CUR_MAX
716 66$#WEOF
717 180$#SIG_DFL
718 184$#SIG_ERR
719 188$#SIG_IGN
720 *3 (Variable)
721 5|@1|0@0@0@0@1#DBL_DIG#DBL_MANT_DIG#DBL_MAX_10_EXP#DBL_MAX_EXP#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG#FLT_MANT_DIG#FLT_MAX_10_EXP#FLT_MAX_EXP#FLT_MIN_10_EXP#FLT_MIN_EXP#FLT_ROUNDS#LDBL_DIG#LDBL_MANT_DIG#LDBL_MAX_10_EXP#LDBL_MAX_EXP#LDBL_MIN_10_EXP#LDBL_MIN_EXP#errno
722 16|@1|0@0@0@0@1#FLT_EPSILON#FLT_MAX#FLT_MIN
723 17|@1|0@0@0@0@1#DBL_EPSILON#DBL_MAX#DBL_MIN
724 18|@1|0@0@0@0@1#LDBL_EPSILON#LDBL_MAX#LDBL_MIN
725 211|@1|0@0@0@0@1#stderr#stdin#stdout
726 *4 (Function)
727 362$@0@g111@0@0@1@tp0,g111$@0#qsort
728 175@6@0@5@0@0@1@@1@s0$@0#longjmp
729 206$@0@@1@p0$@0#va_start
730 233$@0@s3@1@s3,tp0,tp1$@0#setbuf
731 338@6@0@6@0@0@1@@1@s0$@0#exit
732 323$@0@s1@1@s1$@0#srand
733 334$@0@@1@tp0$@0#free
734 305$@1@g111@0@0,g121@0@0,s3@1@s3,tg121$@0#perror
735 208$@0@@1@p0$@0#va_end
736 299$@0@@1@tp0$@0#clearerr#rewind
737 72@6@0@8@0@0@1@@1@s0$@0#assert
738 336@6@0@6@0@0@1@@1@s0$@0#abort
739 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf
740 421$@0@@1@tp0$@0#vswprintf
741 413@6@0@1@1@0@0@@1@tp0$@0#swprintf
742 588$@1@@1@s0$@0#memcmp
743 594$@1@@1@s0$@0#strncmp
744 257$@0@@1@tp0,p2$@0#vsprintf
745 251@6@0@1@2@0@1@@1@s0$@0#sscanf
746 291$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fseek
747 253$@0@s3,g111@0@0@1@s3,tp0,p2,g111$@0#vfprintf
748 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
749 419$@0@s3@1@s3,tp0$@0#vfwprintf
750 392@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
751 394@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
752 453$@1@@1@s0$@0#wcsncmp#wmemcmp
753 415@6@0@1@2@0@0@g122@0@0@1@tg122$@0#swscanf
754 560$@0@@1@tp0$@0#mbtowc
755 215$@0@s3,g111@0@0@1@s3,g111$@0#rename
756 590$@1@@1@s0$@0#strcmp#strcoll
757 558$@1@@1@s0$@0#mblen
758 255$@1@g123@0@0,s3@1@s3,p1,tg123$@0#vprintf
759 267$@0@s3@1@s3,tp1$@0#fputs
760 246@6@0@1@2@0@1@g122@0@0,s3@1@s3,tg122$@0#scanf
761 562$@0@@1@tp0$@0#wctomb
762 390$@1@@1@s0$@0#fwide
763 293$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fsetpos
764 289$@0@g111@0@0@1@tp1,g111$@0#fgetpos
765 423$@0@s3,g123@0@0@1@s3,tg123$@0#vwprintf
766 388$@0@s3@1@s3,tp1$@0#fputws
767 434$@1@@1@s0$@0#wcscmp#wcscoll
768 499@6@0@1@1@0@1@g123@0@0,g111@0@0@1@g111,tg123$@0#wprintf
769 501@6@0@1@2@0@1@g122@0@0,g111@0@0@1@g111,tg122$@0#wscanf
770 265$@0@s3,g111@0@0@1@s3,tp1,g111$@0#fputc#ungetc
771 276$@0@s3@1@s3,tp1$@0#putc
772 364$@1@@1@s0$@0#abs
773 203@6@0@5@0@0$$@0#raise
774 213$@0@s3,g111@0@0@1@s3,g111$@0#remove
775 280$@1@g123@0@0,s3@1@s3,tg123$@0#puts
776 309$@1@@1@s0$@0#atoi
777 349$@0@s3@1@s3$@0#system
778 483$@1@@1@s0$@0#wctob
779 173$@0@@1@p0$@0#setjmp
780 223$@0@g111@0@0,s3@1@tp0,g111,s3$@0#fclose#fgetc
781 301$@0@g111@0@0@1@g111$@0#feof#ferror
782 269$@0@s3@1@s3,tp0$@0#getc
783 225$@0@g111@0@0,s3@1@tp0,g111,s3$@0#fflush
784 344$@0@s1@1@s1$@0#atexit
785 405$@1@@1@s0$@0#mbsinit
786 278$@1@g123@0@0,s3@1@s3,tg123$@0#putchar
787 271$@1@g122@0@0,s3@1@s3,tg122$@0#getchar
788 321$@0@s1@1@s1$@0#rand
789 317$@0@g111@0@0@1@tp1,g111$@0#strtol
790 477$@0@@1@tp1$@0#wcstol
791 371$@1@@1@s0$@0#labs
792 311$@1@@1@s0$@0#atol
793 295$@0@g111@0@0@1@g111$@0#ftell
794 319$@0@g111@0@0@1@tp1,g111$@0#strtoul
795 479$@0@@1@tp1$@0#wcstoul
796 150$@0@g111@0@0@1@g111$@0#ldexp
797 158$@0@g111@0@0@1@g111$@0#pow
798 140$@1@@1@s0$@0#atan2#fmod
799 152$@0@@1@tp1$@0#frexp
800 168$@0@@1@tp1$@0#modf
801 315$@0@g111@0@0@1@tp1,g111$@0#strtod
802 472$@0@@1@tp1$@0#wcstod
803 634$@1@@1@s0$@0#difftime
804 136$@0@g111@0@0@1@g111$@0#acos#asin#cosh#exp#log#log10#sqrt
805 138$@1@@1@s0$@0#atan#ceil#cos#fabs#floor#sin#sinh#tan#tanh
806 307$@1@@1@s0$@0#atof
807 356@6@5@1@0@0@1@@1@s0@18@0@0#bsearch
808 599@6@5@1@0@0@1@@1@s0@3@0@0#memchr
809 332@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
810 326@6@5@1@0@0@1@@1@s0@2@0@0#calloc
811 329@4@5@1@0@0@1@@1@s0@2@0@0#malloc
812 262@6@5@1@0@0@0@s3,g111@0@0@1@s3,tp0,tp2,g111$@0#fgets
813 122@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111@19@3@0#setlocale
814 602@6@5@1@0@0@1@@1@s0@19@2@0#strchr
815 607@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk
816 610@6@5@1@0@0@1@@1@s0@19@2@0#strrchr
817 618@6@5@1@0@0@0@s1,g111@0@0@1@tp0,s1,g111@19@2@0#strtok
818 615@6@5@1@0@0@1@@1@s0@19@2@0#strstr
819 625$@1@@1@s0@19@3@0#strerror
820 347@6@5@1@0@0@1@@1@s0@19@3@0#getenv
821 274@6@5@1@0@0@1@g122@0@0,s3,g111@0@0@1@s3,tp0,tg122,g111@3@0@0#gets
822 221$@0@s1@1@tp0,s1@19@3@0#tmpnam
823 642$@0@g111@0@0@1@g111@19@3@0#asctime
824 645$@1@@1@s0@19@3@0#ctime
825 286$@0@s3,g111@0@0@1@s3,tp3,g111$@0#fwrite
826 284$@0@s3,g111@0@0@1@s3,tp0,tp3,g111$@0#fread
827 465$@0@@1@tp1$@0#wcsrtombs
828 653$@0@@1@tp0$@0#strftime
829 403$@0@@1@tp0$@0#mbrtowc
830 407$@0@@1@tp0$@0#mbsrtowcs
831 445$@0@@1@tp0$@0#wcsftime
832 401$@1@@1@s0$@0#mbrlen
833 566$@0@@1@tp0$@0#wcstombs
834 596$@0@@1@tp0$@0#strxfrm
835 425$@0@@1@tp0$@0#wcrtomb
836 481$@0@@1@tp0$@0#wcsxfrm
837 564$@0@@1@tp0$@0#mbstowcs
838 604$@1@@1@s0$@0#strcspn#strspn
839 441$@1@@1@s0$@0#wcscspn#wcsspn
840 627$@1@@1@s0$@0#strlen
841 447$@1@@1@s0$@0#wcslen
842 386$@0@s3@1@s3,tp1$@0#fputwc
843 409$@0@s3@1@s3,tp1$@0#putwc
844 417$@0@s3@1@s3,tp1$@0#ungetwc
845 378$@1@@1@s0$@0#btowc
846 411$@0@s3,g123@0@0@1@s3,tg123$@0#putwchar
847 380$@0@s3@1@s3,tp0$@0#fgetwc
848 396$@0@s3@1@s3,tp0$@0#getwc
849 398$@0@s3,g122@0@0@1@s3,tg122$@0#getwchar
850 126$@1@@1@s0@3@0@0#localeconv
851 231@6@5@1@0@0@0@s3,g111@0@0@1@tp2,s3,g111@3@0@0#freopen
852 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
853 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
854 369$@1@@1@s0$@0#div
855 376$@1@@1@s0$@0#ldiv
856 486@6@5@1@0@0@1@@1@s0@3@0@0#wmemchr
857 384@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
858 497$@0@@1@tp0$@0#wmemset
859 491$@0@@1@tp0$@0#wmemcpy#wmemmove
860 475@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
861 470@6@5@1@0@0@1@@1@s0@3@0@0#wcsstr
862 462@6@5@1@0@0@1@@1@s0$@0#wcsrchr
863 432@6@5@1@0@0@1@@1@s0@19@2@0#wcschr
864 459@6@5@1@0@0@1@@1@s0$@0#wcspbrk
865 651@6@5@1@0@0@0@g111@0@0@1@g111@19@3@0#localtime
866 648@6@5@1@0@0@1@@1@s0@19@3@0#gmtime
867 556$@1@@1@s0$@0#wctype
868 554$@1@@1@s0$@0#wctrans
869 632$@0@s1@1@s1$@0#clock
870 636$@1@@1@s0$@0#mktime
871 639$@0@@1@tp0$@0#time
872 201@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111$@0#signal
873 622$@0@@1@tp0$@0#memset
874 573$@0@@1@tp0$@0#memmove
875 570$@0@@1@tp0$@0#memcpy
876 586$@0@@1@tp0@3@0@0#strncat
877 580$@0@@1@tp0@3@0@0#strncpy
878 583$@0@@1@tp0@3@0@0#strcat#strcpy
879 451$@0@@1@tp0$@0#wcsncat#wcsncpy
880 429$@0@@1@tp0$@0#wcscat#wcscpy
881 516$@1@@1@s0$@0#iswctype
882 507$@1@@1@s0$@0#iswalnum#iswalpha#iswcntrl#iswdigit#iswgraph#iswlower#iswprint#iswpunct#iswspace#iswupper#iswxdigit
883 76$@1@@1@s0$@0#isalnum#isalpha#iscntrl#isdigit#isgraph#islower#isprint#ispunct#isspace#isupper#isxdigit
884 114$@1@@1@s0$@0#tolower#toupper
885 249@6@0@1@1@0@0@@1@tp0$@0#sprintf
886 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
887 244@6@0@1@1@0@1@g123@0@0,s3@1@s3,tg123$@0#printf
888 657$$$@0#test1#test2
889 546$@1@@1@s0$@0#towctrans
890 549$@1@@1@s0$@0#towlower#towupper
891 *7 (Struct tag)
892 365@366#@!2
893 372@373#@!3
894 630@442#@tm
895 118@119#@lconv
896 ;; Library constraints
897 realloc
898 pre:EMPTY
899 post:
900 C
901 0@1@3
902 l
903 1
904 1
905 2
906 2
907 Result
908 r
909 0
910 1
911 e1
912 2
913 2
914 Param 63 1
915 e2
916 2
917 3
918 -1
919 ;; end precondition constraints
920 calloc
921 pre:EMPTY
922 post:
923 C
924 0@1@4
925 l
926 1
927 1
928 2
929 2
930 Result
931 r
932 0
933 1
934 e1
935 2
936 2
937 Param 63 0
938 e2
939 2
940 3
941 -1
942 ;; end precondition constraints
943 malloc
944 pre:EMPTY
945 post:
946 C
947 0@1@4
948 l
949 1
950 1
951 2
952 2
953 Result
954 r
955 0
956 1
957 e1
958 2
959 2
960 Param 63 0
961 e2
962 2
963 3
964 -1
965 ;; end precondition constraints
966 fgets
967 pre:
968 C
969 0@1@3
970 l
971 1
972 1
973 2
974 2
975 Param 23 0
976 r
977 0
978 1
979 e1
980 2
981 2
982 Param 5 1
983 e2
984 2
985 3
986 -1
987 ;; end precondition constraints
988 post:
989 C
990 0@1@3
991 l
992 1
993 3
994 2
995 2
996 Param 23 0
997 r
998 2
999 3
1000 0
1001 C
1002 0@1@1
1003 l
1004 1
1005 3
1006 2
1007 2
1008 Param 23 0
1009 r
1010 0
1011 1
1012 e1
1013 2
1014 2
1015 Param 5 1
1016 e2
1017 2
1018 3
1019 -1
1020 ;; end precondition constraints
1021 strchr
1022 pre:EMPTY
1023 post:
1024 C
1025 0@1@3
1026 l
1027 1
1028 3
1029 2
1030 2
1031 Result
1032 r
1033 2
1034 3
1035 0
1036 C
1037 0@1@1
1038 l
1039 1
1040 3
1041 2
1042 2
1043 Result
1044 r
1045 1
1046 3
1047 2
1048 2
1049 Param 23 0
1050 C
1051 0@1@1
1052 l
1053 1
1054 1
1055 2
1056 2
1057 Result
1058 r
1059 1
1060 1
1061 2
1062 2
1063 Param 23 0
1064 C
1065 0@1@3
1066 l
1067 1
1068 1
1069 2
1070 2
1071 Result
1072 r
1073 2
1074 3
1075 0
1076 ;; end precondition constraints
1077 strrchr
1078 pre:EMPTY
1079 post:
1080 C
1081 0@1@3
1082 l
1083 1
1084 3
1085 2
1086 2
1087 Result
1088 r
1089 2
1090 3
1091 0
1092 C
1093 0@1@1
1094 l
1095 1
1096 3
1097 2
1098 2
1099 Result
1100 r
1101 1
1102 3
1103 2
1104 2
1105 Param 23 0
1106 C
1107 0@1@1
1108 l
1109 1
1110 1
1111 2
1112 2
1113 Result
1114 r
1115 1
1116 1
1117 2
1118 2
1119 Param 23 0
1120 C
1121 0@1@3
1122 l
1123 1
1124 1
1125 2
1126 2
1127 Result
1128 r
1129 2
1130 3
1131 0
1132 ;; end precondition constraints
1133 strstr
1134 pre:EMPTY
1135 post:
1136 C
1137 0@1@3
1138 l
1139 1
1140 3
1141 2
1142 2
1143 Result
1144 r
1145 2
1146 3
1147 0
1148 C
1149 0@1@1
1150 l
1151 1
1152 3
1153 2
1154 2
1155 Result
1156 r
1157 1
1158 3
1159 2
1160 2
1161 Param 23 0
1162 C
1163 0@1@1
1164 l
1165 1
1166 1
1167 2
1168 2
1169 Result
1170 r
1171 1
1172 1
1173 2
1174 2
1175 Param 23 0
1176 C
1177 0@1@3
1178 l
1179 1
1180 1
1181 2
1182 2
1183 Result
1184 r
1185 2
1186 3
1187 0
1188 ;; end precondition constraints
1189 asctime
1190 pre:EMPTY
1191 post:
1192 C
1193 0@1@4
1194 l
1195 1
1196 3
1197 2
1198 2
1199 Result
1200 r
1201 2
1202 3
1203 25
1204 C
1205 0@1@4
1206 l
1207 1
1208 1
1209 2
1210 2
1211 Result
1212 r
1213 2
1214 3
1215 25
1216 ;; end precondition constraints
1217 ctime
1218 pre:EMPTY
1219 post:
1220 C
1221 0@1@4
1222 l
1223 1
1224 3
1225 2
1226 2
1227 Result
1228 r
1229 2
1230 3
1231 25
1232 C
1233 0@1@4
1234 l
1235 1
1236 1
1237 2
1238 2
1239 Result
1240 r
1241 2
1242 3
1243 25
1244 ;; end precondition constraints
1245 strlen
1246 pre:EMPTY
1247 post:
1248 C
1249 0@1@4
1250 l
1251 2
1252 2
1253 Result
1254 r
1255 1
1256 3
1257 2
1258 2
1259 Param 23 0
1260 ;; end precondition constraints
1261 memset
1262 pre:
1263 C
1264 0@1@3
1265 l
1266 1
1267 1
1268 2
1269 2
1270 Param 20 0
1271 r
1272 0
1273 1
1274 e1
1275 2
1276 2
1277 Param 63 2
1278 e2
1279 2
1280 3
1281 -1
1282 ;; end precondition constraints
1283 post:
1284 C
1285 0@1@3
1286 l
1287 1
1288 3
1289 2
1290 2
1291 Param 20 0
1292 r
1293 0
1294 1
1295 e1
1296 2
1297 2
1298 Param 63 2
1299 e2
1300 2
1301 3
1302 -1
1303 ;; end precondition constraints
1304 memmove
1305 pre:
1306 C
1307 0@1@3
1308 l
1309 1
1310 1
1311 2
1312 2
1313 Param 20 0
1314 r
1315 2
1316 2
1317 Param 63 2
1318 C
1319 0@1@3
1320 l
1321 1
1322 3
1323 2
1324 2
1325 Param 20 1
1326 r
1327 2
1328 2
1329 Param 63 2
1330 ;; end precondition constraints
1331 post:EMPTY
1332 memcpy
1333 pre:
1334 C
1335 0@1@3
1336 l
1337 1
1338 1
1339 2
1340 2
1341 Param 20 0
1342 r
1343 2
1344 2
1345 Param 63 2
1346 C
1347 0@1@3
1348 l
1349 1
1350 3
1351 2
1352 2
1353 Param 20 1
1354 r
1355 2
1356 2
1357 Param 63 2
1358 ;; end precondition constraints
1359 post:EMPTY
1360 strncat
1361 pre:
1362 C
1363 0@1@3
1364 l
1365 1
1366 1
1367 2
1368 2
1369 Param 23 0
1370 r
1371 0
1372 1
1373 e1
1374 1
1375 3
1376 2
1377 2
1378 Param 23 0
1379 e2
1380 2
1381 2
1382 Param 5 2
1383 ;; end precondition constraints
1384 post:
1385 C
1386 0@1@3
1387 l
1388 1
1389 3
1390 2
1391 2
1392 Result
1393 r
1394 0
1395 1
1396 e1
1397 1
1398 3
1399 2
1400 2
1401 Param 23 0
1402 e2
1403 2
1404 2
1405 Param 5 2
1406 ;; end precondition constraints
1407 strncpy
1408 pre:
1409 C
1410 0@1@3
1411 l
1412 1
1413 1
1414 2
1415 2
1416 Param 23 0
1417 r
1418 0
1419 1
1420 e1
1421 2
1422 2
1423 Param 63 2
1424 e2
1425 2
1426 3
1427 -1
1428 ;; end precondition constraints
1429 post:
1430 C
1431 0@1@1
1432 l
1433 1
1434 3
1435 2
1436 2
1437 Param 23 0
1438 r
1439 2
1440 2
1441 Param 63 2
1442 C
1443 0@1@3
1444 l
1445 1
1446 3
1447 2
1448 2
1449 Param 23 1
1450 r
1451 1
1452 3
1453 2
1454 2
1455 Param 23 0
1456 ;; end precondition constraints
1457 strcat
1458 pre:
1459 C
1460 0@1@3
1461 l
1462 1
1463 1
1464 2
1465 2
1466 Param 23 0
1467 r
1468 0
1469 1
1470 e1
1471 1
1472 3
1473 2
1474 2
1475 Param 23 0
1476 e2
1477 1
1478 3
1479 2
1480 2
1481 Param 23 1
1482 ;; end precondition constraints
1483 post:EMPTY
1484 strcpy
1485 pre:
1486 C
1487 0@1@3
1488 l
1489 1
1490 1
1491 2
1492 2
1493 Param 23 0
1494 r
1495 1
1496 3
1497 2
1498 2
1499 Param 23 1
1500 ;; end precondition constraints
1501 post:
1502 C
1503 0@1@4
1504 l
1505 1
1506 1
1507 2
1508 2
1509 Result
1510 r
1511 1
1512 1
1513 2
1514 2
1515 Param 23 0
1516 C
1517 0@1@4
1518 l
1519 1
1520 3
1521 2
1522 2
1523 Result
1524 r
1525 1
1526 3
1527 2
1528 2
1529 Param 23 1
1530 C
1531 0@1@4
1532 l
1533 1
1534 3
1535 2
1536 2
1537 Param 23 0
1538 r
1539 1
1540 3
1541 2
1542 2
1543 Param 23 1
1544 ;; end precondition constraints
1545 ;; Modules access
1546 lltX_bool#1@
1547 types#1@
1548 ansi#9@
1549 ;;End
This page took 0.542076 seconds and 5 git commands to generate.