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