]> 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
7bc6a007 2;;LCLint 3.0b-alpha --- 20 June 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
920a3797 241 t0|0 312 -1
885824d3 251 t1|1&
261 t2|2&
271 t3|3&
920a3797 281 t4|4 313 -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|&
700 s26|-1 381 -1
710 s27|&
720 a28|-1 399 -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
2150 a142|-1 287 -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 (211|$#,23|$#,204|$#,)!
2583 f5 (211|$#,23|$#,204|$#,)!
2593 f0 (23|$#,204|$#,)!
2603 f5 (23|$#,204|$#,)!
2613 f0 (23|4@0@7&#,23|$#,204|$#,)!
2623 f5 (23|4@0@7&#,23|$#,204|$#,)!
2633 f0 (211|$#,)!
2643 f5 (211|$#,)!
2653 f0 (23|@5|4@0@7&#,5|$#,211|$#,)!
2663 f19 (23|@5|4@0@7&#,5|$#,211|$#,)!
2673 f23 (23|@5|4@0@7&#,5|$#,211|$#,)!
885824d3 2683 C0.5/4|!
920a3797 2693 f0 (263|$#,211|$#,)!
2703 f5 (263|$#,211|$#,)!
2713 f0 (23|$#,211|$#,)!
2723 f5 (23|$#,211|$#,)!
2733 f0 (211|@7|$#,)!
2743 f5 (211|@7|$#,)!
885824d3 2753 f0 ()!
2763 f5 ()!
2773 f0 (23|4@0@7&#,)!
2783 f19 (23|4@0@7&#,)!
2793 f23 (23|4@0@7&#,)!
920a3797 2803 f0 (263|$#,211|@7|$#,)!
2813 f5 (263|$#,211|@7|$#,)!
2823 f0 (263|$#,)!
2833 f5 (263|$#,)!
885824d3 2843 f0 (23|$#,)!
2853 f5 (23|$#,)!
920a3797 2863 f0 (263|$#,211|$#,)!
2873 f5 (263|$#,211|$#,)!
2883 f0 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
2893 f63 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
2903 f0 (20|$#,63|$#,63|$#,211|$#,)!
2913 f63 (20|$#,63|$#,63|$#,211|$#,)!
2921 t210|210&
2933 f0 (211|$#,287|4@0@7&#,)!
2943 f5 (211|$#,287|4@0@7&#,)!
2953 f0 (211|$#,9|$#,5|$#,)!
2963 f5 (211|$#,9|$#,5|$#,)!
2973 f0 (211|$#,287|$#,)!
2983 f5 (211|$#,287|$#,)!
2993 f0 (211|$#,)!
3003 f9 (211|$#,)!
3013 f0 (211|$#,)!
3023 f1 (211|$#,)!
3033 f0 (211|$#,)!
3043 f1 (211|$#,)!
3053 f0 (211|$#,)!
3063 f5 (211|$#,)!
3073 f0 (211|$#,)!
3083 f5 (211|$#,)!
885824d3 3093 f0 (23|0@5@7&#,)!
3103 f1 (23|0@5@7&#,)!
3113 f0 (23|$#,)!
3123 f17 (23|$#,)!
3133 f0 (23|$#,)!
3143 f5 (23|$#,)!
3153 f0 (23|$#,)!
3163 f9 (23|$#,)!
3171 t19|19&
3181 t23|23&
920a3797 3193 f0 (23|$#,313|4@5@7&#,)!
3203 f17 (23|$#,313|4@5@7&#,)!
3213 f0 (23|$#,313|4@5@7&#,5|$#,)!
3223 f9 (23|$#,313|4@5@7&#,5|$#,)!
3233 f0 (23|$#,313|4@5@7&#,5|$#,)!
3243 f10 (23|$#,313|4@5@7&#,5|$#,)!
885824d3 3253 f0 ()!
3263 f5 ()!
3273 f0 (6|$#,)!
3283 f1 (6|$#,)!
3293 f0 (63|$#,63|$#,)!
3303 f19 (63|$#,63|$#,)!
3313 f20 (63|$#,63|$#,)!
3323 f0 (63|$#,)!
3333 f19 (63|$#,)!
3343 f20 (63|$#,)!
3353 f0 (20|@5|4@5@2&#,63|$#,)!
3363 f19 (20|@5|4@5@2&#,63|$#,)!
3373 f20 (20|@5|4@5@2&#,63|$#,)!
3383 f0 (20|4@5@2&#,)!
3393 f1 (20|4@5@2&#,)!
3403 f0 ()!
3413 f1 ()!
3423 f0 (5|$#,)!
3433 f1 (5|$#,)!
3443 ?!
920a3797 3453 f339 ()!
3463 f1 ()^342
3471 t341|341&
3483 f0 (342|$#,)!
3493 f5 (342|$#,)!
885824d3 3503 f0 (23|$#,)!
3513 f19 (23|$#,)!
3523 f23 (23|$#,)!
3533 f0 (23|0@5@7&#,)!
3543 f5 (23|0@5@7&#,)!
3553 ?!
920a3797 3563 f350 (20|$#,20|$#,)!
3573 f5 (20|$#,20|$#,)^353
3581 t352|352&
3593 f0 (20|$#,20|$#,63|$#,63|$#,353|$#,)!
3603 f19 (20|$#,20|$#,63|$#,63|$#,353|$#,)!
3613 f20 (20|$#,20|$#,63|$#,63|$#,353|$#,)!
885824d3 3623 ?!
920a3797 3633 f357 (20|$#,20|$#,)!
3643 f5 (20|$#,20|$#,)^360
3651 t359|359&
3663 f0 (20|$#,63|$#,63|$#,360|$#,)!
3673 f1 (20|$#,63|$#,63|$#,360|$#,)!
885824d3 3683 f0 (5|$#,)!
3693 f5 (5|$#,)!
3703 S!2{5|@1|$#quot,5|@1|$#rem,}!
80ee600a 3710 s220|&
3720 s221|&
885824d3 3733 f0 (5|$#,5|$#,)!
920a3797 3743 f367 (5|$#,5|$#,)!
885824d3 3753 f0 (9|$#,)!
3763 f9 (9|$#,)!
3773 S!3{9|@1|$#quot,9|@1|$#rem,}!
80ee600a 3780 s224|&
3790 s225|&
885824d3 3803 f0 (9|$#,9|$#,)!
920a3797 3813 f374 (9|$#,9|$#,)!
885824d3 3823 f0 (5|$#,)!
3833 f66 (5|$#,)!
920a3797 3843 f0 (211|$#,)!
3853 f66 (211|$#,)!
3861 t65|65 463 -1
3873 f0 (381|@5|$#,5|$#,211|$#,)!
3883 f19 (381|@5|$#,5|$#,211|$#,)!
3893 f381 (381|@5|$#,5|$#,211|$#,)!
3903 f0 (65|$#,211|$#,)!
3913 f66 (65|$#,211|$#,)!
3923 f0 (381|$#,211|$#,)!
3933 f5 (381|$#,211|$#,)!
3943 f0 (211|$#,5|$#,)!
3953 f5 (211|$#,5|$#,)!
3963 f0 (211|$#,381|$#,!.,)!
3973 f5 (211|$#,381|$#,!.,)!
3983 f0 (211|$#,381|$#,!.,)!
3993 f5 (211|$#,381|$#,!.,)!
4003 f0 (211|@7|$#,)!
4013 f66 (211|@7|$#,)!
885824d3 4023 f0 ()!
4033 f66 ()!
4041 t67|67&
920a3797 4053 f0 (23|$#,63|$#,399|0@5@7&#,)!
4063 f63 (23|$#,63|$#,399|0@5@7&#,)!
4073 f0 (381|0@5@7&#,23|$#,63|$#,399|0@5@7&#,)!
4083 f63 (381|0@5@7&#,23|$#,63|$#,399|0@5@7&#,)!
4093 f0 (399|0@5@7&#,)!
4103 f5 (399|0@5@7&#,)!
4113 f0 (381|0@5@7&#,313|$#,63|$#,399|0@5@7&#,)!
4123 f63 (381|0@5@7&#,313|$#,63|$#,399|0@5@7&#,)!
4133 f0 (65|$#,211|@7|$#,)!
4143 f66 (65|$#,211|@7|$#,)!
885824d3 4153 f0 (65|$#,)!
4163 f66 (65|$#,)!
920a3797 4173 f0 (381|$#,63|$#,381|$#,!.,)!
4183 f5 (381|$#,63|$#,381|$#,!.,)!
4193 f0 (381|$#,381|$#,!.,)!
4203 f5 (381|$#,381|$#,!.,)!
4213 f0 (66|$#,211|$#,)!
4223 f66 (66|$#,211|$#,)!
4233 f0 (211|$#,381|$#,204|$#,)!
4243 f5 (211|$#,381|$#,204|$#,)!
4253 f0 (381|$#,63|$#,381|$#,204|$#,)!
4263 f5 (381|$#,63|$#,381|$#,204|$#,)!
4273 f0 (381|$#,204|$#,)!
4283 f5 (381|$#,204|$#,)!
4293 f0 (23|4@5@7&#,65|$#,399|0@5@7&#,)!
4303 f63 (23|4@5@7&#,65|$#,399|0@5@7&#,)!
4313 C0.1/381|!
4323 f0 (381|@5|4@0@9&#,381|$#,)!
4333 f1 (381|@5|4@0@9&#,381|$#,)!
4343 f426 (381|@5|4@0@9&#,381|$#,)!
4353 f0 (381|@5|$#,65|$#,)!
4363 f19 (381|@5|$#,65|$#,)!
4373 f381 (381|@5|$#,65|$#,)!
4383 f0 (381|$#,381|$#,)!
4393 f5 (381|$#,381|$#,)!
4403 f0 (381|$#,381|$#,)!
4413 f5 (381|$#,381|$#,)!
4423 f0 (381|@5|4@0@9&#,381|$#,)!
4433 f1 (381|@5|4@0@9&#,381|$#,)!
4443 f426 (381|@5|4@0@9&#,381|$#,)!
4453 f0 (381|$#,381|$#,)!
4463 f63 (381|$#,381|$#,)!
80ee600a 4470 s260|-1 443 -1
920a3797 4481 t442|442&
4493 f0 (381|4@0@7&#,63|$#,381|$#,443|$#,)!
4503 f63 (381|4@0@7&#,63|$#,381|$#,443|$#,)!
4513 f0 (381|$#,)!
4523 f63 (381|$#,)!
4533 C0.1/381|!
4543 f0 (381|@5|4@0@9&#,381|$#,63|$#,)!
4553 f1 (381|@5|4@0@9&#,381|$#,63|$#,)!
4563 f448 (381|@5|4@0@9&#,381|$#,63|$#,)!
4573 f0 (381|$#,381|$#,63|$#,)!
4583 f5 (381|$#,381|$#,63|$#,)!
4593 f0 (381|@5|4@0@9&#,381|$#,63|$#,)!
4603 f1 (381|@5|4@0@9&#,381|$#,63|$#,)!
4613 f448 (381|@5|4@0@9&#,381|$#,63|$#,)!
4623 f0 (381|@5|$#,381|$#,)!
4633 f19 (381|@5|$#,381|$#,)!
4643 f381 (381|@5|$#,381|$#,)!
4653 f0 (381|@5|$#,65|$#,)!
4663 f19 (381|@5|$#,65|$#,)!
4673 f381 (381|@5|$#,65|$#,)!
4681 t381|381&
4693 f0 (23|0@5@7&#,463|$#,63|$#,399|0@5@7&#,)!
4703 f63 (23|0@5@7&#,463|$#,63|$#,399|0@5@7&#,)!
4713 f0 (381|$#,381|$#,)!
4723 f63 (381|$#,381|$#,)!
4733 f0 (381|$#,381|$#,)!
4743 f19 (381|$#,381|$#,)!
4753 f381 (381|$#,381|$#,)!
4763 f0 (381|$#,463|0@5@7&#,)!
4773 f17 (381|$#,463|0@5@7&#,)!
4783 f0 (381|0@5@7&#,381|$#,463|$#,)!
4793 f19 (381|0@5@7&#,381|$#,463|$#,)!
4803 f381 (381|0@5@7&#,381|$#,463|$#,)!
4813 f0 (381|$#,463|0@5@7&#,5|$#,)!
4823 f9 (381|$#,463|0@5@7&#,5|$#,)!
4833 f0 (381|$#,463|0@5@7&#,5|$#,)!
4843 f10 (381|$#,463|0@5@7&#,5|$#,)!
4853 f0 (381|0@5@7&#,381|$#,63|$#,)!
4863 f63 (381|0@5@7&#,381|$#,63|$#,)!
885824d3 4873 f0 (66|$#,)!
4883 f5 (66|$#,)!
920a3797 4893 f0 (381|$#,65|$#,63|$#,)!
4903 f19 (381|$#,65|$#,63|$#,)!
4913 f381 (381|$#,65|$#,63|$#,)!
4923 f0 (381|$#,381|$#,63|$#,)!
4933 f5 (381|$#,381|$#,63|$#,)!
4943 f0 (381|@5|$#,381|$#,63|$#,)!
4953 f19 (381|@5|$#,381|$#,63|$#,)!
4963 f381 (381|@5|$#,381|$#,63|$#,)!
4973 f0 (381|@5|$#,381|$#,63|$#,)!
4983 f19 (381|@5|$#,381|$#,63|$#,)!
4993 f381 (381|@5|$#,381|$#,63|$#,)!
5003 f0 (381|@5|$#,65|$#,63|$#,)!
5013 f19 (381|@5|$#,65|$#,63|$#,)!
5023 f381 (381|@5|$#,65|$#,63|$#,)!
5033 f0 (381|$#,!.,)!
5043 f5 (381|$#,!.,)!
5053 f0 (381|$#,!.,)!
5063 f5 (381|$#,!.,)!
80ee600a 5070 s284|&
5080 s285|&
885824d3 5093 C0.2/5|!
5103 f0 (66|$#,)!
5113 f2 (66|$#,)!
920a3797 5123 f504 (66|$#,)!
885824d3 5133 f0 (66|$#,)!
5143 f2 (66|$#,)!
920a3797 5153 f504 (66|$#,)!
885824d3 5163 f0 (66|$#,)!
5173 f2 (66|$#,)!
920a3797 5183 f504 (66|$#,)!
5193 f0 (66|$#,502|$#,)!
5203 f2 (66|$#,502|$#,)!
5213 f504 (66|$#,502|$#,)!
885824d3 5223 f0 (66|$#,)!
5233 f2 (66|$#,)!
920a3797 5243 f504 (66|$#,)!
885824d3 5253 f0 (66|$#,)!
5263 f2 (66|$#,)!
5273 C0.2/5|!
920a3797 5283 f522 (66|$#,)!
885824d3 5293 f0 (66|$#,)!
5303 f2 (66|$#,)!
920a3797 5313 f522 (66|$#,)!
885824d3 5323 f0 (66|$#,)!
5333 f2 (66|$#,)!
920a3797 5343 f522 (66|$#,)!
885824d3 5353 f0 (66|$#,)!
5363 f2 (66|$#,)!
920a3797 5373 f522 (66|$#,)!
885824d3 5383 f0 (66|$#,)!
5393 f2 (66|$#,)!
920a3797 5403 f522 (66|$#,)!
885824d3 5413 f0 (66|$#,)!
5423 f2 (66|$#,)!
920a3797 5433 f522 (66|$#,)!
885824d3 5443 C0.2/5|!
5453 f0 (66|$#,)!
5463 f2 (66|$#,)!
920a3797 5473 f539 (66|$#,)!
885824d3 5483 C0.66/5|!
920a3797 5493 f0 (66|$#,503|$#,)!
5503 f66 (66|$#,503|$#,)!
5513 f543 (66|$#,503|$#,)!
885824d3 5523 f0 (66|$#,)!
5533 f66 (66|$#,)!
920a3797 5543 f543 (66|$#,)!
885824d3 5553 f0 (66|$#,)!
5563 f66 (66|$#,)!
920a3797 5573 f543 (66|$#,)!
e4c9f289 5583 f0 (23|$#,)!
920a3797 5593 f503 (23|$#,)!
a8e557d3 5603 f0 (23|$#,)!
920a3797 5613 f502 (23|$#,)!
885824d3 5623 f0 (23|$#,63|$#,)!
5633 f5 (23|$#,63|$#,)!
920a3797 5643 f0 (381|0@5@7&#,23|0@5@7&#,63|$#,)!
5653 f5 (381|0@5@7&#,23|0@5@7&#,63|$#,)!
885824d3 5663 f0 (23|4@5@7&#,65|$#,)!
5673 f5 (23|4@5@7&#,65|$#,)!
920a3797 5683 f0 (381|4@0@7&#,23|$#,63|$#,)!
5693 f63 (381|4@0@7&#,23|$#,63|$#,)!
5703 f0 (23|4@0@7&#,381|$#,63|$#,)!
5713 f63 (23|4@0@7&#,381|$#,63|$#,)!
885824d3 5723 C0.1/20|!
5733 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
5743 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
920a3797 5753 f567 (20|@5|4@0@9&#,20|$#,63|$#,)!
885824d3 5763 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
5773 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
920a3797 5783 f567 (20|@5|4@0@7&#,20|$#,63|$#,)!
885824d3 5793 C0.1/23|!
920a3797 5803 f0 (23|4@0@9&#,23|$#,)!
5813 f1 (23|4@0@9&#,23|$#,)!
5823 f574 (23|4@0@9&#,23|$#,)!
5833 f0 (23|4@0@9&#,23|$#,63|$#,)!
5843 f1 (23|4@0@9&#,23|$#,63|$#,)!
5853 f574 (23|4@0@9&#,23|$#,63|$#,)!
5863 f0 (23|4@0@9&#,23|$#,)!
5873 f1 (23|4@0@9&#,23|$#,)!
5883 f574 (23|4@0@9&#,23|$#,)!
5893 f0 (23|4@0@9&#,23|$#,5|$#,)!
5903 f1 (23|4@0@9&#,23|$#,5|$#,)!
5913 f574 (23|4@0@9&#,23|$#,5|$#,)!
885824d3 5923 f0 (20|$#,20|$#,63|$#,)!
5933 f5 (20|$#,20|$#,63|$#,)!
5943 f0 (23|$#,23|$#,)!
5953 f5 (23|$#,23|$#,)!
5963 f0 (23|$#,23|$#,)!
5973 f5 (23|$#,23|$#,)!
5983 f0 (23|$#,23|$#,63|$#,)!
5993 f5 (23|$#,23|$#,63|$#,)!
6003 f0 (23|4@5@7&#,23|$#,63|$#,)!
6013 f63 (23|4@5@7&#,23|$#,63|$#,)!
6023 f0 (20|$#,5|$#,63|$#,)!
6033 f19 (20|$#,5|$#,63|$#,)!
6043 f20 (20|$#,5|$#,63|$#,)!
920a3797 6053 f0 (23|$#,263|$#,)!
6063 f19 (23|$#,263|$#,)!
6073 f23 (23|$#,263|$#,)!
885824d3 6083 f0 (23|$#,23|$#,)!
6093 f63 (23|$#,23|$#,)!
6103 f0 (23|@5|$#,23|$#,)!
6113 f19 (23|@5|$#,23|$#,)!
6123 f23 (23|@5|$#,23|$#,)!
920a3797 6133 f0 (23|@5|$#,263|$#,)!
6143 f19 (23|@5|$#,263|$#,)!
6153 f23 (23|@5|$#,263|$#,)!
885824d3 6163 f0 (23|$#,23|$#,)!
6173 f63 (23|$#,23|$#,)!
6183 f0 (23|@5|0@0@9&#,23|$#,)!
6193 f19 (23|@5|0@0@9&#,23|$#,)!
6203 f23 (23|@5|0@0@9&#,23|$#,)!
6213 f0 (23|@5|0@5@7&#,23|$#,)!
6223 f19 (23|@5|0@5@7&#,23|$#,)!
6233 f23 (23|@5|0@5@7&#,23|$#,)!
6243 C0.1/20|!
6253 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
6263 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
920a3797 6273 f619 (20|@5|4@0@7&#,5|$#,63|$#,)!
885824d3 6283 f0 (5|$#,)!
6293 f19 (5|$#,)!
6303 f23 (5|$#,)!
6313 f0 (23|$#,)!
6323 f63 (23|$#,)!
80ee600a 6330 s331|&
6340 s332|-1 637 -1
885824d3 6353 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,}!
6363 f0 ()!
920a3797 6373 f628 ()!
6383 f0 (629|$#,629|$#,)!
6393 f17 (629|$#,629|$#,)!
6403 f0 (443|$#,)!
6413 f629 (443|$#,)!
6421 t629|629&
6433 f0 (637|4@5@7&#,)!
6443 f629 (637|4@5@7&#,)!
6453 f0 (443|$#,)!
6463 f19 (443|$#,)!
6473 f23 (443|$#,)!
6483 f0 (637|$#,)!
6493 f19 (637|$#,)!
6503 f23 (637|$#,)!
6513 f0 (637|$#,)!
6523 f19 (637|$#,)!
6533 f443 (637|$#,)!
6543 f0 (637|$#,)!
6553 f19 (637|$#,)!
6563 f443 (637|$#,)!
6573 f0 (23|4@0@7&#,63|$#,23|$#,443|$#,)!
6583 f63 (23|4@0@7&#,63|$#,23|$#,443|$#,)!
80ee600a 6590 a342|&
885824d3 660;;tistable
6610
80ee600a 66228
66328,123
664123
66528,123,138
666138
66728,123,138,141
668141
66928,123,138,141,142
670142
671342
885824d3 672;;symTable
673*0 (Datatype)
80ee600a 674^0 2@+@-@0@0@0@0@2#lltX_bool
675*1 (Constant)
676^1 2@i0@0@6#FALSE
677^2 2@i1@0@0#TRUE
678*11 (GlobalMarker)
679*1 (Constant)
680^4 5$#__LINE__
681^5 23$#__DATE__#__FILE__#__BASE_FILE__
682^8 5$#__INCLUDE_LEVEL__
683^9 23$#__VERSION__
684*0 (Datatype)
685^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
686^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
687^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
688*1 (Constant)
689^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
690^16 5$#__LCLINT__
691*3 (Variable)
692^17 211|@1|6@0@0@0@1#stdin#stdout
693*1 (Constant)
694^19 5$#EDOM#ERANGE#EILSEQ
695*3 (Variable)
696^22 5|@1|6@0@0@0@1#errno
697*0 (Datatype)
698^23 13@-@-@0@0@0@0@62#ptrdiff_t
699^24 14@-@-@0@0@0@0@63#size_t
700^25 15@-@-@0@0@0@0@64#ssize_t
701^26 13@-@-@0@0@0@0@65#wchar_t
702^27 13@-@-@0@0@0@0@66#wint_t
703^28 0@+@=@0@7@0@0@67#mbstate_t
704*1 (Constant)
705^29 0@i0@0@6#NULL
706^30 2$#NDEBUG
707*4 (Function)
708^31 72@6@0@8@0@0^$@0#assert
709^32 76$^$@0#isalnum
710^33 79$^$@0#isalpha
711^34 82$^$@0#iscntrl
712^35 85$^$@0#isdigit
713^36 89$^$@0#isgraph
714^37 93$^$@0#islower
715^38 96$^$@0#isprint
716^39 99$^$@0#ispunct
717^40 102$^$@0#isspace
718^41 106$^$@0#isupper
719^42 110$^$@0#isxdigit
720^43 114$^$@0#tolower
721^44 117$^$@0#toupper
722*7 (Struct tag)
723^45 118@119#@lconv
724*1 (Constant)
725^46 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
726*4 (Function)
727^52 122@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@19@3@0#setlocale
728^53 126$^@3@0@0#localeconv
729*3 (Variable)
730^54 5|@1|6@0@0@0@1#DBL_DIG
731^55 17|@1|6@0@0@0@1#DBL_EPSILON
732^56 5|@1|6@0@0@0@1#DBL_MANT_DIG
733^57 17|@1|6@0@0@0@1#DBL_MAX
734^58 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
735^60 17|@1|6@0@0@0@1#DBL_MIN
736^61 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
737^64 16|@1|6@0@0@0@1#FLT_EPSILON
738^65 5|@1|6@0@0@0@1#FLT_MANT_DIG
739^66 16|@1|6@0@0@0@1#FLT_MAX
740^67 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
741^69 16|@1|6@0@0@0@1#FLT_MIN
742^70 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
743*1 (Constant)
744^72 5$#FLT_RADIX
745*3 (Variable)
746^73 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
747^75 18|@1|6@0@0@0@1#LDBL_EPSILON
748^76 5|@1|6@0@0@0@1#LDBL_MANT_DIG
749^77 18|@1|6@0@0@0@1#LDBL_MAX
750^78 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
751^80 18|@1|6@0@0@0@1#LDBL_MIN
752^81 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
753*1 (Constant)
754^83 5$#CHAR_BIT
755^84 4$#CHAR_MAX#CHAR_MIN
756^86 5$#INT_MAX#INT_MIN
757^88 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
758^91 4$#SCHAR_MAX#SCHAR_MIN
759^93 7$#SHRT_MAX#SHRT_MIN
760^95 3$#UCHAR_MAX#UCHAR_MIN
761^97 6$#UINT_MAX
762^98 10$#ULONG_MAX
763^99 8$#USHRT_MAX
764^100 17$#HUGE_VAL
765*4 (Function)
766^101 128$^$@0#sin
767^102 130$^$@0#cos
768^103 132$^$@0#tan
769^104 134$@0@g22@6@0@1@g22$@0#asin
770^105 136$@0@g22@6@0@1@g22$@0#acos
771^106 138$^$@0#atan
772^107 140$^$@0#atan2
773^108 142$^$@0#sinh
774^109 144$@0@g22@6@0@1@g22$@0#cosh
775^110 146$^$@0#tanh
776^111 148$@0@g22@6@0@1@g22$@0#exp
777^112 150$@0@g22@6@0@1@g22$@0#ldexp
778^113 152$@0@@1@tp1$@0#frexp
779^114 154$@0@g22@6@0@1@g22$@0#log
780^115 156$@0@g22@6@0@1@g22$@0#log10
781^116 158$@0@g22@6@0@1@g22$@0#pow
782^117 160$@0@g22@6@0@1@g22$@0#sqrt
783^118 162$^$@0#ceil
784^119 164$^$@0#floor
785^120 166$^$@0#fabs
786^121 168$@0@@1@tp1$@0#modf
787^122 170$^$@0#fmod
788*0 (Datatype)
789^123 20@+@+@0@0@0@0@171#jmp_buf
790*4 (Function)
791^124 173$@0@@1@p0$@0#setjmp
792^125 175@6@0@5@0@0^$@0#longjmp
793*1 (Constant)
794^126 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
795*0 (Datatype)
796^132 13@-@-@0@0@0@0@176#sig_atomic_t
797*1 (Constant)
798^133 180$#SIG_DFL
799^134 184$#SIG_ERR
800^135 188$#SIG_IGN
801*4 (Function)
802^136 201@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22$@0#signal
803^137 203@6@0@5@0@0$$@0#raise
804*0 (Datatype)
805^138 20@+@+@0@0@0@0@204#va_list
806*4 (Function)
807^139 206$@0@@1@p0$@0#va_start
808^140 208$@0@@1@p0$@0#va_end
809*0 (Datatype)
810^141 20@+@+@0@0@0@0@209#FILE
811^142 20@+@+@0@0@0@0@210#fpos_t
885824d3 812*1 (Constant)
80ee600a 813^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
885824d3 814*3 (Variable)
80ee600a 815^155 211|@1|6@0@0@0@1#stderr
816*4 (Function)
817^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove
818^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename
819^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
820^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam
821^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
822^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
823^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
824^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
825^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf
826^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf
827^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
828^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
829^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
830^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
831^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf
832^171 251@6@0@1@2@0^$@0#sscanf
833^172 253$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
834^173 255$@1@g18@6@0,s3@1@s3,p1,tg18$@0#vprintf
835^174 257$@0@@1@tp0,p2$@0#vsprintf
836^175 259$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
837^176 262@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
838^177 265$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
839^178 267$@0@s3@1@s3,tp1$@0#fputs
840^179 269$@0@s3@1@s3,tp0$@0#getc
841^180 271$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
842^181 274@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0#gets
843^182 276$@0@s3@1@s3,tp1$@0#putc
844^183 278$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
845^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#puts
846^185 282$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
847^186 284$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
848^187 286$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
849^188 289$@0@g22@6@0@1@tp1,g22$@0#fgetpos
850^189 291$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
851^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
852^191 295$@0@g22@6@0@1@g22$@0#ftell
853^192 297$@0@@1@tp0$@0#rewind
854^193 299$@0@@1@tp0$@0#clearerr
855^194 301$@0@g22@6@0@1@g22$@0#feof
856^195 303$@0@g22@6@0@1@g22$@0#ferror
857^196 305$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
858^197 307$^$@0#atof
859^198 309$^$@0#atoi
860^199 311$^$@0#atol
861^200 315$@0@g22@6@0@1@tp1,g22$@0#strtod
862^201 317$@0@g22@6@0@1@tp1,g22$@0#strtol
863^202 319$@0@g22@6@0@1@tp1,g22$@0#strtoul
864*1 (Constant)
865^203 5$#RAND_MAX
866*4 (Function)
867^204 321$@0@s1@1@s1$@0#rand
868^205 323$@0@s1@1@s1$@0#srand
869^206 326@6@5@1@0@0^@2@0@0#calloc
870^207 329@4@5@1@0@0^@2@0@0#malloc
871^208 332@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
872^209 334$@0@@1@tp0$@0#free
873*1 (Constant)
874^210 5$#EXIT_FAILURE#EXIT_SUCCESS
875*4 (Function)
876^212 336@6@0@6@0@0^$@0#abort
877^213 338@6@0@6@0@0^$@0#exit
878^214 344$@0@s1@1@s1$@0#atexit
879^215 347@6@5@1@0@0^@19@3@0#getenv
880^216 349$@0@s3@1@s3$@0#system
881^217 356@6@5@1@0@0^@18@0@0#bsearch
882^218 362$@0@g22@6@0@1@tp0,g22$@0#qsort
883^219 364$^$@0#abs
884*7 (Struct tag)
885^220 365@366#@!2
886*0 (Datatype)
887^221 365@-@-@0@0@0@0@367#div_t
888*4 (Function)
889^222 369$^$@0#div
890^223 371$^$@0#labs
891*7 (Struct tag)
892^224 372@373#@!3
893*0 (Datatype)
894^225 372@-@-@0@0@0@0@374#ldiv_t
895*4 (Function)
896^226 376$^$@0#ldiv
897*1 (Constant)
898^227 63$#MB_CUR_MAX
899^228 5$#WCHAR_MAX#WCHAR_MIN
900^230 66$#WEOF
885824d3 901*4 (Function)
80ee600a 902^231 378$^$@0#btowc
903^232 380$@0@s3@1@s3,tp0$@0#fgetwc
904^233 384@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
905^234 386$@0@s3@1@s3,tp1$@0#fputwc
906^235 388$@0@s3@1@s3,tp1$@0#fputws
907^236 390$^$@0#fwide
908^237 392@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
909^238 394@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
910^239 396$@0@s3@1@s3,tp0$@0#getwc
911^240 398$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
912^241 401$^$@0#mbrlen
913^242 403$@0@@1@tp0$@0#mbrtowc
914^243 405$^$@0#mbsinit
915^244 407$@0@@1@tp0$@0#mbsrtowcs
916^245 409$@0@s3@1@s3,tp1$@0#putwc
917^246 411$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
918^247 413@6@0@1@1@0@0@@1@tp0$@0#swprintf
919^248 415@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
920^249 417$@0@s3@1@s3,tp1$@0#ungetwc
921^250 419$@0@s3@1@s3,tp0$@0#vfwprintf
922^251 421$@0@@1@tp0$@0#vswprintf
923^252 423$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
924^253 425$@0@@1@tp0$@0#wcrtomb
925^254 429$@0@@1@tp0$@0#wcscat
926^255 432@6@5@1@0@0^@19@2@0#wcschr
927^256 434$^$@0#wcscmp
928^257 436$^$@0#wcscoll
929^258 439$@0@@1@tp0$@0#wcscpy
930^259 441$^$@0#wcscspn
885824d3 931*7 (Struct tag)
80ee600a 932^260 630@442#@tm
933*4 (Function)
934^261 445$@0@@1@tp0$@0#wcsftime
935^262 447$^$@0#wcslen
936^263 451$@0@@1@tp0$@0#wcsncat
937^264 453$^$@0#wcsncmp
938^265 456$@0@@1@tp0$@0#wcsncpy
939^266 459@6@5@1@0@0^$@0#wcspbrk
940^267 462@6@5@1@0@0^$@0#wcsrchr
941^268 465$@0@@1@tp1$@0#wcsrtombs
942^269 467$^$@0#wcsspn
943^270 470@6@5@1@0@0^@3@0@0#wcsstr
944^271 472$@0@@1@tp1$@0#wcstod
945^272 475@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
946^273 477$@0@@1@tp1$@0#wcstol
947^274 479$@0@@1@tp1$@0#wcstoul
948^275 481$@0@@1@tp0$@0#wcsxfrm
949^276 483$^$@0#wctob
950^277 486@6@5@1@0@0^@3@0@0#wmemchr
951^278 488$^$@0#wmemcmp
952^279 491$@0@@1@tp0$@0#wmemcpy
953^280 494$@0@@1@tp0$@0#wmemmove
954^281 497$@0@@1@tp0$@0#wmemset
955^282 499@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
956^283 501@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
957*0 (Datatype)
958^284 13@-@-@0@0@0@0@502#wctype_t
959^285 13@-@-@0@0@0@0@503#wctrans_t
960*4 (Function)
961^286 507$^$@0#iswalnum
962^287 510$^$@0#iswalpha
963^288 513$^$@0#iswcntrl
964^289 516$^$@0#iswctype
965^290 519$^$@0#iswdigit
966^291 523$^$@0#iswgraph
967^292 526$^$@0#iswlower
968^293 529$^$@0#iswprint
969^294 532$^$@0#iswpunct
970^295 535$^$@0#iswspace
971^296 538$^$@0#iswupper
972^297 542$^$@0#iswxdigit
973^298 546$^$@0#towctrans
974^299 549$^$@0#towlower
975^300 552$^$@0#towupper
976^301 554$^$@0#wctrans
977^302 556$^$@0#wctype
978^303 558$^$@0#mblen
979^304 560$@0@@1@tp0$@0#mbtowc
980^305 562$@0@@1@tp0$@0#wctomb
981^306 564$@0@@1@tp0$@0#mbstowcs
982^307 566$@0@@1@tp0$@0#wcstombs
983^308 570$@0@@1@tp0$@0#memcpy
984^309 573$@0@@1@tp0$@0#memmove
985^310 577$@0@@1@tp0@3@0@0#strcpy
986^311 580$@0@@1@tp0@3@0@0#strncpy
987^312 583$@0@@1@tp0@3@0@0#strcat
988^313 586$@0@@1@tp0@3@0@0#strncat
989^314 588$^$@0#memcmp
990^315 590$^$@0#strcmp
991^316 592$^$@0#strcoll
992^317 594$^$@0#strncmp
993^318 596$@0@@1@tp0$@0#strxfrm
994^319 599@6@5@1@0@0^@3@0@0#memchr
995^320 602@6@5@1@0@0^@19@2@0#strchr
996^321 604$^$@0#strcspn
997^322 607@6@5@1@0@0^@19@2@0#strpbrk
998^323 610@6@5@1@0@0^@19@2@0#strrchr
999^324 612$^$@0#strspn
1000^325 615@6@5@1@0@0^@19@2@0#strstr
1001^326 618@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
1002^327 622$@0@@1@tp0$@0#memset
1003^328 625$^@19@3@0#strerror
1004^329 627$^$@0#strlen
1005*1 (Constant)
1006^330 5$#CLOCKS_PER_SEC
1007*0 (Datatype)
1008^331 13@-@-@0@0@0@0@628#clock_t
1009^332 13@-@-@0@0@0@0@629#time_t
1010*4 (Function)
1011^333 632$@0@s1@1@s1$@0#clock
1012^334 634$^$@0#difftime
1013^335 636$^$@0#mktime
1014^336 639$@0@@1@tp0$@0#time
1015^337 642$@0@g22@6@0@1@g22@19@3@0#asctime
1016^338 645$^@19@3@0#ctime
1017^339 648@6@5@1@0@0^@19@3@0#gmtime
1018^340 651@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
1019^341 653$@0@@1@tp0$@0#strftime
1020*0 (Datatype)
1021^342 0@+@+@0@7@0@0@654#mnull
920a3797 1022;; Library constraints
80ee600a 1023fgets
1024pre:
920a3797 1025C
10260@1@3
1027l
10281
10291
10302
10312
80ee600a 1032Param 23 0
920a3797 1033r
10340
10351
1036e1
10372
10382
80ee600a 1039Param 5 1
920a3797 1040e2
10412
10423
1043-1
1044;; end precondition constraints
920a3797 1045post:
1046C
80ee600a 10470@1@3
920a3797 1048l
10491
80ee600a 10503
10512
10522
1053Param 23 0
1054r
10552
10563
10570
1058C
10590@1@1
1060l
920a3797 10611
80ee600a 10623
920a3797 10632
10642
80ee600a 1065Param 23 0
920a3797 1066r
10670
10681
1069e1
10702
10712
80ee600a 1072Param 5 1
920a3797 1073e2
10742
10753
1076-1
1077;; end precondition constraints
80ee600a 1078calloc
920a3797 1079pre:EMPTY
1080post:
1081C
10820@1@4
1083l
10841
10851
10862
10872
1088Result
1089r
10900
10911
1092e1
10932
10942
1095Param 63 0
1096e2
10972
10983
1099-1
1100;; end precondition constraints
80ee600a 1101malloc
1102pre:EMPTY
1103post:
920a3797 1104C
80ee600a 11050@1@4
920a3797 1106l
11071
11081
11092
11102
80ee600a 1111Result
920a3797 1112r
11130
11141
1115e1
11162
11172
80ee600a 1118Param 63 0
920a3797 1119e2
11202
11213
1122-1
1123;; end precondition constraints
80ee600a 1124realloc
1125pre:EMPTY
920a3797 1126post:
1127C
11280@1@3
1129l
11301
920a3797 11311
920a3797 11322
11332
80ee600a 1134Result
920a3797 1135r
11360
11371
1138e1
11392
11402
80ee600a 1141Param 63 1
920a3797 1142e2
11432
11443
1145-1
1146;; end precondition constraints
80ee600a 1147memcpy
1148pre:
920a3797 1149C
11500@1@3
1151l
11521
80ee600a 11531
920a3797 11542
11552
80ee600a 1156Param 20 0
920a3797 1157r
11582
80ee600a 11592
1160Param 63 2
920a3797 1161C
80ee600a 11620@1@3
920a3797 1163l
11641
11653
11662
11672
80ee600a 1168Param 20 1
920a3797 1169r
920a3797 11702
11712
80ee600a 1172Param 63 2
1173;; end precondition constraints
1174post:EMPTY
1175memmove
1176pre:
920a3797 1177C
80ee600a 11780@1@3
920a3797 1179l
11801
11811
11822
11832
80ee600a 1184Param 20 0
920a3797 1185r
80ee600a 11862
11872
1188Param 63 2
1189C
11900@1@3
1191l
920a3797 11921
80ee600a 11933
920a3797 11942
11952
80ee600a 1196Param 20 1
1197r
11982
11992
1200Param 63 2
1201;; end precondition constraints
1202post:EMPTY
1203strcpy
1204pre:
920a3797 1205C
12060@1@3
1207l
12081
12091
12102
12112
80ee600a 1212Param 23 0
920a3797 1213r
80ee600a 12141
920a3797 12153
80ee600a 12162
12172
1218Param 23 1
920a3797 1219;; end precondition constraints
920a3797 1220post:
1221C
80ee600a 12220@1@4
920a3797 1223l
12241
80ee600a 12251
920a3797 12262
12272
1228Result
1229r
80ee600a 12301
12311
920a3797 12322
80ee600a 12332
1234Param 23 0
920a3797 1235C
80ee600a 12360@1@4
920a3797 1237l
12381
12393
12402
12412
1242Result
1243r
12441
12453
12462
12472
80ee600a 1248Param 23 1
920a3797 1249C
80ee600a 12500@1@4
920a3797 1251l
12521
80ee600a 12533
920a3797 12542
12552
80ee600a 1256Param 23 0
920a3797 1257r
12581
80ee600a 12593
920a3797 12602
12612
80ee600a 1262Param 23 1
1263;; end precondition constraints
1264strncpy
1265pre:
920a3797 1266C
12670@1@3
1268l
12691
12701
12712
12722
80ee600a 1273Param 23 0
920a3797 1274r
80ee600a 12750
12761
1277e1
12782
12792
1280Param 63 2
1281e2
920a3797 12822
12833
80ee600a 1284-1
920a3797 1285;; end precondition constraints
920a3797 1286post:
1287C
80ee600a 12880@1@1
920a3797 1289l
12901
12913
12922
12932
80ee600a 1294Param 23 0
920a3797 1295r
12962
80ee600a 12972
1298Param 63 2
920a3797 1299C
80ee600a 13000@1@3
920a3797 1301l
13021
13033
13042
13052
80ee600a 1306Param 23 1
920a3797 1307r
13081
13093
13102
13112
1312Param 23 0
80ee600a 1313;; end precondition constraints
1314strcat
1315pre:
920a3797 1316C
80ee600a 13170@1@3
920a3797 1318l
13191
13201
13212
13222
80ee600a 1323Param 23 0
920a3797 1324r
80ee600a 13250
920a3797 13261
80ee600a 1327e1
920a3797 13281
80ee600a 13293
920a3797 13302
13312
1332Param 23 0
80ee600a 1333e2
920a3797 13341
80ee600a 13353
920a3797 13362
13372
80ee600a 1338Param 23 1
920a3797 1339;; end precondition constraints
920a3797 1340post:
1341C
13420@1@4
1343l
13441
13453
13462
13472
1348Result
1349r
80ee600a 13500
920a3797 13511
80ee600a 1352e1
920a3797 13531
80ee600a 13543
920a3797 13552
13562
80ee600a 1357Param 23 0
1358e2
920a3797 13591
13603
13612
13622
80ee600a 1363Param 23 1
920a3797 1364;; end precondition constraints
80ee600a 1365strncat
920a3797 1366pre:
1367C
13680@1@3
1369l
13701
13711
13722
13732
80ee600a 1374Param 23 0
920a3797 1375r
13760
13771
1378e1
80ee600a 13791
13803
920a3797 13812
13822
80ee600a 1383Param 23 0
920a3797 1384e2
13852
80ee600a 13862
1387Param 5 2
920a3797 1388;; end precondition constraints
1389post:
1390C
13910@1@3
1392l
13931
13943
13952
13962
80ee600a 1397Result
920a3797 1398r
13990
14001
1401e1
80ee600a 14021
14033
920a3797 14042
14052
80ee600a 1406Param 23 0
920a3797 1407e2
14082
80ee600a 14092
1410Param 5 2
920a3797 1411;; end precondition constraints
80ee600a 1412strchr
1413pre:EMPTY
1414post:
920a3797 1415C
14160@1@3
1417l
14181
80ee600a 14193
920a3797 14202
14212
80ee600a 1422Result
920a3797 1423r
14242
80ee600a 14253
14260
920a3797 1427C
80ee600a 14280@1@1
920a3797 1429l
14301
14313
14322
14332
80ee600a 1434Result
920a3797 1435r
80ee600a 14361
14373
920a3797 14382
14392
80ee600a 1440Param 23 0
920a3797 1441C
80ee600a 14420@1@1
920a3797 1443l
14441
14451
14462
14472
80ee600a 1448Result
920a3797 1449r
80ee600a 14501
14511
920a3797 14522
14532
80ee600a 1454Param 23 0
920a3797 1455C
14560@1@3
1457l
14581
80ee600a 14591
920a3797 14602
14612
80ee600a 1462Result
920a3797 1463r
14642
80ee600a 14653
14660
920a3797 1467;; end precondition constraints
80ee600a 1468strrchr
1469pre:EMPTY
1470post:
920a3797 1471C
14720@1@3
1473l
14741
80ee600a 14753
920a3797 14762
14772
80ee600a 1478Result
920a3797 1479r
80ee600a 14802
14813
920a3797 14820
80ee600a 1483C
14840@1@1
1485l
920a3797 14861
14873
14882
14892
80ee600a 1490Result
1491r
14921
14933
920a3797 14942
14952
80ee600a 1496Param 23 0
920a3797 1497C
80ee600a 14980@1@1
920a3797 1499l
15001
80ee600a 15011
920a3797 15022
15032
1504Result
1505r
920a3797 15061
920a3797 15071
920a3797 15082
15092
1510Param 23 0
920a3797 1511C
15120@1@3
1513l
15141
15151
15162
15172
80ee600a 1518Result
920a3797 1519r
80ee600a 15202
15213
920a3797 15220
80ee600a 1523;; end precondition constraints
1524strstr
1525pre:EMPTY
1526post:
1527C
15280@1@3
1529l
920a3797 15301
80ee600a 15313
920a3797 15322
15332
80ee600a 1534Result
1535r
920a3797 15362
15373
80ee600a 15380
920a3797 1539C
15400@1@1
1541l
15421
15433
15442
15452
80ee600a 1546Result
920a3797 1547r
80ee600a 15481
15493
920a3797 15502
15512
80ee600a 1552Param 23 0
920a3797 1553C
80ee600a 15540@1@1
920a3797 1555l
15561
80ee600a 15571
920a3797 15582
15592
80ee600a 1560Result
920a3797 1561r
15621
80ee600a 15631
920a3797 15642
15652
1566Param 23 0
80ee600a 1567C
15680@1@3
1569l
15701
15711
15722
15732
1574Result
1575r
15762
15773
15780
920a3797 1579;; end precondition constraints
80ee600a 1580memset
920a3797 1581pre:
1582C
15830@1@3
1584l
15851
15861
15872
15882
80ee600a 1589Param 20 0
920a3797 1590r
15910
15921
1593e1
920a3797 15942
15952
80ee600a 1596Param 63 2
920a3797 1597e2
920a3797 15982
80ee600a 15993
1600-1
920a3797 1601;; end precondition constraints
80ee600a 1602post:
920a3797 1603C
16040@1@3
1605l
16061
80ee600a 16073
920a3797 16082
16092
80ee600a 1610Param 20 0
920a3797 1611r
80ee600a 16120
920a3797 16131
80ee600a 1614e1
920a3797 16152
16162
80ee600a 1617Param 63 2
1618e2
16192
16203
1621-1
920a3797 1622;; end precondition constraints
80ee600a 1623strlen
1624pre:EMPTY
920a3797 1625post:
1626C
16270@1@4
1628l
920a3797 16292
16302
1631Result
1632r
16331
80ee600a 16343
920a3797 16352
16362
1637Param 23 0
80ee600a 1638;; end precondition constraints
1639asctime
1640pre:EMPTY
1641post:
920a3797 1642C
16430@1@4
1644l
16451
16463
16472
16482
1649Result
1650r
80ee600a 16512
920a3797 16523
80ee600a 165325
1654C
16550@1@4
1656l
16571
16581
920a3797 16592
16602
80ee600a 1661Result
1662r
16632
16643
166525
1666;; end precondition constraints
1667ctime
1668pre:EMPTY
1669post:
920a3797 1670C
16710@1@4
1672l
16731
16743
16752
16762
80ee600a 1677Result
920a3797 1678r
80ee600a 16792
920a3797 16803
80ee600a 168125
1682C
16830@1@4
1684l
16851
16861
920a3797 16872
16882
80ee600a 1689Result
1690r
16912
16923
169325
920a3797 1694;; end precondition constraints
885824d3 1695;; Modules access
8e349e11 1696lltX_bool#1@
1697types#1@
1698ansi#9@
1699null6#11@
885824d3 1700;;End
git-cvsimport mirror of splint
This page took 0.705015 seconds and 5 git commands to generate.