]> andersk Git - splint.git/blame - test/null6.lcd
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
*** empty log message ***
[splint.git] / test / null6.lcd
CommitLineData
885824d3 1;;LCLint Dump: null6.lcd
68de3f33 2;;LCLint 3.0.0.16 --- 10 September 2001
990ec868 3;;lib:168
885824d3 4;;ctTable
50 u-2 19 38
60 p1|-2 20 39
70 b-2 21 40
80 p3|-2 22 41
90 p4|-2 23 42
100 p5|-2 24 43
110 p6|-2 25 44
120 p7|-2 26 45
130 p8|-2 27 46
140 p9|-2 28 47
150 p10|-2 29 48
160 p11|-2 30 49
170 p12|-2 31 50
180 p13|-2 32 51
190 p14|-2 33 52
200 p15|-2 34 53
210 p16|-2 35 54
220 p17|-2 36 55
230 p18|-2 37 56
ccf0a4a8 241 t0|0 314 -1
885824d3 251 t1|1&
261 t2|2&
271 t3|3&
ccf0a4a8 281 t4|4 315 -1
885824d3 291 t5|5&
301 t6|6&
311 t7|7&
321 t8|8&
331 t9|9&
341 t10|10&
351 t11|11&
361 t12|12&
371 t13|13&
381 t14|14&
391 t15|15&
401 t16|16&
411 t17|17&
421 t18|18&
432 y0|0&
442 y1|1&
452 y2|2&
462 y3|3&
472 y4|4&
482 y5|5&
492 y6|6&
502 y7|7&
512 y8|8&
522 y9|9&
532 y10|10&
542 y11|11&
552 y12|12&
562 y13|13&
572 y14|14&
582 y15|15&
592 y16|16&
602 y17|17&
612 y18|18&
62-2 ?!
80ee600a 630 a0|&
640 s10|&
650 s11|&
660 s12|&
670 s23|&
680 s24|&
690 s25|&
ccf0a4a8 700 s26|-1 383 -1
80ee600a 710 s27|&
ccf0a4a8 720 a28|-1 401 -1
885824d3 733 C0.5/20|!
920a3797 743 C0.68/2|!
885824d3 753 C0.2/5|!
920a3797 763 f0 (70|@7|$#,)!
773 f1 (70|@7|$#,)!
a0a162cd 783 C0.5/3|!
920a3797 793 f0 (73|$#,)!
803 f2 (73|$#,)!
813 f70 (73|$#,)!
823 f0 (73|$#,)!
833 f2 (73|$#,)!
843 f70 (73|$#,)!
853 f0 (73|$#,)!
863 f2 (73|$#,)!
873 f70 (73|$#,)!
883 f0 (73|$#,)!
893 f2 (73|$#,)!
903 f70 (73|$#,)!
913 f0 (73|$#,)!
923 f2 (73|$#,)!
885824d3 933 C0.2/5|!
920a3797 943 f88 (73|$#,)!
a0a162cd 953 C0.5/3|!
920a3797 963 f0 (90|$#,)!
973 f2 (90|$#,)!
983 f88 (90|$#,)!
993 f0 (90|$#,)!
1003 f2 (90|$#,)!
1013 f88 (90|$#,)!
1023 f0 (90|$#,)!
1033 f2 (90|$#,)!
1043 f88 (90|$#,)!
1053 f0 (90|$#,)!
1063 f2 (90|$#,)!
1073 f88 (90|$#,)!
1083 f0 (90|$#,)!
1093 f2 (90|$#,)!
885824d3 1103 C0.2/5|!
920a3797 1113 f105 (90|$#,)!
a0a162cd 1123 C0.5/3|!
920a3797 1133 f0 (107|$#,)!
1143 f2 (107|$#,)!
1153 f105 (107|$#,)!
885824d3 1163 C0.4/5|!
920a3797 1173 f0 (107|$#,)!
1183 f4 (107|$#,)!
1193 f111 (107|$#,)!
1203 f0 (107|$#,)!
1213 f4 (107|$#,)!
1223 f111 (107|$#,)!
885824d3 1233 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|$#int_frac_digits,4|@1|$#frac_digits,4|@1|$#p_cs_precedes,4|@1|$#p_sep_by_space,4|@1|$#n_cs_precedes,4|@1|$#n_sep_by_space,4|@1|$#p_sign_posn,4|@1|$#n_sign_posn,}!
80ee600a 1240 s45|-1 125 -1
885824d3 1253 f0 (5|$#,23|0@5@7&#,)!
1263 f19 (5|$#,23|0@5@7&#,)!
1273 f23 (5|$#,23|0@5@7&#,)!
1283 f0 ()!
1293 f19 ()!
920a3797 1301 t119|119&
1313 f125 ()!
885824d3 1323 f0 (17|$#,)!
1333 f17 (17|$#,)!
1343 f0 (17|$#,)!
1353 f17 (17|$#,)!
1363 f0 (17|$#,)!
1373 f17 (17|$#,)!
1383 f0 (17|$#,)!
1393 f17 (17|$#,)!
1403 f0 (17|$#,)!
1413 f17 (17|$#,)!
1423 f0 (17|$#,)!
1433 f17 (17|$#,)!
1443 f0 (17|$#,17|$#,)!
1453 f17 (17|$#,17|$#,)!
1463 f0 (17|$#,)!
1473 f17 (17|$#,)!
1483 f0 (17|$#,)!
1493 f17 (17|$#,)!
1503 f0 (17|$#,)!
1513 f17 (17|$#,)!
1523 f0 (17|$#,)!
1533 f17 (17|$#,)!
1543 f0 (17|$#,5|$#,)!
1553 f17 (17|$#,5|$#,)!
1563 f0 (17|$#,24|4@0@7&#,)!
1573 f17 (17|$#,24|4@0@7&#,)!
1583 f0 (17|$#,)!
1593 f17 (17|$#,)!
1603 f0 (17|$#,)!
1613 f17 (17|$#,)!
1623 f0 (17|$#,17|$#,)!
1633 f17 (17|$#,17|$#,)!
1643 f0 (17|$#,)!
1653 f17 (17|$#,)!
1663 f0 (17|$#,)!
1673 f17 (17|$#,)!
1683 f0 (17|$#,)!
1693 f17 (17|$#,)!
1703 f0 (17|$#,)!
1713 f17 (17|$#,)!
1723 f0 (17|$#,36|4@0@7&#,)!
1733 f17 (17|$#,36|4@0@7&#,)!
1743 f0 (17|$#,17|$#,)!
1753 f17 (17|$#,17|$#,)!
80ee600a 1760 a123|&
920a3797 1773 f0 (171|4@0@7&#,)!
1783 f5 (171|4@0@7&#,)!
1793 f0 (171|$#,5|$#,)!
1803 f1 (171|$#,5|$#,)!
80ee600a 1810 s132|&
885824d3 1823 ?!
920a3797 1833 f177 (5|$#,)!
1843 f1 (5|$#,)^180
1851 t179|179&
885824d3 1863 ?!
920a3797 1873 f181 (5|$#,)!
1883 f1 (5|$#,)^184
1891 t183|183&
885824d3 1903 ?!
920a3797 1913 f185 (5|$#,)!
1923 f1 (5|$#,)^188
1931 t187|187&
885824d3 1943 ?!
920a3797 1953 f189 (5|$#,)!
1963 f1 (5|$#,)^192
1971 t191|191&
1983 f0 (5|$#,192|0@5@7&#,)!
1993 f19 (5|$#,192|0@5@7&#,)^195
2001 t194|194&
885824d3 2013 ?!
920a3797 2023 f196 (5|$#,)!
885824d3 2033 f19 (5|$#,)!
920a3797 2043 f1 (5|$#,192|0@5@7&#,)!
885824d3 2053 f1 (5|$#,)!
920a3797 2063 f200 (5|$#,192|0@5@7&#,)!
885824d3 2073 f0 (5|$#,)!
2083 f5 (5|$#,)!
80ee600a 2090 a138|&
920a3797 2103 f0 (204|4@0@7&#,!.,)!
2113 f1 (204|4@0@7&#,!.,)!
2123 f0 (204|$#,)!
2133 f1 (204|$#,)!
80ee600a 2140 a141|-1 211 -1
ccf0a4a8 2150 a142|-1 289 -1
920a3797 2161 t209|209&
885824d3 2173 f0 (23|$#,)!
2183 f5 (23|$#,)!
2193 f0 (23|$#,23|$#,)!
2203 f5 (23|$#,23|$#,)!
2213 f0 ()!
2223 f19 ()!
920a3797 2233 f211 ()!
885824d3 2243 f0 (23|@5|4@5@7&#,)!
2253 f19 (23|@5|4@5@7&#,)!
2263 f23 (23|@5|4@5@7&#,)!
920a3797 2273 f0 (211|$#,)!
2283 f5 (211|$#,)!
2293 f0 (211|0@5@7&#,)!
2303 f5 (211|0@5@7&#,)!
885824d3 2313 f0 (23|$#,23|$#,)!
2323 f19 (23|$#,23|$#,)!
920a3797 2333 f211 (23|$#,23|$#,)!
2343 f0 (23|$#,23|$#,211|$#,)!
2353 f19 (23|$#,23|$#,211|$#,)!
2363 f211 (23|$#,23|$#,211|$#,)!
2373 f0 (211|$#,23|0@5@19@2@0#,)!
2383 f1 (211|$#,23|0@5@19@2@0#,)!
2393 f0 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
2403 f5 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
885824d3 2413 C0.5/1|!
920a3797 2423 f0 (211|$#,23|$#,!.,)!
2433 f5 (211|$#,23|$#,!.,)!
2443 f236 (211|$#,23|$#,!.,)!
2453 f0 (211|$#,23|$#,!.,)!
2463 f5 (211|$#,23|$#,!.,)!
885824d3 2473 f0 (23|$#,!.,)!
2483 f5 (23|$#,!.,)!
920a3797 2493 f236 (23|$#,!.,)!
885824d3 2503 f0 (23|$#,!.,)!
2513 f5 (23|$#,!.,)!
2523 f0 (23|4@0@7&#,23|$#,!.,)!
2533 f5 (23|4@0@7&#,23|$#,!.,)!
920a3797 2543 f236 (23|4@0@7&#,23|$#,!.,)!
885824d3 2553 f0 (23|4@0@7&#,23|$#,!.,)!
2563 f5 (23|4@0@7&#,23|$#,!.,)!
920a3797 2573 f0 (23|$#,204|$#,)!
2583 f5 (23|$#,204|$#,)!
ccf0a4a8 2593 f0 (211|$#,23|$#,204|$#,)!
2603 f5 (211|$#,23|$#,204|$#,)!
920a3797 2613 f0 (23|4@0@7&#,23|$#,204|$#,)!
2623 f5 (23|4@0@7&#,23|$#,204|$#,)!
ccf0a4a8 2633 f0 (23|4@0@7&#,63|$#,23|$#,204|$#,)!
2643 f5 (23|4@0@7&#,63|$#,23|$#,204|$#,)!
920a3797 2653 f0 (211|$#,)!
2663 f5 (211|$#,)!
2673 f0 (23|@5|4@0@7&#,5|$#,211|$#,)!
2683 f19 (23|@5|4@0@7&#,5|$#,211|$#,)!
2693 f23 (23|@5|4@0@7&#,5|$#,211|$#,)!
885824d3 2703 C0.5/4|!
ccf0a4a8 2713 f0 (265|$#,211|$#,)!
2723 f5 (265|$#,211|$#,)!
920a3797 2733 f0 (23|$#,211|$#,)!
2743 f5 (23|$#,211|$#,)!
2753 f0 (211|@7|$#,)!
2763 f5 (211|@7|$#,)!
885824d3 2773 f0 ()!
2783 f5 ()!
2793 f0 (23|4@0@7&#,)!
2803 f19 (23|4@0@7&#,)!
2813 f23 (23|4@0@7&#,)!
ccf0a4a8 2823 f0 (265|$#,211|@7|$#,)!
2833 f5 (265|$#,211|@7|$#,)!
2843 f0 (265|$#,)!
2853 f5 (265|$#,)!
885824d3 2863 f0 (23|$#,)!
2873 f5 (23|$#,)!
ccf0a4a8 2883 f0 (265|$#,211|$#,)!
2893 f5 (265|$#,211|$#,)!
920a3797 2903 f0 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
2913 f63 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
2923 f0 (20|$#,63|$#,63|$#,211|$#,)!
2933 f63 (20|$#,63|$#,63|$#,211|$#,)!
2941 t210|210&
ccf0a4a8 2953 f0 (211|$#,289|4@0@7&#,)!
2963 f5 (211|$#,289|4@0@7&#,)!
920a3797 2973 f0 (211|$#,9|$#,5|$#,)!
2983 f5 (211|$#,9|$#,5|$#,)!
ccf0a4a8 2993 f0 (211|$#,289|$#,)!
3003 f5 (211|$#,289|$#,)!
920a3797 3013 f0 (211|$#,)!
3023 f9 (211|$#,)!
3033 f0 (211|$#,)!
3043 f1 (211|$#,)!
3053 f0 (211|$#,)!
3063 f1 (211|$#,)!
3073 f0 (211|$#,)!
3083 f5 (211|$#,)!
3093 f0 (211|$#,)!
3103 f5 (211|$#,)!
885824d3 3113 f0 (23|0@5@7&#,)!
3123 f1 (23|0@5@7&#,)!
3133 f0 (23|$#,)!
3143 f17 (23|$#,)!
3153 f0 (23|$#,)!
3163 f5 (23|$#,)!
3173 f0 (23|$#,)!
3183 f9 (23|$#,)!
3191 t19|19&
3201 t23|23&
ccf0a4a8 3213 f0 (23|$#,315|4@5@7&#,)!
3223 f17 (23|$#,315|4@5@7&#,)!
3233 f0 (23|$#,315|4@5@7&#,5|$#,)!
3243 f9 (23|$#,315|4@5@7&#,5|$#,)!
3253 f0 (23|$#,315|4@5@7&#,5|$#,)!
3263 f10 (23|$#,315|4@5@7&#,5|$#,)!
885824d3 3273 f0 ()!
3283 f5 ()!
3293 f0 (6|$#,)!
3303 f1 (6|$#,)!
3313 f0 (63|$#,63|$#,)!
3323 f19 (63|$#,63|$#,)!
3333 f20 (63|$#,63|$#,)!
3343 f0 (63|$#,)!
3353 f19 (63|$#,)!
3363 f20 (63|$#,)!
3373 f0 (20|@5|4@5@2&#,63|$#,)!
3383 f19 (20|@5|4@5@2&#,63|$#,)!
3393 f20 (20|@5|4@5@2&#,63|$#,)!
3403 f0 (20|4@5@2&#,)!
3413 f1 (20|4@5@2&#,)!
3423 f0 ()!
3433 f1 ()!
3443 f0 (5|$#,)!
3453 f1 (5|$#,)!
3463 ?!
ccf0a4a8 3473 f341 ()!
3483 f1 ()^344
3491 t343|343&
3503 f0 (344|$#,)!
3513 f5 (344|$#,)!
885824d3 3523 f0 (23|$#,)!
3533 f19 (23|$#,)!
3543 f23 (23|$#,)!
3553 f0 (23|0@5@7&#,)!
3563 f5 (23|0@5@7&#,)!
3573 ?!
ccf0a4a8 3583 f352 (20|$#,20|$#,)!
3593 f5 (20|$#,20|$#,)^355
3601 t354|354&
3613 f0 (20|$#,20|$#,63|$#,63|$#,355|$#,)!
3623 f19 (20|$#,20|$#,63|$#,63|$#,355|$#,)!
3633 f20 (20|$#,20|$#,63|$#,63|$#,355|$#,)!
885824d3 3643 ?!
ccf0a4a8 3653 f359 (20|$#,20|$#,)!
3663 f5 (20|$#,20|$#,)^362
3671 t361|361&
3683 f0 (20|$#,63|$#,63|$#,362|$#,)!
3693 f1 (20|$#,63|$#,63|$#,362|$#,)!
885824d3 3703 f0 (5|$#,)!
3713 f5 (5|$#,)!
3723 S!2{5|@1|$#quot,5|@1|$#rem,}!
80ee600a 3730 s221|&
ccf0a4a8 3740 s222|&
885824d3 3753 f0 (5|$#,5|$#,)!
ccf0a4a8 3763 f369 (5|$#,5|$#,)!
885824d3 3773 f0 (9|$#,)!
3783 f9 (9|$#,)!
3793 S!3{9|@1|$#quot,9|@1|$#rem,}!
80ee600a 3800 s225|&
ccf0a4a8 3810 s226|&
885824d3 3823 f0 (9|$#,9|$#,)!
ccf0a4a8 3833 f376 (9|$#,9|$#,)!
885824d3 3843 f0 (5|$#,)!
3853 f66 (5|$#,)!
920a3797 3863 f0 (211|$#,)!
3873 f66 (211|$#,)!
ccf0a4a8 3881 t65|65 465 -1
3893 f0 (383|@5|$#,5|$#,211|$#,)!
3903 f19 (383|@5|$#,5|$#,211|$#,)!
3913 f383 (383|@5|$#,5|$#,211|$#,)!
920a3797 3923 f0 (65|$#,211|$#,)!
3933 f66 (65|$#,211|$#,)!
ccf0a4a8 3943 f0 (383|$#,211|$#,)!
3953 f5 (383|$#,211|$#,)!
920a3797 3963 f0 (211|$#,5|$#,)!
3973 f5 (211|$#,5|$#,)!
ccf0a4a8 3983 f0 (211|$#,383|$#,!.,)!
3993 f5 (211|$#,383|$#,!.,)!
4003 f0 (211|$#,383|$#,!.,)!
4013 f5 (211|$#,383|$#,!.,)!
920a3797 4023 f0 (211|@7|$#,)!
4033 f66 (211|@7|$#,)!
885824d3 4043 f0 ()!
4053 f66 ()!
4061 t67|67&
ccf0a4a8 4073 f0 (23|$#,63|$#,401|0@5@7&#,)!
4083 f63 (23|$#,63|$#,401|0@5@7&#,)!
4093 f0 (383|0@5@7&#,23|$#,63|$#,401|0@5@7&#,)!
4103 f63 (383|0@5@7&#,23|$#,63|$#,401|0@5@7&#,)!
4113 f0 (401|0@5@7&#,)!
4123 f5 (401|0@5@7&#,)!
4133 f0 (383|0@5@7&#,315|$#,63|$#,401|0@5@7&#,)!
4143 f63 (383|0@5@7&#,315|$#,63|$#,401|0@5@7&#,)!
920a3797 4153 f0 (65|$#,211|@7|$#,)!
4163 f66 (65|$#,211|@7|$#,)!
885824d3 4173 f0 (65|$#,)!
4183 f66 (65|$#,)!
ccf0a4a8 4193 f0 (383|$#,63|$#,383|$#,!.,)!
4203 f5 (383|$#,63|$#,383|$#,!.,)!
4213 f0 (383|$#,383|$#,!.,)!
4223 f5 (383|$#,383|$#,!.,)!
920a3797 4233 f0 (66|$#,211|$#,)!
4243 f66 (66|$#,211|$#,)!
ccf0a4a8 4253 f0 (211|$#,383|$#,204|$#,)!
4263 f5 (211|$#,383|$#,204|$#,)!
4273 f0 (383|$#,63|$#,383|$#,204|$#,)!
4283 f5 (383|$#,63|$#,383|$#,204|$#,)!
4293 f0 (383|$#,204|$#,)!
4303 f5 (383|$#,204|$#,)!
4313 f0 (23|4@5@7&#,65|$#,401|0@5@7&#,)!
4323 f63 (23|4@5@7&#,65|$#,401|0@5@7&#,)!
4333 C0.1/383|!
4343 f0 (383|@5|4@0@9&#,383|$#,)!
4353 f1 (383|@5|4@0@9&#,383|$#,)!
4363 f428 (383|@5|4@0@9&#,383|$#,)!
4373 f0 (383|@5|$#,65|$#,)!
4383 f19 (383|@5|$#,65|$#,)!
4393 f383 (383|@5|$#,65|$#,)!
4403 f0 (383|$#,383|$#,)!
4413 f5 (383|$#,383|$#,)!
4423 f0 (383|$#,383|$#,)!
4433 f5 (383|$#,383|$#,)!
4443 f0 (383|@5|4@0@9&#,383|$#,)!
4453 f1 (383|@5|4@0@9&#,383|$#,)!
4463 f428 (383|@5|4@0@9&#,383|$#,)!
4473 f0 (383|$#,383|$#,)!
4483 f63 (383|$#,383|$#,)!
4490 s261|-1 445 -1
4501 t444|444&
4513 f0 (383|4@0@7&#,63|$#,383|$#,445|$#,)!
4523 f63 (383|4@0@7&#,63|$#,383|$#,445|$#,)!
4533 f0 (383|$#,)!
4543 f63 (383|$#,)!
4553 C0.1/383|!
4563 f0 (383|@5|4@0@9&#,383|$#,63|$#,)!
4573 f1 (383|@5|4@0@9&#,383|$#,63|$#,)!
4583 f450 (383|@5|4@0@9&#,383|$#,63|$#,)!
4593 f0 (383|$#,383|$#,63|$#,)!
4603 f5 (383|$#,383|$#,63|$#,)!
4613 f0 (383|@5|4@0@9&#,383|$#,63|$#,)!
4623 f1 (383|@5|4@0@9&#,383|$#,63|$#,)!
4633 f450 (383|@5|4@0@9&#,383|$#,63|$#,)!
4643 f0 (383|@5|$#,383|$#,)!
4653 f19 (383|@5|$#,383|$#,)!
4663 f383 (383|@5|$#,383|$#,)!
4673 f0 (383|@5|$#,65|$#,)!
4683 f19 (383|@5|$#,65|$#,)!
4693 f383 (383|@5|$#,65|$#,)!
4701 t383|383&
4713 f0 (23|0@5@7&#,465|$#,63|$#,401|0@5@7&#,)!
4723 f63 (23|0@5@7&#,465|$#,63|$#,401|0@5@7&#,)!
4733 f0 (383|$#,383|$#,)!
4743 f63 (383|$#,383|$#,)!
4753 f0 (383|$#,383|$#,)!
4763 f19 (383|$#,383|$#,)!
4773 f383 (383|$#,383|$#,)!
4783 f0 (383|$#,465|0@5@7&#,)!
4793 f17 (383|$#,465|0@5@7&#,)!
4803 f0 (383|0@5@7&#,383|$#,465|$#,)!
4813 f19 (383|0@5@7&#,383|$#,465|$#,)!
4823 f383 (383|0@5@7&#,383|$#,465|$#,)!
4833 f0 (383|$#,465|0@5@7&#,5|$#,)!
4843 f9 (383|$#,465|0@5@7&#,5|$#,)!
4853 f0 (383|$#,465|0@5@7&#,5|$#,)!
4863 f10 (383|$#,465|0@5@7&#,5|$#,)!
4873 f0 (383|0@5@7&#,383|$#,63|$#,)!
4883 f63 (383|0@5@7&#,383|$#,63|$#,)!
885824d3 4893 f0 (66|$#,)!
4903 f5 (66|$#,)!
ccf0a4a8 4913 f0 (383|$#,65|$#,63|$#,)!
4923 f19 (383|$#,65|$#,63|$#,)!
4933 f383 (383|$#,65|$#,63|$#,)!
4943 f0 (383|$#,383|$#,63|$#,)!
4953 f5 (383|$#,383|$#,63|$#,)!
4963 f0 (383|@5|$#,383|$#,63|$#,)!
4973 f19 (383|@5|$#,383|$#,63|$#,)!
4983 f383 (383|@5|$#,383|$#,63|$#,)!
4993 f0 (383|@5|$#,383|$#,63|$#,)!
5003 f19 (383|@5|$#,383|$#,63|$#,)!
5013 f383 (383|@5|$#,383|$#,63|$#,)!
5023 f0 (383|@5|$#,65|$#,63|$#,)!
5033 f19 (383|@5|$#,65|$#,63|$#,)!
5043 f383 (383|@5|$#,65|$#,63|$#,)!
5053 f0 (383|$#,!.,)!
5063 f5 (383|$#,!.,)!
5073 f0 (383|$#,!.,)!
5083 f5 (383|$#,!.,)!
80ee600a 5090 s285|&
ccf0a4a8 5100 s286|&
885824d3 5113 C0.2/5|!
5123 f0 (66|$#,)!
5133 f2 (66|$#,)!
ccf0a4a8 5143 f506 (66|$#,)!
885824d3 5153 f0 (66|$#,)!
5163 f2 (66|$#,)!
ccf0a4a8 5173 f506 (66|$#,)!
885824d3 5183 f0 (66|$#,)!
5193 f2 (66|$#,)!
ccf0a4a8 5203 f506 (66|$#,)!
5213 f0 (66|$#,504|$#,)!
5223 f2 (66|$#,504|$#,)!
5233 f506 (66|$#,504|$#,)!
885824d3 5243 f0 (66|$#,)!
5253 f2 (66|$#,)!
ccf0a4a8 5263 f506 (66|$#,)!
885824d3 5273 f0 (66|$#,)!
5283 f2 (66|$#,)!
5293 C0.2/5|!
ccf0a4a8 5303 f524 (66|$#,)!
885824d3 5313 f0 (66|$#,)!
5323 f2 (66|$#,)!
ccf0a4a8 5333 f524 (66|$#,)!
885824d3 5343 f0 (66|$#,)!
5353 f2 (66|$#,)!
ccf0a4a8 5363 f524 (66|$#,)!
885824d3 5373 f0 (66|$#,)!
5383 f2 (66|$#,)!
ccf0a4a8 5393 f524 (66|$#,)!
885824d3 5403 f0 (66|$#,)!
5413 f2 (66|$#,)!
ccf0a4a8 5423 f524 (66|$#,)!
885824d3 5433 f0 (66|$#,)!
5443 f2 (66|$#,)!
ccf0a4a8 5453 f524 (66|$#,)!
885824d3 5463 C0.2/5|!
5473 f0 (66|$#,)!
5483 f2 (66|$#,)!
ccf0a4a8 5493 f541 (66|$#,)!
885824d3 5503 C0.66/5|!
ccf0a4a8 5513 f0 (66|$#,505|$#,)!
5523 f66 (66|$#,505|$#,)!
5533 f545 (66|$#,505|$#,)!
885824d3 5543 f0 (66|$#,)!
5553 f66 (66|$#,)!
ccf0a4a8 5563 f545 (66|$#,)!
885824d3 5573 f0 (66|$#,)!
5583 f66 (66|$#,)!
ccf0a4a8 5593 f545 (66|$#,)!
e4c9f289 5603 f0 (23|$#,)!
ccf0a4a8 5613 f505 (23|$#,)!
a8e557d3 5623 f0 (23|$#,)!
ccf0a4a8 5633 f504 (23|$#,)!
885824d3 5643 f0 (23|$#,63|$#,)!
5653 f5 (23|$#,63|$#,)!
ccf0a4a8 5663 f0 (383|0@5@7&#,23|0@5@7&#,63|$#,)!
5673 f5 (383|0@5@7&#,23|0@5@7&#,63|$#,)!
885824d3 5683 f0 (23|4@5@7&#,65|$#,)!
5693 f5 (23|4@5@7&#,65|$#,)!
ccf0a4a8 5703 f0 (383|4@0@7&#,23|$#,63|$#,)!
5713 f63 (383|4@0@7&#,23|$#,63|$#,)!
5723 f0 (23|4@0@7&#,383|$#,63|$#,)!
5733 f63 (23|4@0@7&#,383|$#,63|$#,)!
885824d3 5743 C0.1/20|!
5753 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
5763 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
ccf0a4a8 5773 f569 (20|@5|4@0@9&#,20|$#,63|$#,)!
885824d3 5783 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
5793 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
ccf0a4a8 5803 f569 (20|@5|4@0@7&#,20|$#,63|$#,)!
885824d3 5813 C0.1/23|!
7b1629ab 5823 f0 (23|@5|4@0@9&#,23|$#,)!
5833 f1 (23|@5|4@0@9&#,23|$#,)!
ccf0a4a8 5843 f576 (23|@5|4@0@9&#,23|$#,)!
7b1629ab 5853 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
5863 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
ccf0a4a8 5873 f576 (23|@5|4@0@9&#,23|$#,63|$#,)!
6e5d6478 5883 f0 (23|@5|0@0@9&#,23|$#,)!
5893 f1 (23|@5|0@0@9&#,23|$#,)!
ccf0a4a8 5903 f576 (23|@5|0@0@9&#,23|$#,)!
6e5d6478 5913 f0 (23|@5|0@0@9&#,23|$#,63|$#,)!
5923 f1 (23|@5|0@0@9&#,23|$#,63|$#,)!
ccf0a4a8 5933 f576 (23|@5|0@0@9&#,23|$#,63|$#,)!
885824d3 5943 f0 (20|$#,20|$#,63|$#,)!
5953 f5 (20|$#,20|$#,63|$#,)!
5963 f0 (23|$#,23|$#,)!
5973 f5 (23|$#,23|$#,)!
5983 f0 (23|$#,23|$#,)!
5993 f5 (23|$#,23|$#,)!
6003 f0 (23|$#,23|$#,63|$#,)!
6013 f5 (23|$#,23|$#,63|$#,)!
6023 f0 (23|4@5@7&#,23|$#,63|$#,)!
6033 f63 (23|4@5@7&#,23|$#,63|$#,)!
6043 f0 (20|$#,5|$#,63|$#,)!
6053 f19 (20|$#,5|$#,63|$#,)!
6063 f20 (20|$#,5|$#,63|$#,)!
0bf5022d 6073 f0 (23|@5|$#,265|$#,)!
6083 f19 (23|@5|$#,265|$#,)!
6093 f23 (23|@5|$#,265|$#,)!
885824d3 6103 f0 (23|$#,23|$#,)!
6113 f63 (23|$#,23|$#,)!
6123 f0 (23|@5|$#,23|$#,)!
6133 f19 (23|@5|$#,23|$#,)!
6143 f23 (23|@5|$#,23|$#,)!
ccf0a4a8 6153 f0 (23|@5|$#,265|$#,)!
6163 f19 (23|@5|$#,265|$#,)!
6173 f23 (23|@5|$#,265|$#,)!
885824d3 6183 f0 (23|$#,23|$#,)!
6193 f63 (23|$#,23|$#,)!
6203 f0 (23|@5|0@0@9&#,23|$#,)!
6213 f19 (23|@5|0@0@9&#,23|$#,)!
6223 f23 (23|@5|0@0@9&#,23|$#,)!
6233 f0 (23|@5|0@5@7&#,23|$#,)!
6243 f19 (23|@5|0@5@7&#,23|$#,)!
6253 f23 (23|@5|0@5@7&#,23|$#,)!
6263 C0.1/20|!
6273 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
6283 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
ccf0a4a8 6293 f621 (20|@5|4@0@7&#,5|$#,63|$#,)!
885824d3 6303 f0 (5|$#,)!
6313 f19 (5|$#,)!
6323 f23 (5|$#,)!
6333 f0 (23|$#,)!
6343 f63 (23|$#,)!
ccf0a4a8 6350 s332|&
6360 s333|-1 639 -1
885824d3 6373 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,}!
6383 f0 ()!
ccf0a4a8 6393 f630 ()!
6403 f0 (631|$#,631|$#,)!
6413 f17 (631|$#,631|$#,)!
6423 f0 (445|$#,)!
6433 f631 (445|$#,)!
6441 t631|631&
6453 f0 (639|4@5@7&#,)!
6463 f631 (639|4@5@7&#,)!
6473 f0 (445|$#,)!
6483 f19 (445|$#,)!
6493 f23 (445|$#,)!
6503 f0 (639|$#,)!
6513 f19 (639|$#,)!
6523 f23 (639|$#,)!
6533 f0 (639|$#,)!
6543 f19 (639|$#,)!
6553 f445 (639|$#,)!
6563 f0 (639|$#,)!
6573 f19 (639|$#,)!
6583 f445 (639|$#,)!
6593 f0 (23|4@0@7&#,63|$#,23|$#,445|$#,)!
6603 f63 (23|4@0@7&#,63|$#,23|$#,445|$#,)!
7ebcc5bb 6610 s343|&
6620 s344|&
6630 s345|&
6640 s346|&
6650 s347|&
6660 s348|&
798b6d87 6670 s349|&
6680 s350|&
6690 s351|&
6700 s352|&
6710 s353|&
6720 s354|&
6730 s355|&
6740 s356|&
6750 s357|&
6760 s358|&
6770 s359|&
6780 s360|&
6790 s361|&
6800 s362|&
6810 s363|&
6820 s364|&
6830 s365|&
6840 s366|&
6850 s367|&
6860 s368|&
6870 s369|&
6880 s370|&
6890 a409|&
885824d3 690;;tistable
6910
80ee600a 69228
69328,123
694123
69528,123,138
696138
69728,123,138,141
698141
69928,123,138,141,142
700142
798b6d87 701409
885824d3 702;;symTable
703*0 (Datatype)
80ee600a 704^0 2@+@-@0@0@0@0@2#lltX_bool
705*1 (Constant)
706^1 2@i0@0@6#FALSE
707^2 2@i1@0@0#TRUE
708*11 (GlobalMarker)
709*1 (Constant)
710^4 5$#__LINE__
711^5 23$#__DATE__#__FILE__#__BASE_FILE__
712^8 5$#__INCLUDE_LEVEL__
713^9 23$#__VERSION__
714*0 (Datatype)
715^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
716^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
717^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
718*1 (Constant)
719^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
720^16 5$#__LCLINT__
721*3 (Variable)
722^17 211|@1|6@0@0@0@1#stdin#stdout
723*1 (Constant)
724^19 5$#EDOM#ERANGE#EILSEQ
725*3 (Variable)
726^22 5|@1|6@0@0@0@1#errno
727*0 (Datatype)
728^23 13@-@-@0@0@0@0@62#ptrdiff_t
729^24 14@-@-@0@0@0@0@63#size_t
730^25 15@-@-@0@0@0@0@64#ssize_t
731^26 13@-@-@0@0@0@0@65#wchar_t
732^27 13@-@-@0@0@0@0@66#wint_t
733^28 0@+@=@0@7@0@0@67#mbstate_t
734*1 (Constant)
735^29 0@i0@0@6#NULL
736^30 2$#NDEBUG
737*4 (Function)
738^31 72@6@0@8@0@0^$@0#assert
739^32 76$^$@0#isalnum
740^33 79$^$@0#isalpha
741^34 82$^$@0#iscntrl
742^35 85$^$@0#isdigit
743^36 89$^$@0#isgraph
744^37 93$^$@0#islower
745^38 96$^$@0#isprint
746^39 99$^$@0#ispunct
747^40 102$^$@0#isspace
748^41 106$^$@0#isupper
749^42 110$^$@0#isxdigit
750^43 114$^$@0#tolower
751^44 117$^$@0#toupper
752*7 (Struct tag)
753^45 118@119#@lconv
754*1 (Constant)
755^46 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
756*4 (Function)
757^52 122@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@19@3@0#setlocale
758^53 126$^@3@0@0#localeconv
759*3 (Variable)
760^54 5|@1|6@0@0@0@1#DBL_DIG
761^55 17|@1|6@0@0@0@1#DBL_EPSILON
762^56 5|@1|6@0@0@0@1#DBL_MANT_DIG
763^57 17|@1|6@0@0@0@1#DBL_MAX
764^58 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
765^60 17|@1|6@0@0@0@1#DBL_MIN
766^61 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
767^64 16|@1|6@0@0@0@1#FLT_EPSILON
768^65 5|@1|6@0@0@0@1#FLT_MANT_DIG
769^66 16|@1|6@0@0@0@1#FLT_MAX
770^67 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
771^69 16|@1|6@0@0@0@1#FLT_MIN
772^70 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
773*1 (Constant)
774^72 5$#FLT_RADIX
775*3 (Variable)
776^73 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
777^75 18|@1|6@0@0@0@1#LDBL_EPSILON
778^76 5|@1|6@0@0@0@1#LDBL_MANT_DIG
779^77 18|@1|6@0@0@0@1#LDBL_MAX
780^78 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
781^80 18|@1|6@0@0@0@1#LDBL_MIN
782^81 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
783*1 (Constant)
784^83 5$#CHAR_BIT
785^84 4$#CHAR_MAX#CHAR_MIN
786^86 5$#INT_MAX#INT_MIN
787^88 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
788^91 4$#SCHAR_MAX#SCHAR_MIN
789^93 7$#SHRT_MAX#SHRT_MIN
790^95 3$#UCHAR_MAX#UCHAR_MIN
791^97 6$#UINT_MAX
792^98 10$#ULONG_MAX
793^99 8$#USHRT_MAX
794^100 17$#HUGE_VAL
795*4 (Function)
796^101 128$^$@0#sin
797^102 130$^$@0#cos
798^103 132$^$@0#tan
799^104 134$@0@g22@6@0@1@g22$@0#asin
800^105 136$@0@g22@6@0@1@g22$@0#acos
801^106 138$^$@0#atan
802^107 140$^$@0#atan2
803^108 142$^$@0#sinh
804^109 144$@0@g22@6@0@1@g22$@0#cosh
805^110 146$^$@0#tanh
806^111 148$@0@g22@6@0@1@g22$@0#exp
807^112 150$@0@g22@6@0@1@g22$@0#ldexp
808^113 152$@0@@1@tp1$@0#frexp
809^114 154$@0@g22@6@0@1@g22$@0#log
810^115 156$@0@g22@6@0@1@g22$@0#log10
811^116 158$@0@g22@6@0@1@g22$@0#pow
812^117 160$@0@g22@6@0@1@g22$@0#sqrt
813^118 162$^$@0#ceil
814^119 164$^$@0#floor
815^120 166$^$@0#fabs
816^121 168$@0@@1@tp1$@0#modf
817^122 170$^$@0#fmod
818*0 (Datatype)
819^123 20@+@+@0@0@0@0@171#jmp_buf
820*4 (Function)
821^124 173$@0@@1@p0$@0#setjmp
822^125 175@6@0@5@0@0^$@0#longjmp
823*1 (Constant)
824^126 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
825*0 (Datatype)
826^132 13@-@-@0@0@0@0@176#sig_atomic_t
827*1 (Constant)
828^133 180$#SIG_DFL
829^134 184$#SIG_ERR
830^135 188$#SIG_IGN
831*4 (Function)
832^136 201@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22$@0#signal
833^137 203@6@0@5@0@0$$@0#raise
834*0 (Datatype)
835^138 20@+@+@0@0@0@0@204#va_list
836*4 (Function)
837^139 206$@0@@1@p0$@0#va_start
838^140 208$@0@@1@p0$@0#va_end
839*0 (Datatype)
840^141 20@+@+@0@0@0@0@209#FILE
841^142 20@+@+@0@0@0@0@210#fpos_t
885824d3 842*1 (Constant)
80ee600a 843^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
885824d3 844*3 (Variable)
80ee600a 845^155 211|@1|6@0@0@0@1#stderr
846*4 (Function)
847^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove
848^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename
849^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
850^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam
851^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
852^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
853^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
854^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
855^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf
856^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf
857^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
858^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
859^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
860^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
861^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf
862^171 251@6@0@1@2@0^$@0#sscanf
ccf0a4a8 863^172 253$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
864^173 255$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
0bf5022d 865^174 257$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
ccf0a4a8 866^175 259$@0@@1@p0$@0#vsnprintf
867^176 261$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
868^177 264@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
869^178 267$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
870^179 269$@0@s3@1@s3,tp1$@0#fputs
871^180 271$@0@s3@1@s3,tp0$@0#getc
872^181 273$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
0bf5022d 873^182 276@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets
ccf0a4a8 874^183 278$@0@s3@1@s3,tp1$@0#putc
875^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
876^185 282$@1@g18@6@0,s3@1@s3,tg18$@0#puts
877^186 284$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
878^187 286$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
879^188 288$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
880^189 291$@0@g22@6@0@1@tp1,g22$@0#fgetpos
881^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
882^191 295$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
883^192 297$@0@g22@6@0@1@g22$@0#ftell
884^193 299$@0@@1@tp0$@0#rewind
885^194 301$@0@@1@tp0$@0#clearerr
886^195 303$@0@g22@6@0@1@g22$@0#feof
887^196 305$@0@g22@6@0@1@g22$@0#ferror
888^197 307$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
889^198 309$^$@0#atof
890^199 311$^$@0#atoi
891^200 313$^$@0#atol
892^201 317$@0@g22@6@0@1@tp1,g22$@0#strtod
893^202 319$@0@g22@6@0@1@tp1,g22$@0#strtol
894^203 321$@0@g22@6@0@1@tp1,g22$@0#strtoul
80ee600a 895*1 (Constant)
ccf0a4a8 896^204 5$#RAND_MAX
80ee600a 897*4 (Function)
ccf0a4a8 898^205 323$@0@s1@1@s1$@0#rand
899^206 325$@0@s1@1@s1$@0#srand
900^207 328@6@5@1@0@0^@2@0@0#calloc
901^208 331@4@5@1@0@0^@2@0@0#malloc
902^209 334@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
903^210 336$@0@@1@p0$@0#free
80ee600a 904*1 (Constant)
ccf0a4a8 905^211 5$#EXIT_FAILURE#EXIT_SUCCESS
80ee600a 906*4 (Function)
ccf0a4a8 907^213 338@6@0@6@0@0^$@0#abort
908^214 340@6@0@6@0@0^$@0#exit
909^215 346$@0@s1@1@s1$@0#atexit
910^216 349@6@5@1@0@0^@19@3@0#getenv
911^217 351$@0@s3@1@s3$@0#system
912^218 358@6@5@1@0@0^@18@0@0#bsearch
913^219 364$@0@g22@6@0@1@tp0,g22$@0#qsort
914^220 366$^$@0#abs
80ee600a 915*7 (Struct tag)
ccf0a4a8 916^221 367@368#@!2
80ee600a 917*0 (Datatype)
ccf0a4a8 918^222 367@-@-@0@0@0@0@369#div_t
80ee600a 919*4 (Function)
ccf0a4a8 920^223 371$^$@0#div
921^224 373$^$@0#labs
80ee600a 922*7 (Struct tag)
ccf0a4a8 923^225 374@375#@!3
80ee600a 924*0 (Datatype)
ccf0a4a8 925^226 374@-@-@0@0@0@0@376#ldiv_t
80ee600a 926*4 (Function)
ccf0a4a8 927^227 378$^$@0#ldiv
80ee600a 928*1 (Constant)
ccf0a4a8 929^228 63$#MB_CUR_MAX
930^229 5$#WCHAR_MAX#WCHAR_MIN
931^231 66$#WEOF
885824d3 932*4 (Function)
ccf0a4a8 933^232 380$^$@0#btowc
934^233 382$@0@s3@1@s3,tp0$@0#fgetwc
935^234 386@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
936^235 388$@0@s3@1@s3,tp1$@0#fputwc
937^236 390$@0@s3@1@s3,tp1$@0#fputws
938^237 392$^$@0#fwide
939^238 394@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
940^239 396@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
941^240 398$@0@s3@1@s3,tp0$@0#getwc
942^241 400$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
943^242 403$^$@0#mbrlen
944^243 405$@0@@1@tp0$@0#mbrtowc
945^244 407$^$@0#mbsinit
946^245 409$@0@@1@tp0$@0#mbsrtowcs
947^246 411$@0@s3@1@s3,tp1$@0#putwc
948^247 413$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
949^248 415@6@0@1@1@0@0@@1@tp0$@0#swprintf
950^249 417@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
951^250 419$@0@s3@1@s3,tp1$@0#ungetwc
952^251 421$@0@s3@1@s3,tp0$@0#vfwprintf
953^252 423$@0@@1@tp0$@0#vswprintf
954^253 425$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
955^254 427$@0@@1@tp0$@0#wcrtomb
956^255 431$@0@@1@tp0$@0#wcscat
957^256 434@6@5@1@0@0^@19@2@0#wcschr
958^257 436$^$@0#wcscmp
959^258 438$^$@0#wcscoll
960^259 441$@0@@1@tp0$@0#wcscpy
961^260 443$^$@0#wcscspn
885824d3 962*7 (Struct tag)
ccf0a4a8 963^261 632@444#@tm
80ee600a 964*4 (Function)
ccf0a4a8 965^262 447$@0@@1@tp0$@0#wcsftime
966^263 449$^$@0#wcslen
967^264 453$@0@@1@tp0$@0#wcsncat
968^265 455$^$@0#wcsncmp
969^266 458$@0@@1@tp0$@0#wcsncpy
970^267 461@6@5@1@0@0^$@0#wcspbrk
971^268 464@6@5@1@0@0^$@0#wcsrchr
972^269 467$@0@@1@tp1$@0#wcsrtombs
973^270 469$^$@0#wcsspn
974^271 472@6@5@1@0@0^@3@0@0#wcsstr
975^272 474$@0@@1@tp1$@0#wcstod
976^273 477@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
977^274 479$@0@@1@tp1$@0#wcstol
978^275 481$@0@@1@tp1$@0#wcstoul
979^276 483$@0@@1@tp0$@0#wcsxfrm
980^277 485$^$@0#wctob
981^278 488@6@5@1@0@0^@3@0@0#wmemchr
982^279 490$^$@0#wmemcmp
983^280 493$@0@@1@tp0$@0#wmemcpy
984^281 496$@0@@1@tp0$@0#wmemmove
985^282 499$@0@@1@tp0$@0#wmemset
986^283 501@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
987^284 503@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
80ee600a 988*0 (Datatype)
ccf0a4a8 989^285 13@-@-@0@0@0@0@504#wctype_t
990^286 13@-@-@0@0@0@0@505#wctrans_t
80ee600a 991*4 (Function)
ccf0a4a8 992^287 509$^$@0#iswalnum
993^288 512$^$@0#iswalpha
994^289 515$^$@0#iswcntrl
995^290 518$^$@0#iswctype
996^291 521$^$@0#iswdigit
997^292 525$^$@0#iswgraph
998^293 528$^$@0#iswlower
999^294 531$^$@0#iswprint
1000^295 534$^$@0#iswpunct
1001^296 537$^$@0#iswspace
1002^297 540$^$@0#iswupper
1003^298 544$^$@0#iswxdigit
1004^299 548$^$@0#towctrans
1005^300 551$^$@0#towlower
1006^301 554$^$@0#towupper
1007^302 556$^$@0#wctrans
1008^303 558$^$@0#wctype
1009^304 560$^$@0#mblen
1010^305 562$@0@@1@tp0$@0#mbtowc
1011^306 564$@0@@1@tp0$@0#wctomb
1012^307 566$@0@@1@tp0$@0#mbstowcs
1013^308 568$@0@@1@tp0$@0#wcstombs
1014^309 572$@0@@1@tp0$@0#memcpy
1015^310 575$@0@@1@tp0$@0#memmove
1016^311 579$@0@@1@tp0$@0#strcpy
1017^312 582$@0@@1@tp0$@0#strncpy
1018^313 585$@0@@1@tp0$@0#strcat
1019^314 588$@0@@1@tp0$@0#strncat
1020^315 590$^$@0#memcmp
1021^316 592$^$@0#strcmp
1022^317 594$^$@0#strcoll
1023^318 596$^$@0#strncmp
1024^319 598$@0@@1@tp0$@0#strxfrm
1025^320 601@6@5@1@0@0^@3@0@0#memchr
1026^321 604@6@5@1@0@0^@19@2@0#strchr
1027^322 606$^$@0#strcspn
1028^323 609@6@5@1@0@0^@19@2@0#strpbrk
1029^324 612@6@5@1@0@0^@19@2@0#strrchr
1030^325 614$^$@0#strspn
1031^326 617@6@5@1@0@0^@19@2@0#strstr
1032^327 620@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
1033^328 624$@0@@1@tp0$@0#memset
1034^329 627$^@19@3@0#strerror
1035^330 629$^$@0#strlen
80ee600a 1036*1 (Constant)
ccf0a4a8 1037^331 5$#CLOCKS_PER_SEC
80ee600a 1038*0 (Datatype)
ccf0a4a8 1039^332 13@-@-@0@0@0@0@630#clock_t
1040^333 13@-@-@0@0@0@0@631#time_t
80ee600a 1041*4 (Function)
ccf0a4a8 1042^334 634$@0@s1@1@s1$@0#clock
1043^335 636$^$@0#difftime
1044^336 638$^$@0#mktime
1045^337 641$@0@@1@tp0$@0#time
1046^338 644$@0@g22@6@0@1@g22@19@3@0#asctime
1047^339 647$^@19@3@0#ctime
1048^340 650@6@5@1@0@0^@19@3@0#gmtime
1049^341 653@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
1050^342 655$@0@@1@tp0$@0#strftime
80ee600a 1051*0 (Datatype)
798b6d87 1052^343 13@-@-@0@0@0@0@656#int8_t
1053^344 13@-@-@0@0@0@0@657#int16_t
1054^345 13@-@-@0@0@0@0@658#int32_t
1055^346 13@-@-@0@0@0@0@659#int64_t
1056^347 14@-@-@0@0@0@0@660#uint8_t
1057^348 14@-@-@0@0@0@0@661#uint16_t
1058^349 14@-@-@0@0@0@0@662#uint32_t
1059^350 14@-@-@0@0@0@0@663#uint64_t
1060^351 13@-@-@0@0@0@0@664#int_least8_t
1061^352 13@-@-@0@0@0@0@665#int_least16_t
1062^353 13@-@-@0@0@0@0@666#int_least32_t
1063^354 13@-@-@0@0@0@0@667#int_least64_t
1064^355 14@-@-@0@0@0@0@668#uint_least8_t
1065^356 14@-@-@0@0@0@0@669#uint_least16_t
1066^357 14@-@-@0@0@0@0@670#uint_least32_t
1067^358 14@-@-@0@0@0@0@671#uint_least64_t
1068^359 13@-@-@0@0@0@0@672#int_fast8_t
1069^360 13@-@-@0@0@0@0@673#int_fast16_t
1070^361 13@-@-@0@0@0@0@674#int_fast32_t
1071^362 13@-@-@0@0@0@0@675#int_fast64_t
1072^363 14@-@-@0@0@0@0@676#uint_fast8_t
1073^364 14@-@-@0@0@0@0@677#uint_fast16_t
1074^365 14@-@-@0@0@0@0@678#uint_fast32_t
1075^366 14@-@-@0@0@0@0@679#uint_fast64_t
1076^367 24@-@+@0@0@0@0@680#intptr_t
1077^368 25@-@+@0@0@0@0@681#uintptr_t
1078^369 15@-@-@0@0@0@0@682#intmax_t
1079^370 14@-@-@0@0@0@0@683#uintmax_t
1080*1 (Constant)
1081^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
1082^407 63$#INTPTR_MIN#INTPTR_MAX
1083*0 (Datatype)
1084^409 0@+@+@0@7@0@0@684#mnull
920a3797 1085;; Library constraints
ccf0a4a8 1086vsnprintf
1087pre:
1088C
10890@1@3
1090l
10911
10921
10932
10942
1095Param 23 0
1096r
10972
10982
1099Param 63 1
1100;; end precondition constraints
1101post:
1102;; end precondition constraints
80ee600a 1103fgets
1104pre:
920a3797 1105C
11060@1@3
1107l
11081
11091
11102
11112
80ee600a 1112Param 23 0
920a3797 1113r
11140
11151
1116e1
11172
11182
80ee600a 1119Param 5 1
920a3797 1120e2
11212
11223
1123-1
1124;; end precondition constraints
920a3797 1125post:
1126C
80ee600a 11270@1@3
920a3797 1128l
11291
80ee600a 11303
11312
11322
1133Param 23 0
1134r
11352
11363
11370
1138C
11390@1@1
1140l
920a3797 11411
80ee600a 11423
920a3797 11432
11442
80ee600a 1145Param 23 0
920a3797 1146r
11470
11481
1149e1
11502
11512
80ee600a 1152Param 5 1
920a3797 1153e2
11542
11553
1156-1
1157;; end precondition constraints
80ee600a 1158calloc
3814599d 1159pre:
1160;; end precondition constraints
920a3797 1161post:
1162C
11630@1@4
1164l
11651
11661
11672
11682
1169Result
1170r
11710
11721
1173e1
11742
11752
1176Param 63 0
1177e2
11782
11793
1180-1
1181;; end precondition constraints
80ee600a 1182malloc
3814599d 1183pre:
1184;; end precondition constraints
80ee600a 1185post:
920a3797 1186C
80ee600a 11870@1@4
920a3797 1188l
11891
11901
11912
11922
80ee600a 1193Result
920a3797 1194r
11950
11961
1197e1
11982
11992
80ee600a 1200Param 63 0
920a3797 1201e2
12022
12033
1204-1
1205;; end precondition constraints
80ee600a 1206realloc
3814599d 1207pre:
1208;; end precondition constraints
920a3797 1209post:
1210C
12110@1@3
1212l
12131
920a3797 12141
920a3797 12152
12162
80ee600a 1217Result
920a3797 1218r
12190
12201
1221e1
12222
12232
80ee600a 1224Param 63 1
920a3797 1225e2
12262
12273
1228-1
1229;; end precondition constraints
80ee600a 1230memcpy
1231pre:
920a3797 1232C
12330@1@3
1234l
12351
80ee600a 12361
920a3797 12372
12382
80ee600a 1239Param 20 0
920a3797 1240r
7bf96067 12410
12421
1243e1
920a3797 12442
80ee600a 12452
1246Param 63 2
7bf96067 1247e2
12482
12493
1250-1
920a3797 1251C
80ee600a 12520@1@3
920a3797 1253l
12541
12553
12562
12572
80ee600a 1258Param 20 1
920a3797 1259r
7bf96067 12600
12611
1262e1
920a3797 12632
12642
80ee600a 1265Param 63 2
7bf96067 1266e2
12672
12683
1269-1
80ee600a 1270;; end precondition constraints
3814599d 1271post:
1272;; end precondition constraints
80ee600a 1273memmove
1274pre:
920a3797 1275C
80ee600a 12760@1@3
920a3797 1277l
12781
12791
12802
12812
80ee600a 1282Param 20 0
920a3797 1283r
7bf96067 12840
12851
1286e1
80ee600a 12872
12882
1289Param 63 2
7bf96067 1290e2
12912
12923
1293-1
80ee600a 1294C
12950@1@3
1296l
920a3797 12971
80ee600a 12983
920a3797 12992
13002
80ee600a 1301Param 20 1
1302r
7bf96067 13030
13041
1305e1
80ee600a 13062
13072
1308Param 63 2
7bf96067 1309e2
13102
13113
1312-1
80ee600a 1313;; end precondition constraints
3814599d 1314post:
1315;; end precondition constraints
80ee600a 1316strcpy
1317pre:
920a3797 1318C
13190@1@3
1320l
13211
13221
13232
13242
80ee600a 1325Param 23 0
920a3797 1326r
80ee600a 13271
920a3797 13283
80ee600a 13292
13302
1331Param 23 1
920a3797 1332;; end precondition constraints
920a3797 1333post:
1334C
80ee600a 13350@1@4
920a3797 1336l
13371
80ee600a 13381
920a3797 13392
13402
1341Result
1342r
80ee600a 13431
13441
920a3797 13452
80ee600a 13462
1347Param 23 0
920a3797 1348C
80ee600a 13490@1@4
920a3797 1350l
13511
13523
13532
13542
1355Result
1356r
13571
13583
13592
13602
80ee600a 1361Param 23 1
920a3797 1362C
80ee600a 13630@1@4
920a3797 1364l
13651
80ee600a 13663
920a3797 13672
13682
80ee600a 1369Param 23 0
920a3797 1370r
13711
80ee600a 13723
920a3797 13732
13742
80ee600a 1375Param 23 1
1376;; end precondition constraints
1377strncpy
1378pre:
920a3797 1379C
13800@1@3
1381l
13821
13831
13842
13852
80ee600a 1386Param 23 0
920a3797 1387r
80ee600a 13880
13891
1390e1
13912
13922
1393Param 63 2
1394e2
920a3797 13952
13963
80ee600a 1397-1
920a3797 1398;; end precondition constraints
920a3797 1399post:
1400C
80ee600a 14010@1@1
920a3797 1402l
14031
14043
14052
14062
80ee600a 1407Param 23 0
920a3797 1408r
14092
80ee600a 14102
1411Param 63 2
920a3797 1412C
80ee600a 14130@1@3
920a3797 1414l
14151
14163
14172
14182
80ee600a 1419Param 23 1
920a3797 1420r
14211
14223
14232
14242
1425Param 23 0
80ee600a 1426;; end precondition constraints
1427strcat
1428pre:
920a3797 1429C
80ee600a 14300@1@3
920a3797 1431l
14321
14331
14342
14352
80ee600a 1436Param 23 0
920a3797 1437r
80ee600a 14380
920a3797 14391
80ee600a 1440e1
920a3797 14411
80ee600a 14423
920a3797 14432
14442
1445Param 23 0
80ee600a 1446e2
920a3797 14471
80ee600a 14483
920a3797 14492
14502
80ee600a 1451Param 23 1
920a3797 1452;; end precondition constraints
920a3797 1453post:
1454C
14550@1@4
1456l
14571
14583
14592
14602
1461Result
1462r
80ee600a 14630
920a3797 14641
80ee600a 1465e1
920a3797 14661
80ee600a 14673
920a3797 14682
14692
80ee600a 1470Param 23 0
1471e2
920a3797 14721
14733
14742
14752
80ee600a 1476Param 23 1
920a3797 1477;; end precondition constraints
80ee600a 1478strncat
920a3797 1479pre:
1480C
14810@1@3
1482l
14831
14841
14852
14862
80ee600a 1487Param 23 0
920a3797 1488r
14890
14901
1491e1
80ee600a 14921
14933
920a3797 14942
14952
80ee600a 1496Param 23 0
920a3797 1497e2
14982
80ee600a 14992
6e5d6478 1500Param 63 2
920a3797 1501;; end precondition constraints
1502post:
1503C
15040@1@3
1505l
15061
15073
15082
15092
15b3d2b2 1510Param 23 0
920a3797 1511r
15120
15131
1514e1
80ee600a 15151
15163
920a3797 15172
15182
80ee600a 1519Param 23 0
920a3797 1520e2
15212
80ee600a 15222
6e5d6478 1523Param 63 2
920a3797 1524;; end precondition constraints
80ee600a 1525strchr
3814599d 1526pre:
1527;; end precondition constraints
80ee600a 1528post:
920a3797 1529C
15300@1@3
1531l
15321
80ee600a 15333
920a3797 15342
15352
80ee600a 1536Result
920a3797 1537r
15382
80ee600a 15393
15400
920a3797 1541C
80ee600a 15420@1@1
920a3797 1543l
15441
15453
15462
15472
80ee600a 1548Result
920a3797 1549r
80ee600a 15501
15513
920a3797 15522
15532
80ee600a 1554Param 23 0
920a3797 1555C
80ee600a 15560@1@1
920a3797 1557l
15581
15591
15602
15612
80ee600a 1562Result
920a3797 1563r
80ee600a 15641
15651
920a3797 15662
15672
80ee600a 1568Param 23 0
920a3797 1569C
15700@1@3
1571l
15721
80ee600a 15731
920a3797 15742
15752
80ee600a 1576Result
920a3797 1577r
15782
80ee600a 15793
15800
920a3797 1581;; end precondition constraints
80ee600a 1582strrchr
3814599d 1583pre:
1584;; end precondition constraints
80ee600a 1585post:
920a3797 1586C
15870@1@3
1588l
15891
80ee600a 15903
920a3797 15912
15922
80ee600a 1593Result
920a3797 1594r
80ee600a 15952
15963
920a3797 15970
80ee600a 1598C
15990@1@1
1600l
920a3797 16011
16023
16032
16042
80ee600a 1605Result
1606r
16071
16083
920a3797 16092
16102
80ee600a 1611Param 23 0
920a3797 1612C
80ee600a 16130@1@1
920a3797 1614l
16151
80ee600a 16161
920a3797 16172
16182
1619Result
1620r
920a3797 16211
920a3797 16221
920a3797 16232
16242
1625Param 23 0
920a3797 1626C
16270@1@3
1628l
16291
16301
16312
16322
80ee600a 1633Result
920a3797 1634r
80ee600a 16352
16363
920a3797 16370
80ee600a 1638;; end precondition constraints
1639strstr
3814599d 1640pre:
1641;; end precondition constraints
80ee600a 1642post:
1643C
16440@1@3
1645l
920a3797 16461
80ee600a 16473
920a3797 16482
16492
80ee600a 1650Result
1651r
920a3797 16522
16533
80ee600a 16540
920a3797 1655C
16560@1@1
1657l
16581
16593
16602
16612
80ee600a 1662Result
920a3797 1663r
80ee600a 16641
16653
920a3797 16662
16672
80ee600a 1668Param 23 0
920a3797 1669C
80ee600a 16700@1@1
920a3797 1671l
16721
80ee600a 16731
920a3797 16742
16752
80ee600a 1676Result
920a3797 1677r
16781
80ee600a 16791
920a3797 16802
16812
1682Param 23 0
80ee600a 1683C
16840@1@3
1685l
16861
16871
16882
16892
1690Result
1691r
16922
16933
16940
920a3797 1695;; end precondition constraints
80ee600a 1696memset
920a3797 1697pre:
1698C
16990@1@3
1700l
17011
17021
17032
17042
80ee600a 1705Param 20 0
920a3797 1706r
17070
17081
1709e1
920a3797 17102
17112
80ee600a 1712Param 63 2
920a3797 1713e2
920a3797 17142
80ee600a 17153
1716-1
920a3797 1717;; end precondition constraints
80ee600a 1718post:
920a3797 1719C
17200@1@3
1721l
17221
80ee600a 17233
920a3797 17242
17252
80ee600a 1726Param 20 0
920a3797 1727r
80ee600a 17280
920a3797 17291
80ee600a 1730e1
920a3797 17312
17322
80ee600a 1733Param 63 2
1734e2
17352
17363
1737-1
920a3797 1738;; end precondition constraints
80ee600a 1739strlen
3814599d 1740pre:
1741;; end precondition constraints
920a3797 1742post:
1743C
17440@1@4
1745l
920a3797 17462
17472
1748Result
1749r
17501
80ee600a 17513
920a3797 17522
17532
1754Param 23 0
80ee600a 1755;; end precondition constraints
1756asctime
3814599d 1757pre:
1758;; end precondition constraints
80ee600a 1759post:
920a3797 1760C
17610@1@4
1762l
17631
17643
17652
17662
1767Result
1768r
80ee600a 17692
920a3797 17703
80ee600a 177125
1772C
17730@1@4
1774l
17751
17761
920a3797 17772
17782
80ee600a 1779Result
1780r
17812
17823
178325
1784;; end precondition constraints
1785ctime
3814599d 1786pre:
1787;; end precondition constraints
80ee600a 1788post:
920a3797 1789C
17900@1@4
1791l
17921
17933
17942
17952
80ee600a 1796Result
920a3797 1797r
80ee600a 17982
920a3797 17993
80ee600a 180025
1801C
18020@1@4
1803l
18041
18051
920a3797 18062
18072
80ee600a 1808Result
1809r
18102
18113
181225
920a3797 1813;; end precondition constraints
885824d3 1814;; Modules access
8e349e11 1815lltX_bool#1@
1816types#1@
1817ansi#9@
1818null6#11@
885824d3 1819;;End
git-cvsimport mirror of splint
This page took 0.361786 seconds and 5 git commands to generate.