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