]>
Commit | Line | Data |
---|---|---|
cc78dedd | 1 | ;;LCLint Dump: newlint.lcd |
1d239d69 | 2 | ;;LCLint 3.0.0.13 --- 27 August 2001 |
990ec868 | 3 | ;;lib:168 |
cc78dedd | 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 | |
ccf0a4a8 | 24 | 1 t0|0 314 -1 |
cc78dedd | 25 | 1 t1|1& |
26 | 1 t2|2& | |
27 | 1 t3|3& | |
ccf0a4a8 | 28 | 1 t4|4 315 -1 |
cc78dedd | 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 ?! | |
80ee600a | 63 | 0 a0|& |
64 | 0 s10|& | |
65 | 0 s11|& | |
66 | 0 s12|& | |
67 | 0 s23|& | |
68 | 0 s24|& | |
69 | 0 s25|& | |
ccf0a4a8 | 70 | 0 s26|-1 383 -1 |
80ee600a | 71 | 0 s27|& |
ccf0a4a8 | 72 | 0 a28|-1 401 -1 |
cc78dedd | 73 | 3 C0.5/20|! |
920a3797 | 74 | 3 C0.68/2|! |
cc78dedd | 75 | 3 C0.2/5|! |
920a3797 | 76 | 3 f0 (70|@7|$#,)! |
77 | 3 f1 (70|@7|$#,)! | |
cc78dedd | 78 | 3 C0.5/3|! |
920a3797 | 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|$#,)! | |
cc78dedd | 93 | 3 C0.2/5|! |
920a3797 | 94 | 3 f88 (73|$#,)! |
cc78dedd | 95 | 3 C0.5/3|! |
920a3797 | 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|$#,)! | |
cc78dedd | 110 | 3 C0.2/5|! |
920a3797 | 111 | 3 f105 (90|$#,)! |
cc78dedd | 112 | 3 C0.5/3|! |
920a3797 | 113 | 3 f0 (107|$#,)! |
114 | 3 f2 (107|$#,)! | |
115 | 3 f105 (107|$#,)! | |
cc78dedd | 116 | 3 C0.4/5|! |
920a3797 | 117 | 3 f0 (107|$#,)! |
118 | 3 f4 (107|$#,)! | |
119 | 3 f111 (107|$#,)! | |
120 | 3 f0 (107|$#,)! | |
121 | 3 f4 (107|$#,)! | |
122 | 3 f111 (107|$#,)! | |
cc78dedd | 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,}! |
80ee600a | 124 | 0 s45|-1 125 -1 |
cc78dedd | 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 ()! | |
920a3797 | 130 | 1 t119|119& |
131 | 3 f125 ()! | |
cc78dedd | 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|$#,)! | |
80ee600a | 176 | 0 a123|& |
920a3797 | 177 | 3 f0 (171|4@0@7&#,)! |
178 | 3 f5 (171|4@0@7&#,)! | |
179 | 3 f0 (171|$#,5|$#,)! | |
180 | 3 f1 (171|$#,5|$#,)! | |
80ee600a | 181 | 0 s132|& |
cc78dedd | 182 | 3 ?! |
920a3797 | 183 | 3 f177 (5|$#,)! |
184 | 3 f1 (5|$#,)^180 | |
185 | 1 t179|179& | |
cc78dedd | 186 | 3 ?! |
920a3797 | 187 | 3 f181 (5|$#,)! |
188 | 3 f1 (5|$#,)^184 | |
189 | 1 t183|183& | |
cc78dedd | 190 | 3 ?! |
920a3797 | 191 | 3 f185 (5|$#,)! |
192 | 3 f1 (5|$#,)^188 | |
193 | 1 t187|187& | |
cc78dedd | 194 | 3 ?! |
920a3797 | 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& | |
cc78dedd | 201 | 3 ?! |
920a3797 | 202 | 3 f196 (5|$#,)! |
cc78dedd | 203 | 3 f19 (5|$#,)! |
920a3797 | 204 | 3 f1 (5|$#,192|0@5@7&#,)! |
cc78dedd | 205 | 3 f1 (5|$#,)! |
920a3797 | 206 | 3 f200 (5|$#,192|0@5@7&#,)! |
cc78dedd | 207 | 3 f0 (5|$#,)! |
208 | 3 f5 (5|$#,)! | |
80ee600a | 209 | 0 a138|& |
920a3797 | 210 | 3 f0 (204|4@0@7&#,!.,)! |
211 | 3 f1 (204|4@0@7&#,!.,)! | |
212 | 3 f0 (204|$#,)! | |
213 | 3 f1 (204|$#,)! | |
80ee600a | 214 | 0 a141|-1 211 -1 |
ccf0a4a8 | 215 | 0 a142|-1 289 -1 |
920a3797 | 216 | 1 t209|209& |
cc78dedd | 217 | 3 f0 (23|$#,)! |
218 | 3 f5 (23|$#,)! | |
219 | 3 f0 (23|$#,23|$#,)! | |
220 | 3 f5 (23|$#,23|$#,)! | |
221 | 3 f0 ()! | |
222 | 3 f19 ()! | |
920a3797 | 223 | 3 f211 ()! |
cc78dedd | 224 | 3 f0 (23|@5|4@5@7&#,)! |
225 | 3 f19 (23|@5|4@5@7&#,)! | |
226 | 3 f23 (23|@5|4@5@7&#,)! | |
920a3797 | 227 | 3 f0 (211|$#,)! |
228 | 3 f5 (211|$#,)! | |
229 | 3 f0 (211|0@5@7&#,)! | |
230 | 3 f5 (211|0@5@7&#,)! | |
cc78dedd | 231 | 3 f0 (23|$#,23|$#,)! |
232 | 3 f19 (23|$#,23|$#,)! | |
920a3797 | 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|$#,)! | |
cc78dedd | 241 | 3 C0.5/1|! |
920a3797 | 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|$#,!.,)! | |
cc78dedd | 247 | 3 f0 (23|$#,!.,)! |
248 | 3 f5 (23|$#,!.,)! | |
920a3797 | 249 | 3 f236 (23|$#,!.,)! |
cc78dedd | 250 | 3 f0 (23|$#,!.,)! |
251 | 3 f5 (23|$#,!.,)! | |
252 | 3 f0 (23|4@0@7&#,23|$#,!.,)! | |
253 | 3 f5 (23|4@0@7&#,23|$#,!.,)! | |
920a3797 | 254 | 3 f236 (23|4@0@7&#,23|$#,!.,)! |
cc78dedd | 255 | 3 f0 (23|4@0@7&#,23|$#,!.,)! |
256 | 3 f5 (23|4@0@7&#,23|$#,!.,)! | |
920a3797 | 257 | 3 f0 (23|$#,204|$#,)! |
258 | 3 f5 (23|$#,204|$#,)! | |
ccf0a4a8 | 259 | 3 f0 (211|$#,23|$#,204|$#,)! |
260 | 3 f5 (211|$#,23|$#,204|$#,)! | |
920a3797 | 261 | 3 f0 (23|4@0@7&#,23|$#,204|$#,)! |
262 | 3 f5 (23|4@0@7&#,23|$#,204|$#,)! | |
ccf0a4a8 | 263 | 3 f0 (23|4@0@7&#,63|$#,23|$#,204|$#,)! |
264 | 3 f5 (23|4@0@7&#,63|$#,23|$#,204|$#,)! | |
920a3797 | 265 | 3 f0 (211|$#,)! |
266 | 3 f5 (211|$#,)! | |
267 | 3 f0 (23|@5|4@0@7&#,5|$#,211|$#,)! | |
268 | 3 f19 (23|@5|4@0@7&#,5|$#,211|$#,)! | |
269 | 3 f23 (23|@5|4@0@7&#,5|$#,211|$#,)! | |
cc78dedd | 270 | 3 C0.5/4|! |
ccf0a4a8 | 271 | 3 f0 (265|$#,211|$#,)! |
272 | 3 f5 (265|$#,211|$#,)! | |
920a3797 | 273 | 3 f0 (23|$#,211|$#,)! |
274 | 3 f5 (23|$#,211|$#,)! | |
275 | 3 f0 (211|@7|$#,)! | |
276 | 3 f5 (211|@7|$#,)! | |
cc78dedd | 277 | 3 f0 ()! |
278 | 3 f5 ()! | |
279 | 3 f0 (23|4@0@7&#,)! | |
280 | 3 f19 (23|4@0@7&#,)! | |
281 | 3 f23 (23|4@0@7&#,)! | |
ccf0a4a8 | 282 | 3 f0 (265|$#,211|@7|$#,)! |
283 | 3 f5 (265|$#,211|@7|$#,)! | |
284 | 3 f0 (265|$#,)! | |
285 | 3 f5 (265|$#,)! | |
cc78dedd | 286 | 3 f0 (23|$#,)! |
287 | 3 f5 (23|$#,)! | |
ccf0a4a8 | 288 | 3 f0 (265|$#,211|$#,)! |
289 | 3 f5 (265|$#,211|$#,)! | |
920a3797 | 290 | 3 f0 (20|4@0@7&#,63|$#,63|$#,211|$#,)! |
291 | 3 f63 (20|4@0@7&#,63|$#,63|$#,211|$#,)! | |
292 | 3 f0 (20|$#,63|$#,63|$#,211|$#,)! | |
293 | 3 f63 (20|$#,63|$#,63|$#,211|$#,)! | |
294 | 1 t210|210& | |
ccf0a4a8 | 295 | 3 f0 (211|$#,289|4@0@7&#,)! |
296 | 3 f5 (211|$#,289|4@0@7&#,)! | |
920a3797 | 297 | 3 f0 (211|$#,9|$#,5|$#,)! |
298 | 3 f5 (211|$#,9|$#,5|$#,)! | |
ccf0a4a8 | 299 | 3 f0 (211|$#,289|$#,)! |
300 | 3 f5 (211|$#,289|$#,)! | |
920a3797 | 301 | 3 f0 (211|$#,)! |
302 | 3 f9 (211|$#,)! | |
303 | 3 f0 (211|$#,)! | |
304 | 3 f1 (211|$#,)! | |
305 | 3 f0 (211|$#,)! | |
306 | 3 f1 (211|$#,)! | |
307 | 3 f0 (211|$#,)! | |
308 | 3 f5 (211|$#,)! | |
309 | 3 f0 (211|$#,)! | |
310 | 3 f5 (211|$#,)! | |
cc78dedd | 311 | 3 f0 (23|0@5@7&#,)! |
312 | 3 f1 (23|0@5@7&#,)! | |
313 | 3 f0 (23|$#,)! | |
314 | 3 f17 (23|$#,)! | |
315 | 3 f0 (23|$#,)! | |
316 | 3 f5 (23|$#,)! | |
317 | 3 f0 (23|$#,)! | |
318 | 3 f9 (23|$#,)! | |
319 | 1 t19|19& | |
320 | 1 t23|23& | |
ccf0a4a8 | 321 | 3 f0 (23|$#,315|4@5@7&#,)! |
322 | 3 f17 (23|$#,315|4@5@7&#,)! | |
323 | 3 f0 (23|$#,315|4@5@7&#,5|$#,)! | |
324 | 3 f9 (23|$#,315|4@5@7&#,5|$#,)! | |
325 | 3 f0 (23|$#,315|4@5@7&#,5|$#,)! | |
326 | 3 f10 (23|$#,315|4@5@7&#,5|$#,)! | |
cc78dedd | 327 | 3 f0 ()! |
328 | 3 f5 ()! | |
329 | 3 f0 (6|$#,)! | |
330 | 3 f1 (6|$#,)! | |
331 | 3 f0 (63|$#,63|$#,)! | |
332 | 3 f19 (63|$#,63|$#,)! | |
333 | 3 f20 (63|$#,63|$#,)! | |
334 | 3 f0 (63|$#,)! | |
335 | 3 f19 (63|$#,)! | |
336 | 3 f20 (63|$#,)! | |
337 | 3 f0 (20|@5|4@5@2&#,63|$#,)! | |
338 | 3 f19 (20|@5|4@5@2&#,63|$#,)! | |
339 | 3 f20 (20|@5|4@5@2&#,63|$#,)! | |
340 | 3 f0 (20|4@5@2&#,)! | |
341 | 3 f1 (20|4@5@2&#,)! | |
342 | 3 f0 ()! | |
343 | 3 f1 ()! | |
344 | 3 f0 (5|$#,)! | |
345 | 3 f1 (5|$#,)! | |
346 | 3 ?! | |
ccf0a4a8 | 347 | 3 f341 ()! |
348 | 3 f1 ()^344 | |
349 | 1 t343|343& | |
350 | 3 f0 (344|$#,)! | |
351 | 3 f5 (344|$#,)! | |
cc78dedd | 352 | 3 f0 (23|$#,)! |
353 | 3 f19 (23|$#,)! | |
354 | 3 f23 (23|$#,)! | |
355 | 3 f0 (23|0@5@7&#,)! | |
356 | 3 f5 (23|0@5@7&#,)! | |
357 | 3 ?! | |
ccf0a4a8 | 358 | 3 f352 (20|$#,20|$#,)! |
359 | 3 f5 (20|$#,20|$#,)^355 | |
360 | 1 t354|354& | |
361 | 3 f0 (20|$#,20|$#,63|$#,63|$#,355|$#,)! | |
362 | 3 f19 (20|$#,20|$#,63|$#,63|$#,355|$#,)! | |
363 | 3 f20 (20|$#,20|$#,63|$#,63|$#,355|$#,)! | |
cc78dedd | 364 | 3 ?! |
ccf0a4a8 | 365 | 3 f359 (20|$#,20|$#,)! |
366 | 3 f5 (20|$#,20|$#,)^362 | |
367 | 1 t361|361& | |
368 | 3 f0 (20|$#,63|$#,63|$#,362|$#,)! | |
369 | 3 f1 (20|$#,63|$#,63|$#,362|$#,)! | |
cc78dedd | 370 | 3 f0 (5|$#,)! |
371 | 3 f5 (5|$#,)! | |
372 | 3 S!2{5|@1|$#quot,5|@1|$#rem,}! | |
80ee600a | 373 | 0 s221|& |
ccf0a4a8 | 374 | 0 s222|& |
cc78dedd | 375 | 3 f0 (5|$#,5|$#,)! |
ccf0a4a8 | 376 | 3 f369 (5|$#,5|$#,)! |
cc78dedd | 377 | 3 f0 (9|$#,)! |
378 | 3 f9 (9|$#,)! | |
379 | 3 S!3{9|@1|$#quot,9|@1|$#rem,}! | |
80ee600a | 380 | 0 s225|& |
ccf0a4a8 | 381 | 0 s226|& |
cc78dedd | 382 | 3 f0 (9|$#,9|$#,)! |
ccf0a4a8 | 383 | 3 f376 (9|$#,9|$#,)! |
cc78dedd | 384 | 3 f0 (5|$#,)! |
385 | 3 f66 (5|$#,)! | |
920a3797 | 386 | 3 f0 (211|$#,)! |
387 | 3 f66 (211|$#,)! | |
ccf0a4a8 | 388 | 1 t65|65 465 -1 |
389 | 3 f0 (383|@5|$#,5|$#,211|$#,)! | |
390 | 3 f19 (383|@5|$#,5|$#,211|$#,)! | |
391 | 3 f383 (383|@5|$#,5|$#,211|$#,)! | |
920a3797 | 392 | 3 f0 (65|$#,211|$#,)! |
393 | 3 f66 (65|$#,211|$#,)! | |
ccf0a4a8 | 394 | 3 f0 (383|$#,211|$#,)! |
395 | 3 f5 (383|$#,211|$#,)! | |
920a3797 | 396 | 3 f0 (211|$#,5|$#,)! |
397 | 3 f5 (211|$#,5|$#,)! | |
ccf0a4a8 | 398 | 3 f0 (211|$#,383|$#,!.,)! |
399 | 3 f5 (211|$#,383|$#,!.,)! | |
400 | 3 f0 (211|$#,383|$#,!.,)! | |
401 | 3 f5 (211|$#,383|$#,!.,)! | |
920a3797 | 402 | 3 f0 (211|@7|$#,)! |
403 | 3 f66 (211|@7|$#,)! | |
cc78dedd | 404 | 3 f0 ()! |
405 | 3 f66 ()! | |
406 | 1 t67|67& | |
ccf0a4a8 | 407 | 3 f0 (23|$#,63|$#,401|0@5@7&#,)! |
408 | 3 f63 (23|$#,63|$#,401|0@5@7&#,)! | |
409 | 3 f0 (383|0@5@7&#,23|$#,63|$#,401|0@5@7&#,)! | |
410 | 3 f63 (383|0@5@7&#,23|$#,63|$#,401|0@5@7&#,)! | |
411 | 3 f0 (401|0@5@7&#,)! | |
412 | 3 f5 (401|0@5@7&#,)! | |
413 | 3 f0 (383|0@5@7&#,315|$#,63|$#,401|0@5@7&#,)! | |
414 | 3 f63 (383|0@5@7&#,315|$#,63|$#,401|0@5@7&#,)! | |
920a3797 | 415 | 3 f0 (65|$#,211|@7|$#,)! |
416 | 3 f66 (65|$#,211|@7|$#,)! | |
cc78dedd | 417 | 3 f0 (65|$#,)! |
418 | 3 f66 (65|$#,)! | |
ccf0a4a8 | 419 | 3 f0 (383|$#,63|$#,383|$#,!.,)! |
420 | 3 f5 (383|$#,63|$#,383|$#,!.,)! | |
421 | 3 f0 (383|$#,383|$#,!.,)! | |
422 | 3 f5 (383|$#,383|$#,!.,)! | |
920a3797 | 423 | 3 f0 (66|$#,211|$#,)! |
424 | 3 f66 (66|$#,211|$#,)! | |
ccf0a4a8 | 425 | 3 f0 (211|$#,383|$#,204|$#,)! |
426 | 3 f5 (211|$#,383|$#,204|$#,)! | |
427 | 3 f0 (383|$#,63|$#,383|$#,204|$#,)! | |
428 | 3 f5 (383|$#,63|$#,383|$#,204|$#,)! | |
429 | 3 f0 (383|$#,204|$#,)! | |
430 | 3 f5 (383|$#,204|$#,)! | |
431 | 3 f0 (23|4@5@7&#,65|$#,401|0@5@7&#,)! | |
432 | 3 f63 (23|4@5@7&#,65|$#,401|0@5@7&#,)! | |
433 | 3 C0.1/383|! | |
434 | 3 f0 (383|@5|4@0@9&#,383|$#,)! | |
435 | 3 f1 (383|@5|4@0@9&#,383|$#,)! | |
436 | 3 f428 (383|@5|4@0@9&#,383|$#,)! | |
437 | 3 f0 (383|@5|$#,65|$#,)! | |
438 | 3 f19 (383|@5|$#,65|$#,)! | |
439 | 3 f383 (383|@5|$#,65|$#,)! | |
440 | 3 f0 (383|$#,383|$#,)! | |
441 | 3 f5 (383|$#,383|$#,)! | |
442 | 3 f0 (383|$#,383|$#,)! | |
443 | 3 f5 (383|$#,383|$#,)! | |
444 | 3 f0 (383|@5|4@0@9&#,383|$#,)! | |
445 | 3 f1 (383|@5|4@0@9&#,383|$#,)! | |
446 | 3 f428 (383|@5|4@0@9&#,383|$#,)! | |
447 | 3 f0 (383|$#,383|$#,)! | |
448 | 3 f63 (383|$#,383|$#,)! | |
449 | 0 s261|-1 445 -1 | |
450 | 1 t444|444& | |
451 | 3 f0 (383|4@0@7&#,63|$#,383|$#,445|$#,)! | |
452 | 3 f63 (383|4@0@7&#,63|$#,383|$#,445|$#,)! | |
453 | 3 f0 (383|$#,)! | |
454 | 3 f63 (383|$#,)! | |
455 | 3 C0.1/383|! | |
456 | 3 f0 (383|@5|4@0@9&#,383|$#,63|$#,)! | |
457 | 3 f1 (383|@5|4@0@9&#,383|$#,63|$#,)! | |
458 | 3 f450 (383|@5|4@0@9&#,383|$#,63|$#,)! | |
459 | 3 f0 (383|$#,383|$#,63|$#,)! | |
460 | 3 f5 (383|$#,383|$#,63|$#,)! | |
461 | 3 f0 (383|@5|4@0@9&#,383|$#,63|$#,)! | |
462 | 3 f1 (383|@5|4@0@9&#,383|$#,63|$#,)! | |
463 | 3 f450 (383|@5|4@0@9&#,383|$#,63|$#,)! | |
464 | 3 f0 (383|@5|$#,383|$#,)! | |
465 | 3 f19 (383|@5|$#,383|$#,)! | |
466 | 3 f383 (383|@5|$#,383|$#,)! | |
467 | 3 f0 (383|@5|$#,65|$#,)! | |
468 | 3 f19 (383|@5|$#,65|$#,)! | |
469 | 3 f383 (383|@5|$#,65|$#,)! | |
470 | 1 t383|383& | |
471 | 3 f0 (23|0@5@7&#,465|$#,63|$#,401|0@5@7&#,)! | |
472 | 3 f63 (23|0@5@7&#,465|$#,63|$#,401|0@5@7&#,)! | |
473 | 3 f0 (383|$#,383|$#,)! | |
474 | 3 f63 (383|$#,383|$#,)! | |
475 | 3 f0 (383|$#,383|$#,)! | |
476 | 3 f19 (383|$#,383|$#,)! | |
477 | 3 f383 (383|$#,383|$#,)! | |
478 | 3 f0 (383|$#,465|0@5@7&#,)! | |
479 | 3 f17 (383|$#,465|0@5@7&#,)! | |
480 | 3 f0 (383|0@5@7&#,383|$#,465|$#,)! | |
481 | 3 f19 (383|0@5@7&#,383|$#,465|$#,)! | |
482 | 3 f383 (383|0@5@7&#,383|$#,465|$#,)! | |
483 | 3 f0 (383|$#,465|0@5@7&#,5|$#,)! | |
484 | 3 f9 (383|$#,465|0@5@7&#,5|$#,)! | |
485 | 3 f0 (383|$#,465|0@5@7&#,5|$#,)! | |
486 | 3 f10 (383|$#,465|0@5@7&#,5|$#,)! | |
487 | 3 f0 (383|0@5@7&#,383|$#,63|$#,)! | |
488 | 3 f63 (383|0@5@7&#,383|$#,63|$#,)! | |
cc78dedd | 489 | 3 f0 (66|$#,)! |
490 | 3 f5 (66|$#,)! | |
ccf0a4a8 | 491 | 3 f0 (383|$#,65|$#,63|$#,)! |
492 | 3 f19 (383|$#,65|$#,63|$#,)! | |
493 | 3 f383 (383|$#,65|$#,63|$#,)! | |
494 | 3 f0 (383|$#,383|$#,63|$#,)! | |
495 | 3 f5 (383|$#,383|$#,63|$#,)! | |
496 | 3 f0 (383|@5|$#,383|$#,63|$#,)! | |
497 | 3 f19 (383|@5|$#,383|$#,63|$#,)! | |
498 | 3 f383 (383|@5|$#,383|$#,63|$#,)! | |
499 | 3 f0 (383|@5|$#,383|$#,63|$#,)! | |
500 | 3 f19 (383|@5|$#,383|$#,63|$#,)! | |
501 | 3 f383 (383|@5|$#,383|$#,63|$#,)! | |
502 | 3 f0 (383|@5|$#,65|$#,63|$#,)! | |
503 | 3 f19 (383|@5|$#,65|$#,63|$#,)! | |
504 | 3 f383 (383|@5|$#,65|$#,63|$#,)! | |
505 | 3 f0 (383|$#,!.,)! | |
506 | 3 f5 (383|$#,!.,)! | |
507 | 3 f0 (383|$#,!.,)! | |
508 | 3 f5 (383|$#,!.,)! | |
80ee600a | 509 | 0 s285|& |
ccf0a4a8 | 510 | 0 s286|& |
cc78dedd | 511 | 3 C0.2/5|! |
512 | 3 f0 (66|$#,)! | |
513 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 514 | 3 f506 (66|$#,)! |
cc78dedd | 515 | 3 f0 (66|$#,)! |
516 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 517 | 3 f506 (66|$#,)! |
cc78dedd | 518 | 3 f0 (66|$#,)! |
519 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 520 | 3 f506 (66|$#,)! |
521 | 3 f0 (66|$#,504|$#,)! | |
522 | 3 f2 (66|$#,504|$#,)! | |
523 | 3 f506 (66|$#,504|$#,)! | |
cc78dedd | 524 | 3 f0 (66|$#,)! |
525 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 526 | 3 f506 (66|$#,)! |
cc78dedd | 527 | 3 f0 (66|$#,)! |
528 | 3 f2 (66|$#,)! | |
529 | 3 C0.2/5|! | |
ccf0a4a8 | 530 | 3 f524 (66|$#,)! |
cc78dedd | 531 | 3 f0 (66|$#,)! |
532 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 533 | 3 f524 (66|$#,)! |
cc78dedd | 534 | 3 f0 (66|$#,)! |
535 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 536 | 3 f524 (66|$#,)! |
cc78dedd | 537 | 3 f0 (66|$#,)! |
538 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 539 | 3 f524 (66|$#,)! |
cc78dedd | 540 | 3 f0 (66|$#,)! |
541 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 542 | 3 f524 (66|$#,)! |
cc78dedd | 543 | 3 f0 (66|$#,)! |
544 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 545 | 3 f524 (66|$#,)! |
cc78dedd | 546 | 3 C0.2/5|! |
547 | 3 f0 (66|$#,)! | |
548 | 3 f2 (66|$#,)! | |
ccf0a4a8 | 549 | 3 f541 (66|$#,)! |
cc78dedd | 550 | 3 C0.66/5|! |
ccf0a4a8 | 551 | 3 f0 (66|$#,505|$#,)! |
552 | 3 f66 (66|$#,505|$#,)! | |
553 | 3 f545 (66|$#,505|$#,)! | |
cc78dedd | 554 | 3 f0 (66|$#,)! |
555 | 3 f66 (66|$#,)! | |
ccf0a4a8 | 556 | 3 f545 (66|$#,)! |
cc78dedd | 557 | 3 f0 (66|$#,)! |
558 | 3 f66 (66|$#,)! | |
ccf0a4a8 | 559 | 3 f545 (66|$#,)! |
e4c9f289 | 560 | 3 f0 (23|$#,)! |
ccf0a4a8 | 561 | 3 f505 (23|$#,)! |
a8e557d3 | 562 | 3 f0 (23|$#,)! |
ccf0a4a8 | 563 | 3 f504 (23|$#,)! |
cc78dedd | 564 | 3 f0 (23|$#,63|$#,)! |
565 | 3 f5 (23|$#,63|$#,)! | |
ccf0a4a8 | 566 | 3 f0 (383|0@5@7&#,23|0@5@7&#,63|$#,)! |
567 | 3 f5 (383|0@5@7&#,23|0@5@7&#,63|$#,)! | |
cc78dedd | 568 | 3 f0 (23|4@5@7&#,65|$#,)! |
569 | 3 f5 (23|4@5@7&#,65|$#,)! | |
ccf0a4a8 | 570 | 3 f0 (383|4@0@7&#,23|$#,63|$#,)! |
571 | 3 f63 (383|4@0@7&#,23|$#,63|$#,)! | |
572 | 3 f0 (23|4@0@7&#,383|$#,63|$#,)! | |
573 | 3 f63 (23|4@0@7&#,383|$#,63|$#,)! | |
cc78dedd | 574 | 3 C0.1/20|! |
575 | 3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)! | |
576 | 3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)! | |
ccf0a4a8 | 577 | 3 f569 (20|@5|4@0@9&#,20|$#,63|$#,)! |
cc78dedd | 578 | 3 f0 (20|@5|4@0@7&#,20|$#,63|$#,)! |
579 | 3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)! | |
ccf0a4a8 | 580 | 3 f569 (20|@5|4@0@7&#,20|$#,63|$#,)! |
cc78dedd | 581 | 3 C0.1/23|! |
7b1629ab | 582 | 3 f0 (23|@5|4@0@9&#,23|$#,)! |
583 | 3 f1 (23|@5|4@0@9&#,23|$#,)! | |
ccf0a4a8 | 584 | 3 f576 (23|@5|4@0@9&#,23|$#,)! |
7b1629ab | 585 | 3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)! |
586 | 3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)! | |
ccf0a4a8 | 587 | 3 f576 (23|@5|4@0@9&#,23|$#,63|$#,)! |
c555d0ad | 588 | 3 f0 (23|@5|0@0@9&#,23|$#,)! |
589 | 3 f1 (23|@5|0@0@9&#,23|$#,)! | |
ccf0a4a8 | 590 | 3 f576 (23|@5|0@0@9&#,23|$#,)! |
c555d0ad | 591 | 3 f0 (23|@5|0@0@9&#,23|$#,63|$#,)! |
592 | 3 f1 (23|@5|0@0@9&#,23|$#,63|$#,)! | |
ccf0a4a8 | 593 | 3 f576 (23|@5|0@0@9&#,23|$#,63|$#,)! |
cc78dedd | 594 | 3 f0 (20|$#,20|$#,63|$#,)! |
595 | 3 f5 (20|$#,20|$#,63|$#,)! | |
596 | 3 f0 (23|$#,23|$#,)! | |
597 | 3 f5 (23|$#,23|$#,)! | |
598 | 3 f0 (23|$#,23|$#,)! | |
599 | 3 f5 (23|$#,23|$#,)! | |
600 | 3 f0 (23|$#,23|$#,63|$#,)! | |
601 | 3 f5 (23|$#,23|$#,63|$#,)! | |
602 | 3 f0 (23|4@5@7&#,23|$#,63|$#,)! | |
603 | 3 f63 (23|4@5@7&#,23|$#,63|$#,)! | |
604 | 3 f0 (20|$#,5|$#,63|$#,)! | |
605 | 3 f19 (20|$#,5|$#,63|$#,)! | |
606 | 3 f20 (20|$#,5|$#,63|$#,)! | |
0bf5022d | 607 | 3 f0 (23|@5|$#,265|$#,)! |
608 | 3 f19 (23|@5|$#,265|$#,)! | |
609 | 3 f23 (23|@5|$#,265|$#,)! | |
cc78dedd | 610 | 3 f0 (23|$#,23|$#,)! |
611 | 3 f63 (23|$#,23|$#,)! | |
612 | 3 f0 (23|@5|$#,23|$#,)! | |
613 | 3 f19 (23|@5|$#,23|$#,)! | |
614 | 3 f23 (23|@5|$#,23|$#,)! | |
ccf0a4a8 | 615 | 3 f0 (23|@5|$#,265|$#,)! |
616 | 3 f19 (23|@5|$#,265|$#,)! | |
617 | 3 f23 (23|@5|$#,265|$#,)! | |
cc78dedd | 618 | 3 f0 (23|$#,23|$#,)! |
619 | 3 f63 (23|$#,23|$#,)! | |
620 | 3 f0 (23|@5|0@0@9&#,23|$#,)! | |
621 | 3 f19 (23|@5|0@0@9&#,23|$#,)! | |
622 | 3 f23 (23|@5|0@0@9&#,23|$#,)! | |
623 | 3 f0 (23|@5|0@5@7&#,23|$#,)! | |
624 | 3 f19 (23|@5|0@5@7&#,23|$#,)! | |
625 | 3 f23 (23|@5|0@5@7&#,23|$#,)! | |
626 | 3 C0.1/20|! | |
627 | 3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)! | |
628 | 3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)! | |
ccf0a4a8 | 629 | 3 f621 (20|@5|4@0@7&#,5|$#,63|$#,)! |
cc78dedd | 630 | 3 f0 (5|$#,)! |
631 | 3 f19 (5|$#,)! | |
632 | 3 f23 (5|$#,)! | |
633 | 3 f0 (23|$#,)! | |
634 | 3 f63 (23|$#,)! | |
ccf0a4a8 | 635 | 0 s332|& |
636 | 0 s333|-1 639 -1 | |
cc78dedd | 637 | 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,}! |
638 | 3 f0 ()! | |
ccf0a4a8 | 639 | 3 f630 ()! |
640 | 3 f0 (631|$#,631|$#,)! | |
641 | 3 f17 (631|$#,631|$#,)! | |
642 | 3 f0 (445|$#,)! | |
643 | 3 f631 (445|$#,)! | |
644 | 1 t631|631& | |
645 | 3 f0 (639|4@5@7&#,)! | |
646 | 3 f631 (639|4@5@7&#,)! | |
647 | 3 f0 (445|$#,)! | |
648 | 3 f19 (445|$#,)! | |
649 | 3 f23 (445|$#,)! | |
650 | 3 f0 (639|$#,)! | |
651 | 3 f19 (639|$#,)! | |
652 | 3 f23 (639|$#,)! | |
653 | 3 f0 (639|$#,)! | |
654 | 3 f19 (639|$#,)! | |
655 | 3 f445 (639|$#,)! | |
656 | 3 f0 (639|$#,)! | |
657 | 3 f19 (639|$#,)! | |
658 | 3 f445 (639|$#,)! | |
659 | 3 f0 (23|4@0@7&#,63|$#,23|$#,445|$#,)! | |
660 | 3 f63 (23|4@0@7&#,63|$#,23|$#,445|$#,)! | |
7ebcc5bb | 661 | 0 s343|& |
662 | 0 s344|& | |
663 | 0 s345|& | |
664 | 0 s346|& | |
665 | 0 s347|& | |
666 | 0 s348|& | |
798b6d87 | 667 | 0 s349|& |
668 | 0 s350|& | |
669 | 0 s351|& | |
670 | 0 s352|& | |
671 | 0 s353|& | |
672 | 0 s354|& | |
673 | 0 s355|& | |
674 | 0 s356|& | |
675 | 0 s357|& | |
676 | 0 s358|& | |
677 | 0 s359|& | |
678 | 0 s360|& | |
679 | 0 s361|& | |
680 | 0 s362|& | |
681 | 0 s363|& | |
682 | 0 s364|& | |
683 | 0 s365|& | |
684 | 0 s366|& | |
685 | 0 s367|& | |
686 | 0 s368|& | |
687 | 0 s369|& | |
688 | 0 s370|& | |
cc78dedd | 689 | 3 C1.5/1|! |
690 | 3 f0 (!.,)! | |
691 | 3 f5 (!.,)! | |
798b6d87 | 692 | 3 f684 (!.,)! |
cc78dedd | 693 | 3 f0 (!.,)! |
694 | 3 f5 (!.,)! | |
798b6d87 | 695 | 3 f684 (!.,)! |
cc78dedd | 696 | ;;tistable |
697 | 0 | |
80ee600a | 698 | 28 |
699 | 28,123 | |
700 | 123 | |
701 | 28,123,138 | |
702 | 138 | |
703 | 28,123,138,141 | |
704 | 141 | |
705 | 28,123,138,141,142 | |
706 | 142 | |
cc78dedd | 707 | ;;symTable |
708 | *0 (Datatype) | |
80ee600a | 709 | ^0 2@+@-@0@0@0@0@2#lltX_bool |
710 | *1 (Constant) | |
711 | ^1 2@i0@0@6#FALSE | |
712 | ^2 2@i1@0@0#TRUE | |
713 | *11 (GlobalMarker) | |
714 | *1 (Constant) | |
715 | ^4 5$#__LINE__ | |
716 | ^5 23$#__DATE__#__FILE__#__BASE_FILE__ | |
717 | ^8 5$#__INCLUDE_LEVEL__ | |
718 | ^9 23$#__VERSION__ | |
719 | *0 (Datatype) | |
720 | ^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__ | |
721 | ^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__ | |
722 | ^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__ | |
723 | *1 (Constant) | |
724 | ^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__ | |
725 | ^16 5$#__LCLINT__ | |
726 | *3 (Variable) | |
727 | ^17 211|@1|6@0@0@0@1#stdin#stdout | |
728 | *1 (Constant) | |
729 | ^19 5$#EDOM#ERANGE#EILSEQ | |
730 | *3 (Variable) | |
731 | ^22 5|@1|6@0@0@0@1#errno | |
732 | *0 (Datatype) | |
733 | ^23 13@-@-@0@0@0@0@62#ptrdiff_t | |
734 | ^24 14@-@-@0@0@0@0@63#size_t | |
735 | ^25 15@-@-@0@0@0@0@64#ssize_t | |
736 | ^26 13@-@-@0@0@0@0@65#wchar_t | |
737 | ^27 13@-@-@0@0@0@0@66#wint_t | |
738 | ^28 0@+@=@0@7@0@0@67#mbstate_t | |
739 | *1 (Constant) | |
740 | ^29 0@i0@0@6#NULL | |
741 | ^30 2$#NDEBUG | |
742 | *4 (Function) | |
743 | ^31 72@6@0@8@0@0^$@0#assert | |
744 | ^32 76$^$@0#isalnum | |
745 | ^33 79$^$@0#isalpha | |
746 | ^34 82$^$@0#iscntrl | |
747 | ^35 85$^$@0#isdigit | |
748 | ^36 89$^$@0#isgraph | |
749 | ^37 93$^$@0#islower | |
750 | ^38 96$^$@0#isprint | |
751 | ^39 99$^$@0#ispunct | |
752 | ^40 102$^$@0#isspace | |
753 | ^41 106$^$@0#isupper | |
754 | ^42 110$^$@0#isxdigit | |
755 | ^43 114$^$@0#tolower | |
756 | ^44 117$^$@0#toupper | |
757 | *7 (Struct tag) | |
758 | ^45 118@119#@lconv | |
759 | *1 (Constant) | |
760 | ^46 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME | |
761 | *4 (Function) | |
762 | ^52 122@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@19@3@0#setlocale | |
763 | ^53 126$^@3@0@0#localeconv | |
764 | *3 (Variable) | |
765 | ^54 5|@1|6@0@0@0@1#DBL_DIG | |
766 | ^55 17|@1|6@0@0@0@1#DBL_EPSILON | |
767 | ^56 5|@1|6@0@0@0@1#DBL_MANT_DIG | |
768 | ^57 17|@1|6@0@0@0@1#DBL_MAX | |
769 | ^58 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP | |
770 | ^60 17|@1|6@0@0@0@1#DBL_MIN | |
771 | ^61 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG | |
772 | ^64 16|@1|6@0@0@0@1#FLT_EPSILON | |
773 | ^65 5|@1|6@0@0@0@1#FLT_MANT_DIG | |
774 | ^66 16|@1|6@0@0@0@1#FLT_MAX | |
775 | ^67 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP | |
776 | ^69 16|@1|6@0@0@0@1#FLT_MIN | |
777 | ^70 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP | |
778 | *1 (Constant) | |
779 | ^72 5$#FLT_RADIX | |
780 | *3 (Variable) | |
781 | ^73 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG | |
782 | ^75 18|@1|6@0@0@0@1#LDBL_EPSILON | |
783 | ^76 5|@1|6@0@0@0@1#LDBL_MANT_DIG | |
784 | ^77 18|@1|6@0@0@0@1#LDBL_MAX | |
785 | ^78 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP | |
786 | ^80 18|@1|6@0@0@0@1#LDBL_MIN | |
787 | ^81 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP | |
788 | *1 (Constant) | |
789 | ^83 5$#CHAR_BIT | |
790 | ^84 4$#CHAR_MAX#CHAR_MIN | |
791 | ^86 5$#INT_MAX#INT_MIN | |
792 | ^88 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX | |
793 | ^91 4$#SCHAR_MAX#SCHAR_MIN | |
794 | ^93 7$#SHRT_MAX#SHRT_MIN | |
795 | ^95 3$#UCHAR_MAX#UCHAR_MIN | |
796 | ^97 6$#UINT_MAX | |
797 | ^98 10$#ULONG_MAX | |
798 | ^99 8$#USHRT_MAX | |
799 | ^100 17$#HUGE_VAL | |
800 | *4 (Function) | |
801 | ^101 128$^$@0#sin | |
802 | ^102 130$^$@0#cos | |
803 | ^103 132$^$@0#tan | |
804 | ^104 134$@0@g22@6@0@1@g22$@0#asin | |
805 | ^105 136$@0@g22@6@0@1@g22$@0#acos | |
806 | ^106 138$^$@0#atan | |
807 | ^107 140$^$@0#atan2 | |
808 | ^108 142$^$@0#sinh | |
809 | ^109 144$@0@g22@6@0@1@g22$@0#cosh | |
810 | ^110 146$^$@0#tanh | |
811 | ^111 148$@0@g22@6@0@1@g22$@0#exp | |
812 | ^112 150$@0@g22@6@0@1@g22$@0#ldexp | |
813 | ^113 152$@0@@1@tp1$@0#frexp | |
814 | ^114 154$@0@g22@6@0@1@g22$@0#log | |
815 | ^115 156$@0@g22@6@0@1@g22$@0#log10 | |
816 | ^116 158$@0@g22@6@0@1@g22$@0#pow | |
817 | ^117 160$@0@g22@6@0@1@g22$@0#sqrt | |
818 | ^118 162$^$@0#ceil | |
819 | ^119 164$^$@0#floor | |
820 | ^120 166$^$@0#fabs | |
821 | ^121 168$@0@@1@tp1$@0#modf | |
822 | ^122 170$^$@0#fmod | |
823 | *0 (Datatype) | |
824 | ^123 20@+@+@0@0@0@0@171#jmp_buf | |
825 | *4 (Function) | |
826 | ^124 173$@0@@1@p0$@0#setjmp | |
827 | ^125 175@6@0@5@0@0^$@0#longjmp | |
828 | *1 (Constant) | |
829 | ^126 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM | |
830 | *0 (Datatype) | |
831 | ^132 13@-@-@0@0@0@0@176#sig_atomic_t | |
832 | *1 (Constant) | |
833 | ^133 180$#SIG_DFL | |
834 | ^134 184$#SIG_ERR | |
835 | ^135 188$#SIG_IGN | |
836 | *4 (Function) | |
837 | ^136 201@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22$@0#signal | |
838 | ^137 203@6@0@5@0@0$$@0#raise | |
839 | *0 (Datatype) | |
840 | ^138 20@+@+@0@0@0@0@204#va_list | |
841 | *4 (Function) | |
842 | ^139 206$@0@@1@p0$@0#va_start | |
843 | ^140 208$@0@@1@p0$@0#va_end | |
844 | *0 (Datatype) | |
845 | ^141 20@+@+@0@0@0@0@209#FILE | |
846 | ^142 20@+@+@0@0@0@0@210#fpos_t | |
cc78dedd | 847 | *1 (Constant) |
80ee600a | 848 | ^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX |
cc78dedd | 849 | *3 (Variable) |
80ee600a | 850 | ^155 211|@1|6@0@0@0@1#stderr |
cc78dedd | 851 | *4 (Function) |
80ee600a | 852 | ^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove |
853 | ^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename | |
854 | ^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile | |
855 | ^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam | |
856 | ^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose | |
857 | ^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush | |
858 | ^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen | |
859 | ^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen | |
860 | ^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf | |
861 | ^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf | |
862 | ^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf | |
863 | ^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf | |
864 | ^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf | |
865 | ^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf | |
866 | ^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf | |
867 | ^171 251@6@0@1@2@0^$@0#sscanf | |
ccf0a4a8 | 868 | ^172 253$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf |
869 | ^173 255$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf | |
0bf5022d | 870 | ^174 257$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf |
ccf0a4a8 | 871 | ^175 259$@0@@1@p0$@0#vsnprintf |
872 | ^176 261$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc | |
873 | ^177 264@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets | |
874 | ^178 267$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc | |
875 | ^179 269$@0@s3@1@s3,tp1$@0#fputs | |
876 | ^180 271$@0@s3@1@s3,tp0$@0#getc | |
877 | ^181 273$@1@g17@6@0,s3@1@s3,tg17$@0#getchar | |
0bf5022d | 878 | ^182 276@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets |
ccf0a4a8 | 879 | ^183 278$@0@s3@1@s3,tp1$@0#putc |
880 | ^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#putchar | |
881 | ^185 282$@1@g18@6@0,s3@1@s3,tg18$@0#puts | |
882 | ^186 284$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc | |
883 | ^187 286$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread | |
884 | ^188 288$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite | |
885 | ^189 291$@0@g22@6@0@1@tp1,g22$@0#fgetpos | |
886 | ^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek | |
887 | ^191 295$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos | |
888 | ^192 297$@0@g22@6@0@1@g22$@0#ftell | |
889 | ^193 299$@0@@1@tp0$@0#rewind | |
890 | ^194 301$@0@@1@tp0$@0#clearerr | |
891 | ^195 303$@0@g22@6@0@1@g22$@0#feof | |
892 | ^196 305$@0@g22@6@0@1@g22$@0#ferror | |
893 | ^197 307$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror | |
894 | ^198 309$^$@0#atof | |
895 | ^199 311$^$@0#atoi | |
896 | ^200 313$^$@0#atol | |
897 | ^201 317$@0@g22@6@0@1@tp1,g22$@0#strtod | |
898 | ^202 319$@0@g22@6@0@1@tp1,g22$@0#strtol | |
899 | ^203 321$@0@g22@6@0@1@tp1,g22$@0#strtoul | |
80ee600a | 900 | *1 (Constant) |
ccf0a4a8 | 901 | ^204 5$#RAND_MAX |
80ee600a | 902 | *4 (Function) |
ccf0a4a8 | 903 | ^205 323$@0@s1@1@s1$@0#rand |
904 | ^206 325$@0@s1@1@s1$@0#srand | |
905 | ^207 328@6@5@1@0@0^@2@0@0#calloc | |
906 | ^208 331@4@5@1@0@0^@2@0@0#malloc | |
907 | ^209 334@6@5@1@0@0@0@@1@tp0@2@0@0#realloc | |
908 | ^210 336$@0@@1@p0$@0#free | |
80ee600a | 909 | *1 (Constant) |
ccf0a4a8 | 910 | ^211 5$#EXIT_FAILURE#EXIT_SUCCESS |
80ee600a | 911 | *4 (Function) |
ccf0a4a8 | 912 | ^213 338@6@0@6@0@0^$@0#abort |
913 | ^214 340@6@0@6@0@0^$@0#exit | |
914 | ^215 346$@0@s1@1@s1$@0#atexit | |
915 | ^216 349@6@5@1@0@0^@19@3@0#getenv | |
916 | ^217 351$@0@s3@1@s3$@0#system | |
917 | ^218 358@6@5@1@0@0^@18@0@0#bsearch | |
918 | ^219 364$@0@g22@6@0@1@tp0,g22$@0#qsort | |
919 | ^220 366$^$@0#abs | |
80ee600a | 920 | *7 (Struct tag) |
ccf0a4a8 | 921 | ^221 367@368#@!2 |
80ee600a | 922 | *0 (Datatype) |
ccf0a4a8 | 923 | ^222 367@-@-@0@0@0@0@369#div_t |
80ee600a | 924 | *4 (Function) |
ccf0a4a8 | 925 | ^223 371$^$@0#div |
926 | ^224 373$^$@0#labs | |
80ee600a | 927 | *7 (Struct tag) |
ccf0a4a8 | 928 | ^225 374@375#@!3 |
80ee600a | 929 | *0 (Datatype) |
ccf0a4a8 | 930 | ^226 374@-@-@0@0@0@0@376#ldiv_t |
80ee600a | 931 | *4 (Function) |
ccf0a4a8 | 932 | ^227 378$^$@0#ldiv |
80ee600a | 933 | *1 (Constant) |
ccf0a4a8 | 934 | ^228 63$#MB_CUR_MAX |
935 | ^229 5$#WCHAR_MAX#WCHAR_MIN | |
936 | ^231 66$#WEOF | |
80ee600a | 937 | *4 (Function) |
ccf0a4a8 | 938 | ^232 380$^$@0#btowc |
939 | ^233 382$@0@s3@1@s3,tp0$@0#fgetwc | |
940 | ^234 386@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws | |
941 | ^235 388$@0@s3@1@s3,tp1$@0#fputwc | |
942 | ^236 390$@0@s3@1@s3,tp1$@0#fputws | |
943 | ^237 392$^$@0#fwide | |
944 | ^238 394@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf | |
945 | ^239 396@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf | |
946 | ^240 398$@0@s3@1@s3,tp0$@0#getwc | |
947 | ^241 400$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar | |
948 | ^242 403$^$@0#mbrlen | |
949 | ^243 405$@0@@1@tp0$@0#mbrtowc | |
950 | ^244 407$^$@0#mbsinit | |
951 | ^245 409$@0@@1@tp0$@0#mbsrtowcs | |
952 | ^246 411$@0@s3@1@s3,tp1$@0#putwc | |
953 | ^247 413$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar | |
954 | ^248 415@6@0@1@1@0@0@@1@tp0$@0#swprintf | |
955 | ^249 417@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf | |
956 | ^250 419$@0@s3@1@s3,tp1$@0#ungetwc | |
957 | ^251 421$@0@s3@1@s3,tp0$@0#vfwprintf | |
958 | ^252 423$@0@@1@tp0$@0#vswprintf | |
959 | ^253 425$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf | |
960 | ^254 427$@0@@1@tp0$@0#wcrtomb | |
961 | ^255 431$@0@@1@tp0$@0#wcscat | |
962 | ^256 434@6@5@1@0@0^@19@2@0#wcschr | |
963 | ^257 436$^$@0#wcscmp | |
964 | ^258 438$^$@0#wcscoll | |
965 | ^259 441$@0@@1@tp0$@0#wcscpy | |
966 | ^260 443$^$@0#wcscspn | |
cc78dedd | 967 | *7 (Struct tag) |
ccf0a4a8 | 968 | ^261 632@444#@tm |
80ee600a | 969 | *4 (Function) |
ccf0a4a8 | 970 | ^262 447$@0@@1@tp0$@0#wcsftime |
971 | ^263 449$^$@0#wcslen | |
972 | ^264 453$@0@@1@tp0$@0#wcsncat | |
973 | ^265 455$^$@0#wcsncmp | |
974 | ^266 458$@0@@1@tp0$@0#wcsncpy | |
975 | ^267 461@6@5@1@0@0^$@0#wcspbrk | |
976 | ^268 464@6@5@1@0@0^$@0#wcsrchr | |
977 | ^269 467$@0@@1@tp1$@0#wcsrtombs | |
978 | ^270 469$^$@0#wcsspn | |
979 | ^271 472@6@5@1@0@0^@3@0@0#wcsstr | |
980 | ^272 474$@0@@1@tp1$@0#wcstod | |
981 | ^273 477@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok | |
982 | ^274 479$@0@@1@tp1$@0#wcstol | |
983 | ^275 481$@0@@1@tp1$@0#wcstoul | |
984 | ^276 483$@0@@1@tp0$@0#wcsxfrm | |
985 | ^277 485$^$@0#wctob | |
986 | ^278 488@6@5@1@0@0^@3@0@0#wmemchr | |
987 | ^279 490$^$@0#wmemcmp | |
988 | ^280 493$@0@@1@tp0$@0#wmemcpy | |
989 | ^281 496$@0@@1@tp0$@0#wmemmove | |
990 | ^282 499$@0@@1@tp0$@0#wmemset | |
991 | ^283 501@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf | |
992 | ^284 503@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf | |
80ee600a | 993 | *0 (Datatype) |
ccf0a4a8 | 994 | ^285 13@-@-@0@0@0@0@504#wctype_t |
995 | ^286 13@-@-@0@0@0@0@505#wctrans_t | |
80ee600a | 996 | *4 (Function) |
ccf0a4a8 | 997 | ^287 509$^$@0#iswalnum |
998 | ^288 512$^$@0#iswalpha | |
999 | ^289 515$^$@0#iswcntrl | |
1000 | ^290 518$^$@0#iswctype | |
1001 | ^291 521$^$@0#iswdigit | |
1002 | ^292 525$^$@0#iswgraph | |
1003 | ^293 528$^$@0#iswlower | |
1004 | ^294 531$^$@0#iswprint | |
1005 | ^295 534$^$@0#iswpunct | |
1006 | ^296 537$^$@0#iswspace | |
1007 | ^297 540$^$@0#iswupper | |
1008 | ^298 544$^$@0#iswxdigit | |
1009 | ^299 548$^$@0#towctrans | |
1010 | ^300 551$^$@0#towlower | |
1011 | ^301 554$^$@0#towupper | |
1012 | ^302 556$^$@0#wctrans | |
1013 | ^303 558$^$@0#wctype | |
1014 | ^304 560$^$@0#mblen | |
1015 | ^305 562$@0@@1@tp0$@0#mbtowc | |
1016 | ^306 564$@0@@1@tp0$@0#wctomb | |
1017 | ^307 566$@0@@1@tp0$@0#mbstowcs | |
1018 | ^308 568$@0@@1@tp0$@0#wcstombs | |
1019 | ^309 572$@0@@1@tp0$@0#memcpy | |
1020 | ^310 575$@0@@1@tp0$@0#memmove | |
1021 | ^311 579$@0@@1@tp0$@0#strcpy | |
1022 | ^312 582$@0@@1@tp0$@0#strncpy | |
1023 | ^313 585$@0@@1@tp0$@0#strcat | |
1024 | ^314 588$@0@@1@tp0$@0#strncat | |
1025 | ^315 590$^$@0#memcmp | |
1026 | ^316 592$^$@0#strcmp | |
1027 | ^317 594$^$@0#strcoll | |
1028 | ^318 596$^$@0#strncmp | |
1029 | ^319 598$@0@@1@tp0$@0#strxfrm | |
1030 | ^320 601@6@5@1@0@0^@3@0@0#memchr | |
1031 | ^321 604@6@5@1@0@0^@19@2@0#strchr | |
1032 | ^322 606$^$@0#strcspn | |
1033 | ^323 609@6@5@1@0@0^@19@2@0#strpbrk | |
1034 | ^324 612@6@5@1@0@0^@19@2@0#strrchr | |
1035 | ^325 614$^$@0#strspn | |
1036 | ^326 617@6@5@1@0@0^@19@2@0#strstr | |
1037 | ^327 620@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok | |
1038 | ^328 624$@0@@1@tp0$@0#memset | |
1039 | ^329 627$^@19@3@0#strerror | |
1040 | ^330 629$^$@0#strlen | |
80ee600a | 1041 | *1 (Constant) |
ccf0a4a8 | 1042 | ^331 5$#CLOCKS_PER_SEC |
80ee600a | 1043 | *0 (Datatype) |
ccf0a4a8 | 1044 | ^332 13@-@-@0@0@0@0@630#clock_t |
1045 | ^333 13@-@-@0@0@0@0@631#time_t | |
80ee600a | 1046 | *4 (Function) |
ccf0a4a8 | 1047 | ^334 634$@0@s1@1@s1$@0#clock |
1048 | ^335 636$^$@0#difftime | |
1049 | ^336 638$^$@0#mktime | |
1050 | ^337 641$@0@@1@tp0$@0#time | |
1051 | ^338 644$@0@g22@6@0@1@g22@19@3@0#asctime | |
1052 | ^339 647$^@19@3@0#ctime | |
1053 | ^340 650@6@5@1@0@0^@19@3@0#gmtime | |
1054 | ^341 653@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime | |
1055 | ^342 655$@0@@1@tp0$@0#strftime | |
7ebcc5bb | 1056 | *0 (Datatype) |
798b6d87 | 1057 | ^343 13@-@-@0@0@0@0@656#int8_t |
1058 | ^344 13@-@-@0@0@0@0@657#int16_t | |
1059 | ^345 13@-@-@0@0@0@0@658#int32_t | |
1060 | ^346 13@-@-@0@0@0@0@659#int64_t | |
1061 | ^347 14@-@-@0@0@0@0@660#uint8_t | |
1062 | ^348 14@-@-@0@0@0@0@661#uint16_t | |
1063 | ^349 14@-@-@0@0@0@0@662#uint32_t | |
1064 | ^350 14@-@-@0@0@0@0@663#uint64_t | |
1065 | ^351 13@-@-@0@0@0@0@664#int_least8_t | |
1066 | ^352 13@-@-@0@0@0@0@665#int_least16_t | |
1067 | ^353 13@-@-@0@0@0@0@666#int_least32_t | |
1068 | ^354 13@-@-@0@0@0@0@667#int_least64_t | |
1069 | ^355 14@-@-@0@0@0@0@668#uint_least8_t | |
1070 | ^356 14@-@-@0@0@0@0@669#uint_least16_t | |
1071 | ^357 14@-@-@0@0@0@0@670#uint_least32_t | |
1072 | ^358 14@-@-@0@0@0@0@671#uint_least64_t | |
1073 | ^359 13@-@-@0@0@0@0@672#int_fast8_t | |
1074 | ^360 13@-@-@0@0@0@0@673#int_fast16_t | |
1075 | ^361 13@-@-@0@0@0@0@674#int_fast32_t | |
1076 | ^362 13@-@-@0@0@0@0@675#int_fast64_t | |
1077 | ^363 14@-@-@0@0@0@0@676#uint_fast8_t | |
1078 | ^364 14@-@-@0@0@0@0@677#uint_fast16_t | |
1079 | ^365 14@-@-@0@0@0@0@678#uint_fast32_t | |
1080 | ^366 14@-@-@0@0@0@0@679#uint_fast64_t | |
1081 | ^367 24@-@+@0@0@0@0@680#intptr_t | |
1082 | ^368 25@-@+@0@0@0@0@681#uintptr_t | |
1083 | ^369 15@-@-@0@0@0@0@682#intmax_t | |
1084 | ^370 14@-@-@0@0@0@0@683#uintmax_t | |
1085 | *1 (Constant) | |
1086 | ^371 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX | |
1087 | ^407 63$#INTPTR_MIN#INTPTR_MAX | |
7ebcc5bb | 1088 | *4 (Function) |
798b6d87 | 1089 | ^409 687$$$@0#test1 |
1090 | ^410 690$$$@0#test2 | |
920a3797 | 1091 | ;; Library constraints |
ccf0a4a8 | 1092 | vsnprintf |
1093 | pre: | |
1094 | C | |
1095 | 0@1@3 | |
1096 | l | |
1097 | 1 | |
1098 | 1 | |
1099 | 2 | |
1100 | 2 | |
1101 | Param 23 0 | |
1102 | r | |
1103 | 2 | |
1104 | 2 | |
1105 | Param 63 1 | |
1106 | ;; end precondition constraints | |
1107 | post: | |
1108 | ;; end precondition constraints | |
80ee600a | 1109 | fgets |
1110 | pre: | |
920a3797 | 1111 | C |
1112 | 0@1@3 | |
1113 | l | |
1114 | 1 | |
1115 | 1 | |
1116 | 2 | |
1117 | 2 | |
80ee600a | 1118 | Param 23 0 |
920a3797 | 1119 | r |
1120 | 0 | |
1121 | 1 | |
1122 | e1 | |
1123 | 2 | |
1124 | 2 | |
80ee600a | 1125 | Param 5 1 |
920a3797 | 1126 | e2 |
1127 | 2 | |
1128 | 3 | |
1129 | -1 | |
1130 | ;; end precondition constraints | |
920a3797 | 1131 | post: |
1132 | C | |
80ee600a | 1133 | 0@1@3 |
920a3797 | 1134 | l |
1135 | 1 | |
80ee600a | 1136 | 3 |
1137 | 2 | |
1138 | 2 | |
1139 | Param 23 0 | |
1140 | r | |
1141 | 2 | |
1142 | 3 | |
1143 | 0 | |
1144 | C | |
1145 | 0@1@1 | |
1146 | l | |
920a3797 | 1147 | 1 |
80ee600a | 1148 | 3 |
920a3797 | 1149 | 2 |
1150 | 2 | |
80ee600a | 1151 | Param 23 0 |
920a3797 | 1152 | r |
1153 | 0 | |
1154 | 1 | |
1155 | e1 | |
1156 | 2 | |
1157 | 2 | |
80ee600a | 1158 | Param 5 1 |
920a3797 | 1159 | e2 |
1160 | 2 | |
1161 | 3 | |
1162 | -1 | |
1163 | ;; end precondition constraints | |
80ee600a | 1164 | calloc |
3814599d | 1165 | pre: |
1166 | ;; end precondition constraints | |
920a3797 | 1167 | post: |
1168 | C | |
1169 | 0@1@4 | |
1170 | l | |
1171 | 1 | |
1172 | 1 | |
1173 | 2 | |
1174 | 2 | |
1175 | Result | |
1176 | r | |
1177 | 0 | |
1178 | 1 | |
1179 | e1 | |
1180 | 2 | |
1181 | 2 | |
1182 | Param 63 0 | |
1183 | e2 | |
1184 | 2 | |
1185 | 3 | |
1186 | -1 | |
1187 | ;; end precondition constraints | |
80ee600a | 1188 | malloc |
3814599d | 1189 | pre: |
1190 | ;; end precondition constraints | |
80ee600a | 1191 | post: |
920a3797 | 1192 | C |
80ee600a | 1193 | 0@1@4 |
920a3797 | 1194 | l |
1195 | 1 | |
1196 | 1 | |
1197 | 2 | |
1198 | 2 | |
80ee600a | 1199 | Result |
920a3797 | 1200 | r |
1201 | 0 | |
1202 | 1 | |
1203 | e1 | |
1204 | 2 | |
1205 | 2 | |
80ee600a | 1206 | Param 63 0 |
920a3797 | 1207 | e2 |
1208 | 2 | |
1209 | 3 | |
1210 | -1 | |
1211 | ;; end precondition constraints | |
80ee600a | 1212 | realloc |
3814599d | 1213 | pre: |
1214 | ;; end precondition constraints | |
920a3797 | 1215 | post: |
1216 | C | |
1217 | 0@1@3 | |
1218 | l | |
1219 | 1 | |
920a3797 | 1220 | 1 |
920a3797 | 1221 | 2 |
1222 | 2 | |
80ee600a | 1223 | Result |
920a3797 | 1224 | r |
1225 | 0 | |
1226 | 1 | |
1227 | e1 | |
1228 | 2 | |
1229 | 2 | |
80ee600a | 1230 | Param 63 1 |
920a3797 | 1231 | e2 |
1232 | 2 | |
1233 | 3 | |
1234 | -1 | |
1235 | ;; end precondition constraints | |
80ee600a | 1236 | memcpy |
1237 | pre: | |
920a3797 | 1238 | C |
1239 | 0@1@3 | |
1240 | l | |
1241 | 1 | |
80ee600a | 1242 | 1 |
920a3797 | 1243 | 2 |
1244 | 2 | |
80ee600a | 1245 | Param 20 0 |
920a3797 | 1246 | r |
7bf96067 | 1247 | 0 |
1248 | 1 | |
1249 | e1 | |
920a3797 | 1250 | 2 |
80ee600a | 1251 | 2 |
1252 | Param 63 2 | |
7bf96067 | 1253 | e2 |
1254 | 2 | |
1255 | 3 | |
1256 | -1 | |
920a3797 | 1257 | C |
80ee600a | 1258 | 0@1@3 |
920a3797 | 1259 | l |
1260 | 1 | |
1261 | 3 | |
1262 | 2 | |
1263 | 2 | |
80ee600a | 1264 | Param 20 1 |
920a3797 | 1265 | r |
7bf96067 | 1266 | 0 |
1267 | 1 | |
1268 | e1 | |
920a3797 | 1269 | 2 |
1270 | 2 | |
80ee600a | 1271 | Param 63 2 |
7bf96067 | 1272 | e2 |
1273 | 2 | |
1274 | 3 | |
1275 | -1 | |
80ee600a | 1276 | ;; end precondition constraints |
3814599d | 1277 | post: |
1278 | ;; end precondition constraints | |
80ee600a | 1279 | memmove |
1280 | pre: | |
920a3797 | 1281 | C |
80ee600a | 1282 | 0@1@3 |
920a3797 | 1283 | l |
1284 | 1 | |
1285 | 1 | |
1286 | 2 | |
1287 | 2 | |
80ee600a | 1288 | Param 20 0 |
920a3797 | 1289 | r |
7bf96067 | 1290 | 0 |
1291 | 1 | |
1292 | e1 | |
80ee600a | 1293 | 2 |
1294 | 2 | |
1295 | Param 63 2 | |
7bf96067 | 1296 | e2 |
1297 | 2 | |
1298 | 3 | |
1299 | -1 | |
80ee600a | 1300 | C |
1301 | 0@1@3 | |
1302 | l | |
920a3797 | 1303 | 1 |
80ee600a | 1304 | 3 |
920a3797 | 1305 | 2 |
1306 | 2 | |
80ee600a | 1307 | Param 20 1 |
1308 | r | |
7bf96067 | 1309 | 0 |
1310 | 1 | |
1311 | e1 | |
80ee600a | 1312 | 2 |
1313 | 2 | |
1314 | Param 63 2 | |
7bf96067 | 1315 | e2 |
1316 | 2 | |
1317 | 3 | |
1318 | -1 | |
80ee600a | 1319 | ;; end precondition constraints |
3814599d | 1320 | post: |
1321 | ;; end precondition constraints | |
80ee600a | 1322 | strcpy |
1323 | pre: | |
920a3797 | 1324 | C |
1325 | 0@1@3 | |
1326 | l | |
1327 | 1 | |
1328 | 1 | |
1329 | 2 | |
1330 | 2 | |
80ee600a | 1331 | Param 23 0 |
920a3797 | 1332 | r |
80ee600a | 1333 | 1 |
920a3797 | 1334 | 3 |
80ee600a | 1335 | 2 |
1336 | 2 | |
1337 | Param 23 1 | |
920a3797 | 1338 | ;; end precondition constraints |
920a3797 | 1339 | post: |
1340 | C | |
80ee600a | 1341 | 0@1@4 |
920a3797 | 1342 | l |
1343 | 1 | |
80ee600a | 1344 | 1 |
920a3797 | 1345 | 2 |
1346 | 2 | |
1347 | Result | |
1348 | r | |
80ee600a | 1349 | 1 |
1350 | 1 | |
920a3797 | 1351 | 2 |
80ee600a | 1352 | 2 |
1353 | Param 23 0 | |
920a3797 | 1354 | C |
80ee600a | 1355 | 0@1@4 |
920a3797 | 1356 | l |
1357 | 1 | |
1358 | 3 | |
1359 | 2 | |
1360 | 2 | |
1361 | Result | |
1362 | r | |
1363 | 1 | |
1364 | 3 | |
1365 | 2 | |
1366 | 2 | |
80ee600a | 1367 | Param 23 1 |
920a3797 | 1368 | C |
80ee600a | 1369 | 0@1@4 |
920a3797 | 1370 | l |
1371 | 1 | |
80ee600a | 1372 | 3 |
920a3797 | 1373 | 2 |
1374 | 2 | |
80ee600a | 1375 | Param 23 0 |
920a3797 | 1376 | r |
1377 | 1 | |
80ee600a | 1378 | 3 |
920a3797 | 1379 | 2 |
1380 | 2 | |
80ee600a | 1381 | Param 23 1 |
1382 | ;; end precondition constraints | |
1383 | strncpy | |
1384 | pre: | |
920a3797 | 1385 | C |
1386 | 0@1@3 | |
1387 | l | |
1388 | 1 | |
1389 | 1 | |
1390 | 2 | |
1391 | 2 | |
80ee600a | 1392 | Param 23 0 |
920a3797 | 1393 | r |
80ee600a | 1394 | 0 |
1395 | 1 | |
1396 | e1 | |
1397 | 2 | |
1398 | 2 | |
1399 | Param 63 2 | |
1400 | e2 | |
920a3797 | 1401 | 2 |
1402 | 3 | |
80ee600a | 1403 | -1 |
920a3797 | 1404 | ;; end precondition constraints |
920a3797 | 1405 | post: |
1406 | C | |
80ee600a | 1407 | 0@1@1 |
920a3797 | 1408 | l |
1409 | 1 | |
1410 | 3 | |
1411 | 2 | |
1412 | 2 | |
80ee600a | 1413 | Param 23 0 |
920a3797 | 1414 | r |
1415 | 2 | |
80ee600a | 1416 | 2 |
1417 | Param 63 2 | |
920a3797 | 1418 | C |
80ee600a | 1419 | 0@1@3 |
920a3797 | 1420 | l |
1421 | 1 | |
1422 | 3 | |
1423 | 2 | |
1424 | 2 | |
80ee600a | 1425 | Param 23 1 |
920a3797 | 1426 | r |
1427 | 1 | |
1428 | 3 | |
1429 | 2 | |
1430 | 2 | |
1431 | Param 23 0 | |
80ee600a | 1432 | ;; end precondition constraints |
1433 | strcat | |
1434 | pre: | |
920a3797 | 1435 | C |
80ee600a | 1436 | 0@1@3 |
920a3797 | 1437 | l |
1438 | 1 | |
1439 | 1 | |
1440 | 2 | |
1441 | 2 | |
80ee600a | 1442 | Param 23 0 |
920a3797 | 1443 | r |
80ee600a | 1444 | 0 |
920a3797 | 1445 | 1 |
80ee600a | 1446 | e1 |
920a3797 | 1447 | 1 |
80ee600a | 1448 | 3 |
920a3797 | 1449 | 2 |
1450 | 2 | |
1451 | Param 23 0 | |
80ee600a | 1452 | e2 |
920a3797 | 1453 | 1 |
80ee600a | 1454 | 3 |
920a3797 | 1455 | 2 |
1456 | 2 | |
80ee600a | 1457 | Param 23 1 |
920a3797 | 1458 | ;; end precondition constraints |
920a3797 | 1459 | post: |
1460 | C | |
1461 | 0@1@4 | |
1462 | l | |
1463 | 1 | |
1464 | 3 | |
1465 | 2 | |
1466 | 2 | |
1467 | Result | |
1468 | r | |
80ee600a | 1469 | 0 |
920a3797 | 1470 | 1 |
80ee600a | 1471 | e1 |
920a3797 | 1472 | 1 |
80ee600a | 1473 | 3 |
920a3797 | 1474 | 2 |
1475 | 2 | |
80ee600a | 1476 | Param 23 0 |
1477 | e2 | |
920a3797 | 1478 | 1 |
1479 | 3 | |
1480 | 2 | |
1481 | 2 | |
80ee600a | 1482 | Param 23 1 |
920a3797 | 1483 | ;; end precondition constraints |
80ee600a | 1484 | strncat |
920a3797 | 1485 | pre: |
1486 | C | |
1487 | 0@1@3 | |
1488 | l | |
1489 | 1 | |
1490 | 1 | |
1491 | 2 | |
1492 | 2 | |
80ee600a | 1493 | Param 23 0 |
920a3797 | 1494 | r |
1495 | 0 | |
1496 | 1 | |
1497 | e1 | |
80ee600a | 1498 | 1 |
1499 | 3 | |
920a3797 | 1500 | 2 |
1501 | 2 | |
80ee600a | 1502 | Param 23 0 |
920a3797 | 1503 | e2 |
1504 | 2 | |
80ee600a | 1505 | 2 |
c555d0ad | 1506 | Param 63 2 |
920a3797 | 1507 | ;; end precondition constraints |
1508 | post: | |
1509 | C | |
1510 | 0@1@3 | |
1511 | l | |
1512 | 1 | |
1513 | 3 | |
1514 | 2 | |
1515 | 2 | |
15b3d2b2 | 1516 | Param 23 0 |
920a3797 | 1517 | r |
1518 | 0 | |
1519 | 1 | |
1520 | e1 | |
80ee600a | 1521 | 1 |
1522 | 3 | |
920a3797 | 1523 | 2 |
1524 | 2 | |
80ee600a | 1525 | Param 23 0 |
920a3797 | 1526 | e2 |
1527 | 2 | |
80ee600a | 1528 | 2 |
c555d0ad | 1529 | Param 63 2 |
920a3797 | 1530 | ;; end precondition constraints |
80ee600a | 1531 | strchr |
3814599d | 1532 | pre: |
1533 | ;; end precondition constraints | |
80ee600a | 1534 | post: |
920a3797 | 1535 | C |
1536 | 0@1@3 | |
1537 | l | |
1538 | 1 | |
80ee600a | 1539 | 3 |
920a3797 | 1540 | 2 |
1541 | 2 | |
80ee600a | 1542 | Result |
920a3797 | 1543 | r |
1544 | 2 | |
80ee600a | 1545 | 3 |
1546 | 0 | |
920a3797 | 1547 | C |
80ee600a | 1548 | 0@1@1 |
920a3797 | 1549 | l |
1550 | 1 | |
1551 | 3 | |
1552 | 2 | |
1553 | 2 | |
80ee600a | 1554 | Result |
920a3797 | 1555 | r |
80ee600a | 1556 | 1 |
1557 | 3 | |
920a3797 | 1558 | 2 |
1559 | 2 | |
80ee600a | 1560 | Param 23 0 |
920a3797 | 1561 | C |
80ee600a | 1562 | 0@1@1 |
920a3797 | 1563 | l |
1564 | 1 | |
1565 | 1 | |
1566 | 2 | |
1567 | 2 | |
80ee600a | 1568 | Result |
920a3797 | 1569 | r |
80ee600a | 1570 | 1 |
1571 | 1 | |
920a3797 | 1572 | 2 |
1573 | 2 | |
80ee600a | 1574 | Param 23 0 |
920a3797 | 1575 | C |
1576 | 0@1@3 | |
1577 | l | |
1578 | 1 | |
80ee600a | 1579 | 1 |
920a3797 | 1580 | 2 |
1581 | 2 | |
80ee600a | 1582 | Result |
920a3797 | 1583 | r |
1584 | 2 | |
80ee600a | 1585 | 3 |
1586 | 0 | |
920a3797 | 1587 | ;; end precondition constraints |
80ee600a | 1588 | strrchr |
3814599d | 1589 | pre: |
1590 | ;; end precondition constraints | |
80ee600a | 1591 | post: |
920a3797 | 1592 | C |
1593 | 0@1@3 | |
1594 | l | |
1595 | 1 | |
80ee600a | 1596 | 3 |
920a3797 | 1597 | 2 |
1598 | 2 | |
80ee600a | 1599 | Result |
920a3797 | 1600 | r |
80ee600a | 1601 | 2 |
1602 | 3 | |
920a3797 | 1603 | 0 |
80ee600a | 1604 | C |
1605 | 0@1@1 | |
1606 | l | |
920a3797 | 1607 | 1 |
1608 | 3 | |
1609 | 2 | |
1610 | 2 | |
80ee600a | 1611 | Result |
1612 | r | |
1613 | 1 | |
1614 | 3 | |
920a3797 | 1615 | 2 |
1616 | 2 | |
80ee600a | 1617 | Param 23 0 |
920a3797 | 1618 | C |
80ee600a | 1619 | 0@1@1 |
920a3797 | 1620 | l |
1621 | 1 | |
80ee600a | 1622 | 1 |
920a3797 | 1623 | 2 |
1624 | 2 | |
1625 | Result | |
1626 | r | |
920a3797 | 1627 | 1 |
920a3797 | 1628 | 1 |
920a3797 | 1629 | 2 |
1630 | 2 | |
1631 | Param 23 0 | |
920a3797 | 1632 | C |
1633 | 0@1@3 | |
1634 | l | |
1635 | 1 | |
1636 | 1 | |
1637 | 2 | |
1638 | 2 | |
80ee600a | 1639 | Result |
920a3797 | 1640 | r |
80ee600a | 1641 | 2 |
1642 | 3 | |
920a3797 | 1643 | 0 |
80ee600a | 1644 | ;; end precondition constraints |
1645 | strstr | |
3814599d | 1646 | pre: |
1647 | ;; end precondition constraints | |
80ee600a | 1648 | post: |
1649 | C | |
1650 | 0@1@3 | |
1651 | l | |
920a3797 | 1652 | 1 |
80ee600a | 1653 | 3 |
920a3797 | 1654 | 2 |
1655 | 2 | |
80ee600a | 1656 | Result |
1657 | r | |
920a3797 | 1658 | 2 |
1659 | 3 | |
80ee600a | 1660 | 0 |
920a3797 | 1661 | C |
1662 | 0@1@1 | |
1663 | l | |
1664 | 1 | |
1665 | 3 | |
1666 | 2 | |
1667 | 2 | |
80ee600a | 1668 | Result |
920a3797 | 1669 | r |
80ee600a | 1670 | 1 |
1671 | 3 | |
920a3797 | 1672 | 2 |
1673 | 2 | |
80ee600a | 1674 | Param 23 0 |
920a3797 | 1675 | C |
80ee600a | 1676 | 0@1@1 |
920a3797 | 1677 | l |
1678 | 1 | |
80ee600a | 1679 | 1 |
920a3797 | 1680 | 2 |
1681 | 2 | |
80ee600a | 1682 | Result |
920a3797 | 1683 | r |
1684 | 1 | |
80ee600a | 1685 | 1 |
920a3797 | 1686 | 2 |
1687 | 2 | |
1688 | Param 23 0 | |
80ee600a | 1689 | C |
1690 | 0@1@3 | |
1691 | l | |
1692 | 1 | |
1693 | 1 | |
1694 | 2 | |
1695 | 2 | |
1696 | Result | |
1697 | r | |
1698 | 2 | |
1699 | 3 | |
1700 | 0 | |
920a3797 | 1701 | ;; end precondition constraints |
80ee600a | 1702 | memset |
920a3797 | 1703 | pre: |
1704 | C | |
1705 | 0@1@3 | |
1706 | l | |
1707 | 1 | |
1708 | 1 | |
1709 | 2 | |
1710 | 2 | |
80ee600a | 1711 | Param 20 0 |
920a3797 | 1712 | r |
1713 | 0 | |
1714 | 1 | |
1715 | e1 | |
920a3797 | 1716 | 2 |
1717 | 2 | |
80ee600a | 1718 | Param 63 2 |
920a3797 | 1719 | e2 |
920a3797 | 1720 | 2 |
80ee600a | 1721 | 3 |
1722 | -1 | |
920a3797 | 1723 | ;; end precondition constraints |
80ee600a | 1724 | post: |
920a3797 | 1725 | C |
1726 | 0@1@3 | |
1727 | l | |
1728 | 1 | |
80ee600a | 1729 | 3 |
920a3797 | 1730 | 2 |
1731 | 2 | |
80ee600a | 1732 | Param 20 0 |
920a3797 | 1733 | r |
80ee600a | 1734 | 0 |
920a3797 | 1735 | 1 |
80ee600a | 1736 | e1 |
920a3797 | 1737 | 2 |
1738 | 2 | |
80ee600a | 1739 | Param 63 2 |
1740 | e2 | |
1741 | 2 | |
1742 | 3 | |
1743 | -1 | |
920a3797 | 1744 | ;; end precondition constraints |
80ee600a | 1745 | strlen |
3814599d | 1746 | pre: |
1747 | ;; end precondition constraints | |
920a3797 | 1748 | post: |
1749 | C | |
1750 | 0@1@4 | |
1751 | l | |
920a3797 | 1752 | 2 |
1753 | 2 | |
1754 | Result | |
1755 | r | |
1756 | 1 | |
80ee600a | 1757 | 3 |
920a3797 | 1758 | 2 |
1759 | 2 | |
1760 | Param 23 0 | |
80ee600a | 1761 | ;; end precondition constraints |
1762 | asctime | |
3814599d | 1763 | pre: |
1764 | ;; end precondition constraints | |
80ee600a | 1765 | post: |
920a3797 | 1766 | C |
1767 | 0@1@4 | |
1768 | l | |
1769 | 1 | |
1770 | 3 | |
1771 | 2 | |
1772 | 2 | |
1773 | Result | |
1774 | r | |
80ee600a | 1775 | 2 |
920a3797 | 1776 | 3 |
80ee600a | 1777 | 25 |
1778 | C | |
1779 | 0@1@4 | |
1780 | l | |
1781 | 1 | |
1782 | 1 | |
920a3797 | 1783 | 2 |
1784 | 2 | |
80ee600a | 1785 | Result |
1786 | r | |
1787 | 2 | |
1788 | 3 | |
1789 | 25 | |
1790 | ;; end precondition constraints | |
1791 | ctime | |
3814599d | 1792 | pre: |
1793 | ;; end precondition constraints | |
80ee600a | 1794 | post: |
920a3797 | 1795 | C |
1796 | 0@1@4 | |
1797 | l | |
1798 | 1 | |
1799 | 3 | |
1800 | 2 | |
1801 | 2 | |
80ee600a | 1802 | Result |
920a3797 | 1803 | r |
80ee600a | 1804 | 2 |
920a3797 | 1805 | 3 |
80ee600a | 1806 | 25 |
1807 | C | |
1808 | 0@1@4 | |
1809 | l | |
1810 | 1 | |
1811 | 1 | |
920a3797 | 1812 | 2 |
1813 | 2 | |
80ee600a | 1814 | Result |
1815 | r | |
1816 | 2 | |
1817 | 3 | |
1818 | 25 | |
920a3797 | 1819 | ;; end precondition constraints |
cc78dedd | 1820 | ;; Modules access |
8e349e11 | 1821 | lltX_bool#1@ |
1822 | types#1@ | |
1823 | ansi#9@ | |
cc78dedd | 1824 | ;;End |