]> andersk Git - splint.git/blame - test/null6.lcd
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Hacking Makefile to print a warning when test suite to run under /usr
[splint.git] / test / null6.lcd
CommitLineData
6e3f87f6 1;;; Splint Library null6.lcd
ce956ce0 2;;Splint 3.0.1.7 --- 28 Mar 2002
6e3f87f6 3;;lib:299
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
241 t0|0 315 -1
251 t1|1&
261 t2|2&
271 t3|3&
281 t4|4 316 -1
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 ?!
630 a0|&
640 s10|&
650 s11|&
660 s12|&
670 s25|&
680 s26|&
690 s27|&
700 s28|-1 384 -1
710 s29|&
720 a30|-1 402 -1
733 C0.5/20|!
743 C0.68/2|!
753 C0.2/5|!
763 f0 (70|@7|$#,)!
773 f1 (70|@7|$#,)!
783 C0.4/3|!
793 C0.5/73|!
803 f0 (74|$#,)!
813 f2 (74|$#,)!
823 f70 (74|$#,)!
833 f0 (74|$#,)!
843 f2 (74|$#,)!
853 f70 (74|$#,)!
863 f0 (74|$#,)!
873 f2 (74|$#,)!
883 f70 (74|$#,)!
893 f0 (74|$#,)!
903 f2 (74|$#,)!
913 f70 (74|$#,)!
923 C0.2/5|!
933 f0 (74|$#,)!
943 f2 (74|$#,)!
953 f87 (74|$#,)!
963 C0.5/73|!
973 f0 (91|$#,)!
983 f2 (91|$#,)!
993 f87 (91|$#,)!
1003 f0 (91|$#,)!
1013 f2 (91|$#,)!
1023 f87 (91|$#,)!
1033 f0 (91|$#,)!
1043 f2 (91|$#,)!
1053 f87 (91|$#,)!
1063 f0 (91|$#,)!
1073 f2 (91|$#,)!
1083 f87 (91|$#,)!
1093 C0.2/5|!
1103 f0 (91|$#,)!
1113 f2 (91|$#,)!
1123 f104 (91|$#,)!
1133 C0.5/73|!
1143 f0 (108|$#,)!
1153 f2 (108|$#,)!
1163 f104 (108|$#,)!
1173 C0.4/5|!
1183 f0 (108|$#,)!
1193 f4 (108|$#,)!
1203 f112 (108|$#,)!
1213 f0 (108|$#,)!
1223 f4 (108|$#,)!
1233 f112 (108|$#,)!
1243 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,}!
1250 s47|-1 126 -1
1263 f0 (5|$#,23|0@5@7&#,)!
1273 f19 (5|$#,23|0@5@7&#,)!
1283 f23 (5|$#,23|0@5@7&#,)!
1293 f0 ()!
1303 f19 ()!
1311 t120|120&
1323 f126 ()!
1333 f0 (17|$#,)!
1343 f17 (17|$#,)!
1353 f0 (17|$#,)!
1363 f17 (17|$#,)!
1373 f0 (17|$#,)!
1383 f17 (17|$#,)!
1393 f0 (17|$#,)!
1403 f17 (17|$#,)!
1413 f0 (17|$#,)!
1423 f17 (17|$#,)!
1433 f0 (17|$#,)!
1443 f17 (17|$#,)!
1453 f0 (17|$#,17|$#,)!
1463 f17 (17|$#,17|$#,)!
1473 f0 (17|$#,)!
1483 f17 (17|$#,)!
1493 f0 (17|$#,)!
1503 f17 (17|$#,)!
1513 f0 (17|$#,)!
1523 f17 (17|$#,)!
1533 f0 (17|$#,)!
1543 f17 (17|$#,)!
1553 f0 (17|$#,5|$#,)!
1563 f17 (17|$#,5|$#,)!
1573 f0 (17|$#,24|4@0@7&#,)!
1583 f17 (17|$#,24|4@0@7&#,)!
1593 f0 (17|$#,)!
1603 f17 (17|$#,)!
1613 f0 (17|$#,)!
1623 f17 (17|$#,)!
1633 f0 (17|$#,17|$#,)!
1643 f17 (17|$#,17|$#,)!
1653 f0 (17|$#,)!
1663 f17 (17|$#,)!
1673 f0 (17|$#,)!
1683 f17 (17|$#,)!
1693 f0 (17|$#,)!
1703 f17 (17|$#,)!
1713 f0 (17|$#,)!
1723 f17 (17|$#,)!
1733 f0 (17|$#,36|4@0@7&#,)!
1743 f17 (17|$#,36|4@0@7&#,)!
1753 f0 (17|$#,17|$#,)!
1763 f17 (17|$#,17|$#,)!
1770 a125|&
1783 f0 (172|4@0@7&#,)!
1793 f5 (172|4@0@7&#,)!
1803 f0 (172|$#,5|$#,)!
1813 f1 (172|$#,5|$#,)!
1820 s134|&
1833 ?!
1843 f178 (5|$#,)!
1853 f1 (5|$#,)^181
1861 t180|180&
1873 ?!
1883 f182 (5|$#,)!
1893 f1 (5|$#,)^185
1901 t184|184&
1913 ?!
1923 f186 (5|$#,)!
1933 f1 (5|$#,)^189
1941 t188|188&
1953 ?!
1963 f190 (5|$#,)!
1973 f1 (5|$#,)^193
1981 t192|192&
1993 f0 (5|$#,193|0@5@7&#,)!
2003 f19 (5|$#,193|0@5@7&#,)^196
2011 t195|195&
2023 ?!
2033 f197 (5|$#,)!
2043 f19 (5|$#,)!
2053 f1 (5|$#,193|0@5@7&#,)!
2063 f1 (5|$#,)!
2073 f201 (5|$#,193|0@5@7&#,)!
2083 f0 (5|$#,)!
2093 f5 (5|$#,)!
2100 a140|&
2113 f0 (205|4@0@7&#,!.,)!
2123 f1 (205|4@0@7&#,!.,)!
2133 f0 (205|$#,)!
2143 f1 (205|$#,)!
2150 a143|-1 212 -1
2160 a144|-1 290 -1
2171 t210|210&
2183 f0 (23|$#,)!
2193 f5 (23|$#,)!
2203 f0 (23|$#,23|$#,)!
2213 f5 (23|$#,23|$#,)!
2223 f0 ()!
2233 f19 ()!
2243 f212 ()!
2253 f0 (23|@5|4@5@7&#,)!
2263 f19 (23|@5|4@5@7&#,)!
2273 f23 (23|@5|4@5@7&#,)!
2283 f0 (212|$#,)!
2293 f5 (212|$#,)!
2303 f0 (212|0@5@7&#,)!
2313 f5 (212|0@5@7&#,)!
2323 f0 (23|$#,23|$#,)!
2333 f19 (23|$#,23|$#,)!
2343 f212 (23|$#,23|$#,)!
2353 f0 (23|$#,23|$#,212|$#,)!
2363 f19 (23|$#,23|$#,212|$#,)!
2373 f212 (23|$#,23|$#,212|$#,)!
2383 f0 (212|$#,23|4@5@19@2@0#,)!
2393 f1 (212|$#,23|4@5@19@2@0#,)!
2403 f0 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
2413 f5 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
2423 C0.5/1|!
2433 f0 (212|$#,23|$#,!.,)!
2443 f5 (212|$#,23|$#,!.,)!
2453 f237 (212|$#,23|$#,!.,)!
2463 f0 (212|$#,23|$#,!.,)!
2473 f5 (212|$#,23|$#,!.,)!
2483 f0 (23|$#,!.,)!
2493 f5 (23|$#,!.,)!
2503 f237 (23|$#,!.,)!
2513 f0 (23|$#,!.,)!
2523 f5 (23|$#,!.,)!
2533 f0 (23|4@0@7&#,23|$#,!.,)!
2543 f5 (23|4@0@7&#,23|$#,!.,)!
2553 f237 (23|4@0@7&#,23|$#,!.,)!
2563 f0 (23|4@0@7&#,23|$#,!.,)!
2573 f5 (23|4@0@7&#,23|$#,!.,)!
2583 f0 (23|$#,205|$#,)!
2593 f5 (23|$#,205|$#,)!
2603 f0 (212|$#,23|$#,205|$#,)!
2613 f5 (212|$#,23|$#,205|$#,)!
2623 f0 (23|4@0@7&#,23|$#,205|$#,)!
2633 f5 (23|4@0@7&#,23|$#,205|$#,)!
2643 f0 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
2653 f5 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
2663 f0 (212|$#,)!
2673 f5 (212|$#,)!
2683 f0 (23|@5|4@0@7&#,5|$#,212|$#,)!
2693 f19 (23|@5|4@0@7&#,5|$#,212|$#,)!
2703 f23 (23|@5|4@0@7&#,5|$#,212|$#,)!
2713 C0.5/4|!
2723 f0 (266|$#,212|$#,)!
2733 f5 (266|$#,212|$#,)!
2743 f0 (23|$#,212|$#,)!
2753 f5 (23|$#,212|$#,)!
2763 f0 (212|@7|$#,)!
2773 f5 (212|@7|$#,)!
2783 f0 ()!
2793 f5 ()!
2803 f0 (23|4@0@7&#,)!
2813 f19 (23|4@0@7&#,)!
2823 f23 (23|4@0@7&#,)!
2833 f0 (266|$#,212|@7|$#,)!
2843 f5 (266|$#,212|@7|$#,)!
2853 f0 (266|$#,)!
2863 f5 (266|$#,)!
2873 f0 (23|$#,)!
2883 f5 (23|$#,)!
2893 f0 (266|$#,212|$#,)!
2903 f5 (266|$#,212|$#,)!
2913 f0 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
2923 f63 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
2933 f0 (20|$#,63|$#,63|$#,212|$#,)!
2943 f63 (20|$#,63|$#,63|$#,212|$#,)!
2951 t211|211&
2963 f0 (212|$#,290|4@0@7&#,)!
2973 f5 (212|$#,290|4@0@7&#,)!
2983 f0 (212|$#,9|$#,5|$#,)!
2993 f5 (212|$#,9|$#,5|$#,)!
3003 f0 (212|$#,290|$#,)!
3013 f5 (212|$#,290|$#,)!
3023 f0 (212|$#,)!
3033 f9 (212|$#,)!
3043 f0 (212|$#,)!
3053 f1 (212|$#,)!
3063 f0 (212|$#,)!
3073 f1 (212|$#,)!
3083 f0 (212|$#,)!
3093 f5 (212|$#,)!
3103 f0 (212|$#,)!
3113 f5 (212|$#,)!
3123 f0 (23|0@5@7&#,)!
3133 f1 (23|0@5@7&#,)!
3143 f0 (23|$#,)!
3153 f17 (23|$#,)!
3163 f0 (23|$#,)!
3173 f5 (23|$#,)!
3183 f0 (23|$#,)!
3193 f9 (23|$#,)!
3201 t19|19&
3211 t23|23&
3223 f0 (23|$#,316|4@5@7&#,)!
3233 f17 (23|$#,316|4@5@7&#,)!
3243 f0 (23|$#,316|4@5@7&#,5|$#,)!
3253 f9 (23|$#,316|4@5@7&#,5|$#,)!
3263 f0 (23|$#,316|4@5@7&#,5|$#,)!
3273 f10 (23|$#,316|4@5@7&#,5|$#,)!
3283 f0 ()!
3293 f5 ()!
3303 f0 (6|$#,)!
3313 f1 (6|$#,)!
3323 f0 (63|$#,63|$#,)!
3333 f19 (63|$#,63|$#,)!
3343 f20 (63|$#,63|$#,)!
3353 f0 (63|$#,)!
3363 f19 (63|$#,)!
3373 f20 (63|$#,)!
3383 f0 (20|@5|4@5@2&#,63|$#,)!
3393 f19 (20|@5|4@5@2&#,63|$#,)!
3403 f20 (20|@5|4@5@2&#,63|$#,)!
3413 f0 (20|4@5@2&#,)!
3423 f1 (20|4@5@2&#,)!
3433 f0 ()!
3443 f1 ()!
3453 f0 (5|$#,)!
3463 f1 (5|$#,)!
3473 ?!
3483 f342 ()!
3493 f1 ()^345
3501 t344|344&
3513 f0 (345|$#,)!
3523 f5 (345|$#,)!
3533 f0 (23|$#,)!
3543 f19 (23|$#,)!
3553 f23 (23|$#,)!
3563 f0 (23|0@5@7&#,)!
3573 f5 (23|0@5@7&#,)!
3583 ?!
3593 f353 (20|$#,20|$#,)!
3603 f5 (20|$#,20|$#,)^356
3611 t355|355&
3623 f0 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
3633 f19 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
3643 f20 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
3653 ?!
3663 f360 (20|$#,20|$#,)!
3673 f5 (20|$#,20|$#,)^363
3681 t362|362&
3693 f0 (20|$#,63|$#,63|$#,363|$#,)!
3703 f1 (20|$#,63|$#,63|$#,363|$#,)!
3713 f0 (5|$#,)!
3723 f5 (5|$#,)!
3733 S!2{5|@1|$#quot,5|@1|$#rem,}!
3740 s223|&
3750 s224|&
3763 f0 (5|$#,5|$#,)!
3773 f370 (5|$#,5|$#,)!
3783 f0 (9|$#,)!
3793 f9 (9|$#,)!
3803 S!3{9|@1|$#quot,9|@1|$#rem,}!
3810 s227|&
3820 s228|&
3833 f0 (9|$#,9|$#,)!
3843 f377 (9|$#,9|$#,)!
3853 f0 (5|$#,)!
3863 f66 (5|$#,)!
3873 f0 (212|$#,)!
3883 f66 (212|$#,)!
3891 t65|65 466 -1
3903 f0 (384|@5|$#,5|$#,212|$#,)!
3913 f19 (384|@5|$#,5|$#,212|$#,)!
3923 f384 (384|@5|$#,5|$#,212|$#,)!
3933 f0 (65|$#,212|$#,)!
3943 f66 (65|$#,212|$#,)!
3953 f0 (384|$#,212|$#,)!
3963 f5 (384|$#,212|$#,)!
3973 f0 (212|$#,5|$#,)!
3983 f5 (212|$#,5|$#,)!
3993 f0 (212|$#,384|$#,!.,)!
4003 f5 (212|$#,384|$#,!.,)!
4013 f0 (212|$#,384|$#,!.,)!
4023 f5 (212|$#,384|$#,!.,)!
4033 f0 (212|@7|$#,)!
4043 f66 (212|@7|$#,)!
4053 f0 ()!
4063 f66 ()!
4071 t67|67&
4083 f0 (23|$#,63|$#,402|0@5@7&#,)!
4093 f63 (23|$#,63|$#,402|0@5@7&#,)!
4103 f0 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
4113 f63 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
4123 f0 (402|0@5@7&#,)!
4133 f5 (402|0@5@7&#,)!
4143 f0 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
4153 f63 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
4163 f0 (65|$#,212|@7|$#,)!
4173 f66 (65|$#,212|@7|$#,)!
4183 f0 (65|$#,)!
4193 f66 (65|$#,)!
4203 f0 (384|$#,63|$#,384|$#,!.,)!
4213 f5 (384|$#,63|$#,384|$#,!.,)!
4223 f0 (384|$#,384|$#,!.,)!
4233 f5 (384|$#,384|$#,!.,)!
4243 f0 (66|$#,212|$#,)!
4253 f66 (66|$#,212|$#,)!
4263 f0 (212|$#,384|$#,205|$#,)!
4273 f5 (212|$#,384|$#,205|$#,)!
4283 f0 (384|$#,63|$#,384|$#,205|$#,)!
4293 f5 (384|$#,63|$#,384|$#,205|$#,)!
4303 f0 (384|$#,205|$#,)!
4313 f5 (384|$#,205|$#,)!
4323 f0 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
4333 f63 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
4343 C0.1/384|!
4353 f0 (384|@5|4@0@9&#,384|$#,)!
4363 f1 (384|@5|4@0@9&#,384|$#,)!
4373 f429 (384|@5|4@0@9&#,384|$#,)!
4383 f0 (384|@5|$#,65|$#,)!
4393 f19 (384|@5|$#,65|$#,)!
4403 f384 (384|@5|$#,65|$#,)!
4413 f0 (384|$#,384|$#,)!
4423 f5 (384|$#,384|$#,)!
4433 f0 (384|$#,384|$#,)!
4443 f5 (384|$#,384|$#,)!
4453 f0 (384|@5|4@0@9&#,384|$#,)!
4463 f1 (384|@5|4@0@9&#,384|$#,)!
4473 f429 (384|@5|4@0@9&#,384|$#,)!
4483 f0 (384|$#,384|$#,)!
4493 f63 (384|$#,384|$#,)!
4500 s263|-1 446 -1
4511 t445|445&
4523 f0 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
4533 f63 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
4543 f0 (384|$#,)!
4553 f63 (384|$#,)!
4563 C0.1/384|!
4573 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
4583 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
4593 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
4603 f0 (384|$#,384|$#,63|$#,)!
4613 f5 (384|$#,384|$#,63|$#,)!
4623 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
4633 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
4643 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
4653 f0 (384|@5|$#,384|$#,)!
4663 f19 (384|@5|$#,384|$#,)!
4673 f384 (384|@5|$#,384|$#,)!
4683 f0 (384|@5|$#,65|$#,)!
4693 f19 (384|@5|$#,65|$#,)!
4703 f384 (384|@5|$#,65|$#,)!
4711 t384|384&
4723 f0 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
4733 f63 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
4743 f0 (384|$#,384|$#,)!
4753 f63 (384|$#,384|$#,)!
4763 f0 (384|$#,384|$#,)!
4773 f19 (384|$#,384|$#,)!
4783 f384 (384|$#,384|$#,)!
4793 f0 (384|$#,466|0@5@7&#,)!
4803 f17 (384|$#,466|0@5@7&#,)!
4813 f0 (384|0@5@7&#,384|$#,466|$#,)!
4823 f19 (384|0@5@7&#,384|$#,466|$#,)!
4833 f384 (384|0@5@7&#,384|$#,466|$#,)!
4843 f0 (384|$#,466|0@5@7&#,5|$#,)!
4853 f9 (384|$#,466|0@5@7&#,5|$#,)!
4863 f0 (384|$#,466|0@5@7&#,5|$#,)!
4873 f10 (384|$#,466|0@5@7&#,5|$#,)!
4883 f0 (384|0@5@7&#,384|$#,63|$#,)!
4893 f63 (384|0@5@7&#,384|$#,63|$#,)!
4903 f0 (66|$#,)!
4913 f5 (66|$#,)!
4923 f0 (384|$#,65|$#,63|$#,)!
4933 f19 (384|$#,65|$#,63|$#,)!
4943 f384 (384|$#,65|$#,63|$#,)!
4953 f0 (384|$#,384|$#,63|$#,)!
4963 f5 (384|$#,384|$#,63|$#,)!
4973 f0 (384|@5|$#,384|$#,63|$#,)!
4983 f19 (384|@5|$#,384|$#,63|$#,)!
4993 f384 (384|@5|$#,384|$#,63|$#,)!
5003 f0 (384|@5|$#,384|$#,63|$#,)!
5013 f19 (384|@5|$#,384|$#,63|$#,)!
5023 f384 (384|@5|$#,384|$#,63|$#,)!
5033 f0 (384|@5|$#,65|$#,63|$#,)!
5043 f19 (384|@5|$#,65|$#,63|$#,)!
5053 f384 (384|@5|$#,65|$#,63|$#,)!
5063 f0 (384|$#,!.,)!
5073 f5 (384|$#,!.,)!
5083 f0 (384|$#,!.,)!
5093 f5 (384|$#,!.,)!
5100 s287|&
5110 s288|&
5123 C0.2/5|!
5133 f0 (66|$#,)!
5143 f2 (66|$#,)!
5153 f507 (66|$#,)!
5163 f0 (66|$#,)!
5173 f2 (66|$#,)!
5183 f507 (66|$#,)!
5193 f0 (66|$#,)!
5203 f2 (66|$#,)!
5213 f507 (66|$#,)!
5223 f0 (66|$#,505|$#,)!
5233 f2 (66|$#,505|$#,)!
5243 f507 (66|$#,505|$#,)!
5253 f0 (66|$#,)!
5263 f2 (66|$#,)!
5273 f507 (66|$#,)!
5283 f0 (66|$#,)!
5293 f2 (66|$#,)!
5303 C0.2/5|!
5313 f525 (66|$#,)!
5323 f0 (66|$#,)!
5333 f2 (66|$#,)!
5343 f525 (66|$#,)!
5353 f0 (66|$#,)!
5363 f2 (66|$#,)!
5373 f525 (66|$#,)!
5383 f0 (66|$#,)!
5393 f2 (66|$#,)!
5403 f525 (66|$#,)!
5413 f0 (66|$#,)!
5423 f2 (66|$#,)!
5433 f525 (66|$#,)!
5443 f0 (66|$#,)!
5453 f2 (66|$#,)!
5463 f525 (66|$#,)!
5473 C0.2/5|!
5483 f0 (66|$#,)!
5493 f2 (66|$#,)!
5503 f542 (66|$#,)!
5513 C0.66/5|!
5523 f0 (66|$#,506|$#,)!
5533 f66 (66|$#,506|$#,)!
5543 f546 (66|$#,506|$#,)!
5553 f0 (66|$#,)!
5563 f66 (66|$#,)!
5573 f546 (66|$#,)!
5583 f0 (66|$#,)!
5593 f66 (66|$#,)!
5603 f546 (66|$#,)!
5613 f0 (23|$#,)!
5623 f506 (23|$#,)!
5633 f0 (23|$#,)!
5643 f505 (23|$#,)!
5653 f0 (23|$#,63|$#,)!
5663 f5 (23|$#,63|$#,)!
5673 f0 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
5683 f5 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
5693 f0 (23|4@5@7&#,65|$#,)!
5703 f5 (23|4@5@7&#,65|$#,)!
5713 f0 (384|4@0@7&#,23|$#,63|$#,)!
5723 f63 (384|4@0@7&#,23|$#,63|$#,)!
5733 f0 (23|4@0@7&#,384|$#,63|$#,)!
5743 f63 (23|4@0@7&#,384|$#,63|$#,)!
5753 C0.1/20|!
5763 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
5773 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
5783 f570 (20|@5|4@0@9&#,20|$#,63|$#,)!
5793 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
5803 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
5813 f570 (20|@5|4@0@7&#,20|$#,63|$#,)!
5823 C0.1/23|!
5833 f0 (23|@5|4@0@9&#,23|$#,)!
5843 f1 (23|@5|4@0@9&#,23|$#,)!
5853 f577 (23|@5|4@0@9&#,23|$#,)!
5863 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
5873 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
5883 f577 (23|@5|4@0@9&#,23|$#,63|$#,)!
5893 f0 (23|@5|0@0@9&#,23|$#,)!
5903 f1 (23|@5|0@0@9&#,23|$#,)!
5913 f577 (23|@5|0@0@9&#,23|$#,)!
5923 f0 (23|@5|0@0@9&#,23|$#,63|$#,)!
5933 f1 (23|@5|0@0@9&#,23|$#,63|$#,)!
5943 f577 (23|@5|0@0@9&#,23|$#,63|$#,)!
5953 f0 (20|$#,20|$#,63|$#,)!
5963 f5 (20|$#,20|$#,63|$#,)!
5973 f0 (23|$#,23|$#,)!
5983 f5 (23|$#,23|$#,)!
5993 f0 (23|$#,23|$#,)!
6003 f5 (23|$#,23|$#,)!
6013 f0 (23|$#,23|$#,63|$#,)!
6023 f5 (23|$#,23|$#,63|$#,)!
6033 f0 (23|4@5@7&#,23|$#,63|$#,)!
6043 f63 (23|4@5@7&#,23|$#,63|$#,)!
6053 f0 (20|$#,5|$#,63|$#,)!
6063 f19 (20|$#,5|$#,63|$#,)!
6073 f20 (20|$#,5|$#,63|$#,)!
6083 f0 (23|@5|$#,266|$#,)!
6093 f19 (23|@5|$#,266|$#,)!
6103 f23 (23|@5|$#,266|$#,)!
6113 f0 (23|$#,23|$#,)!
6123 f63 (23|$#,23|$#,)!
6133 f0 (23|@5|$#,23|$#,)!
6143 f19 (23|@5|$#,23|$#,)!
6153 f23 (23|@5|$#,23|$#,)!
6163 f0 (23|@5|$#,266|$#,)!
6173 f19 (23|@5|$#,266|$#,)!
6183 f23 (23|@5|$#,266|$#,)!
6193 f0 (23|$#,23|$#,)!
6203 f63 (23|$#,23|$#,)!
6213 f0 (23|@5|0@0@9&#,23|$#,)!
6223 f19 (23|@5|0@0@9&#,23|$#,)!
6233 f23 (23|@5|0@0@9&#,23|$#,)!
6243 f0 (23|@5|0@5@7&#,23|$#,)!
6253 f19 (23|@5|0@5@7&#,23|$#,)!
6263 f23 (23|@5|0@5@7&#,23|$#,)!
6273 C0.1/20|!
6283 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
6293 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
6303 f622 (20|@5|4@0@7&#,5|$#,63|$#,)!
6313 f0 (5|$#,)!
6323 f19 (5|$#,)!
6333 f23 (5|$#,)!
6343 f0 (23|$#,)!
6353 f63 (23|$#,)!
6360 s334|&
6370 s335|-1 640 -1
6383 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,}!
6393 f0 ()!
6403 f631 ()!
6413 f0 (632|$#,632|$#,)!
6423 f17 (632|$#,632|$#,)!
6433 f0 (446|$#,)!
6443 f632 (446|$#,)!
6451 t632|632&
6463 f0 (640|4@5@7&#,)!
6473 f632 (640|4@5@7&#,)!
6483 f0 (446|$#,)!
6493 f19 (446|$#,)!
6503 f23 (446|$#,)!
6513 f0 (640|$#,)!
6523 f19 (640|$#,)!
6533 f23 (640|$#,)!
6543 f0 (640|$#,)!
6553 f19 (640|$#,)!
6563 f446 (640|$#,)!
6573 f0 (640|$#,)!
6583 f19 (640|$#,)!
6593 f446 (640|$#,)!
6603 f0 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
6613 f63 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
6620 s345|&
6630 s346|&
6640 s347|&
6650 s348|&
6660 s349|&
6670 s350|&
6680 s351|&
6690 s352|&
6700 s353|&
6710 s354|&
6720 s355|&
6730 s356|&
6740 s357|&
6750 s358|&
6760 s359|&
6770 s360|&
6780 s361|&
6790 s362|&
6800 s363|&
6810 s364|&
6820 s365|&
6830 s366|&
6840 s367|&
6850 s368|&
6860 s369|&
6870 s370|&
6880 s371|&
6890 s372|&
6900 a411|&
691;;tistable
6920
69330
69430,125
695125
69630,125,140
697140
69830,125,140,143
699143
70030,125,140,143,144
701144
702411
703;;symTable
704*0 (Datatype)
705^0 2@+@-@0@0@0@0@2#lltX_bool
706*1 (Constant)
707^1 2@i0@0@6#FALSE
708^2 2@i1@0@0#TRUE
709*11 (GlobalMarker)
710*1 (Constant)
711^4 5$#__LINE__
712^5 23$#__DATE__#__FILE__#__BASE_FILE__
713^8 5$#__INCLUDE_LEVEL__
714^9 23$#__VERSION__
715*0 (Datatype)
716^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
717^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
718^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
719*1 (Constant)
720^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
721^16 5$#S_SPLINT_S#__LCLINT__#__i686
722*3 (Variable)
723^19 212|@1|6@0@0@0@1#stdin#stdout
724*1 (Constant)
725^21 5$#EDOM#ERANGE#EILSEQ
726*3 (Variable)
727^24 5|@1|6@0@0@0@1#errno
728*0 (Datatype)
729^25 13@-@-@0@0@0@0@62#ptrdiff_t
730^26 14@-@-@0@0@0@0@63#size_t
731^27 15@-@-@0@0@0@0@64#ssize_t
732^28 13@-@-@0@0@0@0@65#wchar_t
733^29 13@-@-@0@0@0@0@66#wint_t
734^30 0@+@=@0@7@0@0@67#mbstate_t
735*1 (Constant)
736^31 0@i0@0@6#NULL
737^32 2$#NDEBUG
738*4 (Function)
739^33 72@6@0@8@0@0^$@0#assert
740^34 77$^$@0#isalnum
741^35 80$^$@0#isalpha
742^36 83$^$@0#iscntrl
743^37 86$^$@0#isdigit
744^38 90$^$@0#isgraph
745^39 94$^$@0#islower
746^40 97$^$@0#isprint
747^41 100$^$@0#ispunct
748^42 103$^$@0#isspace
749^43 107$^$@0#isupper
750^44 111$^$@0#isxdigit
751^45 115$^$@0#tolower
752^46 118$^$@0#toupper
753*7 (Struct tag)
754^47 119@120#@lconv
755*1 (Constant)
756^48 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
757*4 (Function)
758^54 123@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24@19@3@0#setlocale
759^55 127$^@3@0@0#localeconv
760*3 (Variable)
761^56 5|@1|6@0@0@0@1#DBL_DIG
762^57 17|@1|6@0@0@0@1#DBL_EPSILON
763^58 5|@1|6@0@0@0@1#DBL_MANT_DIG
764^59 17|@1|6@0@0@0@1#DBL_MAX
765^60 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
766^62 17|@1|6@0@0@0@1#DBL_MIN
767^63 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
768^66 16|@1|6@0@0@0@1#FLT_EPSILON
769^67 5|@1|6@0@0@0@1#FLT_MANT_DIG
770^68 16|@1|6@0@0@0@1#FLT_MAX
771^69 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
772^71 16|@1|6@0@0@0@1#FLT_MIN
773^72 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
774*1 (Constant)
775^74 5$#FLT_RADIX
776*3 (Variable)
777^75 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
778^77 18|@1|6@0@0@0@1#LDBL_EPSILON
779^78 5|@1|6@0@0@0@1#LDBL_MANT_DIG
780^79 18|@1|6@0@0@0@1#LDBL_MAX
781^80 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
782^82 18|@1|6@0@0@0@1#LDBL_MIN
783^83 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
784*1 (Constant)
785^85 5$#CHAR_BIT
786^86 4$#CHAR_MAX#CHAR_MIN
787^88 5$#INT_MAX#INT_MIN
788^90 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
789^93 4$#SCHAR_MAX#SCHAR_MIN
790^95 7$#SHRT_MAX#SHRT_MIN
791^97 3$#UCHAR_MAX#UCHAR_MIN
792^99 6$#UINT_MAX
793^100 10$#ULONG_MAX
794^101 8$#USHRT_MAX
795^102 17$#HUGE_VAL
796*4 (Function)
797^103 129$^$@0#sin
798^104 131$^$@0#cos
799^105 133$^$@0#tan
800^106 135$@0@g24@6@0@1@g24$@0#asin
801^107 137$@0@g24@6@0@1@g24$@0#acos
802^108 139$^$@0#atan
803^109 141$^$@0#atan2
804^110 143$^$@0#sinh
805^111 145$@0@g24@6@0@1@g24$@0#cosh
806^112 147$^$@0#tanh
807^113 149$@0@g24@6@0@1@g24$@0#exp
808^114 151$@0@g24@6@0@1@g24$@0#ldexp
809^115 153$@0@@1@tp1$@0#frexp
810^116 155$@0@g24@6@0@1@g24$@0#log
811^117 157$@0@g24@6@0@1@g24$@0#log10
812^118 159$@0@g24@6@0@1@g24$@0#pow
813^119 161$@0@g24@6@0@1@g24$@0#sqrt
814^120 163$^$@0#ceil
815^121 165$^$@0#floor
816^122 167$^$@0#fabs
817^123 169$@0@@1@tp1$@0#modf
818^124 171$^$@0#fmod
819*0 (Datatype)
820^125 20@+@+@0@0@0@0@172#jmp_buf
821*4 (Function)
822^126 174$@0@@1@p0$@0#setjmp
823^127 176@6@0@5@0@0^$@0#longjmp
824*1 (Constant)
825^128 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
826*0 (Datatype)
827^134 13@-@-@0@0@0@0@177#sig_atomic_t
828*1 (Constant)
829^135 181$#SIG_DFL
830^136 185$#SIG_ERR
831^137 189$#SIG_IGN
832*4 (Function)
833^138 202@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24$@0#signal
834^139 204@6@0@5@0@0$$@0#raise
835*0 (Datatype)
836^140 20@+@+@0@0@0@0@205#va_list
837*4 (Function)
838^141 207$@0@@1@p0$@0#va_start
839^142 209$@0@@1@p0$@0#va_end
840*0 (Datatype)
841^143 20@+@+@0@0@0@0@210#FILE
842^144 20@+@+@0@0@0@0@211#fpos_t
843*1 (Constant)
ce956ce0 844^145 63$#_IOFBF#_IOLBF#_IONBF#BUFSIZ
845^149 5$#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
6e3f87f6 846*3 (Variable)
847^157 212|@1|6@0@0@0@1#stderr
848*4 (Function)
849^158 214$@0@s3,g24@6@0@1@s3,g24$@0#remove
850^159 216$@0@s3,g24@6@0@1@s3,g24$@0#rename
ce956ce0 851^160 219@6@5@1@0@0@0@s3,g24@6@0@1@s3,g24@18@0@0#tmpfile
6e3f87f6 852^161 222$@0@s1@1@tp0,s1@19@3@0#tmpnam
853^162 224$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fclose
854^163 226$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fflush
855^164 229@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
ce956ce0 856^165 232@6@5@1@0@0@0@s3,g24@6@0@1@tp2,s3,g24@18@0@0#freopen
6e3f87f6 857^166 234$@0@s3@1@s3,tp0,tp1$@0#setbuf
858^167 236$@0@s3@1@s3,tp0,tp1$@0#setvbuf
859^168 240@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
860^169 242@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
861^170 245@6@0@1@1@0@1@g20@6@0,s3@1@s3,tg20$@0#printf
862^171 247@6@0@1@2@0@1@g19@6@0,s3@1@s3,tg19$@0#scanf
863^172 250@6@0@1@1@0@0@@1@tp0$@0#sprintf
864^173 252@6@0@1@2@0^$@0#sscanf
865^174 254$@1@g20@6@0,s3@1@s3,tg20$@0#vprintf
866^175 256$@0@s3,g24@6@0@1@s3,tp0,p2,g24$@0#vfprintf
867^176 258$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
868^177 260$@0@@1@p0$@0#vsnprintf
869^178 262$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fgetc
870^179 265@6@5@1@0@0@0@s3,g24@6@0@1@s3,tp0,tp2,g24$@0#fgets
871^180 268$@0@s3,g24@6@0@1@s3,tp1,g24$@0#fputc
872^181 270$@0@s3@1@s3,tp1$@0#fputs
873^182 272$@0@s3@1@s3,tp0$@0#getc
874^183 274$@1@g19@6@0,s3@1@s3,tg19$@0#getchar
875^184 277@6@5@1@0@0@1@g19@6@0,s3,g24@6@0@1@s3,tp0,tg19,g24@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets
876^185 279$@0@s3@1@s3,tp1$@0#putc
877^186 281$@1@g20@6@0,s3@1@s3,tg20$@0#putchar
878^187 283$@1@g20@6@0,s3@1@s3,tg20$@0#puts
879^188 285$@0@s3,g24@6@0@1@s3,tp1,g24$@0#ungetc
880^189 287$@0@s3,g24@6@0@1@s3,tp0,tp3,g24$@0#fread
881^190 289$@0@s3,g24@6@0@1@s3,tp3,g24$@0#fwrite
882^191 292$@0@g24@6@0@1@tp1,g24$@0#fgetpos
883^192 294$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fseek
884^193 296$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fsetpos
885^194 298$@0@g24@6@0@1@g24$@0#ftell
886^195 300$@0@@1@tp0$@0#rewind
887^196 302$@0@@1@tp0$@0#clearerr
888^197 304$@0@g24@6@0@1@g24$@0#feof
889^198 306$@0@g24@6@0@1@g24$@0#ferror
890^199 308$@1@g24@6@0,g157@6@0,s3@1@s3,tg157$@0#perror
891^200 310$^$@0#atof
892^201 312$^$@0#atoi
893^202 314$^$@0#atol
894^203 318$@0@g24@6@0@1@tp1,g24$@0#strtod
895^204 320$@0@g24@6@0@1@tp1,g24$@0#strtol
896^205 322$@0@g24@6@0@1@tp1,g24$@0#strtoul
897*1 (Constant)
898^206 5$#RAND_MAX
899*4 (Function)
900^207 324$@0@s1@1@s1$@0#rand
901^208 326$@0@s1@1@s1$@0#srand
902^209 329@6@5@1@0@0^@2@0@0#calloc
903^210 332@4@5@1@0@0^@2@0@0#malloc
904^211 335@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
905^212 337$@0@@1@p0$@0#free
906*1 (Constant)
907^213 5$#EXIT_FAILURE#EXIT_SUCCESS
908*4 (Function)
909^215 339@6@0@6@0@0^$@0#abort
910^216 341@6@0@6@0@0^$@0#exit
911^217 347$@0@s1@1@s1$@0#atexit
912^218 350@6@5@1@0@0^@19@3@0#getenv
913^219 352$@0@s3@1@s3$@0#system
914^220 359@6@5@1@0@0^@18@0@0#bsearch
915^221 365$@0@g24@6@0@1@tp0,g24$@0#qsort
916^222 367$^$@0#abs
917*7 (Struct tag)
918^223 368@369#@!2
919*0 (Datatype)
920^224 368@-@-@0@0@0@0@370#div_t
921*4 (Function)
922^225 372$^$@0#div
923^226 374$^$@0#labs
924*7 (Struct tag)
925^227 375@376#@!3
926*0 (Datatype)
927^228 375@-@-@0@0@0@0@377#ldiv_t
928*4 (Function)
929^229 379$^$@0#ldiv
930*1 (Constant)
931^230 63$#MB_CUR_MAX
932^231 5$#WCHAR_MAX#WCHAR_MIN
933^233 66$#WEOF
934*4 (Function)
935^234 381$^$@0#btowc
936^235 383$@0@s3@1@s3,tp0$@0#fgetwc
937^236 387@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
938^237 389$@0@s3@1@s3,tp1$@0#fputwc
939^238 391$@0@s3@1@s3,tp1$@0#fputws
940^239 393$^$@0#fwide
941^240 395@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
942^241 397@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
943^242 399$@0@s3@1@s3,tp0$@0#getwc
944^243 401$@0@s3,g19@6@0@1@s3,tg19$@0#getwchar
945^244 404$^$@0#mbrlen
946^245 406$@0@@1@tp0$@0#mbrtowc
947^246 408$^$@0#mbsinit
948^247 410$@0@@1@tp0$@0#mbsrtowcs
949^248 412$@0@s3@1@s3,tp1$@0#putwc
950^249 414$@0@s3,g20@6@0@1@s3,tg20$@0#putwchar
951^250 416@6@0@1@1@0@0@@1@tp0$@0#swprintf
952^251 418@6@0@1@2@0@0@g19@6@0@1@tg19$@0#swscanf
953^252 420$@0@s3@1@s3,tp1$@0#ungetwc
954^253 422$@0@s3@1@s3,tp0$@0#vfwprintf
955^254 424$@0@@1@tp0$@0#vswprintf
956^255 426$@0@s3,g20@6@0@1@s3,tg20$@0#vwprintf
957^256 428$@0@@1@tp0$@0#wcrtomb
958^257 432$@0@@1@tp0$@0#wcscat
959^258 435@6@5@1@0@0^@19@2@0#wcschr
960^259 437$^$@0#wcscmp
961^260 439$^$@0#wcscoll
962^261 442$@0@@1@tp0$@0#wcscpy
963^262 444$^$@0#wcscspn
964*7 (Struct tag)
965^263 633@445#@tm
966*4 (Function)
967^264 448$@0@@1@tp0$@0#wcsftime
968^265 450$^$@0#wcslen
969^266 454$@0@@1@tp0$@0#wcsncat
970^267 456$^$@0#wcsncmp
971^268 459$@0@@1@tp0$@0#wcsncpy
972^269 462@6@5@1@0@0^$@0#wcspbrk
973^270 465@6@5@1@0@0^$@0#wcsrchr
974^271 468$@0@@1@tp1$@0#wcsrtombs
975^272 470$^$@0#wcsspn
976^273 473@6@5@1@0@0^@3@0@0#wcsstr
977^274 475$@0@@1@tp1$@0#wcstod
978^275 478@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
979^276 480$@0@@1@tp1$@0#wcstol
980^277 482$@0@@1@tp1$@0#wcstoul
981^278 484$@0@@1@tp0$@0#wcsxfrm
982^279 486$^$@0#wctob
983^280 489@6@5@1@0@0^@3@0@0#wmemchr
984^281 491$^$@0#wmemcmp
985^282 494$@0@@1@tp0$@0#wmemcpy
986^283 497$@0@@1@tp0$@0#wmemmove
987^284 500$@0@@1@tp0$@0#wmemset
988^285 502@6@0@1@1@0@1@g20@6@0,g24@6@0@1@g24,tg20$@0#wprintf
989^286 504@6@0@1@2@0@1@g19@6@0,g24@6@0@1@g24,tg19$@0#wscanf
990*0 (Datatype)
991^287 13@-@-@0@0@0@0@505#wctype_t
992^288 13@-@-@0@0@0@0@506#wctrans_t
993*4 (Function)
994^289 510$^$@0#iswalnum
995^290 513$^$@0#iswalpha
996^291 516$^$@0#iswcntrl
997^292 519$^$@0#iswctype
998^293 522$^$@0#iswdigit
999^294 526$^$@0#iswgraph
1000^295 529$^$@0#iswlower
1001^296 532$^$@0#iswprint
1002^297 535$^$@0#iswpunct
1003^298 538$^$@0#iswspace
1004^299 541$^$@0#iswupper
1005^300 545$^$@0#iswxdigit
1006^301 549$^$@0#towctrans
1007^302 552$^$@0#towlower
1008^303 555$^$@0#towupper
1009^304 557$^$@0#wctrans
1010^305 559$^$@0#wctype
1011^306 561$^$@0#mblen
1012^307 563$@0@@1@tp0$@0#mbtowc
1013^308 565$@0@@1@tp0$@0#wctomb
1014^309 567$@0@@1@tp0$@0#mbstowcs
1015^310 569$@0@@1@tp0$@0#wcstombs
1016^311 573$@0@@1@tp0$@0#memcpy
1017^312 576$@0@@1@tp0$@0#memmove
1018^313 580$@0@@1@tp0$@0#strcpy
1019^314 583$@0@@1@tp0$@0#strncpy
1020^315 586$@0@@1@tp0$@0#strcat
1021^316 589$@0@@1@tp0$@0#strncat
1022^317 591$^$@0#memcmp
1023^318 593$^$@0#strcmp
1024^319 595$^$@0#strcoll
1025^320 597$^$@0#strncmp
1026^321 599$@0@@1@tp0$@0#strxfrm
1027^322 602@6@5@1@0@0^@3@0@0#memchr
1028^323 605@6@5@1@0@0^@19@2@0#strchr
1029^324 607$^$@0#strcspn
1030^325 610@6@5@1@0@0^@19@2@0#strpbrk
1031^326 613@6@5@1@0@0^@19@2@0#strrchr
1032^327 615$^$@0#strspn
1033^328 618@6@5@1@0@0^@19@2@0#strstr
1034^329 621@6@5@1@0@0@0@s1,g24@6@0@1@tp0,s1,g24@19@2@0#strtok
1035^330 625$@0@@1@tp0$@0#memset
1036^331 628$^@19@3@0#strerror
1037^332 630$^$@0#strlen
1038*1 (Constant)
1039^333 5$#CLOCKS_PER_SEC
1040*0 (Datatype)
1041^334 13@-@-@0@0@0@0@631#clock_t
1042^335 13@-@-@0@0@0@0@632#time_t
1043*4 (Function)
1044^336 635$@0@s1@1@s1$@0#clock
1045^337 637$^$@0#difftime
1046^338 639$^$@0#mktime
1047^339 642$@0@@1@tp0$@0#time
1048^340 645$@0@g24@6@0@1@g24@19@3@0#asctime
1049^341 648$^@19@3@0#ctime
1050^342 651@6@5@1@0@0^@19@3@0#gmtime
1051^343 654@6@5@1@0@0@0@g24@6@0@1@g24@19@3@0#localtime
1052^344 656$@0@@1@tp0$@0#strftime
1053*0 (Datatype)
1054^345 13@-@-@0@0@0@0@657#int8_t
1055^346 13@-@-@0@0@0@0@658#int16_t
1056^347 13@-@-@0@0@0@0@659#int32_t
1057^348 13@-@-@0@0@0@0@660#int64_t
1058^349 14@-@-@0@0@0@0@661#uint8_t
1059^350 14@-@-@0@0@0@0@662#uint16_t
1060^351 14@-@-@0@0@0@0@663#uint32_t
1061^352 14@-@-@0@0@0@0@664#uint64_t
1062^353 13@-@-@0@0@0@0@665#int_least8_t
1063^354 13@-@-@0@0@0@0@666#int_least16_t
1064^355 13@-@-@0@0@0@0@667#int_least32_t
1065^356 13@-@-@0@0@0@0@668#int_least64_t
1066^357 14@-@-@0@0@0@0@669#uint_least8_t
1067^358 14@-@-@0@0@0@0@670#uint_least16_t
1068^359 14@-@-@0@0@0@0@671#uint_least32_t
1069^360 14@-@-@0@0@0@0@672#uint_least64_t
1070^361 13@-@-@0@0@0@0@673#int_fast8_t
1071^362 13@-@-@0@0@0@0@674#int_fast16_t
1072^363 13@-@-@0@0@0@0@675#int_fast32_t
1073^364 13@-@-@0@0@0@0@676#int_fast64_t
1074^365 14@-@-@0@0@0@0@677#uint_fast8_t
1075^366 14@-@-@0@0@0@0@678#uint_fast16_t
1076^367 14@-@-@0@0@0@0@679#uint_fast32_t
1077^368 14@-@-@0@0@0@0@680#uint_fast64_t
1078^369 24@-@+@0@0@0@0@681#intptr_t
1079^370 25@-@+@0@0@0@0@682#uintptr_t
1080^371 15@-@-@0@0@0@0@683#intmax_t
1081^372 14@-@-@0@0@0@0@684#uintmax_t
1082*1 (Constant)
1083^373 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
1084^409 63$#INTPTR_MIN#INTPTR_MAX
1085*0 (Datatype)
1086^411 0@+@+@0@7@0@0@685#mnull
1087;; Library constraints
1088vsnprintf
1089pre:
1090C
10910@1@3
1092l
10931
10941
10952
10962
1097Param 23 0
1098r
10992
11002
1101Param 63 1
1102;; end precondition constraints
1103post:
1104;; end precondition constraints
1105fgets
1106pre:
1107C
11080@1@3
1109l
11101
11111
11122
11132
1114Param 23 0
1115r
11160
11171
1118e1
11192
11202
1121Param 5 1
1122e2
11232
11243
1125-1
1126;; end precondition constraints
1127post:
1128C
11290@1@3
1130l
11311
11323
11332
11342
1135Param 23 0
1136r
11372
11383
11390
1140C
11410@1@1
1142l
11431
11443
11452
11462
1147Param 23 0
1148r
11490
11501
1151e1
11522
11532
1154Param 5 1
1155e2
11562
11573
1158-1
1159;; end precondition constraints
1160calloc
1161pre:
1162;; end precondition constraints
1163post:
1164C
11650@1@4
1166l
11671
11681
11692
11702
1171Result
1172r
11730
11741
1175e1
11762
11772
1178Param 63 0
1179e2
11802
11813
1182-1
1183;; end precondition constraints
1184malloc
1185pre:
1186;; end precondition constraints
1187post:
1188C
11890@1@4
1190l
11911
11921
11932
11942
1195Result
1196r
11970
11981
1199e1
12002
12012
1202Param 63 0
1203e2
12042
12053
1206-1
1207;; end precondition constraints
1208realloc
1209pre:
1210;; end precondition constraints
1211post:
1212C
12130@1@3
1214l
12151
12161
12172
12182
1219Result
1220r
12210
12221
1223e1
12242
12252
1226Param 63 1
1227e2
12282
12293
1230-1
1231;; end precondition constraints
1232memcpy
1233pre:
1234C
12350@1@3
1236l
12371
12381
12392
12402
1241Param 20 0
1242r
12430
12441
1245e1
12462
12472
1248Param 63 2
1249e2
12502
12513
1252-1
1253C
12540@1@3
1255l
12561
12573
12582
12592
1260Param 20 1
1261r
12620
12631
1264e1
12652
12662
1267Param 63 2
1268e2
12692
12703
1271-1
1272;; end precondition constraints
1273post:
1274;; end precondition constraints
1275memmove
1276pre:
1277C
12780@1@3
1279l
12801
12811
12822
12832
1284Param 20 0
1285r
12860
12871
1288e1
12892
12902
1291Param 63 2
1292e2
12932
12943
1295-1
1296C
12970@1@3
1298l
12991
13003
13012
13022
1303Param 20 1
1304r
13050
13061
1307e1
13082
13092
1310Param 63 2
1311e2
13122
13133
1314-1
1315;; end precondition constraints
1316post:
1317;; end precondition constraints
1318strcpy
1319pre:
1320C
13210@1@3
1322l
13231
13241
13252
13262
1327Param 23 0
1328r
13291
13303
13312
13322
1333Param 23 1
1334;; end precondition constraints
1335post:
1336C
13370@1@4
1338l
13391
13401
13412
13422
1343Result
1344r
13451
13461
13472
13482
1349Param 23 0
1350C
13510@1@4
1352l
13531
13543
13552
13562
1357Result
1358r
13591
13603
13612
13622
1363Param 23 1
1364C
13650@1@4
1366l
13671
13683
13692
13702
1371Param 23 0
1372r
13731
13743
13752
13762
1377Param 23 1
1378;; end precondition constraints
1379strncpy
1380pre:
1381C
13820@1@3
1383l
13841
13851
13862
13872
1388Param 23 0
1389r
13900
13911
1392e1
13932
13942
1395Param 63 2
1396e2
13972
13983
1399-1
1400;; end precondition constraints
1401post:
1402C
14030@1@1
1404l
14051
14063
14072
14082
1409Param 23 0
1410r
14112
14122
1413Param 63 2
1414C
14150@1@3
1416l
14171
14183
14192
14202
1421Param 23 1
1422r
14231
14243
14252
14262
1427Param 23 0
1428;; end precondition constraints
1429strcat
1430pre:
1431C
14320@1@3
1433l
14341
14351
14362
14372
1438Param 23 0
1439r
14400
14411
1442e1
14431
14443
14452
14462
1447Param 23 0
1448e2
14491
14503
14512
14522
1453Param 23 1
1454;; end precondition constraints
1455post:
1456C
14570@1@4
1458l
14591
14603
14612
14622
1463Result
1464r
14650
14661
1467e1
14681
14693
14702
14712
1472Param 23 0
1473e2
14741
14753
14762
14772
1478Param 23 1
1479;; end precondition constraints
1480strncat
1481pre:
1482C
14830@1@3
1484l
14851
14861
14872
14882
1489Param 23 0
1490r
14910
14921
1493e1
14941
14953
14962
14972
1498Param 23 0
1499e2
15002
15012
1502Param 63 2
1503;; end precondition constraints
1504post:
1505C
15060@1@3
1507l
15081
15093
15102
15112
1512Param 23 0
1513r
15140
15151
1516e1
15171
15183
15192
15202
1521Param 23 0
1522e2
15232
15242
1525Param 63 2
1526;; end precondition constraints
1527strchr
1528pre:
1529;; end precondition constraints
1530post:
1531C
15320@1@3
1533l
15341
15353
15362
15372
1538Result
1539r
15402
15413
15420
1543C
15440@1@1
1545l
15461
15473
15482
15492
1550Result
1551r
15521
15533
15542
15552
1556Param 23 0
1557C
15580@1@1
1559l
15601
15611
15622
15632
1564Result
1565r
15661
15671
15682
15692
1570Param 23 0
1571C
15720@1@3
1573l
15741
15751
15762
15772
1578Result
1579r
15802
15813
15820
1583;; end precondition constraints
1584strrchr
1585pre:
1586;; end precondition constraints
1587post:
1588C
15890@1@3
1590l
15911
15923
15932
15942
1595Result
1596r
15972
15983
15990
1600C
16010@1@1
1602l
16031
16043
16052
16062
1607Result
1608r
16091
16103
16112
16122
1613Param 23 0
1614C
16150@1@1
1616l
16171
16181
16192
16202
1621Result
1622r
16231
16241
16252
16262
1627Param 23 0
1628C
16290@1@3
1630l
16311
16321
16332
16342
1635Result
1636r
16372
16383
16390
1640;; end precondition constraints
1641strstr
1642pre:
1643;; end precondition constraints
1644post:
1645C
16460@1@3
1647l
16481
16491
16502
16512
1652Result
1653r
16541
16553
16562
16572
1658Param 23 1
1659C
16600@1@3
1661l
16621
16633
16642
16652
1666Result
1667r
16681
16693
16702
16712
1672Param 23 1
1673C
16740@1@3
1675l
16761
16773
16782
16792
1680Result
1681r
16822
16833
16840
1685C
16860@1@1
1687l
16881
16893
16902
16912
1692Result
1693r
16941
16953
16962
16972
1698Param 23 0
1699C
17000@1@1
1701l
17021
17031
17042
17052
1706Result
1707r
17081
17091
17102
17112
1712Param 23 0
1713C
17140@1@3
1715l
17161
17171
17182
17192
1720Result
1721r
17222
17233
17240
1725;; end precondition constraints
1726memset
1727pre:
1728C
17290@1@3
1730l
17311
17321
17332
17342
1735Param 20 0
1736r
17370
17381
1739e1
17402
17412
1742Param 63 2
1743e2
17442
17453
1746-1
1747;; end precondition constraints
1748post:
1749C
17500@1@3
1751l
17521
17533
17542
17552
1756Param 20 0
1757r
17580
17591
1760e1
17612
17622
1763Param 63 2
1764e2
17652
17663
1767-1
1768;; end precondition constraints
1769strlen
1770pre:
1771;; end precondition constraints
1772post:
1773C
17740@1@4
1775l
17762
17772
1778Result
1779r
17801
17813
17822
17832
1784Param 23 0
1785;; end precondition constraints
1786asctime
1787pre:
1788;; end precondition constraints
1789post:
1790C
17910@1@4
1792l
17931
17943
17952
17962
1797Result
1798r
17992
18003
180125
1802C
18030@1@4
1804l
18051
18061
18072
18082
1809Result
1810r
18112
18123
181325
1814;; end precondition constraints
1815ctime
1816pre:
1817;; end precondition constraints
1818post:
1819C
18200@1@4
1821l
18221
18233
18242
18252
1826Result
1827r
18282
18293
183025
1831C
18320@1@4
1833l
18341
18351
18362
18372
1838Result
1839r
18402
18413
184225
1843;; end precondition constraints
1844;; Modules access
1845lltX_bool#1@
1846types#1@
1847standard#9@
1848null6#11@
1849;;End
git-cvsimport mirror of splint
This page took 0.44152 seconds and 5 git commands to generate.