]> andersk Git - splint.git/blame_incremental - test/null6.lcd
Fixed bugs in the constant removal code for binary expressions.
[splint.git] / test / null6.lcd
... / ...
CommitLineData
1;;LCLint Dump: null6.lcd
2;;LCLint 3.0b-alpha --- 20 June 2001
3;;lib:168
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 312 -1
251 t1|1&
261 t2|2&
271 t3|3&
281 t4|4 313 -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 s23|&
680 s24|&
690 s25|&
700 s26|-1 381 -1
710 s27|&
720 a28|-1 399 -1
733 C0.5/20|!
743 C0.68/2|!
753 C0.2/5|!
763 f0 (70|@7|$#,)!
773 f1 (70|@7|$#,)!
783 C0.5/3|!
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|$#,)!
933 C0.2/5|!
943 f88 (73|$#,)!
953 C0.5/3|!
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|$#,)!
1103 C0.2/5|!
1113 f105 (90|$#,)!
1123 C0.5/3|!
1133 f0 (107|$#,)!
1143 f2 (107|$#,)!
1153 f105 (107|$#,)!
1163 C0.4/5|!
1173 f0 (107|$#,)!
1183 f4 (107|$#,)!
1193 f111 (107|$#,)!
1203 f0 (107|$#,)!
1213 f4 (107|$#,)!
1223 f111 (107|$#,)!
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,}!
1240 s45|-1 125 -1
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 ()!
1301 t119|119&
1313 f125 ()!
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|$#,)!
1760 a123|&
1773 f0 (171|4@0@7&#,)!
1783 f5 (171|4@0@7&#,)!
1793 f0 (171|$#,5|$#,)!
1803 f1 (171|$#,5|$#,)!
1810 s132|&
1823 ?!
1833 f177 (5|$#,)!
1843 f1 (5|$#,)^180
1851 t179|179&
1863 ?!
1873 f181 (5|$#,)!
1883 f1 (5|$#,)^184
1891 t183|183&
1903 ?!
1913 f185 (5|$#,)!
1923 f1 (5|$#,)^188
1931 t187|187&
1943 ?!
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&
2013 ?!
2023 f196 (5|$#,)!
2033 f19 (5|$#,)!
2043 f1 (5|$#,192|0@5@7&#,)!
2053 f1 (5|$#,)!
2063 f200 (5|$#,192|0@5@7&#,)!
2073 f0 (5|$#,)!
2083 f5 (5|$#,)!
2090 a138|&
2103 f0 (204|4@0@7&#,!.,)!
2113 f1 (204|4@0@7&#,!.,)!
2123 f0 (204|$#,)!
2133 f1 (204|$#,)!
2140 a141|-1 211 -1
2150 a142|-1 287 -1
2161 t209|209&
2173 f0 (23|$#,)!
2183 f5 (23|$#,)!
2193 f0 (23|$#,23|$#,)!
2203 f5 (23|$#,23|$#,)!
2213 f0 ()!
2223 f19 ()!
2233 f211 ()!
2243 f0 (23|@5|4@5@7&#,)!
2253 f19 (23|@5|4@5@7&#,)!
2263 f23 (23|@5|4@5@7&#,)!
2273 f0 (211|$#,)!
2283 f5 (211|$#,)!
2293 f0 (211|0@5@7&#,)!
2303 f5 (211|0@5@7&#,)!
2313 f0 (23|$#,23|$#,)!
2323 f19 (23|$#,23|$#,)!
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|$#,)!
2413 C0.5/1|!
2423 f0 (211|$#,23|$#,!.,)!
2433 f5 (211|$#,23|$#,!.,)!
2443 f236 (211|$#,23|$#,!.,)!
2453 f0 (211|$#,23|$#,!.,)!
2463 f5 (211|$#,23|$#,!.,)!
2473 f0 (23|$#,!.,)!
2483 f5 (23|$#,!.,)!
2493 f236 (23|$#,!.,)!
2503 f0 (23|$#,!.,)!
2513 f5 (23|$#,!.,)!
2523 f0 (23|4@0@7&#,23|$#,!.,)!
2533 f5 (23|4@0@7&#,23|$#,!.,)!
2543 f236 (23|4@0@7&#,23|$#,!.,)!
2553 f0 (23|4@0@7&#,23|$#,!.,)!
2563 f5 (23|4@0@7&#,23|$#,!.,)!
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|$#,)!
2683 C0.5/4|!
2693 f0 (263|$#,211|$#,)!
2703 f5 (263|$#,211|$#,)!
2713 f0 (23|$#,211|$#,)!
2723 f5 (23|$#,211|$#,)!
2733 f0 (211|@7|$#,)!
2743 f5 (211|@7|$#,)!
2753 f0 ()!
2763 f5 ()!
2773 f0 (23|4@0@7&#,)!
2783 f19 (23|4@0@7&#,)!
2793 f23 (23|4@0@7&#,)!
2803 f0 (263|$#,211|@7|$#,)!
2813 f5 (263|$#,211|@7|$#,)!
2823 f0 (263|$#,)!
2833 f5 (263|$#,)!
2843 f0 (23|$#,)!
2853 f5 (23|$#,)!
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|$#,)!
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&
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|$#,)!
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 ?!
3453 f339 ()!
3463 f1 ()^342
3471 t341|341&
3483 f0 (342|$#,)!
3493 f5 (342|$#,)!
3503 f0 (23|$#,)!
3513 f19 (23|$#,)!
3523 f23 (23|$#,)!
3533 f0 (23|0@5@7&#,)!
3543 f5 (23|0@5@7&#,)!
3553 ?!
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|$#,)!
3623 ?!
3633 f357 (20|$#,20|$#,)!
3643 f5 (20|$#,20|$#,)^360
3651 t359|359&
3663 f0 (20|$#,63|$#,63|$#,360|$#,)!
3673 f1 (20|$#,63|$#,63|$#,360|$#,)!
3683 f0 (5|$#,)!
3693 f5 (5|$#,)!
3703 S!2{5|@1|$#quot,5|@1|$#rem,}!
3710 s220|&
3720 s221|&
3733 f0 (5|$#,5|$#,)!
3743 f367 (5|$#,5|$#,)!
3753 f0 (9|$#,)!
3763 f9 (9|$#,)!
3773 S!3{9|@1|$#quot,9|@1|$#rem,}!
3780 s224|&
3790 s225|&
3803 f0 (9|$#,9|$#,)!
3813 f374 (9|$#,9|$#,)!
3823 f0 (5|$#,)!
3833 f66 (5|$#,)!
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|$#,)!
4023 f0 ()!
4033 f66 ()!
4041 t67|67&
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|$#,)!
4153 f0 (65|$#,)!
4163 f66 (65|$#,)!
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|$#,)!
4470 s260|-1 443 -1
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|$#,)!
4873 f0 (66|$#,)!
4883 f5 (66|$#,)!
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|$#,!.,)!
5070 s284|&
5080 s285|&
5093 C0.2/5|!
5103 f0 (66|$#,)!
5113 f2 (66|$#,)!
5123 f504 (66|$#,)!
5133 f0 (66|$#,)!
5143 f2 (66|$#,)!
5153 f504 (66|$#,)!
5163 f0 (66|$#,)!
5173 f2 (66|$#,)!
5183 f504 (66|$#,)!
5193 f0 (66|$#,502|$#,)!
5203 f2 (66|$#,502|$#,)!
5213 f504 (66|$#,502|$#,)!
5223 f0 (66|$#,)!
5233 f2 (66|$#,)!
5243 f504 (66|$#,)!
5253 f0 (66|$#,)!
5263 f2 (66|$#,)!
5273 C0.2/5|!
5283 f522 (66|$#,)!
5293 f0 (66|$#,)!
5303 f2 (66|$#,)!
5313 f522 (66|$#,)!
5323 f0 (66|$#,)!
5333 f2 (66|$#,)!
5343 f522 (66|$#,)!
5353 f0 (66|$#,)!
5363 f2 (66|$#,)!
5373 f522 (66|$#,)!
5383 f0 (66|$#,)!
5393 f2 (66|$#,)!
5403 f522 (66|$#,)!
5413 f0 (66|$#,)!
5423 f2 (66|$#,)!
5433 f522 (66|$#,)!
5443 C0.2/5|!
5453 f0 (66|$#,)!
5463 f2 (66|$#,)!
5473 f539 (66|$#,)!
5483 C0.66/5|!
5493 f0 (66|$#,503|$#,)!
5503 f66 (66|$#,503|$#,)!
5513 f543 (66|$#,503|$#,)!
5523 f0 (66|$#,)!
5533 f66 (66|$#,)!
5543 f543 (66|$#,)!
5553 f0 (66|$#,)!
5563 f66 (66|$#,)!
5573 f543 (66|$#,)!
5583 f0 (23|$#,)!
5593 f503 (23|$#,)!
5603 f0 (23|$#,)!
5613 f502 (23|$#,)!
5623 f0 (23|$#,63|$#,)!
5633 f5 (23|$#,63|$#,)!
5643 f0 (381|0@5@7&#,23|0@5@7&#,63|$#,)!
5653 f5 (381|0@5@7&#,23|0@5@7&#,63|$#,)!
5663 f0 (23|4@5@7&#,65|$#,)!
5673 f5 (23|4@5@7&#,65|$#,)!
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|$#,)!
5723 C0.1/20|!
5733 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
5743 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
5753 f567 (20|@5|4@0@9&#,20|$#,63|$#,)!
5763 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
5773 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
5783 f567 (20|@5|4@0@7&#,20|$#,63|$#,)!
5793 C0.1/23|!
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|$#,)!
5863 f0 (23|@5|4@0@9&#,23|$#,)!
5873 f1 (23|@5|4@0@9&#,23|$#,)!
5883 f574 (23|@5|4@0@9&#,23|$#,)!
5893 f0 (23|@5|4@0@9&#,23|$#,5|$#,)!
5903 f1 (23|@5|4@0@9&#,23|$#,5|$#,)!
5913 f574 (23|@5|4@0@9&#,23|$#,5|$#,)!
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|$#,)!
6053 f0 (23|$#,263|$#,)!
6063 f19 (23|$#,263|$#,)!
6073 f23 (23|$#,263|$#,)!
6083 f0 (23|$#,23|$#,)!
6093 f63 (23|$#,23|$#,)!
6103 f0 (23|@5|$#,23|$#,)!
6113 f19 (23|@5|$#,23|$#,)!
6123 f23 (23|@5|$#,23|$#,)!
6133 f0 (23|@5|$#,263|$#,)!
6143 f19 (23|@5|$#,263|$#,)!
6153 f23 (23|@5|$#,263|$#,)!
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|$#,)!
6273 f619 (20|@5|4@0@7&#,5|$#,63|$#,)!
6283 f0 (5|$#,)!
6293 f19 (5|$#,)!
6303 f23 (5|$#,)!
6313 f0 (23|$#,)!
6323 f63 (23|$#,)!
6330 s331|&
6340 s332|-1 637 -1
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 ()!
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|$#,)!
6590 a342|&
660;;tistable
6610
66228
66328,123
664123
66528,123,138
666138
66728,123,138,141
668141
66928,123,138,141,142
670142
671342
672;;symTable
673*0 (Datatype)
674^0 2@+@-@0@0@0@0@2#lltX_bool
675*1 (Constant)
676^1 2@i0@0@6#FALSE
677^2 2@i1@0@0#TRUE
678*11 (GlobalMarker)
679*1 (Constant)
680^4 5$#__LINE__
681^5 23$#__DATE__#__FILE__#__BASE_FILE__
682^8 5$#__INCLUDE_LEVEL__
683^9 23$#__VERSION__
684*0 (Datatype)
685^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
686^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
687^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
688*1 (Constant)
689^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
690^16 5$#__LCLINT__
691*3 (Variable)
692^17 211|@1|6@0@0@0@1#stdin#stdout
693*1 (Constant)
694^19 5$#EDOM#ERANGE#EILSEQ
695*3 (Variable)
696^22 5|@1|6@0@0@0@1#errno
697*0 (Datatype)
698^23 13@-@-@0@0@0@0@62#ptrdiff_t
699^24 14@-@-@0@0@0@0@63#size_t
700^25 15@-@-@0@0@0@0@64#ssize_t
701^26 13@-@-@0@0@0@0@65#wchar_t
702^27 13@-@-@0@0@0@0@66#wint_t
703^28 0@+@=@0@7@0@0@67#mbstate_t
704*1 (Constant)
705^29 0@i0@0@6#NULL
706^30 2$#NDEBUG
707*4 (Function)
708^31 72@6@0@8@0@0^$@0#assert
709^32 76$^$@0#isalnum
710^33 79$^$@0#isalpha
711^34 82$^$@0#iscntrl
712^35 85$^$@0#isdigit
713^36 89$^$@0#isgraph
714^37 93$^$@0#islower
715^38 96$^$@0#isprint
716^39 99$^$@0#ispunct
717^40 102$^$@0#isspace
718^41 106$^$@0#isupper
719^42 110$^$@0#isxdigit
720^43 114$^$@0#tolower
721^44 117$^$@0#toupper
722*7 (Struct tag)
723^45 118@119#@lconv
724*1 (Constant)
725^46 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
726*4 (Function)
727^52 122@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@19@3@0#setlocale
728^53 126$^@3@0@0#localeconv
729*3 (Variable)
730^54 5|@1|6@0@0@0@1#DBL_DIG
731^55 17|@1|6@0@0@0@1#DBL_EPSILON
732^56 5|@1|6@0@0@0@1#DBL_MANT_DIG
733^57 17|@1|6@0@0@0@1#DBL_MAX
734^58 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
735^60 17|@1|6@0@0@0@1#DBL_MIN
736^61 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
737^64 16|@1|6@0@0@0@1#FLT_EPSILON
738^65 5|@1|6@0@0@0@1#FLT_MANT_DIG
739^66 16|@1|6@0@0@0@1#FLT_MAX
740^67 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
741^69 16|@1|6@0@0@0@1#FLT_MIN
742^70 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
743*1 (Constant)
744^72 5$#FLT_RADIX
745*3 (Variable)
746^73 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
747^75 18|@1|6@0@0@0@1#LDBL_EPSILON
748^76 5|@1|6@0@0@0@1#LDBL_MANT_DIG
749^77 18|@1|6@0@0@0@1#LDBL_MAX
750^78 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
751^80 18|@1|6@0@0@0@1#LDBL_MIN
752^81 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
753*1 (Constant)
754^83 5$#CHAR_BIT
755^84 4$#CHAR_MAX#CHAR_MIN
756^86 5$#INT_MAX#INT_MIN
757^88 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
758^91 4$#SCHAR_MAX#SCHAR_MIN
759^93 7$#SHRT_MAX#SHRT_MIN
760^95 3$#UCHAR_MAX#UCHAR_MIN
761^97 6$#UINT_MAX
762^98 10$#ULONG_MAX
763^99 8$#USHRT_MAX
764^100 17$#HUGE_VAL
765*4 (Function)
766^101 128$^$@0#sin
767^102 130$^$@0#cos
768^103 132$^$@0#tan
769^104 134$@0@g22@6@0@1@g22$@0#asin
770^105 136$@0@g22@6@0@1@g22$@0#acos
771^106 138$^$@0#atan
772^107 140$^$@0#atan2
773^108 142$^$@0#sinh
774^109 144$@0@g22@6@0@1@g22$@0#cosh
775^110 146$^$@0#tanh
776^111 148$@0@g22@6@0@1@g22$@0#exp
777^112 150$@0@g22@6@0@1@g22$@0#ldexp
778^113 152$@0@@1@tp1$@0#frexp
779^114 154$@0@g22@6@0@1@g22$@0#log
780^115 156$@0@g22@6@0@1@g22$@0#log10
781^116 158$@0@g22@6@0@1@g22$@0#pow
782^117 160$@0@g22@6@0@1@g22$@0#sqrt
783^118 162$^$@0#ceil
784^119 164$^$@0#floor
785^120 166$^$@0#fabs
786^121 168$@0@@1@tp1$@0#modf
787^122 170$^$@0#fmod
788*0 (Datatype)
789^123 20@+@+@0@0@0@0@171#jmp_buf
790*4 (Function)
791^124 173$@0@@1@p0$@0#setjmp
792^125 175@6@0@5@0@0^$@0#longjmp
793*1 (Constant)
794^126 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
795*0 (Datatype)
796^132 13@-@-@0@0@0@0@176#sig_atomic_t
797*1 (Constant)
798^133 180$#SIG_DFL
799^134 184$#SIG_ERR
800^135 188$#SIG_IGN
801*4 (Function)
802^136 201@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22$@0#signal
803^137 203@6@0@5@0@0$$@0#raise
804*0 (Datatype)
805^138 20@+@+@0@0@0@0@204#va_list
806*4 (Function)
807^139 206$@0@@1@p0$@0#va_start
808^140 208$@0@@1@p0$@0#va_end
809*0 (Datatype)
810^141 20@+@+@0@0@0@0@209#FILE
811^142 20@+@+@0@0@0@0@210#fpos_t
812*1 (Constant)
813^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
814*3 (Variable)
815^155 211|@1|6@0@0@0@1#stderr
816*4 (Function)
817^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove
818^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename
819^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
820^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam
821^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
822^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
823^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
824^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
825^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf
826^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf
827^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
828^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
829^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
830^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
831^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf
832^171 251@6@0@1@2@0^$@0#sscanf
833^172 253$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
834^173 255$@1@g18@6@0,s3@1@s3,p1,tg18$@0#vprintf
835^174 257$@0@@1@tp0,p2$@0#vsprintf
836^175 259$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
837^176 262@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
838^177 265$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
839^178 267$@0@s3@1@s3,tp1$@0#fputs
840^179 269$@0@s3@1@s3,tp0$@0#getc
841^180 271$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
842^181 274@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead.##gets
843^182 276$@0@s3@1@s3,tp1$@0#putc
844^183 278$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
845^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#puts
846^185 282$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
847^186 284$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
848^187 286$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
849^188 289$@0@g22@6@0@1@tp1,g22$@0#fgetpos
850^189 291$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
851^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
852^191 295$@0@g22@6@0@1@g22$@0#ftell
853^192 297$@0@@1@tp0$@0#rewind
854^193 299$@0@@1@tp0$@0#clearerr
855^194 301$@0@g22@6@0@1@g22$@0#feof
856^195 303$@0@g22@6@0@1@g22$@0#ferror
857^196 305$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
858^197 307$^$@0#atof
859^198 309$^$@0#atoi
860^199 311$^$@0#atol
861^200 315$@0@g22@6@0@1@tp1,g22$@0#strtod
862^201 317$@0@g22@6@0@1@tp1,g22$@0#strtol
863^202 319$@0@g22@6@0@1@tp1,g22$@0#strtoul
864*1 (Constant)
865^203 5$#RAND_MAX
866*4 (Function)
867^204 321$@0@s1@1@s1$@0#rand
868^205 323$@0@s1@1@s1$@0#srand
869^206 326@6@5@1@0@0^@2@0@0#calloc
870^207 329@4@5@1@0@0^@2@0@0#malloc
871^208 332@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
872^209 334$@0@@1@tp0$@0#free
873*1 (Constant)
874^210 5$#EXIT_FAILURE#EXIT_SUCCESS
875*4 (Function)
876^212 336@6@0@6@0@0^$@0#abort
877^213 338@6@0@6@0@0^$@0#exit
878^214 344$@0@s1@1@s1$@0#atexit
879^215 347@6@5@1@0@0^@19@3@0#getenv
880^216 349$@0@s3@1@s3$@0#system
881^217 356@6@5@1@0@0^@18@0@0#bsearch
882^218 362$@0@g22@6@0@1@tp0,g22$@0#qsort
883^219 364$^$@0#abs
884*7 (Struct tag)
885^220 365@366#@!2
886*0 (Datatype)
887^221 365@-@-@0@0@0@0@367#div_t
888*4 (Function)
889^222 369$^$@0#div
890^223 371$^$@0#labs
891*7 (Struct tag)
892^224 372@373#@!3
893*0 (Datatype)
894^225 372@-@-@0@0@0@0@374#ldiv_t
895*4 (Function)
896^226 376$^$@0#ldiv
897*1 (Constant)
898^227 63$#MB_CUR_MAX
899^228 5$#WCHAR_MAX#WCHAR_MIN
900^230 66$#WEOF
901*4 (Function)
902^231 378$^$@0#btowc
903^232 380$@0@s3@1@s3,tp0$@0#fgetwc
904^233 384@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
905^234 386$@0@s3@1@s3,tp1$@0#fputwc
906^235 388$@0@s3@1@s3,tp1$@0#fputws
907^236 390$^$@0#fwide
908^237 392@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
909^238 394@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
910^239 396$@0@s3@1@s3,tp0$@0#getwc
911^240 398$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
912^241 401$^$@0#mbrlen
913^242 403$@0@@1@tp0$@0#mbrtowc
914^243 405$^$@0#mbsinit
915^244 407$@0@@1@tp0$@0#mbsrtowcs
916^245 409$@0@s3@1@s3,tp1$@0#putwc
917^246 411$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
918^247 413@6@0@1@1@0@0@@1@tp0$@0#swprintf
919^248 415@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
920^249 417$@0@s3@1@s3,tp1$@0#ungetwc
921^250 419$@0@s3@1@s3,tp0$@0#vfwprintf
922^251 421$@0@@1@tp0$@0#vswprintf
923^252 423$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
924^253 425$@0@@1@tp0$@0#wcrtomb
925^254 429$@0@@1@tp0$@0#wcscat
926^255 432@6@5@1@0@0^@19@2@0#wcschr
927^256 434$^$@0#wcscmp
928^257 436$^$@0#wcscoll
929^258 439$@0@@1@tp0$@0#wcscpy
930^259 441$^$@0#wcscspn
931*7 (Struct tag)
932^260 630@442#@tm
933*4 (Function)
934^261 445$@0@@1@tp0$@0#wcsftime
935^262 447$^$@0#wcslen
936^263 451$@0@@1@tp0$@0#wcsncat
937^264 453$^$@0#wcsncmp
938^265 456$@0@@1@tp0$@0#wcsncpy
939^266 459@6@5@1@0@0^$@0#wcspbrk
940^267 462@6@5@1@0@0^$@0#wcsrchr
941^268 465$@0@@1@tp1$@0#wcsrtombs
942^269 467$^$@0#wcsspn
943^270 470@6@5@1@0@0^@3@0@0#wcsstr
944^271 472$@0@@1@tp1$@0#wcstod
945^272 475@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
946^273 477$@0@@1@tp1$@0#wcstol
947^274 479$@0@@1@tp1$@0#wcstoul
948^275 481$@0@@1@tp0$@0#wcsxfrm
949^276 483$^$@0#wctob
950^277 486@6@5@1@0@0^@3@0@0#wmemchr
951^278 488$^$@0#wmemcmp
952^279 491$@0@@1@tp0$@0#wmemcpy
953^280 494$@0@@1@tp0$@0#wmemmove
954^281 497$@0@@1@tp0$@0#wmemset
955^282 499@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
956^283 501@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
957*0 (Datatype)
958^284 13@-@-@0@0@0@0@502#wctype_t
959^285 13@-@-@0@0@0@0@503#wctrans_t
960*4 (Function)
961^286 507$^$@0#iswalnum
962^287 510$^$@0#iswalpha
963^288 513$^$@0#iswcntrl
964^289 516$^$@0#iswctype
965^290 519$^$@0#iswdigit
966^291 523$^$@0#iswgraph
967^292 526$^$@0#iswlower
968^293 529$^$@0#iswprint
969^294 532$^$@0#iswpunct
970^295 535$^$@0#iswspace
971^296 538$^$@0#iswupper
972^297 542$^$@0#iswxdigit
973^298 546$^$@0#towctrans
974^299 549$^$@0#towlower
975^300 552$^$@0#towupper
976^301 554$^$@0#wctrans
977^302 556$^$@0#wctype
978^303 558$^$@0#mblen
979^304 560$@0@@1@tp0$@0#mbtowc
980^305 562$@0@@1@tp0$@0#wctomb
981^306 564$@0@@1@tp0$@0#mbstowcs
982^307 566$@0@@1@tp0$@0#wcstombs
983^308 570$@0@@1@tp0$@0#memcpy
984^309 573$@0@@1@tp0$@0#memmove
985^310 577$@0@@1@tp0$@0#strcpy
986^311 580$@0@@1@tp0$@0#strncpy
987^312 583$@0@@1@tp0$@0#strcat
988^313 586$@0@@1@tp0$@0#strncat
989^314 588$^$@0#memcmp
990^315 590$^$@0#strcmp
991^316 592$^$@0#strcoll
992^317 594$^$@0#strncmp
993^318 596$@0@@1@tp0$@0#strxfrm
994^319 599@6@5@1@0@0^@3@0@0#memchr
995^320 602@6@5@1@0@0^@19@2@0#strchr
996^321 604$^$@0#strcspn
997^322 607@6@5@1@0@0^@19@2@0#strpbrk
998^323 610@6@5@1@0@0^@19@2@0#strrchr
999^324 612$^$@0#strspn
1000^325 615@6@5@1@0@0^@19@2@0#strstr
1001^326 618@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
1002^327 622$@0@@1@tp0$@0#memset
1003^328 625$^@19@3@0#strerror
1004^329 627$^$@0#strlen
1005*1 (Constant)
1006^330 5$#CLOCKS_PER_SEC
1007*0 (Datatype)
1008^331 13@-@-@0@0@0@0@628#clock_t
1009^332 13@-@-@0@0@0@0@629#time_t
1010*4 (Function)
1011^333 632$@0@s1@1@s1$@0#clock
1012^334 634$^$@0#difftime
1013^335 636$^$@0#mktime
1014^336 639$@0@@1@tp0$@0#time
1015^337 642$@0@g22@6@0@1@g22@19@3@0#asctime
1016^338 645$^@19@3@0#ctime
1017^339 648@6@5@1@0@0^@19@3@0#gmtime
1018^340 651@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
1019^341 653$@0@@1@tp0$@0#strftime
1020*0 (Datatype)
1021^342 0@+@+@0@7@0@0@654#mnull
1022;; Library constraints
1023fgets
1024pre:
1025C
10260@1@3
1027l
10281
10291
10302
10312
1032Param 23 0
1033r
10340
10351
1036e1
10372
10382
1039Param 5 1
1040e2
10412
10423
1043-1
1044;; end precondition constraints
1045post:
1046C
10470@1@3
1048l
10491
10503
10512
10522
1053Param 23 0
1054r
10552
10563
10570
1058C
10590@1@1
1060l
10611
10623
10632
10642
1065Param 23 0
1066r
10670
10681
1069e1
10702
10712
1072Param 5 1
1073e2
10742
10753
1076-1
1077;; end precondition constraints
1078calloc
1079pre:
1080;; end precondition constraints
1081post:
1082C
10830@1@4
1084l
10851
10861
10872
10882
1089Result
1090r
10910
10921
1093e1
10942
10952
1096Param 63 0
1097e2
10982
10993
1100-1
1101;; end precondition constraints
1102malloc
1103pre:
1104;; end precondition constraints
1105post:
1106C
11070@1@4
1108l
11091
11101
11112
11122
1113Result
1114r
11150
11161
1117e1
11182
11192
1120Param 63 0
1121e2
11222
11233
1124-1
1125;; end precondition constraints
1126realloc
1127pre:
1128;; end precondition constraints
1129post:
1130C
11310@1@3
1132l
11331
11341
11352
11362
1137Result
1138r
11390
11401
1141e1
11422
11432
1144Param 63 1
1145e2
11462
11473
1148-1
1149;; end precondition constraints
1150memcpy
1151pre:
1152C
11530@1@3
1154l
11551
11561
11572
11582
1159Param 20 0
1160r
11612
11622
1163Param 63 2
1164C
11650@1@3
1166l
11671
11683
11692
11702
1171Param 20 1
1172r
11732
11742
1175Param 63 2
1176;; end precondition constraints
1177post:
1178;; end precondition constraints
1179memmove
1180pre:
1181C
11820@1@3
1183l
11841
11851
11862
11872
1188Param 20 0
1189r
11902
11912
1192Param 63 2
1193C
11940@1@3
1195l
11961
11973
11982
11992
1200Param 20 1
1201r
12022
12032
1204Param 63 2
1205;; end precondition constraints
1206post:
1207;; end precondition constraints
1208strcpy
1209pre:
1210C
12110@1@3
1212l
12131
12141
12152
12162
1217Param 23 0
1218r
12191
12203
12212
12222
1223Param 23 1
1224;; end precondition constraints
1225post:
1226C
12270@1@4
1228l
12291
12301
12312
12322
1233Result
1234r
12351
12361
12372
12382
1239Param 23 0
1240C
12410@1@4
1242l
12431
12443
12452
12462
1247Result
1248r
12491
12503
12512
12522
1253Param 23 1
1254C
12550@1@4
1256l
12571
12583
12592
12602
1261Param 23 0
1262r
12631
12643
12652
12662
1267Param 23 1
1268;; end precondition constraints
1269strncpy
1270pre:
1271C
12720@1@3
1273l
12741
12751
12762
12772
1278Param 23 0
1279r
12800
12811
1282e1
12832
12842
1285Param 63 2
1286e2
12872
12883
1289-1
1290;; end precondition constraints
1291post:
1292C
12930@1@1
1294l
12951
12963
12972
12982
1299Param 23 0
1300r
13012
13022
1303Param 63 2
1304C
13050@1@3
1306l
13071
13083
13092
13102
1311Param 23 1
1312r
13131
13143
13152
13162
1317Param 23 0
1318;; end precondition constraints
1319strcat
1320pre:
1321C
13220@1@3
1323l
13241
13251
13262
13272
1328Param 23 0
1329r
13300
13311
1332e1
13331
13343
13352
13362
1337Param 23 0
1338e2
13391
13403
13412
13422
1343Param 23 1
1344;; end precondition constraints
1345post:
1346C
13470@1@4
1348l
13491
13503
13512
13522
1353Result
1354r
13550
13561
1357e1
13581
13593
13602
13612
1362Param 23 0
1363e2
13641
13653
13662
13672
1368Param 23 1
1369;; end precondition constraints
1370strncat
1371pre:
1372C
13730@1@3
1374l
13751
13761
13772
13782
1379Param 23 0
1380r
13810
13821
1383e1
13841
13853
13862
13872
1388Param 23 0
1389e2
13902
13912
1392Param 5 2
1393;; end precondition constraints
1394post:
1395C
13960@1@3
1397l
13981
13993
14002
14012
1402Result
1403r
14040
14051
1406e1
14071
14083
14092
14102
1411Param 23 0
1412e2
14132
14142
1415Param 5 2
1416;; end precondition constraints
1417strchr
1418pre:
1419;; end precondition constraints
1420post:
1421C
14220@1@3
1423l
14241
14253
14262
14272
1428Result
1429r
14302
14313
14320
1433C
14340@1@1
1435l
14361
14373
14382
14392
1440Result
1441r
14421
14433
14442
14452
1446Param 23 0
1447C
14480@1@1
1449l
14501
14511
14522
14532
1454Result
1455r
14561
14571
14582
14592
1460Param 23 0
1461C
14620@1@3
1463l
14641
14651
14662
14672
1468Result
1469r
14702
14713
14720
1473;; end precondition constraints
1474strrchr
1475pre:
1476;; end precondition constraints
1477post:
1478C
14790@1@3
1480l
14811
14823
14832
14842
1485Result
1486r
14872
14883
14890
1490C
14910@1@1
1492l
14931
14943
14952
14962
1497Result
1498r
14991
15003
15012
15022
1503Param 23 0
1504C
15050@1@1
1506l
15071
15081
15092
15102
1511Result
1512r
15131
15141
15152
15162
1517Param 23 0
1518C
15190@1@3
1520l
15211
15221
15232
15242
1525Result
1526r
15272
15283
15290
1530;; end precondition constraints
1531strstr
1532pre:
1533;; end precondition constraints
1534post:
1535C
15360@1@3
1537l
15381
15393
15402
15412
1542Result
1543r
15442
15453
15460
1547C
15480@1@1
1549l
15501
15513
15522
15532
1554Result
1555r
15561
15573
15582
15592
1560Param 23 0
1561C
15620@1@1
1563l
15641
15651
15662
15672
1568Result
1569r
15701
15711
15722
15732
1574Param 23 0
1575C
15760@1@3
1577l
15781
15791
15802
15812
1582Result
1583r
15842
15853
15860
1587;; end precondition constraints
1588memset
1589pre:
1590C
15910@1@3
1592l
15931
15941
15952
15962
1597Param 20 0
1598r
15990
16001
1601e1
16022
16032
1604Param 63 2
1605e2
16062
16073
1608-1
1609;; end precondition constraints
1610post:
1611C
16120@1@3
1613l
16141
16153
16162
16172
1618Param 20 0
1619r
16200
16211
1622e1
16232
16242
1625Param 63 2
1626e2
16272
16283
1629-1
1630;; end precondition constraints
1631strlen
1632pre:
1633;; end precondition constraints
1634post:
1635C
16360@1@4
1637l
16382
16392
1640Result
1641r
16421
16433
16442
16452
1646Param 23 0
1647;; end precondition constraints
1648asctime
1649pre:
1650;; end precondition constraints
1651post:
1652C
16530@1@4
1654l
16551
16563
16572
16582
1659Result
1660r
16612
16623
166325
1664C
16650@1@4
1666l
16671
16681
16692
16702
1671Result
1672r
16732
16743
167525
1676;; end precondition constraints
1677ctime
1678pre:
1679;; end precondition constraints
1680post:
1681C
16820@1@4
1683l
16841
16853
16862
16872
1688Result
1689r
16902
16913
169225
1693C
16940@1@4
1695l
16961
16971
16982
16992
1700Result
1701r
17022
17033
170425
1705;; end precondition constraints
1706;; Modules access
1707lltX_bool#1@
1708types#1@
1709ansi#9@
1710null6#11@
1711;;End
This page took 0.052625 seconds and 5 git commands to generate.