]> andersk Git - splint.git/blame - lib/ansistrict.lcd
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
*** empty log message ***
[splint.git] / lib / ansistrict.lcd
CommitLineData
885824d3 1;;LCLint Dump: ansistrict.lcd
119f0b93 2;;LCLint 3.0.0.7 --- 12 July 2001
990ec868 3;;lib:167
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 288 -1
885824d3 251 t1|1&
261 t2|2&
271 t3|3&
920a3797 281 t4|4 289 -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 ?!
b46462e0 630 a0|&
640 s10|&
650 s11|&
660 s12|&
670 s23|&
680 s24|&
690 s25|&
700 s26|-1 357 -1
710 s27|&
720 a28|-1 375 -1
885824d3 733 C0.5/20|!
920a3797 743 C0.68/2|!
885824d3 753 f0 (2|@7|$#,)!
763 f1 (2|@7|$#,)!
d249c973 773 f0 (5|$#,)!
783 f2 (5|$#,)!
793 f0 (5|$#,)!
803 f2 (5|$#,)!
813 f0 (5|$#,)!
823 f2 (5|$#,)!
833 f0 (5|$#,)!
843 f2 (5|$#,)!
853 f0 (5|$#,)!
863 f2 (5|$#,)!
873 f0 (5|$#,)!
883 f2 (5|$#,)!
893 f0 (5|$#,)!
903 f2 (5|$#,)!
913 f0 (5|$#,)!
923 f2 (5|$#,)!
933 f0 (5|$#,)!
943 f2 (5|$#,)!
953 f0 (5|$#,)!
963 f2 (5|$#,)!
973 f0 (5|$#,)!
983 f2 (5|$#,)!
993 f0 (5|$#,)!
1003 f4 (5|$#,)!
1013 f0 (5|$#,)!
1023 f4 (5|$#,)!
885824d3 1033 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|^#int_frac_digits,4|@1|^#frac_digits,4|@1|^#p_cs_precedes,4|@1|^#p_sep_by_space,4|@1|^#n_cs_precedes,4|@1|^#n_sep_by_space,4|@1|^#p_sign_posn,4|@1|^#n_sign_posn,}!
b46462e0 1040 s45|-1 105 -1
885824d3 1053 f0 (5|$#,23|0@5@7&#,)!
1063 f19 (5|$#,23|0@5@7&#,)!
1073 f23 (5|$#,23|0@5@7&#,)!
1083 f0 ()!
1093 f19 ()!
920a3797 1101 t99|99&
1113 f105 ()!
885824d3 1123 f0 (17|$#,)!
1133 f17 (17|$#,)!
1143 f0 (17|$#,)!
1153 f17 (17|$#,)!
1163 f0 (17|$#,)!
1173 f17 (17|$#,)!
1183 f0 (17|$#,)!
1193 f17 (17|$#,)!
1203 f0 (17|$#,)!
1213 f17 (17|$#,)!
1223 f0 (17|$#,)!
1233 f17 (17|$#,)!
1243 f0 (17|$#,17|$#,)!
1253 f17 (17|$#,17|$#,)!
1263 f0 (17|$#,)!
1273 f17 (17|$#,)!
1283 f0 (17|$#,)!
1293 f17 (17|$#,)!
1303 f0 (17|$#,)!
1313 f17 (17|$#,)!
1323 f0 (17|$#,)!
1333 f17 (17|$#,)!
1343 f0 (17|$#,5|$#,)!
1353 f17 (17|$#,5|$#,)!
1363 f0 (17|$#,24|4@0@7&#,)!
1373 f17 (17|$#,24|4@0@7&#,)!
1383 f0 (17|$#,)!
1393 f17 (17|$#,)!
1403 f0 (17|$#,)!
1413 f17 (17|$#,)!
1423 f0 (17|$#,17|$#,)!
1433 f17 (17|$#,17|$#,)!
1443 f0 (17|$#,)!
1453 f17 (17|$#,)!
1463 f0 (17|$#,)!
1473 f17 (17|$#,)!
1483 f0 (17|$#,)!
1493 f17 (17|$#,)!
1503 f0 (17|$#,)!
1513 f17 (17|$#,)!
1523 f0 (17|$#,36|4@0@7&#,)!
1533 f17 (17|$#,36|4@0@7&#,)!
1543 f0 (17|$#,17|$#,)!
1553 f17 (17|$#,17|$#,)!
b46462e0 1560 a123|&
920a3797 1573 f0 (151|4@0@7&#,)!
1583 f5 (151|4@0@7&#,)!
1593 f0 (151|$#,5|$#,)!
1603 f1 (151|$#,5|$#,)!
b46462e0 1610 s132|&
885824d3 1623 ?!
920a3797 1633 f157 (5|$#,)!
1643 f1 (5|$#,)^160
1651 t159|159&
885824d3 1663 ?!
920a3797 1673 f161 (5|$#,)!
1683 f1 (5|$#,)^164
1691 t163|163&
885824d3 1703 ?!
920a3797 1713 f165 (5|$#,)!
1723 f1 (5|$#,)^168
1731 t167|167&
885824d3 1743 ?!
920a3797 1753 f169 (5|$#,)!
1763 f1 (5|$#,)^172
1771 t171|171&
1783 f0 (5|$#,172|0@5@7&#,)!
1793 f19 (5|$#,172|0@5@7&#,)^175
1801 t174|174&
885824d3 1813 ?!
920a3797 1823 f176 (5|$#,)!
885824d3 1833 f19 (5|$#,)!
920a3797 1843 f1 (5|$#,172|0@5@7&#,)!
885824d3 1853 f1 (5|$#,)!
920a3797 1863 f180 (5|$#,172|0@5@7&#,)!
885824d3 1873 f0 (5|$#,)!
1883 f5 (5|$#,)!
b46462e0 1890 a138|&
920a3797 1903 f0 (184|4@0@7&#,!.,)!
1913 f1 (184|4@0@7&#,!.,)!
1923 f0 (184|$#,)!
1933 f1 (184|$#,)!
b46462e0 1940 a141|-1 191 -1
1950 a142|-1 263 -1
920a3797 1961 t189|189&
885824d3 1973 f0 (23|$#,)!
1983 f5 (23|$#,)!
1993 f0 (23|$#,23|$#,)!
2003 f5 (23|$#,23|$#,)!
2013 f0 ()!
2023 f19 ()!
920a3797 2033 f191 ()!
885824d3 2043 f0 (23|@5|4@5@7&#,)!
2053 f19 (23|@5|4@5@7&#,)!
2063 f23 (23|@5|4@5@7&#,)!
920a3797 2073 f0 (191|$#,)!
2083 f5 (191|$#,)!
2093 f0 (191|0@5@7&#,)!
2103 f5 (191|0@5@7&#,)!
885824d3 2113 f0 (23|$#,23|$#,)!
2123 f19 (23|$#,23|$#,)!
920a3797 2133 f191 (23|$#,23|$#,)!
2143 f0 (23|$#,23|$#,191|$#,)!
2153 f19 (23|$#,23|$#,191|$#,)!
2163 f191 (23|$#,23|$#,191|$#,)!
2173 f0 (191|$#,23|0@5@19@2@0#,)!
2183 f1 (191|$#,23|0@5@19@2@0#,)!
2193 f0 (191|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
2203 f5 (191|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
2213 f0 (191|$#,23|$#,!.,)!
2223 f5 (191|$#,23|$#,!.,)!
2233 f0 (191|$#,23|$#,!.,)!
2243 f5 (191|$#,23|$#,!.,)!
885824d3 2253 f0 (23|$#,!.,)!
2263 f5 (23|$#,!.,)!
2273 f0 (23|$#,!.,)!
2283 f5 (23|$#,!.,)!
2293 f0 (23|4@0@7&#,23|$#,!.,)!
2303 f5 (23|4@0@7&#,23|$#,!.,)!
2313 f0 (23|4@0@7&#,23|$#,!.,)!
2323 f5 (23|4@0@7&#,23|$#,!.,)!
920a3797 2333 f0 (191|$#,23|$#,184|$#,)!
2343 f5 (191|$#,23|$#,184|$#,)!
2353 f0 (23|$#,184|$#,)!
2363 f5 (23|$#,184|$#,)!
2373 f0 (23|4@0@7&#,23|$#,184|$#,)!
2383 f5 (23|4@0@7&#,23|$#,184|$#,)!
2393 f0 (191|$#,)!
2403 f5 (191|$#,)!
2413 f0 (23|@5|4@0@7&#,5|$#,191|$#,)!
2423 f19 (23|@5|4@0@7&#,5|$#,191|$#,)!
2433 f23 (23|@5|4@0@7&#,5|$#,191|$#,)!
885824d3 2443 C0.5/4|!
920a3797 2453 f0 (239|$#,191|$#,)!
2463 f5 (239|$#,191|$#,)!
2473 f0 (23|$#,191|$#,)!
2483 f5 (23|$#,191|$#,)!
2493 f0 (191|@7|$#,)!
2503 f5 (191|@7|$#,)!
885824d3 2513 f0 ()!
2523 f5 ()!
2533 f0 (23|4@0@7&#,)!
2543 f19 (23|4@0@7&#,)!
2553 f23 (23|4@0@7&#,)!
920a3797 2563 f0 (239|$#,191|@7|$#,)!
2573 f5 (239|$#,191|@7|$#,)!
2583 f0 (239|$#,)!
2593 f5 (239|$#,)!
885824d3 2603 f0 (23|$#,)!
2613 f5 (23|$#,)!
920a3797 2623 f0 (239|$#,191|$#,)!
2633 f5 (239|$#,191|$#,)!
2643 f0 (20|4@0@7&#,63|$#,63|$#,191|$#,)!
2653 f63 (20|4@0@7&#,63|$#,63|$#,191|$#,)!
2663 f0 (20|$#,63|$#,63|$#,191|$#,)!
2673 f63 (20|$#,63|$#,63|$#,191|$#,)!
2681 t190|190&
2693 f0 (191|$#,263|4@0@7&#,)!
2703 f5 (191|$#,263|4@0@7&#,)!
2713 f0 (191|$#,9|$#,5|$#,)!
2723 f5 (191|$#,9|$#,5|$#,)!
2733 f0 (191|$#,263|$#,)!
2743 f5 (191|$#,263|$#,)!
2753 f0 (191|$#,)!
2763 f9 (191|$#,)!
2773 f0 (191|$#,)!
2783 f1 (191|$#,)!
2793 f0 (191|$#,)!
2803 f1 (191|$#,)!
2813 f0 (191|$#,)!
2823 f5 (191|$#,)!
2833 f0 (191|$#,)!
2843 f5 (191|$#,)!
885824d3 2853 f0 (23|0@5@7&#,)!
2863 f1 (23|0@5@7&#,)!
2873 f0 (23|$#,)!
2883 f17 (23|$#,)!
2893 f0 (23|$#,)!
2903 f5 (23|$#,)!
2913 f0 (23|$#,)!
2923 f9 (23|$#,)!
2931 t19|19&
2941 t23|23&
920a3797 2953 f0 (23|$#,289|4@5@7&#,)!
2963 f17 (23|$#,289|4@5@7&#,)!
2973 f0 (23|$#,289|4@5@7&#,5|$#,)!
2983 f9 (23|$#,289|4@5@7&#,5|$#,)!
2993 f0 (23|$#,289|4@5@7&#,5|$#,)!
3003 f10 (23|$#,289|4@5@7&#,5|$#,)!
885824d3 3013 f0 ()!
3023 f5 ()!
3033 f0 (6|$#,)!
3043 f1 (6|$#,)!
3053 f0 (63|$#,63|$#,)!
3063 f19 (63|$#,63|$#,)!
3073 f20 (63|$#,63|$#,)!
3083 f0 (63|$#,)!
3093 f19 (63|$#,)!
3103 f20 (63|$#,)!
3113 f0 (20|@5|4@5@2&#,63|$#,)!
3123 f19 (20|@5|4@5@2&#,63|$#,)!
3133 f20 (20|@5|4@5@2&#,63|$#,)!
3143 f0 (20|4@5@2&#,)!
3153 f1 (20|4@5@2&#,)!
3163 f0 ()!
3173 f1 ()!
3183 f0 (5|$#,)!
3193 f1 (5|$#,)!
3203 ?!
920a3797 3213 f315 ()!
3223 f1 ()^318
3231 t317|317&
3243 f0 (318|$#,)!
3253 f5 (318|$#,)!
885824d3 3263 f0 (23|$#,)!
3273 f19 (23|$#,)!
3283 f23 (23|$#,)!
3293 f0 (23|0@5@7&#,)!
3303 f5 (23|0@5@7&#,)!
3313 ?!
920a3797 3323 f326 (20|$#,20|$#,)!
3333 f5 (20|$#,20|$#,)^329
3341 t328|328&
3353 f0 (20|$#,20|$#,63|$#,63|$#,329|$#,)!
3363 f19 (20|$#,20|$#,63|$#,63|$#,329|$#,)!
3373 f20 (20|$#,20|$#,63|$#,63|$#,329|$#,)!
885824d3 3383 ?!
920a3797 3393 f333 (20|$#,20|$#,)!
3403 f5 (20|$#,20|$#,)^336
3411 t335|335&
3423 f0 (20|$#,63|$#,63|$#,336|$#,)!
3433 f1 (20|$#,63|$#,63|$#,336|$#,)!
885824d3 3443 f0 (5|$#,)!
3453 f5 (5|$#,)!
3463 S!2{5|@1|^#quot,5|@1|^#rem,}!
b46462e0 3470 s220|&
3480 s221|&
885824d3 3493 f0 (5|$#,5|$#,)!
920a3797 3503 f343 (5|$#,5|$#,)!
885824d3 3513 f0 (9|$#,)!
3523 f9 (9|$#,)!
3533 S!3{9|@1|^#quot,9|@1|^#rem,}!
b46462e0 3540 s224|&
3550 s225|&
885824d3 3563 f0 (9|$#,9|$#,)!
920a3797 3573 f350 (9|$#,9|$#,)!
885824d3 3583 f0 (5|$#,)!
3593 f66 (5|$#,)!
920a3797 3603 f0 (191|$#,)!
3613 f66 (191|$#,)!
3621 t65|65 439 -1
3633 f0 (357|@5|$#,5|$#,191|$#,)!
3643 f19 (357|@5|$#,5|$#,191|$#,)!
3653 f357 (357|@5|$#,5|$#,191|$#,)!
3663 f0 (65|$#,191|$#,)!
3673 f66 (65|$#,191|$#,)!
3683 f0 (357|$#,191|$#,)!
3693 f5 (357|$#,191|$#,)!
3703 f0 (191|$#,5|$#,)!
3713 f5 (191|$#,5|$#,)!
3723 f0 (191|$#,357|$#,!.,)!
3733 f5 (191|$#,357|$#,!.,)!
3743 f0 (191|$#,357|$#,!.,)!
3753 f5 (191|$#,357|$#,!.,)!
3763 f0 (191|@7|$#,)!
3773 f66 (191|@7|$#,)!
885824d3 3783 f0 ()!
3793 f66 ()!
3801 t67|67&
920a3797 3813 f0 (23|$#,63|$#,375|0@5@7&#,)!
3823 f63 (23|$#,63|$#,375|0@5@7&#,)!
3833 f0 (357|0@5@7&#,23|$#,63|$#,375|0@5@7&#,)!
3843 f63 (357|0@5@7&#,23|$#,63|$#,375|0@5@7&#,)!
3853 f0 (375|0@5@7&#,)!
3863 f5 (375|0@5@7&#,)!
3873 f0 (357|0@5@7&#,289|$#,63|$#,375|0@5@7&#,)!
3883 f63 (357|0@5@7&#,289|$#,63|$#,375|0@5@7&#,)!
3893 f0 (65|$#,191|@7|$#,)!
3903 f66 (65|$#,191|@7|$#,)!
885824d3 3913 f0 (65|$#,)!
3923 f66 (65|$#,)!
920a3797 3933 f0 (357|$#,63|$#,357|$#,!.,)!
3943 f5 (357|$#,63|$#,357|$#,!.,)!
3953 f0 (357|$#,357|$#,!.,)!
3963 f5 (357|$#,357|$#,!.,)!
3973 f0 (66|$#,191|$#,)!
3983 f66 (66|$#,191|$#,)!
3993 f0 (191|$#,357|$#,184|$#,)!
4003 f5 (191|$#,357|$#,184|$#,)!
4013 f0 (357|$#,63|$#,357|$#,184|$#,)!
4023 f5 (357|$#,63|$#,357|$#,184|$#,)!
4033 f0 (357|$#,184|$#,)!
4043 f5 (357|$#,184|$#,)!
4053 f0 (23|4@5@7&#,65|$#,375|0@5@7&#,)!
4063 f63 (23|4@5@7&#,65|$#,375|0@5@7&#,)!
4073 C0.1/357|!
4083 f0 (357|@5|4@0@9&#,357|$#,)!
4093 f1 (357|@5|4@0@9&#,357|$#,)!
4103 f402 (357|@5|4@0@9&#,357|$#,)!
4113 f0 (357|@5|$#,65|$#,)!
4123 f19 (357|@5|$#,65|$#,)!
4133 f357 (357|@5|$#,65|$#,)!
4143 f0 (357|$#,357|$#,)!
4153 f5 (357|$#,357|$#,)!
4163 f0 (357|$#,357|$#,)!
4173 f5 (357|$#,357|$#,)!
4183 f0 (357|@5|4@0@9&#,357|$#,)!
4193 f1 (357|@5|4@0@9&#,357|$#,)!
4203 f402 (357|@5|4@0@9&#,357|$#,)!
4213 f0 (357|$#,357|$#,)!
4223 f63 (357|$#,357|$#,)!
b46462e0 4230 s260|-1 419 -1
920a3797 4241 t418|418&
4253 f0 (357|4@0@7&#,63|$#,357|$#,419|$#,)!
4263 f63 (357|4@0@7&#,63|$#,357|$#,419|$#,)!
4273 f0 (357|$#,)!
4283 f63 (357|$#,)!
4293 C0.1/357|!
4303 f0 (357|@5|4@0@9&#,357|$#,63|$#,)!
4313 f1 (357|@5|4@0@9&#,357|$#,63|$#,)!
4323 f424 (357|@5|4@0@9&#,357|$#,63|$#,)!
4333 f0 (357|$#,357|$#,63|$#,)!
4343 f5 (357|$#,357|$#,63|$#,)!
4353 f0 (357|@5|4@0@9&#,357|$#,63|$#,)!
4363 f1 (357|@5|4@0@9&#,357|$#,63|$#,)!
4373 f424 (357|@5|4@0@9&#,357|$#,63|$#,)!
4383 f0 (357|@5|$#,357|$#,)!
4393 f19 (357|@5|$#,357|$#,)!
4403 f357 (357|@5|$#,357|$#,)!
4413 f0 (357|@5|$#,65|$#,)!
4423 f19 (357|@5|$#,65|$#,)!
4433 f357 (357|@5|$#,65|$#,)!
4441 t357|357&
4453 f0 (23|0@5@7&#,439|$#,63|$#,375|0@5@7&#,)!
4463 f63 (23|0@5@7&#,439|$#,63|$#,375|0@5@7&#,)!
4473 f0 (357|$#,357|$#,)!
4483 f63 (357|$#,357|$#,)!
4493 f0 (357|$#,357|$#,)!
4503 f19 (357|$#,357|$#,)!
4513 f357 (357|$#,357|$#,)!
4523 f0 (357|$#,439|0@5@7&#,)!
4533 f17 (357|$#,439|0@5@7&#,)!
4543 f0 (357|0@5@7&#,357|$#,439|$#,)!
4553 f19 (357|0@5@7&#,357|$#,439|$#,)!
4563 f357 (357|0@5@7&#,357|$#,439|$#,)!
4573 f0 (357|$#,439|0@5@7&#,5|$#,)!
4583 f9 (357|$#,439|0@5@7&#,5|$#,)!
4593 f0 (357|$#,439|0@5@7&#,5|$#,)!
4603 f10 (357|$#,439|0@5@7&#,5|$#,)!
4613 f0 (357|0@5@7&#,357|$#,63|$#,)!
4623 f63 (357|0@5@7&#,357|$#,63|$#,)!
885824d3 4633 f0 (66|$#,)!
4643 f5 (66|$#,)!
920a3797 4653 f0 (357|$#,65|$#,63|$#,)!
4663 f19 (357|$#,65|$#,63|$#,)!
4673 f357 (357|$#,65|$#,63|$#,)!
4683 f0 (357|$#,357|$#,63|$#,)!
4693 f5 (357|$#,357|$#,63|$#,)!
4703 f0 (357|@5|$#,357|$#,63|$#,)!
4713 f19 (357|@5|$#,357|$#,63|$#,)!
4723 f357 (357|@5|$#,357|$#,63|$#,)!
4733 f0 (357|@5|$#,357|$#,63|$#,)!
4743 f19 (357|@5|$#,357|$#,63|$#,)!
4753 f357 (357|@5|$#,357|$#,63|$#,)!
4763 f0 (357|@5|$#,65|$#,63|$#,)!
4773 f19 (357|@5|$#,65|$#,63|$#,)!
4783 f357 (357|@5|$#,65|$#,63|$#,)!
4793 f0 (357|$#,!.,)!
4803 f5 (357|$#,!.,)!
4813 f0 (357|$#,!.,)!
4823 f5 (357|$#,!.,)!
b46462e0 4830 s284|&
4840 s285|&
885824d3 4853 f0 (66|$#,)!
4863 f2 (66|$#,)!
4873 f0 (66|$#,)!
4883 f2 (66|$#,)!
4893 f0 (66|$#,)!
4903 f2 (66|$#,)!
920a3797 4913 f0 (66|$#,478|$#,)!
4923 f2 (66|$#,478|$#,)!
885824d3 4933 f0 (66|$#,)!
4943 f2 (66|$#,)!
4953 f0 (66|$#,)!
4963 f2 (66|$#,)!
4973 f0 (66|$#,)!
4983 f2 (66|$#,)!
4993 f0 (66|$#,)!
5003 f2 (66|$#,)!
5013 f0 (66|$#,)!
5023 f2 (66|$#,)!
5033 f0 (66|$#,)!
5043 f2 (66|$#,)!
5053 f0 (66|$#,)!
5063 f2 (66|$#,)!
5073 f0 (66|$#,)!
5083 f2 (66|$#,)!
920a3797 5093 f0 (66|$#,479|$#,)!
5103 f66 (66|$#,479|$#,)!
885824d3 5113 f0 (66|$#,)!
5123 f66 (66|$#,)!
5133 f0 (66|$#,)!
5143 f66 (66|$#,)!
5153 f0 (23|$#,)!
920a3797 5163 f479 (23|$#,)!
d249c973 5173 f0 (23|$#,)!
920a3797 5183 f478 (23|$#,)!
885824d3 5193 f0 (23|$#,63|$#,)!
5203 f5 (23|$#,63|$#,)!
920a3797 5213 f0 (357|0@5@7&#,23|0@5@7&#,63|$#,)!
5223 f5 (357|0@5@7&#,23|0@5@7&#,63|$#,)!
885824d3 5233 f0 (23|4@5@7&#,65|$#,)!
5243 f5 (23|4@5@7&#,65|$#,)!
920a3797 5253 f0 (357|4@0@7&#,23|$#,63|$#,)!
5263 f63 (357|4@0@7&#,23|$#,63|$#,)!
5273 f0 (23|4@0@7&#,357|$#,63|$#,)!
5283 f63 (23|4@0@7&#,357|$#,63|$#,)!
885824d3 5293 C0.1/20|!
5303 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
5313 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
920a3797 5323 f524 (20|@5|4@0@9&#,20|$#,63|$#,)!
885824d3 5333 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
5343 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
920a3797 5353 f524 (20|@5|4@0@7&#,20|$#,63|$#,)!
885824d3 5363 C0.1/23|!
7b1629ab 5373 f0 (23|@5|4@0@9&#,23|$#,)!
5383 f1 (23|@5|4@0@9&#,23|$#,)!
5393 f531 (23|@5|4@0@9&#,23|$#,)!
5403 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
5413 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
5423 f531 (23|@5|4@0@9&#,23|$#,63|$#,)!
119f0b93 5433 f0 (23|@5|0@0@9&#,23|$#,)!
5443 f1 (23|@5|0@0@9&#,23|$#,)!
5453 f531 (23|@5|0@0@9&#,23|$#,)!
5463 f0 (23|@5|0@0@9&#,23|$#,63|$#,)!
5473 f1 (23|@5|0@0@9&#,23|$#,63|$#,)!
5483 f531 (23|@5|0@0@9&#,23|$#,63|$#,)!
885824d3 5493 f0 (20|$#,20|$#,63|$#,)!
5503 f5 (20|$#,20|$#,63|$#,)!
5513 f0 (23|$#,23|$#,)!
5523 f5 (23|$#,23|$#,)!
5533 f0 (23|$#,23|$#,)!
5543 f5 (23|$#,23|$#,)!
5553 f0 (23|$#,23|$#,63|$#,)!
5563 f5 (23|$#,23|$#,63|$#,)!
5573 f0 (23|4@5@7&#,23|$#,63|$#,)!
5583 f63 (23|4@5@7&#,23|$#,63|$#,)!
5593 f0 (20|$#,5|$#,63|$#,)!
5603 f19 (20|$#,5|$#,63|$#,)!
5613 f20 (20|$#,5|$#,63|$#,)!
920a3797 5623 f0 (23|$#,4|$#,)!
5633 f19 (23|$#,4|$#,)!
5643 f23 (23|$#,4|$#,)!
885824d3 5653 f0 (23|$#,23|$#,)!
5663 f63 (23|$#,23|$#,)!
5673 f0 (23|@5|$#,23|$#,)!
5683 f19 (23|@5|$#,23|$#,)!
5693 f23 (23|@5|$#,23|$#,)!
5703 f0 (23|@5|$#,4|$#,)!
5713 f19 (23|@5|$#,4|$#,)!
5723 f23 (23|@5|$#,4|$#,)!
5733 f0 (23|$#,23|$#,)!
5743 f63 (23|$#,23|$#,)!
5753 f0 (23|@5|0@0@9&#,23|$#,)!
5763 f19 (23|@5|0@0@9&#,23|$#,)!
5773 f23 (23|@5|0@0@9&#,23|$#,)!
5783 f0 (23|@5|0@5@7&#,23|$#,)!
5793 f19 (23|@5|0@5@7&#,23|$#,)!
5803 f23 (23|@5|0@5@7&#,23|$#,)!
5813 C0.1/20|!
5823 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
5833 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
920a3797 5843 f576 (20|@5|4@0@7&#,5|$#,63|$#,)!
885824d3 5853 f0 (5|$#,)!
5863 f19 (5|$#,)!
5873 f23 (5|$#,)!
5883 f0 (23|$#,)!
5893 f63 (23|$#,)!
b46462e0 5900 s331|&
5910 s332|-1 594 -1
885824d3 5923 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,}!
5933 f0 ()!
920a3797 5943 f585 ()!
5953 f0 (586|$#,586|$#,)!
5963 f17 (586|$#,586|$#,)!
5973 f0 (419|$#,)!
5983 f586 (419|$#,)!
5991 t586|586&
6003 f0 (594|4@5@7&#,)!
6013 f586 (594|4@5@7&#,)!
6023 f0 (419|$#,)!
6033 f19 (419|$#,)!
6043 f23 (419|$#,)!
6053 f0 (594|$#,)!
6063 f19 (594|$#,)!
6073 f23 (594|$#,)!
6083 f0 (594|$#,)!
6093 f19 (594|$#,)!
6103 f419 (594|$#,)!
6113 f0 (594|$#,)!
6123 f19 (594|$#,)!
6133 f419 (594|$#,)!
6143 f0 (23|4@0@7&#,63|$#,23|$#,419|$#,)!
6153 f63 (23|4@0@7&#,63|$#,23|$#,419|$#,)!
885824d3 616;;tistable
6170
b46462e0 61828
61928,123
620123
62128,123,138
622138
62328,123,138,141
624141
62528,123,138,141,142
626142
885824d3 627;;symTable
628*0 (Datatype)
b46462e0 629^0 2@+@-@0@0@0@0@2#lltX_bool
630*1 (Constant)
631^1 2@i0@0@6#FALSE
632^2 2@i1@0@0#TRUE
633*11 (GlobalMarker)
634*1 (Constant)
635^4 5$#__LINE__
636^5 23$#__DATE__#__FILE__#__BASE_FILE__
637^8 5$#__INCLUDE_LEVEL__
638^9 23$#__VERSION__
639*0 (Datatype)
640^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
641^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
642^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
643*1 (Constant)
644^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
645^16 5$#__LCLINT__
646*3 (Variable)
647^17 191|@1|6@0@0@0@2#stdin#stdout
648*1 (Constant)
649^19 5$#EDOM#ERANGE#EILSEQ
650*3 (Variable)
651^22 5|@1|6@0@0@0@4#errno
652*0 (Datatype)
653^23 13@-@-@0@0@0@0@62#ptrdiff_t
654^24 14@-@-@0@0@0@0@63#size_t
655^25 15@-@-@0@0@0@0@64#ssize_t
656^26 13@-@-@0@0@0@0@65#wchar_t
657^27 13@-@-@0@0@0@0@66#wint_t
658^28 0@+@=@0@0@0@0@67#mbstate_t
659*1 (Constant)
660^29 0@i0@0@6#NULL
661^30 2$#NDEBUG
662*4 (Function)
663^31 71@6@0@8@0@0^$@0#assert
664^32 73$^$@0#isalnum
665^33 75$^$@0#isalpha
666^34 77$^$@0#iscntrl
667^35 79$^$@0#isdigit
668^36 81$^$@0#isgraph
669^37 83$^$@0#islower
670^38 85$^$@0#isprint
671^39 87$^$@0#ispunct
672^40 89$^$@0#isspace
673^41 91$^$@0#isupper
674^42 93$^$@0#isxdigit
675^43 95$^$@0#tolower
676^44 97$^$@0#toupper
677*7 (Struct tag)
678^45 98@99#@lconv
679*1 (Constant)
680^46 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
681*4 (Function)
682^52 102@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@19@3@0#setlocale
683^53 106$^@3@0@0#localeconv
684*3 (Variable)
685^54 5|@1|6@0@0@0@1#DBL_DIG
686^55 17|@1|6@0@0@0@1#DBL_EPSILON
687^56 5|@1|6@0@0@0@1#DBL_MANT_DIG
688^57 17|@1|6@0@0@0@1#DBL_MAX
689^58 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
690^60 17|@1|6@0@0@0@1#DBL_MIN
691^61 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
692^64 16|@1|6@0@0@0@1#FLT_EPSILON
693^65 5|@1|6@0@0@0@1#FLT_MANT_DIG
694^66 16|@1|6@0@0@0@1#FLT_MAX
695^67 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
696^69 16|@1|6@0@0@0@1#FLT_MIN
697^70 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
698*1 (Constant)
699^72 5$#FLT_RADIX
700*3 (Variable)
701^73 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
702^75 18|@1|6@0@0@0@1#LDBL_EPSILON
703^76 5|@1|6@0@0@0@1#LDBL_MANT_DIG
704^77 18|@1|6@0@0@0@1#LDBL_MAX
705^78 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
706^80 18|@1|6@0@0@0@1#LDBL_MIN
707^81 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
708*1 (Constant)
709^83 5$#CHAR_BIT
710^84 4$#CHAR_MAX#CHAR_MIN
711^86 5$#INT_MAX#INT_MIN
712^88 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
713^91 4$#SCHAR_MAX#SCHAR_MIN
714^93 7$#SHRT_MAX#SHRT_MIN
715^95 3$#UCHAR_MAX#UCHAR_MIN
716^97 6$#UINT_MAX
717^98 10$#ULONG_MAX
718^99 8$#USHRT_MAX
719^100 17$#HUGE_VAL
720*4 (Function)
721^101 108$^$@0#sin
722^102 110$^$@0#cos
723^103 112$^$@0#tan
724^104 114$@0@g22@6@0@1@g22$@0#asin
725^105 116$@0@g22@6@0@1@g22$@0#acos
726^106 118$^$@0#atan
727^107 120$^$@0#atan2
728^108 122$^$@0#sinh
729^109 124$@0@g22@6@0@1@g22$@0#cosh
730^110 126$^$@0#tanh
731^111 128$@0@g22@6@0@1@g22$@0#exp
732^112 130$@0@g22@6@0@1@g22$@0#ldexp
733^113 132$@0@@1@tp1$@0#frexp
734^114 134$@0@g22@6@0@1@g22$@0#log
735^115 136$@0@g22@6@0@1@g22$@0#log10
736^116 138$@0@g22@6@0@1@g22$@0#pow
737^117 140$@0@g22@6@0@1@g22$@0#sqrt
738^118 142$^$@0#ceil
739^119 144$^$@0#floor
740^120 146$^$@0#fabs
741^121 148$@0@@1@tp1$@0#modf
742^122 150$^$@0#fmod
743*0 (Datatype)
744^123 20@+@+@0@0@0@0@151#jmp_buf
745*4 (Function)
746^124 153$@0@@1@p0$@0#setjmp
747^125 155@6@0@5@0@0^$@0#longjmp
748*1 (Constant)
749^126 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
750*0 (Datatype)
751^132 13@-@-@0@0@0@0@156#sig_atomic_t
752*1 (Constant)
753^133 160$#SIG_DFL
754^134 164$#SIG_ERR
755^135 168$#SIG_IGN
756*4 (Function)
757^136 181@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22$@0#signal
758^137 183@6@0@5@0@0$$@0#raise
759*0 (Datatype)
760^138 20@+@+@0@0@0@0@184#va_list
761*4 (Function)
762^139 186$@0@@1@p0$@0#va_start
763^140 188$@0@@1@p0$@0#va_end
764*0 (Datatype)
765^141 20@+@+@0@0@0@0@189#FILE
766^142 20@+@+@0@0@0@0@190#fpos_t
885824d3 767*1 (Constant)
b46462e0 768^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
885824d3 769*3 (Variable)
b46462e0 770^155 191|@1|6@0@0@0@2#stderr
885824d3 771*4 (Function)
b46462e0 772^156 193$@0@s3,g22@6@0@1@s3,g22$@0#remove
773^157 195$@0@s3,g22@6@0@1@s3,g22$@0#rename
774^158 198@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
775^159 201$@0@s1@1@tp0,s1@19@3@0#tmpnam
776^160 203$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
777^161 205$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
778^162 208@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
779^163 211@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
780^164 213$@0@s3@1@s3,tp0,tp1$@0#setbuf
781^165 215$@0@s3@1@s3,tp0,tp1$@0#setvbuf
782^166 217@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
783^167 219@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
784^168 221@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
785^169 223@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
786^170 225@6@0@1@1@0@0@@1@tp0$@0#sprintf
787^171 227@6@0@1@2@0^$@0#sscanf
788^172 229$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
789^173 231$@1@g18@6@0,s3@1@s3,p1,tg18$@0#vprintf
790^174 233$@0@@1@tp0,p2$@0#vsprintf
791^175 235$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
792^176 238@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
793^177 241$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
794^178 243$@0@s3@1@s3,tp1$@0#fputs
795^179 245$@0@s3@1@s3,tp0$@0#getc
796^180 247$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
7b1629ab 797^181 250@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
b46462e0 798^182 252$@0@s3@1@s3,tp1$@0#putc
799^183 254$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
800^184 256$@1@g18@6@0,s3@1@s3,tg18$@0#puts
801^185 258$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
802^186 260$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
803^187 262$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
804^188 265$@0@g22@6@0@1@tp1,g22$@0#fgetpos
805^189 267$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
806^190 269$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
807^191 271$@0@g22@6@0@1@g22$@0#ftell
808^192 273$@0@@1@tp0$@0#rewind
809^193 275$@0@@1@tp0$@0#clearerr
810^194 277$@0@g22@6@0@1@g22$@0#feof
811^195 279$@0@g22@6@0@1@g22$@0#ferror
812^196 281$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
813^197 283$^$@0#atof
814^198 285$^$@0#atoi
815^199 287$^$@0#atol
816^200 291$@0@g22@6@0@1@tp1,g22$@0#strtod
817^201 293$@0@g22@6@0@1@tp1,g22$@0#strtol
818^202 295$@0@g22@6@0@1@tp1,g22$@0#strtoul
819*1 (Constant)
820^203 5$#RAND_MAX
821*4 (Function)
822^204 297$@0@s1@1@s1$@0#rand
823^205 299$@0@s1@1@s1$@0#srand
824^206 302@6@5@1@0@0^@2@0@0#calloc
825^207 305@4@5@1@0@0^@2@0@0#malloc
826^208 308@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
827^209 310$@0@@1@tp0$@0#free
828*1 (Constant)
829^210 5$#EXIT_FAILURE#EXIT_SUCCESS
830*4 (Function)
831^212 312@6@0@6@0@0^$@0#abort
832^213 314@6@0@6@0@0^$@0#exit
833^214 320$@0@s1@1@s1$@0#atexit
834^215 323@6@5@1@0@0^@19@3@0#getenv
835^216 325$@0@s3@1@s3$@0#system
836^217 332@6@5@1@0@0^@18@0@0#bsearch
837^218 338$@0@g22@6@0@1@tp0,g22$@0#qsort
838^219 340$^$@0#abs
839*7 (Struct tag)
840^220 341@342#@!2
841*0 (Datatype)
842^221 341@-@-@0@0@0@0@343#div_t
843*4 (Function)
844^222 345$^$@0#div
845^223 347$^$@0#labs
846*7 (Struct tag)
847^224 348@349#@!3
848*0 (Datatype)
849^225 348@-@-@0@0@0@0@350#ldiv_t
850*4 (Function)
851^226 352$^$@0#ldiv
852*1 (Constant)
853^227 63$#MB_CUR_MAX
854^228 5$#WCHAR_MAX#WCHAR_MIN
855^230 66$#WEOF
856*4 (Function)
857^231 354$^$@0#btowc
858^232 356$@0@s3@1@s3,tp0$@0#fgetwc
859^233 360@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
860^234 362$@0@s3@1@s3,tp1$@0#fputwc
861^235 364$@0@s3@1@s3,tp1$@0#fputws
862^236 366$^$@0#fwide
863^237 368@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
864^238 370@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
865^239 372$@0@s3@1@s3,tp0$@0#getwc
866^240 374$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
867^241 377$^$@0#mbrlen
868^242 379$@0@@1@tp0$@0#mbrtowc
869^243 381$^$@0#mbsinit
870^244 383$@0@@1@tp0$@0#mbsrtowcs
871^245 385$@0@s3@1@s3,tp1$@0#putwc
872^246 387$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
873^247 389@6@0@1@1@0@0@@1@tp0$@0#swprintf
874^248 391@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
875^249 393$@0@s3@1@s3,tp1$@0#ungetwc
876^250 395$@0@s3@1@s3,tp0$@0#vfwprintf
877^251 397$@0@@1@tp0$@0#vswprintf
878^252 399$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
879^253 401$@0@@1@tp0$@0#wcrtomb
880^254 405$@0@@1@tp0$@0#wcscat
881^255 408@6@5@1@0@0^@19@2@0#wcschr
882^256 410$^$@0#wcscmp
883^257 412$^$@0#wcscoll
884^258 415$@0@@1@tp0$@0#wcscpy
885^259 417$^$@0#wcscspn
885824d3 886*7 (Struct tag)
b46462e0 887^260 587@418#@tm
888*4 (Function)
889^261 421$@0@@1@tp0$@0#wcsftime
890^262 423$^$@0#wcslen
891^263 427$@0@@1@tp0$@0#wcsncat
892^264 429$^$@0#wcsncmp
893^265 432$@0@@1@tp0$@0#wcsncpy
894^266 435@6@5@1@0@0^$@0#wcspbrk
895^267 438@6@5@1@0@0^$@0#wcsrchr
896^268 441$@0@@1@tp1$@0#wcsrtombs
897^269 443$^$@0#wcsspn
898^270 446@6@5@1@0@0^@3@0@0#wcsstr
899^271 448$@0@@1@tp1$@0#wcstod
900^272 451@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
901^273 453$@0@@1@tp1$@0#wcstol
902^274 455$@0@@1@tp1$@0#wcstoul
903^275 457$@0@@1@tp0$@0#wcsxfrm
904^276 459$^$@0#wctob
905^277 462@6@5@1@0@0^@3@0@0#wmemchr
906^278 464$^$@0#wmemcmp
907^279 467$@0@@1@tp0$@0#wmemcpy
908^280 470$@0@@1@tp0$@0#wmemmove
909^281 473$@0@@1@tp0$@0#wmemset
910^282 475@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
911^283 477@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
912*0 (Datatype)
913^284 13@-@-@0@0@0@0@478#wctype_t
914^285 13@-@-@0@0@0@0@479#wctrans_t
915*4 (Function)
916^286 481$^$@0#iswalnum
917^287 483$^$@0#iswalpha
918^288 485$^$@0#iswcntrl
919^289 487$^$@0#iswctype
920^290 489$^$@0#iswdigit
921^291 491$^$@0#iswgraph
922^292 493$^$@0#iswlower
923^293 495$^$@0#iswprint
924^294 497$^$@0#iswpunct
925^295 499$^$@0#iswspace
926^296 501$^$@0#iswupper
927^297 503$^$@0#iswxdigit
928^298 505$^$@0#towctrans
929^299 507$^$@0#towlower
930^300 509$^$@0#towupper
931^301 511$^$@0#wctrans
932^302 513$^$@0#wctype
933^303 515$^$@0#mblen
934^304 517$@0@@1@tp0$@0#mbtowc
935^305 519$@0@@1@tp0$@0#wctomb
936^306 521$@0@@1@tp0$@0#mbstowcs
937^307 523$@0@@1@tp0$@0#wcstombs
938^308 527$@0@@1@tp0$@0#memcpy
939^309 530$@0@@1@tp0$@0#memmove
7b1629ab 940^310 534$@0@@1@tp0$@0#strcpy
941^311 537$@0@@1@tp0$@0#strncpy
3814599d 942^312 540$@0@@1@tp0$@0#strcat
943^313 543$@0@@1@tp0$@0#strncat
b46462e0 944^314 545$^$@0#memcmp
945^315 547$^$@0#strcmp
946^316 549$^$@0#strcoll
947^317 551$^$@0#strncmp
948^318 553$@0@@1@tp0$@0#strxfrm
949^319 556@6@5@1@0@0^@3@0@0#memchr
950^320 559@6@5@1@0@0^@19@2@0#strchr
951^321 561$^$@0#strcspn
952^322 564@6@5@1@0@0^@19@2@0#strpbrk
953^323 567@6@5@1@0@0^@19@2@0#strrchr
954^324 569$^$@0#strspn
955^325 572@6@5@1@0@0^@19@2@0#strstr
956^326 575@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
957^327 579$@0@@1@tp0$@0#memset
958^328 582$^@19@3@0#strerror
959^329 584$^$@0#strlen
960*1 (Constant)
961^330 5$#CLOCKS_PER_SEC
962*0 (Datatype)
963^331 13@-@-@0@0@0@0@585#clock_t
964^332 13@-@-@0@0@0@0@586#time_t
965*4 (Function)
966^333 589$@0@s1@1@s1$@0#clock
967^334 591$^$@0#difftime
968^335 593$^$@0#mktime
969^336 596$@0@@1@tp0$@0#time
970^337 599$@0@g22@6@0@1@g22@19@3@0#asctime
971^338 602$^@19@3@0#ctime
972^339 605@6@5@1@0@0^@19@3@0#gmtime
973^340 608@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
974^341 610$@0@@1@tp0$@0#strftime
920a3797 975;; Library constraints
b46462e0 976fgets
977pre:
920a3797 978C
9790@1@3
980l
9811
9821
9832
9842
b46462e0 985Param 23 0
920a3797 986r
9870
9881
989e1
9902
9912
b46462e0 992Param 5 1
920a3797 993e2
9942
9953
996-1
997;; end precondition constraints
920a3797 998post:
999C
b46462e0 10000@1@3
920a3797 1001l
10021
b46462e0 10033
10042
10052
1006Param 23 0
1007r
10082
10093
10100
1011C
10120@1@1
1013l
920a3797 10141
b46462e0 10153
920a3797 10162
10172
b46462e0 1018Param 23 0
920a3797 1019r
10200
10211
1022e1
10232
10242
b46462e0 1025Param 5 1
920a3797 1026e2
10272
10283
1029-1
1030;; end precondition constraints
b46462e0 1031calloc
920a3797 1032pre:EMPTY
1033post:
1034C
10350@1@4
1036l
10371
10381
10392
10402
1041Result
1042r
10430
10441
1045e1
10462
10472
1048Param 63 0
1049e2
10502
10513
1052-1
1053;; end precondition constraints
b46462e0 1054malloc
1055pre:EMPTY
1056post:
920a3797 1057C
b46462e0 10580@1@4
920a3797 1059l
10601
10611
10622
10632
b46462e0 1064Result
920a3797 1065r
10660
10671
1068e1
10692
10702
b46462e0 1071Param 63 0
920a3797 1072e2
10732
10743
1075-1
1076;; end precondition constraints
b46462e0 1077realloc
1078pre:EMPTY
920a3797 1079post:
1080C
10810@1@3
1082l
10831
920a3797 10841
920a3797 10852
10862
b46462e0 1087Result
920a3797 1088r
10890
10901
1091e1
10922
10932
b46462e0 1094Param 63 1
920a3797 1095e2
10962
10973
1098-1
1099;; end precondition constraints
b46462e0 1100memcpy
1101pre:
920a3797 1102C
11030@1@3
1104l
11051
b46462e0 11061
920a3797 11072
11082
b46462e0 1109Param 20 0
920a3797 1110r
11112
b46462e0 11122
1113Param 63 2
920a3797 1114C
b46462e0 11150@1@3
920a3797 1116l
11171
11183
11192
11202
b46462e0 1121Param 20 1
920a3797 1122r
920a3797 11232
11242
b46462e0 1125Param 63 2
1126;; end precondition constraints
1127post:EMPTY
1128memmove
1129pre:
920a3797 1130C
b46462e0 11310@1@3
920a3797 1132l
11331
11341
11352
11362
b46462e0 1137Param 20 0
920a3797 1138r
b46462e0 11392
11402
1141Param 63 2
1142C
11430@1@3
1144l
920a3797 11451
b46462e0 11463
920a3797 11472
11482
b46462e0 1149Param 20 1
1150r
11512
11522
1153Param 63 2
1154;; end precondition constraints
1155post:EMPTY
1156strcpy
1157pre:
920a3797 1158C
11590@1@3
1160l
11611
11621
11632
11642
b46462e0 1165Param 23 0
920a3797 1166r
b46462e0 11671
920a3797 11683
b46462e0 11692
11702
1171Param 23 1
920a3797 1172;; end precondition constraints
920a3797 1173post:
1174C
b46462e0 11750@1@4
920a3797 1176l
11771
b46462e0 11781
920a3797 11792
11802
1181Result
1182r
b46462e0 11831
11841
920a3797 11852
b46462e0 11862
1187Param 23 0
920a3797 1188C
b46462e0 11890@1@4
920a3797 1190l
11911
11923
11932
11942
1195Result
1196r
11971
11983
11992
12002
b46462e0 1201Param 23 1
920a3797 1202C
b46462e0 12030@1@4
920a3797 1204l
12051
b46462e0 12063
920a3797 12072
12082
b46462e0 1209Param 23 0
920a3797 1210r
12111
b46462e0 12123
920a3797 12132
12142
b46462e0 1215Param 23 1
1216;; end precondition constraints
1217strncpy
1218pre:
920a3797 1219C
12200@1@3
1221l
12221
12231
12242
12252
b46462e0 1226Param 23 0
920a3797 1227r
b46462e0 12280
12291
1230e1
12312
12322
1233Param 63 2
1234e2
920a3797 12352
12363
b46462e0 1237-1
920a3797 1238;; end precondition constraints
920a3797 1239post:
1240C
b46462e0 12410@1@1
920a3797 1242l
12431
12443
12452
12462
b46462e0 1247Param 23 0
920a3797 1248r
12492
b46462e0 12502
1251Param 63 2
920a3797 1252C
b46462e0 12530@1@3
920a3797 1254l
12551
12563
12572
12582
b46462e0 1259Param 23 1
920a3797 1260r
12611
12623
12632
12642
1265Param 23 0
b46462e0 1266;; end precondition constraints
1267strcat
1268pre:
920a3797 1269C
b46462e0 12700@1@3
920a3797 1271l
12721
12731
12742
12752
b46462e0 1276Param 23 0
920a3797 1277r
b46462e0 12780
920a3797 12791
b46462e0 1280e1
920a3797 12811
b46462e0 12823
920a3797 12832
12842
1285Param 23 0
b46462e0 1286e2
920a3797 12871
b46462e0 12883
920a3797 12892
12902
b46462e0 1291Param 23 1
920a3797 1292;; end precondition constraints
920a3797 1293post:
1294C
12950@1@4
1296l
12971
12983
12992
13002
1301Result
1302r
b46462e0 13030
920a3797 13041
b46462e0 1305e1
920a3797 13061
b46462e0 13073
920a3797 13082
13092
b46462e0 1310Param 23 0
1311e2
920a3797 13121
13133
13142
13152
b46462e0 1316Param 23 1
920a3797 1317;; end precondition constraints
b46462e0 1318strncat
920a3797 1319pre:
1320C
13210@1@3
1322l
13231
13241
13252
13262
b46462e0 1327Param 23 0
920a3797 1328r
13290
13301
1331e1
b46462e0 13321
13333
920a3797 13342
13352
b46462e0 1336Param 23 0
920a3797 1337e2
13382
b46462e0 13392
119f0b93 1340Param 63 2
920a3797 1341;; end precondition constraints
1342post:
1343C
13440@1@3
1345l
13461
13473
13482
13492
b46462e0 1350Result
920a3797 1351r
13520
13531
1354e1
b46462e0 13551
13563
920a3797 13572
13582
b46462e0 1359Param 23 0
920a3797 1360e2
13612
b46462e0 13622
119f0b93 1363Param 63 2
920a3797 1364;; end precondition constraints
b46462e0 1365strchr
1366pre:EMPTY
1367post:
920a3797 1368C
13690@1@3
1370l
13711
b46462e0 13723
920a3797 13732
13742
b46462e0 1375Result
920a3797 1376r
13772
b46462e0 13783
13790
920a3797 1380C
b46462e0 13810@1@1
920a3797 1382l
13831
13843
13852
13862
b46462e0 1387Result
920a3797 1388r
b46462e0 13891
13903
920a3797 13912
13922
b46462e0 1393Param 23 0
920a3797 1394C
b46462e0 13950@1@1
920a3797 1396l
13971
13981
13992
14002
b46462e0 1401Result
920a3797 1402r
b46462e0 14031
14041
920a3797 14052
14062
b46462e0 1407Param 23 0
920a3797 1408C
14090@1@3
1410l
14111
b46462e0 14121
920a3797 14132
14142
b46462e0 1415Result
920a3797 1416r
14172
b46462e0 14183
14190
920a3797 1420;; end precondition constraints
b46462e0 1421strrchr
1422pre:EMPTY
1423post:
920a3797 1424C
14250@1@3
1426l
14271
b46462e0 14283
920a3797 14292
14302
b46462e0 1431Result
920a3797 1432r
b46462e0 14332
14343
920a3797 14350
b46462e0 1436C
14370@1@1
1438l
920a3797 14391
14403
14412
14422
b46462e0 1443Result
1444r
14451
14463
920a3797 14472
14482
b46462e0 1449Param 23 0
920a3797 1450C
b46462e0 14510@1@1
920a3797 1452l
14531
b46462e0 14541
920a3797 14552
14562
1457Result
1458r
920a3797 14591
920a3797 14601
920a3797 14612
14622
1463Param 23 0
920a3797 1464C
14650@1@3
1466l
14671
14681
14692
14702
b46462e0 1471Result
920a3797 1472r
b46462e0 14732
14743
920a3797 14750
b46462e0 1476;; end precondition constraints
1477strstr
1478pre:EMPTY
1479post:
1480C
14810@1@3
1482l
920a3797 14831
b46462e0 14843
920a3797 14852
14862
b46462e0 1487Result
1488r
920a3797 14892
14903
b46462e0 14910
920a3797 1492C
14930@1@1
1494l
14951
14963
14972
14982
b46462e0 1499Result
920a3797 1500r
b46462e0 15011
15023
920a3797 15032
15042
b46462e0 1505Param 23 0
920a3797 1506C
b46462e0 15070@1@1
920a3797 1508l
15091
b46462e0 15101
920a3797 15112
15122
b46462e0 1513Result
920a3797 1514r
15151
b46462e0 15161
920a3797 15172
15182
1519Param 23 0
b46462e0 1520C
15210@1@3
1522l
15231
15241
15252
15262
1527Result
1528r
15292
15303
15310
920a3797 1532;; end precondition constraints
b46462e0 1533memset
920a3797 1534pre:
1535C
15360@1@3
1537l
15381
15391
15402
15412
b46462e0 1542Param 20 0
920a3797 1543r
15440
15451
1546e1
920a3797 15472
15482
b46462e0 1549Param 63 2
920a3797 1550e2
920a3797 15512
b46462e0 15523
1553-1
920a3797 1554;; end precondition constraints
b46462e0 1555post:
920a3797 1556C
15570@1@3
1558l
15591
b46462e0 15603
920a3797 15612
15622
b46462e0 1563Param 20 0
920a3797 1564r
b46462e0 15650
920a3797 15661
b46462e0 1567e1
920a3797 15682
15692
b46462e0 1570Param 63 2
1571e2
15722
15733
1574-1
920a3797 1575;; end precondition constraints
b46462e0 1576strlen
1577pre:EMPTY
920a3797 1578post:
1579C
15800@1@4
1581l
920a3797 15822
15832
1584Result
1585r
15861
b46462e0 15873
920a3797 15882
15892
1590Param 23 0
b46462e0 1591;; end precondition constraints
1592asctime
1593pre:EMPTY
1594post:
920a3797 1595C
15960@1@4
1597l
15981
15993
16002
16012
1602Result
1603r
b46462e0 16042
920a3797 16053
b46462e0 160625
1607C
16080@1@4
1609l
16101
16111
920a3797 16122
16132
b46462e0 1614Result
1615r
16162
16173
161825
1619;; end precondition constraints
1620ctime
1621pre:EMPTY
1622post:
920a3797 1623C
16240@1@4
1625l
16261
16273
16282
16292
b46462e0 1630Result
920a3797 1631r
b46462e0 16322
920a3797 16333
b46462e0 163425
1635C
16360@1@4
1637l
16381
16391
920a3797 16402
16412
b46462e0 1642Result
1643r
16442
16453
164625
920a3797 1647;; end precondition constraints
885824d3 1648;; Modules access
d249c973 1649lltX_bool#1@
1650types#1@
1651ansi#9@
885824d3 1652;;End
git-cvsimport mirror of splint
This page took 4.172282 seconds and 5 git commands to generate.