]> 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
*** empty log message ***
[splint.git] / test / tests2.5 / newlint.lcd
CommitLineData
cc78dedd 1;;LCLint Dump: newlint.lcd
7bc6a007 2;;LCLint 3.0b-alpha --- 20 June 2001
990ec868 3;;lib:168
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|!
7b1629ab 5803 f0 (23|@5|4@0@9&#,23|$#,)!
5813 f1 (23|@5|4@0@9&#,23|$#,)!
5823 f574 (23|@5|4@0@9&#,23|$#,)!
5833 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
5843 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
5853 f574 (23|@5|4@0@9&#,23|$#,63|$#,)!
920a3797 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
7b1629ab 847^181 274@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
80ee600a 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
7b1629ab 990^310 577$@0@@1@tp0$@0#strcpy
991^311 580$@0@@1@tp0$@0#strncpy
80ee600a 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
3814599d 1084pre:
1085;; end precondition constraints
920a3797 1086post:
1087C
10880@1@4
1089l
10901
10911
10922
10932
1094Result
1095r
10960
10971
1098e1
10992
11002
1101Param 63 0
1102e2
11032
11043
1105-1
1106;; end precondition constraints
80ee600a 1107malloc
3814599d 1108pre:
1109;; end precondition constraints
80ee600a 1110post:
920a3797 1111C
80ee600a 11120@1@4
920a3797 1113l
11141
11151
11162
11172
80ee600a 1118Result
920a3797 1119r
11200
11211
1122e1
11232
11242
80ee600a 1125Param 63 0
920a3797 1126e2
11272
11283
1129-1
1130;; end precondition constraints
80ee600a 1131realloc
3814599d 1132pre:
1133;; end precondition constraints
920a3797 1134post:
1135C
11360@1@3
1137l
11381
920a3797 11391
920a3797 11402
11412
80ee600a 1142Result
920a3797 1143r
11440
11451
1146e1
11472
11482
80ee600a 1149Param 63 1
920a3797 1150e2
11512
11523
1153-1
1154;; end precondition constraints
80ee600a 1155memcpy
1156pre:
920a3797 1157C
11580@1@3
1159l
11601
80ee600a 11611
920a3797 11622
11632
80ee600a 1164Param 20 0
920a3797 1165r
11662
80ee600a 11672
1168Param 63 2
920a3797 1169C
80ee600a 11700@1@3
920a3797 1171l
11721
11733
11742
11752
80ee600a 1176Param 20 1
920a3797 1177r
920a3797 11782
11792
80ee600a 1180Param 63 2
1181;; end precondition constraints
3814599d 1182post:
1183;; end precondition constraints
80ee600a 1184memmove
1185pre:
920a3797 1186C
80ee600a 11870@1@3
920a3797 1188l
11891
11901
11912
11922
80ee600a 1193Param 20 0
920a3797 1194r
80ee600a 11952
11962
1197Param 63 2
1198C
11990@1@3
1200l
920a3797 12011
80ee600a 12023
920a3797 12032
12042
80ee600a 1205Param 20 1
1206r
12072
12082
1209Param 63 2
1210;; end precondition constraints
3814599d 1211post:
1212;; end precondition constraints
80ee600a 1213strcpy
1214pre:
920a3797 1215C
12160@1@3
1217l
12181
12191
12202
12212
80ee600a 1222Param 23 0
920a3797 1223r
80ee600a 12241
920a3797 12253
80ee600a 12262
12272
1228Param 23 1
920a3797 1229;; end precondition constraints
920a3797 1230post:
1231C
80ee600a 12320@1@4
920a3797 1233l
12341
80ee600a 12351
920a3797 12362
12372
1238Result
1239r
80ee600a 12401
12411
920a3797 12422
80ee600a 12432
1244Param 23 0
920a3797 1245C
80ee600a 12460@1@4
920a3797 1247l
12481
12493
12502
12512
1252Result
1253r
12541
12553
12562
12572
80ee600a 1258Param 23 1
920a3797 1259C
80ee600a 12600@1@4
920a3797 1261l
12621
80ee600a 12633
920a3797 12642
12652
80ee600a 1266Param 23 0
920a3797 1267r
12681
80ee600a 12693
920a3797 12702
12712
80ee600a 1272Param 23 1
1273;; end precondition constraints
1274strncpy
1275pre:
920a3797 1276C
12770@1@3
1278l
12791
12801
12812
12822
80ee600a 1283Param 23 0
920a3797 1284r
80ee600a 12850
12861
1287e1
12882
12892
1290Param 63 2
1291e2
920a3797 12922
12933
80ee600a 1294-1
920a3797 1295;; end precondition constraints
920a3797 1296post:
1297C
80ee600a 12980@1@1
920a3797 1299l
13001
13013
13022
13032
80ee600a 1304Param 23 0
920a3797 1305r
13062
80ee600a 13072
1308Param 63 2
920a3797 1309C
80ee600a 13100@1@3
920a3797 1311l
13121
13133
13142
13152
80ee600a 1316Param 23 1
920a3797 1317r
13181
13193
13202
13212
1322Param 23 0
80ee600a 1323;; end precondition constraints
1324strcat
1325pre:
920a3797 1326C
80ee600a 13270@1@3
920a3797 1328l
13291
13301
13312
13322
80ee600a 1333Param 23 0
920a3797 1334r
80ee600a 13350
920a3797 13361
80ee600a 1337e1
920a3797 13381
80ee600a 13393
920a3797 13402
13412
1342Param 23 0
80ee600a 1343e2
920a3797 13441
80ee600a 13453
920a3797 13462
13472
80ee600a 1348Param 23 1
920a3797 1349;; end precondition constraints
920a3797 1350post:
1351C
13520@1@4
1353l
13541
13553
13562
13572
1358Result
1359r
80ee600a 13600
920a3797 13611
80ee600a 1362e1
920a3797 13631
80ee600a 13643
920a3797 13652
13662
80ee600a 1367Param 23 0
1368e2
920a3797 13691
13703
13712
13722
80ee600a 1373Param 23 1
920a3797 1374;; end precondition constraints
80ee600a 1375strncat
920a3797 1376pre:
1377C
13780@1@3
1379l
13801
13811
13822
13832
80ee600a 1384Param 23 0
920a3797 1385r
13860
13871
1388e1
80ee600a 13891
13903
920a3797 13912
13922
80ee600a 1393Param 23 0
920a3797 1394e2
13952
80ee600a 13962
1397Param 5 2
920a3797 1398;; end precondition constraints
1399post:
1400C
14010@1@3
1402l
14031
14043
14052
14062
80ee600a 1407Result
920a3797 1408r
14090
14101
1411e1
80ee600a 14121
14133
920a3797 14142
14152
80ee600a 1416Param 23 0
920a3797 1417e2
14182
80ee600a 14192
1420Param 5 2
920a3797 1421;; end precondition constraints
80ee600a 1422strchr
3814599d 1423pre:
1424;; end precondition constraints
80ee600a 1425post:
920a3797 1426C
14270@1@3
1428l
14291
80ee600a 14303
920a3797 14312
14322
80ee600a 1433Result
920a3797 1434r
14352
80ee600a 14363
14370
920a3797 1438C
80ee600a 14390@1@1
920a3797 1440l
14411
14423
14432
14442
80ee600a 1445Result
920a3797 1446r
80ee600a 14471
14483
920a3797 14492
14502
80ee600a 1451Param 23 0
920a3797 1452C
80ee600a 14530@1@1
920a3797 1454l
14551
14561
14572
14582
80ee600a 1459Result
920a3797 1460r
80ee600a 14611
14621
920a3797 14632
14642
80ee600a 1465Param 23 0
920a3797 1466C
14670@1@3
1468l
14691
80ee600a 14701
920a3797 14712
14722
80ee600a 1473Result
920a3797 1474r
14752
80ee600a 14763
14770
920a3797 1478;; end precondition constraints
80ee600a 1479strrchr
3814599d 1480pre:
1481;; end precondition constraints
80ee600a 1482post:
920a3797 1483C
14840@1@3
1485l
14861
80ee600a 14873
920a3797 14882
14892
80ee600a 1490Result
920a3797 1491r
80ee600a 14922
14933
920a3797 14940
80ee600a 1495C
14960@1@1
1497l
920a3797 14981
14993
15002
15012
80ee600a 1502Result
1503r
15041
15053
920a3797 15062
15072
80ee600a 1508Param 23 0
920a3797 1509C
80ee600a 15100@1@1
920a3797 1511l
15121
80ee600a 15131
920a3797 15142
15152
1516Result
1517r
920a3797 15181
920a3797 15191
920a3797 15202
15212
1522Param 23 0
920a3797 1523C
15240@1@3
1525l
15261
15271
15282
15292
80ee600a 1530Result
920a3797 1531r
80ee600a 15322
15333
920a3797 15340
80ee600a 1535;; end precondition constraints
1536strstr
3814599d 1537pre:
1538;; end precondition constraints
80ee600a 1539post:
1540C
15410@1@3
1542l
920a3797 15431
80ee600a 15443
920a3797 15452
15462
80ee600a 1547Result
1548r
920a3797 15492
15503
80ee600a 15510
920a3797 1552C
15530@1@1
1554l
15551
15563
15572
15582
80ee600a 1559Result
920a3797 1560r
80ee600a 15611
15623
920a3797 15632
15642
80ee600a 1565Param 23 0
920a3797 1566C
80ee600a 15670@1@1
920a3797 1568l
15691
80ee600a 15701
920a3797 15712
15722
80ee600a 1573Result
920a3797 1574r
15751
80ee600a 15761
920a3797 15772
15782
1579Param 23 0
80ee600a 1580C
15810@1@3
1582l
15831
15841
15852
15862
1587Result
1588r
15892
15903
15910
920a3797 1592;; end precondition constraints
80ee600a 1593memset
920a3797 1594pre:
1595C
15960@1@3
1597l
15981
15991
16002
16012
80ee600a 1602Param 20 0
920a3797 1603r
16040
16051
1606e1
920a3797 16072
16082
80ee600a 1609Param 63 2
920a3797 1610e2
920a3797 16112
80ee600a 16123
1613-1
920a3797 1614;; end precondition constraints
80ee600a 1615post:
920a3797 1616C
16170@1@3
1618l
16191
80ee600a 16203
920a3797 16212
16222
80ee600a 1623Param 20 0
920a3797 1624r
80ee600a 16250
920a3797 16261
80ee600a 1627e1
920a3797 16282
16292
80ee600a 1630Param 63 2
1631e2
16322
16333
1634-1
920a3797 1635;; end precondition constraints
80ee600a 1636strlen
3814599d 1637pre:
1638;; end precondition constraints
920a3797 1639post:
1640C
16410@1@4
1642l
920a3797 16432
16442
1645Result
1646r
16471
80ee600a 16483
920a3797 16492
16502
1651Param 23 0
80ee600a 1652;; end precondition constraints
1653asctime
3814599d 1654pre:
1655;; end precondition constraints
80ee600a 1656post:
920a3797 1657C
16580@1@4
1659l
16601
16613
16622
16632
1664Result
1665r
80ee600a 16662
920a3797 16673
80ee600a 166825
1669C
16700@1@4
1671l
16721
16731
920a3797 16742
16752
80ee600a 1676Result
1677r
16782
16793
168025
1681;; end precondition constraints
1682ctime
3814599d 1683pre:
1684;; end precondition constraints
80ee600a 1685post:
920a3797 1686C
16870@1@4
1688l
16891
16903
16912
16922
80ee600a 1693Result
920a3797 1694r
80ee600a 16952
920a3797 16963
80ee600a 169725
1698C
16990@1@4
1700l
17011
17021
920a3797 17032
17042
80ee600a 1705Result
1706r
17072
17083
170925
920a3797 1710;; end precondition constraints
cc78dedd 1711;; Modules access
8e349e11 1712lltX_bool#1@
1713types#1@
1714ansi#9@
cc78dedd 1715;;End
git-cvsimport mirror of splint
This page took 0.334976 seconds and 5 git commands to generate.