]> andersk Git - splint.git/blame - test/tests2.5/newlint.lcd
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Dave's Updates
[splint.git] / test / tests2.5 / newlint.lcd
CommitLineData
cc78dedd 1;;LCLint Dump: newlint.lcd
7bc6a007 2;;LCLint 3.0b-alpha --- 20 June 2001
80ee600a 3;;lib:167
cc78dedd 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
cc78dedd 251 t1|1&
261 t2|2&
271 t3|3&
920a3797 281 t4|4 313 -1
cc78dedd 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
cc78dedd 733 C0.5/20|!
920a3797 743 C0.68/2|!
cc78dedd 753 C0.2/5|!
920a3797 763 f0 (70|@7|$#,)!
773 f1 (70|@7|$#,)!
cc78dedd 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|$#,)!
cc78dedd 933 C0.2/5|!
920a3797 943 f88 (73|$#,)!
cc78dedd 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|$#,)!
cc78dedd 1103 C0.2/5|!
920a3797 1113 f105 (90|$#,)!
cc78dedd 1123 C0.5/3|!
920a3797 1133 f0 (107|$#,)!
1143 f2 (107|$#,)!
1153 f105 (107|$#,)!
cc78dedd 1163 C0.4/5|!
920a3797 1173 f0 (107|$#,)!
1183 f4 (107|$#,)!
1193 f111 (107|$#,)!
1203 f0 (107|$#,)!
1213 f4 (107|$#,)!
1223 f111 (107|$#,)!
cc78dedd 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
cc78dedd 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 ()!
cc78dedd 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|&
cc78dedd 1823 ?!
920a3797 1833 f177 (5|$#,)!
1843 f1 (5|$#,)^180
1851 t179|179&
cc78dedd 1863 ?!
920a3797 1873 f181 (5|$#,)!
1883 f1 (5|$#,)^184
1891 t183|183&
cc78dedd 1903 ?!
920a3797 1913 f185 (5|$#,)!
1923 f1 (5|$#,)^188
1931 t187|187&
cc78dedd 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&
cc78dedd 2013 ?!
920a3797 2023 f196 (5|$#,)!
cc78dedd 2033 f19 (5|$#,)!
920a3797 2043 f1 (5|$#,192|0@5@7&#,)!
cc78dedd 2053 f1 (5|$#,)!
920a3797 2063 f200 (5|$#,192|0@5@7&#,)!
cc78dedd 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&
cc78dedd 2173 f0 (23|$#,)!
2183 f5 (23|$#,)!
2193 f0 (23|$#,23|$#,)!
2203 f5 (23|$#,23|$#,)!
2213 f0 ()!
2223 f19 ()!
920a3797 2233 f211 ()!
cc78dedd 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&#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,!.,)!
cc78dedd 2473 f0 (23|$#,!.,)!
2483 f5 (23|$#,!.,)!
920a3797 2493 f236 (23|$#,!.,)!
cc78dedd 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|$#,!.,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 3683 f0 (5|$#,)!
3693 f5 (5|$#,)!
3703 S!2{5|@1|$#quot,5|@1|$#rem,}!
80ee600a 3710 s220|&
3720 s221|&
cc78dedd 3733 f0 (5|$#,5|$#,)!
920a3797 3743 f367 (5|$#,5|$#,)!
cc78dedd 3753 f0 (9|$#,)!
3763 f9 (9|$#,)!
3773 S!3{9|@1|$#quot,9|@1|$#rem,}!
80ee600a 3780 s224|&
3790 s225|&
cc78dedd 3803 f0 (9|$#,9|$#,)!
920a3797 3813 f374 (9|$#,9|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|&
cc78dedd 5093 C0.2/5|!
5103 f0 (66|$#,)!
5113 f2 (66|$#,)!
920a3797 5123 f504 (66|$#,)!
cc78dedd 5133 f0 (66|$#,)!
5143 f2 (66|$#,)!
920a3797 5153 f504 (66|$#,)!
cc78dedd 5163 f0 (66|$#,)!
5173 f2 (66|$#,)!
920a3797 5183 f504 (66|$#,)!
5193 f0 (66|$#,502|$#,)!
5203 f2 (66|$#,502|$#,)!
5213 f504 (66|$#,502|$#,)!
cc78dedd 5223 f0 (66|$#,)!
5233 f2 (66|$#,)!
920a3797 5243 f504 (66|$#,)!
cc78dedd 5253 f0 (66|$#,)!
5263 f2 (66|$#,)!
5273 C0.2/5|!
920a3797 5283 f522 (66|$#,)!
cc78dedd 5293 f0 (66|$#,)!
5303 f2 (66|$#,)!
920a3797 5313 f522 (66|$#,)!
cc78dedd 5323 f0 (66|$#,)!
5333 f2 (66|$#,)!
920a3797 5343 f522 (66|$#,)!
cc78dedd 5353 f0 (66|$#,)!
5363 f2 (66|$#,)!
920a3797 5373 f522 (66|$#,)!
cc78dedd 5383 f0 (66|$#,)!
5393 f2 (66|$#,)!
920a3797 5403 f522 (66|$#,)!
cc78dedd 5413 f0 (66|$#,)!
5423 f2 (66|$#,)!
920a3797 5433 f522 (66|$#,)!
cc78dedd 5443 C0.2/5|!
5453 f0 (66|$#,)!
5463 f2 (66|$#,)!
920a3797 5473 f539 (66|$#,)!
cc78dedd 5483 C0.66/5|!
920a3797 5493 f0 (66|$#,503|$#,)!
5503 f66 (66|$#,503|$#,)!
5513 f543 (66|$#,503|$#,)!
cc78dedd 5523 f0 (66|$#,)!
5533 f66 (66|$#,)!
920a3797 5543 f543 (66|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 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|$#,)!
cc78dedd 6283 f0 (5|$#,)!
6293 f19 (5|$#,)!
6303 f23 (5|$#,)!
6313 f0 (23|$#,)!
6323 f63 (23|$#,)!
80ee600a 6330 s331|&
6340 s332|-1 637 -1
cc78dedd 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|$#,)!
cc78dedd 6593 C1.5/1|!
6603 f0 (!.,)!
6613 f5 (!.,)!
920a3797 6623 f654 (!.,)!
cc78dedd 6633 f0 (!.,)!
6643 f5 (!.,)!
920a3797 6653 f654 (!.,)!
cc78dedd 666;;tistable
6670
80ee600a 66828
66928,123
670123
67128,123,138
672138
67328,123,138,141
674141
67528,123,138,141,142
676142
cc78dedd 677;;symTable
678*0 (Datatype)
80ee600a 679^0 2@+@-@0@0@0@0@2#lltX_bool
680*1 (Constant)
681^1 2@i0@0@6#FALSE
682^2 2@i1@0@0#TRUE
683*11 (GlobalMarker)
684*1 (Constant)
685^4 5$#__LINE__
686^5 23$#__DATE__#__FILE__#__BASE_FILE__
687^8 5$#__INCLUDE_LEVEL__
688^9 23$#__VERSION__
689*0 (Datatype)
690^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
691^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
692^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
693*1 (Constant)
694^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
695^16 5$#__LCLINT__
696*3 (Variable)
697^17 211|@1|6@0@0@0@1#stdin#stdout
698*1 (Constant)
699^19 5$#EDOM#ERANGE#EILSEQ
700*3 (Variable)
701^22 5|@1|6@0@0@0@1#errno
702*0 (Datatype)
703^23 13@-@-@0@0@0@0@62#ptrdiff_t
704^24 14@-@-@0@0@0@0@63#size_t
705^25 15@-@-@0@0@0@0@64#ssize_t
706^26 13@-@-@0@0@0@0@65#wchar_t
707^27 13@-@-@0@0@0@0@66#wint_t
708^28 0@+@=@0@7@0@0@67#mbstate_t
709*1 (Constant)
710^29 0@i0@0@6#NULL
711^30 2$#NDEBUG
712*4 (Function)
713^31 72@6@0@8@0@0^$@0#assert
714^32 76$^$@0#isalnum
715^33 79$^$@0#isalpha
716^34 82$^$@0#iscntrl
717^35 85$^$@0#isdigit
718^36 89$^$@0#isgraph
719^37 93$^$@0#islower
720^38 96$^$@0#isprint
721^39 99$^$@0#ispunct
722^40 102$^$@0#isspace
723^41 106$^$@0#isupper
724^42 110$^$@0#isxdigit
725^43 114$^$@0#tolower
726^44 117$^$@0#toupper
727*7 (Struct tag)
728^45 118@119#@lconv
729*1 (Constant)
730^46 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
731*4 (Function)
732^52 122@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@19@3@0#setlocale
733^53 126$^@3@0@0#localeconv
734*3 (Variable)
735^54 5|@1|6@0@0@0@1#DBL_DIG
736^55 17|@1|6@0@0@0@1#DBL_EPSILON
737^56 5|@1|6@0@0@0@1#DBL_MANT_DIG
738^57 17|@1|6@0@0@0@1#DBL_MAX
739^58 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
740^60 17|@1|6@0@0@0@1#DBL_MIN
741^61 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
742^64 16|@1|6@0@0@0@1#FLT_EPSILON
743^65 5|@1|6@0@0@0@1#FLT_MANT_DIG
744^66 16|@1|6@0@0@0@1#FLT_MAX
745^67 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
746^69 16|@1|6@0@0@0@1#FLT_MIN
747^70 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
748*1 (Constant)
749^72 5$#FLT_RADIX
750*3 (Variable)
751^73 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
752^75 18|@1|6@0@0@0@1#LDBL_EPSILON
753^76 5|@1|6@0@0@0@1#LDBL_MANT_DIG
754^77 18|@1|6@0@0@0@1#LDBL_MAX
755^78 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
756^80 18|@1|6@0@0@0@1#LDBL_MIN
757^81 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
758*1 (Constant)
759^83 5$#CHAR_BIT
760^84 4$#CHAR_MAX#CHAR_MIN
761^86 5$#INT_MAX#INT_MIN
762^88 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
763^91 4$#SCHAR_MAX#SCHAR_MIN
764^93 7$#SHRT_MAX#SHRT_MIN
765^95 3$#UCHAR_MAX#UCHAR_MIN
766^97 6$#UINT_MAX
767^98 10$#ULONG_MAX
768^99 8$#USHRT_MAX
769^100 17$#HUGE_VAL
770*4 (Function)
771^101 128$^$@0#sin
772^102 130$^$@0#cos
773^103 132$^$@0#tan
774^104 134$@0@g22@6@0@1@g22$@0#asin
775^105 136$@0@g22@6@0@1@g22$@0#acos
776^106 138$^$@0#atan
777^107 140$^$@0#atan2
778^108 142$^$@0#sinh
779^109 144$@0@g22@6@0@1@g22$@0#cosh
780^110 146$^$@0#tanh
781^111 148$@0@g22@6@0@1@g22$@0#exp
782^112 150$@0@g22@6@0@1@g22$@0#ldexp
783^113 152$@0@@1@tp1$@0#frexp
784^114 154$@0@g22@6@0@1@g22$@0#log
785^115 156$@0@g22@6@0@1@g22$@0#log10
786^116 158$@0@g22@6@0@1@g22$@0#pow
787^117 160$@0@g22@6@0@1@g22$@0#sqrt
788^118 162$^$@0#ceil
789^119 164$^$@0#floor
790^120 166$^$@0#fabs
791^121 168$@0@@1@tp1$@0#modf
792^122 170$^$@0#fmod
793*0 (Datatype)
794^123 20@+@+@0@0@0@0@171#jmp_buf
795*4 (Function)
796^124 173$@0@@1@p0$@0#setjmp
797^125 175@6@0@5@0@0^$@0#longjmp
798*1 (Constant)
799^126 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
800*0 (Datatype)
801^132 13@-@-@0@0@0@0@176#sig_atomic_t
802*1 (Constant)
803^133 180$#SIG_DFL
804^134 184$#SIG_ERR
805^135 188$#SIG_IGN
806*4 (Function)
807^136 201@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22$@0#signal
808^137 203@6@0@5@0@0$$@0#raise
809*0 (Datatype)
810^138 20@+@+@0@0@0@0@204#va_list
811*4 (Function)
812^139 206$@0@@1@p0$@0#va_start
813^140 208$@0@@1@p0$@0#va_end
814*0 (Datatype)
815^141 20@+@+@0@0@0@0@209#FILE
816^142 20@+@+@0@0@0@0@210#fpos_t
cc78dedd 817*1 (Constant)
80ee600a 818^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
cc78dedd 819*3 (Variable)
80ee600a 820^155 211|@1|6@0@0@0@1#stderr
cc78dedd 821*4 (Function)
80ee600a 822^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove
823^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename
824^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
825^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam
826^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
827^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
828^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
829^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
830^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf
831^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf
832^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
833^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
834^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
835^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
836^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf
837^171 251@6@0@1@2@0^$@0#sscanf
838^172 253$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
839^173 255$@1@g18@6@0,s3@1@s3,p1,tg18$@0#vprintf
840^174 257$@0@@1@tp0,p2$@0#vsprintf
841^175 259$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
842^176 262@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
843^177 265$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
844^178 267$@0@s3@1@s3,tp1$@0#fputs
845^179 269$@0@s3@1@s3,tp0$@0#getc
846^180 271$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
847^181 274@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0#gets
848^182 276$@0@s3@1@s3,tp1$@0#putc
849^183 278$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
850^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#puts
851^185 282$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
852^186 284$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
853^187 286$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
854^188 289$@0@g22@6@0@1@tp1,g22$@0#fgetpos
855^189 291$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
856^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
857^191 295$@0@g22@6@0@1@g22$@0#ftell
858^192 297$@0@@1@tp0$@0#rewind
859^193 299$@0@@1@tp0$@0#clearerr
860^194 301$@0@g22@6@0@1@g22$@0#feof
861^195 303$@0@g22@6@0@1@g22$@0#ferror
862^196 305$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
863^197 307$^$@0#atof
864^198 309$^$@0#atoi
865^199 311$^$@0#atol
866^200 315$@0@g22@6@0@1@tp1,g22$@0#strtod
867^201 317$@0@g22@6@0@1@tp1,g22$@0#strtol
868^202 319$@0@g22@6@0@1@tp1,g22$@0#strtoul
869*1 (Constant)
870^203 5$#RAND_MAX
871*4 (Function)
872^204 321$@0@s1@1@s1$@0#rand
873^205 323$@0@s1@1@s1$@0#srand
874^206 326@6@5@1@0@0^@2@0@0#calloc
875^207 329@4@5@1@0@0^@2@0@0#malloc
876^208 332@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
877^209 334$@0@@1@tp0$@0#free
878*1 (Constant)
879^210 5$#EXIT_FAILURE#EXIT_SUCCESS
880*4 (Function)
881^212 336@6@0@6@0@0^$@0#abort
882^213 338@6@0@6@0@0^$@0#exit
883^214 344$@0@s1@1@s1$@0#atexit
884^215 347@6@5@1@0@0^@19@3@0#getenv
885^216 349$@0@s3@1@s3$@0#system
886^217 356@6@5@1@0@0^@18@0@0#bsearch
887^218 362$@0@g22@6@0@1@tp0,g22$@0#qsort
888^219 364$^$@0#abs
889*7 (Struct tag)
890^220 365@366#@!2
891*0 (Datatype)
892^221 365@-@-@0@0@0@0@367#div_t
893*4 (Function)
894^222 369$^$@0#div
895^223 371$^$@0#labs
896*7 (Struct tag)
897^224 372@373#@!3
898*0 (Datatype)
899^225 372@-@-@0@0@0@0@374#ldiv_t
900*4 (Function)
901^226 376$^$@0#ldiv
902*1 (Constant)
903^227 63$#MB_CUR_MAX
904^228 5$#WCHAR_MAX#WCHAR_MIN
905^230 66$#WEOF
906*4 (Function)
907^231 378$^$@0#btowc
908^232 380$@0@s3@1@s3,tp0$@0#fgetwc
909^233 384@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
910^234 386$@0@s3@1@s3,tp1$@0#fputwc
911^235 388$@0@s3@1@s3,tp1$@0#fputws
912^236 390$^$@0#fwide
913^237 392@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
914^238 394@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
915^239 396$@0@s3@1@s3,tp0$@0#getwc
916^240 398$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
917^241 401$^$@0#mbrlen
918^242 403$@0@@1@tp0$@0#mbrtowc
919^243 405$^$@0#mbsinit
920^244 407$@0@@1@tp0$@0#mbsrtowcs
921^245 409$@0@s3@1@s3,tp1$@0#putwc
922^246 411$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
923^247 413@6@0@1@1@0@0@@1@tp0$@0#swprintf
924^248 415@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
925^249 417$@0@s3@1@s3,tp1$@0#ungetwc
926^250 419$@0@s3@1@s3,tp0$@0#vfwprintf
927^251 421$@0@@1@tp0$@0#vswprintf
928^252 423$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
929^253 425$@0@@1@tp0$@0#wcrtomb
930^254 429$@0@@1@tp0$@0#wcscat
931^255 432@6@5@1@0@0^@19@2@0#wcschr
932^256 434$^$@0#wcscmp
933^257 436$^$@0#wcscoll
934^258 439$@0@@1@tp0$@0#wcscpy
935^259 441$^$@0#wcscspn
cc78dedd 936*7 (Struct tag)
80ee600a 937^260 630@442#@tm
938*4 (Function)
939^261 445$@0@@1@tp0$@0#wcsftime
940^262 447$^$@0#wcslen
941^263 451$@0@@1@tp0$@0#wcsncat
942^264 453$^$@0#wcsncmp
943^265 456$@0@@1@tp0$@0#wcsncpy
944^266 459@6@5@1@0@0^$@0#wcspbrk
945^267 462@6@5@1@0@0^$@0#wcsrchr
946^268 465$@0@@1@tp1$@0#wcsrtombs
947^269 467$^$@0#wcsspn
948^270 470@6@5@1@0@0^@3@0@0#wcsstr
949^271 472$@0@@1@tp1$@0#wcstod
950^272 475@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
951^273 477$@0@@1@tp1$@0#wcstol
952^274 479$@0@@1@tp1$@0#wcstoul
953^275 481$@0@@1@tp0$@0#wcsxfrm
954^276 483$^$@0#wctob
955^277 486@6@5@1@0@0^@3@0@0#wmemchr
956^278 488$^$@0#wmemcmp
957^279 491$@0@@1@tp0$@0#wmemcpy
958^280 494$@0@@1@tp0$@0#wmemmove
959^281 497$@0@@1@tp0$@0#wmemset
960^282 499@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
961^283 501@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
962*0 (Datatype)
963^284 13@-@-@0@0@0@0@502#wctype_t
964^285 13@-@-@0@0@0@0@503#wctrans_t
965*4 (Function)
966^286 507$^$@0#iswalnum
967^287 510$^$@0#iswalpha
968^288 513$^$@0#iswcntrl
969^289 516$^$@0#iswctype
970^290 519$^$@0#iswdigit
971^291 523$^$@0#iswgraph
972^292 526$^$@0#iswlower
973^293 529$^$@0#iswprint
974^294 532$^$@0#iswpunct
975^295 535$^$@0#iswspace
976^296 538$^$@0#iswupper
977^297 542$^$@0#iswxdigit
978^298 546$^$@0#towctrans
979^299 549$^$@0#towlower
980^300 552$^$@0#towupper
981^301 554$^$@0#wctrans
982^302 556$^$@0#wctype
983^303 558$^$@0#mblen
984^304 560$@0@@1@tp0$@0#mbtowc
985^305 562$@0@@1@tp0$@0#wctomb
986^306 564$@0@@1@tp0$@0#mbstowcs
987^307 566$@0@@1@tp0$@0#wcstombs
988^308 570$@0@@1@tp0$@0#memcpy
989^309 573$@0@@1@tp0$@0#memmove
990^310 577$@0@@1@tp0@3@0@0#strcpy
991^311 580$@0@@1@tp0@3@0@0#strncpy
992^312 583$@0@@1@tp0@3@0@0#strcat
993^313 586$@0@@1@tp0@3@0@0#strncat
994^314 588$^$@0#memcmp
995^315 590$^$@0#strcmp
996^316 592$^$@0#strcoll
997^317 594$^$@0#strncmp
998^318 596$@0@@1@tp0$@0#strxfrm
999^319 599@6@5@1@0@0^@3@0@0#memchr
1000^320 602@6@5@1@0@0^@19@2@0#strchr
1001^321 604$^$@0#strcspn
1002^322 607@6@5@1@0@0^@19@2@0#strpbrk
1003^323 610@6@5@1@0@0^@19@2@0#strrchr
1004^324 612$^$@0#strspn
1005^325 615@6@5@1@0@0^@19@2@0#strstr
1006^326 618@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
1007^327 622$@0@@1@tp0$@0#memset
1008^328 625$^@19@3@0#strerror
1009^329 627$^$@0#strlen
1010*1 (Constant)
1011^330 5$#CLOCKS_PER_SEC
1012*0 (Datatype)
1013^331 13@-@-@0@0@0@0@628#clock_t
1014^332 13@-@-@0@0@0@0@629#time_t
1015*4 (Function)
1016^333 632$@0@s1@1@s1$@0#clock
1017^334 634$^$@0#difftime
1018^335 636$^$@0#mktime
1019^336 639$@0@@1@tp0$@0#time
1020^337 642$@0@g22@6@0@1@g22@19@3@0#asctime
1021^338 645$^@19@3@0#ctime
1022^339 648@6@5@1@0@0^@19@3@0#gmtime
1023^340 651@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
1024^341 653$@0@@1@tp0$@0#strftime
1025^342 657$$$@0#test1
1026^343 660$$$@0#test2
920a3797 1027;; Library constraints
80ee600a 1028fgets
1029pre:
920a3797 1030C
10310@1@3
1032l
10331
10341
10352
10362
80ee600a 1037Param 23 0
920a3797 1038r
10390
10401
1041e1
10422
10432
80ee600a 1044Param 5 1
920a3797 1045e2
10462
10473
1048-1
1049;; end precondition constraints
920a3797 1050post:
1051C
80ee600a 10520@1@3
920a3797 1053l
10541
80ee600a 10553
10562
10572
1058Param 23 0
1059r
10602
10613
10620
1063C
10640@1@1
1065l
920a3797 10661
80ee600a 10673
920a3797 10682
10692
80ee600a 1070Param 23 0
920a3797 1071r
10720
10731
1074e1
10752
10762
80ee600a 1077Param 5 1
920a3797 1078e2
10792
10803
1081-1
1082;; end precondition constraints
80ee600a 1083calloc
920a3797 1084pre:EMPTY
1085post:
1086C
10870@1@4
1088l
10891
10901
10912
10922
1093Result
1094r
10950
10961
1097e1
10982
10992
1100Param 63 0
1101e2
11022
11033
1104-1
1105;; end precondition constraints
80ee600a 1106malloc
1107pre:EMPTY
1108post:
920a3797 1109C
80ee600a 11100@1@4
920a3797 1111l
11121
11131
11142
11152
80ee600a 1116Result
920a3797 1117r
11180
11191
1120e1
11212
11222
80ee600a 1123Param 63 0
920a3797 1124e2
11252
11263
1127-1
1128;; end precondition constraints
80ee600a 1129realloc
1130pre:EMPTY
920a3797 1131post:
1132C
11330@1@3
1134l
11351
920a3797 11361
920a3797 11372
11382
80ee600a 1139Result
920a3797 1140r
11410
11421
1143e1
11442
11452
80ee600a 1146Param 63 1
920a3797 1147e2
11482
11493
1150-1
1151;; end precondition constraints
80ee600a 1152memcpy
1153pre:
920a3797 1154C
11550@1@3
1156l
11571
80ee600a 11581
920a3797 11592
11602
80ee600a 1161Param 20 0
920a3797 1162r
11632
80ee600a 11642
1165Param 63 2
920a3797 1166C
80ee600a 11670@1@3
920a3797 1168l
11691
11703
11712
11722
80ee600a 1173Param 20 1
920a3797 1174r
920a3797 11752
11762
80ee600a 1177Param 63 2
1178;; end precondition constraints
1179post:EMPTY
1180memmove
1181pre:
920a3797 1182C
80ee600a 11830@1@3
920a3797 1184l
11851
11861
11872
11882
80ee600a 1189Param 20 0
920a3797 1190r
80ee600a 11912
11922
1193Param 63 2
1194C
11950@1@3
1196l
920a3797 11971
80ee600a 11983
920a3797 11992
12002
80ee600a 1201Param 20 1
1202r
12032
12042
1205Param 63 2
1206;; end precondition constraints
1207post:EMPTY
1208strcpy
1209pre:
920a3797 1210C
12110@1@3
1212l
12131
12141
12152
12162
80ee600a 1217Param 23 0
920a3797 1218r
80ee600a 12191
920a3797 12203
80ee600a 12212
12222
1223Param 23 1
920a3797 1224;; end precondition constraints
920a3797 1225post:
1226C
80ee600a 12270@1@4
920a3797 1228l
12291
80ee600a 12301
920a3797 12312
12322
1233Result
1234r
80ee600a 12351
12361
920a3797 12372
80ee600a 12382
1239Param 23 0
920a3797 1240C
80ee600a 12410@1@4
920a3797 1242l
12431
12443
12452
12462
1247Result
1248r
12491
12503
12512
12522
80ee600a 1253Param 23 1
920a3797 1254C
80ee600a 12550@1@4
920a3797 1256l
12571
80ee600a 12583
920a3797 12592
12602
80ee600a 1261Param 23 0
920a3797 1262r
12631
80ee600a 12643
920a3797 12652
12662
80ee600a 1267Param 23 1
1268;; end precondition constraints
1269strncpy
1270pre:
920a3797 1271C
12720@1@3
1273l
12741
12751
12762
12772
80ee600a 1278Param 23 0
920a3797 1279r
80ee600a 12800
12811
1282e1
12832
12842
1285Param 63 2
1286e2
920a3797 12872
12883
80ee600a 1289-1
920a3797 1290;; end precondition constraints
920a3797 1291post:
1292C
80ee600a 12930@1@1
920a3797 1294l
12951
12963
12972
12982
80ee600a 1299Param 23 0
920a3797 1300r
13012
80ee600a 13022
1303Param 63 2
920a3797 1304C
80ee600a 13050@1@3
920a3797 1306l
13071
13083
13092
13102
80ee600a 1311Param 23 1
920a3797 1312r
13131
13143
13152
13162
1317Param 23 0
80ee600a 1318;; end precondition constraints
1319strcat
1320pre:
920a3797 1321C
80ee600a 13220@1@3
920a3797 1323l
13241
13251
13262
13272
80ee600a 1328Param 23 0
920a3797 1329r
80ee600a 13300
920a3797 13311
80ee600a 1332e1
920a3797 13331
80ee600a 13343
920a3797 13352
13362
1337Param 23 0
80ee600a 1338e2
920a3797 13391
80ee600a 13403
920a3797 13412
13422
80ee600a 1343Param 23 1
920a3797 1344;; end precondition constraints
920a3797 1345post:
1346C
13470@1@4
1348l
13491
13503
13512
13522
1353Result
1354r
80ee600a 13550
920a3797 13561
80ee600a 1357e1
920a3797 13581
80ee600a 13593
920a3797 13602
13612
80ee600a 1362Param 23 0
1363e2
920a3797 13641
13653
13662
13672
80ee600a 1368Param 23 1
920a3797 1369;; end precondition constraints
80ee600a 1370strncat
920a3797 1371pre:
1372C
13730@1@3
1374l
13751
13761
13772
13782
80ee600a 1379Param 23 0
920a3797 1380r
13810
13821
1383e1
80ee600a 13841
13853
920a3797 13862
13872
80ee600a 1388Param 23 0
920a3797 1389e2
13902
80ee600a 13912
1392Param 5 2
920a3797 1393;; end precondition constraints
1394post:
1395C
13960@1@3
1397l
13981
13993
14002
14012
80ee600a 1402Result
920a3797 1403r
14040
14051
1406e1
80ee600a 14071
14083
920a3797 14092
14102
80ee600a 1411Param 23 0
920a3797 1412e2
14132
80ee600a 14142
1415Param 5 2
920a3797 1416;; end precondition constraints
80ee600a 1417strchr
1418pre:EMPTY
1419post:
920a3797 1420C
14210@1@3
1422l
14231
80ee600a 14243
920a3797 14252
14262
80ee600a 1427Result
920a3797 1428r
14292
80ee600a 14303
14310
920a3797 1432C
80ee600a 14330@1@1
920a3797 1434l
14351
14363
14372
14382
80ee600a 1439Result
920a3797 1440r
80ee600a 14411
14423
920a3797 14432
14442
80ee600a 1445Param 23 0
920a3797 1446C
80ee600a 14470@1@1
920a3797 1448l
14491
14501
14512
14522
80ee600a 1453Result
920a3797 1454r
80ee600a 14551
14561
920a3797 14572
14582
80ee600a 1459Param 23 0
920a3797 1460C
14610@1@3
1462l
14631
80ee600a 14641
920a3797 14652
14662
80ee600a 1467Result
920a3797 1468r
14692
80ee600a 14703
14710
920a3797 1472;; end precondition constraints
80ee600a 1473strrchr
1474pre:EMPTY
1475post:
920a3797 1476C
14770@1@3
1478l
14791
80ee600a 14803
920a3797 14812
14822
80ee600a 1483Result
920a3797 1484r
80ee600a 14852
14863
920a3797 14870
80ee600a 1488C
14890@1@1
1490l
920a3797 14911
14923
14932
14942
80ee600a 1495Result
1496r
14971
14983
920a3797 14992
15002
80ee600a 1501Param 23 0
920a3797 1502C
80ee600a 15030@1@1
920a3797 1504l
15051
80ee600a 15061
920a3797 15072
15082
1509Result
1510r
920a3797 15111
920a3797 15121
920a3797 15132
15142
1515Param 23 0
920a3797 1516C
15170@1@3
1518l
15191
15201
15212
15222
80ee600a 1523Result
920a3797 1524r
80ee600a 15252
15263
920a3797 15270
80ee600a 1528;; end precondition constraints
1529strstr
1530pre:EMPTY
1531post:
1532C
15330@1@3
1534l
920a3797 15351
80ee600a 15363
920a3797 15372
15382
80ee600a 1539Result
1540r
920a3797 15412
15423
80ee600a 15430
920a3797 1544C
15450@1@1
1546l
15471
15483
15492
15502
80ee600a 1551Result
920a3797 1552r
80ee600a 15531
15543
920a3797 15552
15562
80ee600a 1557Param 23 0
920a3797 1558C
80ee600a 15590@1@1
920a3797 1560l
15611
80ee600a 15621
920a3797 15632
15642
80ee600a 1565Result
920a3797 1566r
15671
80ee600a 15681
920a3797 15692
15702
1571Param 23 0
80ee600a 1572C
15730@1@3
1574l
15751
15761
15772
15782
1579Result
1580r
15812
15823
15830
920a3797 1584;; end precondition constraints
80ee600a 1585memset
920a3797 1586pre:
1587C
15880@1@3
1589l
15901
15911
15922
15932
80ee600a 1594Param 20 0
920a3797 1595r
15960
15971
1598e1
920a3797 15992
16002
80ee600a 1601Param 63 2
920a3797 1602e2
920a3797 16032
80ee600a 16043
1605-1
920a3797 1606;; end precondition constraints
80ee600a 1607post:
920a3797 1608C
16090@1@3
1610l
16111
80ee600a 16123
920a3797 16132
16142
80ee600a 1615Param 20 0
920a3797 1616r
80ee600a 16170
920a3797 16181
80ee600a 1619e1
920a3797 16202
16212
80ee600a 1622Param 63 2
1623e2
16242
16253
1626-1
920a3797 1627;; end precondition constraints
80ee600a 1628strlen
1629pre:EMPTY
920a3797 1630post:
1631C
16320@1@4
1633l
920a3797 16342
16352
1636Result
1637r
16381
80ee600a 16393
920a3797 16402
16412
1642Param 23 0
80ee600a 1643;; end precondition constraints
1644asctime
1645pre:EMPTY
1646post:
920a3797 1647C
16480@1@4
1649l
16501
16513
16522
16532
1654Result
1655r
80ee600a 16562
920a3797 16573
80ee600a 165825
1659C
16600@1@4
1661l
16621
16631
920a3797 16642
16652
80ee600a 1666Result
1667r
16682
16693
167025
1671;; end precondition constraints
1672ctime
1673pre:EMPTY
1674post:
920a3797 1675C
16760@1@4
1677l
16781
16793
16802
16812
80ee600a 1682Result
920a3797 1683r
80ee600a 16842
920a3797 16853
80ee600a 168625
1687C
16880@1@4
1689l
16901
16911
920a3797 16922
16932
80ee600a 1694Result
1695r
16962
16973
169825
920a3797 1699;; end precondition constraints
cc78dedd 1700;; Modules access
8e349e11 1701lltX_bool#1@
1702types#1@
1703ansi#9@
cc78dedd 1704;;End
git-cvsimport mirror of splint
This page took 0.326042 seconds and 5 git commands to generate.