Fixed library dump support so that buffer constraint annotations are read and written...

[splint.git] / test / null6.lcd

;;LCLint Dump: null6.lcd
;;LCLint 3.0b-alpha --- 20 June 2001
;;lib:166
;;ctTable
0 u-2 19 38
0 p1|-2 20 39
0 b-2 21 40
0 p3|-2 22 41
0 p4|-2 23 42
0 p5|-2 24 43
0 p6|-2 25 44
0 p7|-2 26 45
0 p8|-2 27 46
0 p9|-2 28 47
0 p10|-2 29 48
0 p11|-2 30 49
0 p12|-2 31 50
0 p13|-2 32 51
0 p14|-2 33 52
0 p15|-2 34 53
0 p16|-2 35 54
0 p17|-2 36 55
0 p18|-2 37 56
1 t0|0 312 -1
1 t1|1&
1 t2|2&
1 t3|3&
1 t4|4 313 -1
1 t5|5&
1 t6|6&
1 t7|7&
1 t8|8&
1 t9|9&
1 t10|10&
1 t11|11&
1 t12|12&
1 t13|13&
1 t14|14&
1 t15|15&
1 t16|16&
1 t17|17&
1 t18|18&
2 y0|0&
2 y1|1&
2 y2|2&
2 y3|3&
2 y4|4&
2 y5|5&
2 y6|6&
2 y7|7&
2 y8|8&
2 y9|9&
2 y10|10&
2 y11|11&
2 y12|12&
2 y13|13&
2 y14|14&
2 y15|15&
2 y16|16&
2 y17|17&
2 y18|18&
-2 ?!
0 a2|&
0 s3|&
0 s4|&
0 s5|&
0 s6|&
0 s14|&
0 s15|&
0 s7|-1 381 -1
0 s8|&
0 a0|-1 399 -1
3 C0.5/20|!
3 C0.68/2|!
3 C0.2/5|!
3 f0 (70|@7|$#,)!
3 f1 (70|@7|$#,)!
3 C0.5/3|!
3 f0 (73|$#,)!
3 f2 (73|$#,)!
3 f70 (73|$#,)!
3 f0 (73|$#,)!
3 f2 (73|$#,)!
3 f70 (73|$#,)!
3 f0 (73|$#,)!
3 f2 (73|$#,)!
3 f70 (73|$#,)!
3 f0 (73|$#,)!
3 f2 (73|$#,)!
3 f70 (73|$#,)!
3 f0 (73|$#,)!
3 f2 (73|$#,)!
3 C0.2/5|!
3 f88 (73|$#,)!
3 C0.5/3|!
3 f0 (90|$#,)!
3 f2 (90|$#,)!
3 f88 (90|$#,)!
3 f0 (90|$#,)!
3 f2 (90|$#,)!
3 f88 (90|$#,)!
3 f0 (90|$#,)!
3 f2 (90|$#,)!
3 f88 (90|$#,)!
3 f0 (90|$#,)!
3 f2 (90|$#,)!
3 f88 (90|$#,)!
3 f0 (90|$#,)!
3 f2 (90|$#,)!
3 C0.2/5|!
3 f105 (90|$#,)!
3 C0.5/3|!
3 f0 (107|$#,)!
3 f2 (107|$#,)!
3 f105 (107|$#,)!
3 C0.4/5|!
3 f0 (107|$#,)!
3 f4 (107|$#,)!
3 f111 (107|$#,)!
3 f0 (107|$#,)!
3 f4 (107|$#,)!
3 f111 (107|$#,)!
3 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,}!
0 s341|-1 125 -1
3 f0 (5|$#,23|0@5@7&#,)!
3 f19 (5|$#,23|0@5@7&#,)!
3 f23 (5|$#,23|0@5@7&#,)!
3 f0 ()!
3 f19 ()!
1 t119|119&
3 f125 ()!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,5|$#,)!
3 f17 (17|$#,5|$#,)!
3 f0 (17|$#,24|4@0@7&#,)!
3 f17 (17|$#,24|4@0@7&#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,)!
3 f17 (17|$#,)!
3 f0 (17|$#,36|4@0@7&#,)!
3 f17 (17|$#,36|4@0@7&#,)!
3 f0 (17|$#,17|$#,)!
3 f17 (17|$#,17|$#,)!
0 a16|&
3 f0 (171|4@0@7&#,)!
3 f5 (171|4@0@7&#,)!
3 f0 (171|$#,5|$#,)!
3 f1 (171|$#,5|$#,)!
0 s9|&
3 ?!
3 f177 (5|$#,)!
3 f1 (5|$#,)^180
1 t179|179&
3 ?!
3 f181 (5|$#,)!
3 f1 (5|$#,)^184
1 t183|183&
3 ?!
3 f185 (5|$#,)!
3 f1 (5|$#,)^188
1 t187|187&
3 ?!
3 f189 (5|$#,)!
3 f1 (5|$#,)^192
1 t191|191&
3 f0 (5|$#,192|0@5@7&#,)!
3 f19 (5|$#,192|0@5@7&#,)^195
1 t194|194&
3 ?!
3 f196 (5|$#,)!
3 f19 (5|$#,)!
3 f1 (5|$#,192|0@5@7&#,)!
3 f1 (5|$#,)!
3 f200 (5|$#,192|0@5@7&#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
0 a17|&
3 f0 (204|4@0@7&#,!.,)!
3 f1 (204|4@0@7&#,!.,)!
3 f0 (204|$#,)!
3 f1 (204|$#,)!
0 a18|-1 211 -1
0 a19|-1 287 -1
1 t209|209&
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 ()!
3 f19 ()!
3 f211 ()!
3 f0 (23|@5|4@5@7&#,)!
3 f19 (23|@5|4@5@7&#,)!
3 f23 (23|@5|4@5@7&#,)!
3 f0 (211|$#,)!
3 f5 (211|$#,)!
3 f0 (211|0@5@7&#,)!
3 f5 (211|0@5@7&#,)!
3 f0 (23|$#,23|$#,)!
3 f19 (23|$#,23|$#,)!
3 f211 (23|$#,23|$#,)!
3 f0 (23|$#,23|$#,211|$#,)!
3 f19 (23|$#,23|$#,211|$#,)!
3 f211 (23|$#,23|$#,211|$#,)!
3 f0 (211|$#,23|0@5@19@2@0#,)!
3 f1 (211|$#,23|0@5@19@2@0#,)!
3 f0 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
3 f5 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
3 C0.5/1|!
3 f0 (211|$#,23|$#,!.,)!
3 f5 (211|$#,23|$#,!.,)!
3 f236 (211|$#,23|$#,!.,)!
3 f0 (211|$#,23|$#,!.,)!
3 f5 (211|$#,23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
3 f236 (23|$#,!.,)!
3 f0 (23|$#,!.,)!
3 f5 (23|$#,!.,)!
3 f0 (23|4@0@7&#,23|$#,!.,)!
3 f5 (23|4@0@7&#,23|$#,!.,)!
3 f236 (23|4@0@7&#,23|$#,!.,)!
3 f0 (23|4@0@7&#,23|$#,!.,)!
3 f5 (23|4@0@7&#,23|$#,!.,)!
3 f0 (211|$#,23|$#,204|$#,)!
3 f5 (211|$#,23|$#,204|$#,)!
3 f0 (23|$#,204|$#,)!
3 f5 (23|$#,204|$#,)!
3 f0 (23|4@0@7&#,23|$#,204|$#,)!
3 f5 (23|4@0@7&#,23|$#,204|$#,)!
3 f0 (211|$#,)!
3 f5 (211|$#,)!
3 f0 (23|@5|4@0@7&#,5|$#,211|$#,)!
3 f19 (23|@5|4@0@7&#,5|$#,211|$#,)!
3 f23 (23|@5|4@0@7&#,5|$#,211|$#,)!
3 C0.5/4|!
3 f0 (263|$#,211|$#,)!
3 f5 (263|$#,211|$#,)!
3 f0 (23|$#,211|$#,)!
3 f5 (23|$#,211|$#,)!
3 f0 (211|@7|$#,)!
3 f5 (211|@7|$#,)!
3 f0 ()!
3 f5 ()!
3 f0 (23|4@0@7&#,)!
3 f19 (23|4@0@7&#,)!
3 f23 (23|4@0@7&#,)!
3 f0 (263|$#,211|@7|$#,)!
3 f5 (263|$#,211|@7|$#,)!
3 f0 (263|$#,)!
3 f5 (263|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (263|$#,211|$#,)!
3 f5 (263|$#,211|$#,)!
3 f0 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
3 f63 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
3 f0 (20|$#,63|$#,63|$#,211|$#,)!
3 f63 (20|$#,63|$#,63|$#,211|$#,)!
1 t210|210&
3 f0 (211|$#,287|4@0@7&#,)!
3 f5 (211|$#,287|4@0@7&#,)!
3 f0 (211|$#,9|$#,5|$#,)!
3 f5 (211|$#,9|$#,5|$#,)!
3 f0 (211|$#,287|$#,)!
3 f5 (211|$#,287|$#,)!
3 f0 (211|$#,)!
3 f9 (211|$#,)!
3 f0 (211|$#,)!
3 f1 (211|$#,)!
3 f0 (211|$#,)!
3 f1 (211|$#,)!
3 f0 (211|$#,)!
3 f5 (211|$#,)!
3 f0 (211|$#,)!
3 f5 (211|$#,)!
3 f0 (23|0@5@7&#,)!
3 f1 (23|0@5@7&#,)!
3 f0 (23|$#,)!
3 f17 (23|$#,)!
3 f0 (23|$#,)!
3 f5 (23|$#,)!
3 f0 (23|$#,)!
3 f9 (23|$#,)!
1 t19|19&
1 t23|23&
3 f0 (23|$#,313|4@5@7&#,)!
3 f17 (23|$#,313|4@5@7&#,)!
3 f0 (23|$#,313|4@5@7&#,5|$#,)!
3 f9 (23|$#,313|4@5@7&#,5|$#,)!
3 f0 (23|$#,313|4@5@7&#,5|$#,)!
3 f10 (23|$#,313|4@5@7&#,5|$#,)!
3 f0 ()!
3 f5 ()!
3 f0 (6|$#,)!
3 f1 (6|$#,)!
3 f0 (63|$#,63|$#,)!
3 f19 (63|$#,63|$#,)!
3 f20 (63|$#,63|$#,)!
3 f0 (63|$#,)!
3 f19 (63|$#,)!
3 f20 (63|$#,)!
3 f0 (20|@5|4@5@2&#,63|$#,)!
3 f19 (20|@5|4@5@2&#,63|$#,)!
3 f20 (20|@5|4@5@2&#,63|$#,)!
3 f0 (20|4@5@2&#,)!
3 f1 (20|4@5@2&#,)!
3 f0 ()!
3 f1 ()!
3 f0 (5|$#,)!
3 f1 (5|$#,)!
3 ?!
3 f339 ()!
3 f1 ()^342
1 t341|341&
3 f0 (342|$#,)!
3 f5 (342|$#,)!
3 f0 (23|$#,)!
3 f19 (23|$#,)!
3 f23 (23|$#,)!
3 f0 (23|0@5@7&#,)!
3 f5 (23|0@5@7&#,)!
3 ?!
3 f350 (20|$#,20|$#,)!
3 f5 (20|$#,20|$#,)^353
1 t352|352&
3 f0 (20|$#,20|$#,63|$#,63|$#,353|$#,)!
3 f19 (20|$#,20|$#,63|$#,63|$#,353|$#,)!
3 f20 (20|$#,20|$#,63|$#,63|$#,353|$#,)!
3 ?!
3 f357 (20|$#,20|$#,)!
3 f5 (20|$#,20|$#,)^360
1 t359|359&
3 f0 (20|$#,63|$#,63|$#,360|$#,)!
3 f1 (20|$#,63|$#,63|$#,360|$#,)!
3 f0 (5|$#,)!
3 f5 (5|$#,)!
3 S!2{5|@1|$#quot,5|@1|$#rem,}!
0 s338|&
0 s20|&
3 f0 (5|$#,5|$#,)!
3 f367 (5|$#,5|$#,)!
3 f0 (9|$#,)!
3 f9 (9|$#,)!
3 S!3{9|@1|$#quot,9|@1|$#rem,}!
0 s339|&
0 s21|&
3 f0 (9|$#,9|$#,)!
3 f374 (9|$#,9|$#,)!
3 f0 (5|$#,)!
3 f66 (5|$#,)!
3 f0 (211|$#,)!
3 f66 (211|$#,)!
1 t65|65 463 -1
3 f0 (381|@5|$#,5|$#,211|$#,)!
3 f19 (381|@5|$#,5|$#,211|$#,)!
3 f381 (381|@5|$#,5|$#,211|$#,)!
3 f0 (65|$#,211|$#,)!
3 f66 (65|$#,211|$#,)!
3 f0 (381|$#,211|$#,)!
3 f5 (381|$#,211|$#,)!
3 f0 (211|$#,5|$#,)!
3 f5 (211|$#,5|$#,)!
3 f0 (211|$#,381|$#,!.,)!
3 f5 (211|$#,381|$#,!.,)!
3 f0 (211|$#,381|$#,!.,)!
3 f5 (211|$#,381|$#,!.,)!
3 f0 (211|@7|$#,)!
3 f66 (211|@7|$#,)!
3 f0 ()!
3 f66 ()!
1 t67|67&
3 f0 (23|$#,63|$#,399|0@5@7&#,)!
3 f63 (23|$#,63|$#,399|0@5@7&#,)!
3 f0 (381|0@5@7&#,23|$#,63|$#,399|0@5@7&#,)!
3 f63 (381|0@5@7&#,23|$#,63|$#,399|0@5@7&#,)!
3 f0 (399|0@5@7&#,)!
3 f5 (399|0@5@7&#,)!
3 f0 (381|0@5@7&#,313|$#,63|$#,399|0@5@7&#,)!
3 f63 (381|0@5@7&#,313|$#,63|$#,399|0@5@7&#,)!
3 f0 (65|$#,211|@7|$#,)!
3 f66 (65|$#,211|@7|$#,)!
3 f0 (65|$#,)!
3 f66 (65|$#,)!
3 f0 (381|$#,63|$#,381|$#,!.,)!
3 f5 (381|$#,63|$#,381|$#,!.,)!
3 f0 (381|$#,381|$#,!.,)!
3 f5 (381|$#,381|$#,!.,)!
3 f0 (66|$#,211|$#,)!
3 f66 (66|$#,211|$#,)!
3 f0 (211|$#,381|$#,204|$#,)!
3 f5 (211|$#,381|$#,204|$#,)!
3 f0 (381|$#,63|$#,381|$#,204|$#,)!
3 f5 (381|$#,63|$#,381|$#,204|$#,)!
3 f0 (381|$#,204|$#,)!
3 f5 (381|$#,204|$#,)!
3 f0 (23|4@5@7&#,65|$#,399|0@5@7&#,)!
3 f63 (23|4@5@7&#,65|$#,399|0@5@7&#,)!
3 C0.1/381|!
3 f0 (381|@5|4@0@9&#,381|$#,)!
3 f1 (381|@5|4@0@9&#,381|$#,)!
3 f426 (381|@5|4@0@9&#,381|$#,)!
3 f0 (381|@5|$#,65|$#,)!
3 f19 (381|@5|$#,65|$#,)!
3 f381 (381|@5|$#,65|$#,)!
3 f0 (381|$#,381|$#,)!
3 f5 (381|$#,381|$#,)!
3 f0 (381|$#,381|$#,)!
3 f5 (381|$#,381|$#,)!
3 f0 (381|@5|4@0@9&#,381|$#,)!
3 f1 (381|@5|4@0@9&#,381|$#,)!
3 f426 (381|@5|4@0@9&#,381|$#,)!
3 f0 (381|$#,381|$#,)!
3 f63 (381|$#,381|$#,)!
0 s340|-1 443 -1
1 t442|442&
3 f0 (381|4@0@7&#,63|$#,381|$#,443|$#,)!
3 f63 (381|4@0@7&#,63|$#,381|$#,443|$#,)!
3 f0 (381|$#,)!
3 f63 (381|$#,)!
3 C0.1/381|!
3 f0 (381|@5|4@0@9&#,381|$#,63|$#,)!
3 f1 (381|@5|4@0@9&#,381|$#,63|$#,)!
3 f448 (381|@5|4@0@9&#,381|$#,63|$#,)!
3 f0 (381|$#,381|$#,63|$#,)!
3 f5 (381|$#,381|$#,63|$#,)!
3 f0 (381|@5|4@0@9&#,381|$#,63|$#,)!
3 f1 (381|@5|4@0@9&#,381|$#,63|$#,)!
3 f448 (381|@5|4@0@9&#,381|$#,63|$#,)!
3 f0 (381|@5|$#,381|$#,)!
3 f19 (381|@5|$#,381|$#,)!
3 f381 (381|@5|$#,381|$#,)!
3 f0 (381|@5|$#,65|$#,)!
3 f19 (381|@5|$#,65|$#,)!
3 f381 (381|@5|$#,65|$#,)!
1 t381|381&
3 f0 (23|0@5@7&#,463|$#,63|$#,399|0@5@7&#,)!
3 f63 (23|0@5@7&#,463|$#,63|$#,399|0@5@7&#,)!
3 f0 (381|$#,381|$#,)!
3 f63 (381|$#,381|$#,)!
3 f0 (381|$#,381|$#,)!
3 f19 (381|$#,381|$#,)!
3 f381 (381|$#,381|$#,)!
3 f0 (381|$#,463|0@5@7&#,)!
3 f17 (381|$#,463|0@5@7&#,)!
3 f0 (381|0@5@7&#,381|$#,463|$#,)!
3 f19 (381|0@5@7&#,381|$#,463|$#,)!
3 f381 (381|0@5@7&#,381|$#,463|$#,)!
3 f0 (381|$#,463|0@5@7&#,5|$#,)!
3 f9 (381|$#,463|0@5@7&#,5|$#,)!
3 f0 (381|$#,463|0@5@7&#,5|$#,)!
3 f10 (381|$#,463|0@5@7&#,5|$#,)!
3 f0 (381|0@5@7&#,381|$#,63|$#,)!
3 f63 (381|0@5@7&#,381|$#,63|$#,)!
3 f0 (66|$#,)!
3 f5 (66|$#,)!
3 f0 (381|$#,65|$#,63|$#,)!
3 f19 (381|$#,65|$#,63|$#,)!
3 f381 (381|$#,65|$#,63|$#,)!
3 f0 (381|$#,381|$#,63|$#,)!
3 f5 (381|$#,381|$#,63|$#,)!
3 f0 (381|@5|$#,381|$#,63|$#,)!
3 f19 (381|@5|$#,381|$#,63|$#,)!
3 f381 (381|@5|$#,381|$#,63|$#,)!
3 f0 (381|@5|$#,381|$#,63|$#,)!
3 f19 (381|@5|$#,381|$#,63|$#,)!
3 f381 (381|@5|$#,381|$#,63|$#,)!
3 f0 (381|@5|$#,65|$#,63|$#,)!
3 f19 (381|@5|$#,65|$#,63|$#,)!
3 f381 (381|@5|$#,65|$#,63|$#,)!
3 f0 (381|$#,!.,)!
3 f5 (381|$#,!.,)!
3 f0 (381|$#,!.,)!
3 f5 (381|$#,!.,)!
0 s10|&
0 s11|&
3 C0.2/5|!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f504 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f504 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f504 (66|$#,)!
3 f0 (66|$#,502|$#,)!
3 f2 (66|$#,502|$#,)!
3 f504 (66|$#,502|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f504 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 C0.2/5|!
3 f522 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f522 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f522 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f522 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f522 (66|$#,)!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f522 (66|$#,)!
3 C0.2/5|!
3 f0 (66|$#,)!
3 f2 (66|$#,)!
3 f539 (66|$#,)!
3 C0.66/5|!
3 f0 (66|$#,503|$#,)!
3 f66 (66|$#,503|$#,)!
3 f543 (66|$#,503|$#,)!
3 f0 (66|$#,)!
3 f66 (66|$#,)!
3 f543 (66|$#,)!
3 f0 (66|$#,)!
3 f66 (66|$#,)!
3 f543 (66|$#,)!
3 f0 (23|$#,)!
3 f503 (23|$#,)!
3 f0 (23|$#,)!
3 f502 (23|$#,)!
3 f0 (23|$#,63|$#,)!
3 f5 (23|$#,63|$#,)!
3 f0 (381|0@5@7&#,23|0@5@7&#,63|$#,)!
3 f5 (381|0@5@7&#,23|0@5@7&#,63|$#,)!
3 f0 (23|4@5@7&#,65|$#,)!
3 f5 (23|4@5@7&#,65|$#,)!
3 f0 (381|4@0@7&#,23|$#,63|$#,)!
3 f63 (381|4@0@7&#,23|$#,63|$#,)!
3 f0 (23|4@0@7&#,381|$#,63|$#,)!
3 f63 (23|4@0@7&#,381|$#,63|$#,)!
3 C0.1/20|!
3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
3 f567 (20|@5|4@0@9&#,20|$#,63|$#,)!
3 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
3 f567 (20|@5|4@0@7&#,20|$#,63|$#,)!
3 C0.1/23|!
3 f0 (23|4@0@9&#,23|$#,)!
3 f1 (23|4@0@9&#,23|$#,)!
3 f574 (23|4@0@9&#,23|$#,)!
3 f0 (23|4@0@9&#,23|$#,63|$#,)!
3 f1 (23|4@0@9&#,23|$#,63|$#,)!
3 f574 (23|4@0@9&#,23|$#,63|$#,)!
3 f0 (23|4@0@9&#,23|$#,)!
3 f1 (23|4@0@9&#,23|$#,)!
3 f574 (23|4@0@9&#,23|$#,)!
3 f0 (23|4@0@9&#,23|$#,5|$#,)!
3 f1 (23|4@0@9&#,23|$#,5|$#,)!
3 f574 (23|4@0@9&#,23|$#,5|$#,)!
3 f0 (20|$#,20|$#,63|$#,)!
3 f5 (20|$#,20|$#,63|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 (23|$#,23|$#,)!
3 f5 (23|$#,23|$#,)!
3 f0 (23|$#,23|$#,63|$#,)!
3 f5 (23|$#,23|$#,63|$#,)!
3 f0 (23|4@5@7&#,23|$#,63|$#,)!
3 f63 (23|4@5@7&#,23|$#,63|$#,)!
3 f0 (20|$#,5|$#,63|$#,)!
3 f19 (20|$#,5|$#,63|$#,)!
3 f20 (20|$#,5|$#,63|$#,)!
3 f0 (23|$#,263|$#,)!
3 f19 (23|$#,263|$#,)!
3 f23 (23|$#,263|$#,)!
3 f0 (23|$#,23|$#,)!
3 f63 (23|$#,23|$#,)!
3 f0 (23|@5|$#,23|$#,)!
3 f19 (23|@5|$#,23|$#,)!
3 f23 (23|@5|$#,23|$#,)!
3 f0 (23|@5|$#,263|$#,)!
3 f19 (23|@5|$#,263|$#,)!
3 f23 (23|@5|$#,263|$#,)!
3 f0 (23|$#,23|$#,)!
3 f63 (23|$#,23|$#,)!
3 f0 (23|@5|0@0@9&#,23|$#,)!
3 f19 (23|@5|0@0@9&#,23|$#,)!
3 f23 (23|@5|0@0@9&#,23|$#,)!
3 f0 (23|@5|0@5@7&#,23|$#,)!
3 f19 (23|@5|0@5@7&#,23|$#,)!
3 f23 (23|@5|0@5@7&#,23|$#,)!
3 C0.1/20|!
3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
3 f619 (20|@5|4@0@7&#,5|$#,63|$#,)!
3 f0 (5|$#,)!
3 f19 (5|$#,)!
3 f23 (5|$#,)!
3 f0 (23|$#,)!
3 f63 (23|$#,)!
0 s12|&
0 s13|-1 637 -1
3 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,}!
3 f0 ()!
3 f628 ()!
3 f0 (629|$#,629|$#,)!
3 f17 (629|$#,629|$#,)!
3 f0 (443|$#,)!
3 f629 (443|$#,)!
1 t629|629&
3 f0 (637|4@5@7&#,)!
3 f629 (637|4@5@7&#,)!
3 f0 (443|$#,)!
3 f19 (443|$#,)!
3 f23 (443|$#,)!
3 f0 (637|$#,)!
3 f19 (637|$#,)!
3 f23 (637|$#,)!
3 f0 (637|$#,)!
3 f19 (637|$#,)!
3 f443 (637|$#,)!
3 f0 (637|$#,)!
3 f19 (637|$#,)!
3 f443 (637|$#,)!
3 f0 (23|4@0@7&#,63|$#,23|$#,443|$#,)!
3 f63 (23|4@0@7&#,63|$#,23|$#,443|$#,)!
0 a1|&
;;tistable
2
0
0,16
16
0,16,17
17
0,16,17,18
18
0,16,17,18,19
19
1
;;symTable
*0 (Datatype)
0@+@=@0@7@0@0@67#mbstate_t
0@+@+@0@7@0@0@654#mnull
2@+@-@0@0@0@0@2#lltX_bool
13@-@-@0@0@0@0@59#__SIZE_TYPE__
13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
13@-@-@0@0@0@0@61#__WCHAR_TYPE__
13@-@-@0@0@0@0@62#ptrdiff_t
13@-@-@0@0@0@0@65#wchar_t
13@-@-@0@0@0@0@66#wint_t
13@-@-@0@0@0@0@176#sig_atomic_t
13@-@-@0@0@0@0@502#wctype_t
13@-@-@0@0@0@0@503#wctrans_t
13@-@-@0@0@0@0@628#clock_t
13@-@-@0@0@0@0@629#time_t
14@-@-@0@0@0@0@63#size_t
15@-@-@0@0@0@0@64#ssize_t
20@+@+@0@0@0@0@171#jmp_buf
20@+@+@0@0@0@0@204#va_list
20@+@+@0@0@0@0@209#FILE
20@+@+@0@0@0@0@210#fpos_t
365@-@-@0@0@0@0@367#div_t
372@-@-@0@0@0@0@374#ldiv_t
*1 (Constant)
0@i0@0@6#NULL
2@i1@0@0#TRUE
2$#NDEBUG
2@i0@0@6#FALSE
3$#UCHAR_MAX#UCHAR_MIN
4$#CHAR_MAX#CHAR_MIN#SCHAR_MAX#SCHAR_MIN
5$#BUFSIZ#CHAR_BIT#CLOCKS_PER_SEC#EDOM#EILSEQ#EOF#ERANGE#EXIT_FAILURE#EXIT_SUCCESS#FILENAME_MAX#FLT_RADIX#FOPEN_MAX#INT_MAX#INT_MIN#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME#L_tmpnam#RAND_MAX#SEEK_CUR#SEEK_END#SEEK_SET#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM#TMP_MAX#WCHAR_MAX#WCHAR_MIN#_IOFBF#_IOLBF#_IONBF#__INCLUDE_LEVEL__#__LCLINT__#__LINE__
6$#UINT_MAX
7$#SHRT_MAX#SHRT_MIN
8$#USHRT_MAX
9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
10$#ULONG_MAX
17$#HUGE_VAL
23$#__BASE_FILE__#__DATE__#__FILE__#__REGISTER_PREFIX__#__TIME__#__USER_LABEL_PREFIX__#__VERSION__
63$#MB_CUR_MAX
66$#WEOF
180$#SIG_DFL
184$#SIG_ERR
188$#SIG_IGN
*3 (Variable)
5|@1|0@0@0@0@1#DBL_DIG#DBL_MANT_DIG#DBL_MAX_10_EXP#DBL_MAX_EXP#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG#FLT_MANT_DIG#FLT_MAX_10_EXP#FLT_MAX_EXP#FLT_MIN_10_EXP#FLT_MIN_EXP#FLT_ROUNDS#LDBL_DIG#LDBL_MANT_DIG#LDBL_MAX_10_EXP#LDBL_MAX_EXP#LDBL_MIN_10_EXP#LDBL_MIN_EXP#errno
16|@1|0@0@0@0@1#FLT_EPSILON#FLT_MAX#FLT_MIN
17|@1|0@0@0@0@1#DBL_EPSILON#DBL_MAX#DBL_MIN
18|@1|0@0@0@0@1#LDBL_EPSILON#LDBL_MAX#LDBL_MIN
211|@1|0@0@0@0@1#stderr#stdin#stdout
*4 (Function)
362$@0@g112@0@0@1@tp0,g112$@0#qsort
175@6@0@5@0@0@1@@1@s0$@0#longjmp
206$@0@@1@p0$@0#va_start
233$@0@s3@1@s3,tp0,tp1$@0#setbuf
338@6@0@6@0@0@1@@1@s0$@0#exit
323$@0@s1@1@s1$@0#srand
334$@0@@1@tp0$@0#free
305$@1@g112@0@0,g122@0@0,s3@1@s3,tg122$@0#perror
208$@0@@1@p0$@0#va_end
299$@0@@1@tp0$@0#clearerr#rewind
72@6@0@8@0@0@1@@1@s0$@0#assert
336@6@0@6@0@0@1@@1@s0$@0#abort
235$@0@s3@1@s3,tp0,tp1$@0#setvbuf
421$@0@@1@tp0$@0#vswprintf
413@6@0@1@1@0@0@@1@tp0$@0#swprintf
588$@1@@1@s0$@0#memcmp
594$@1@@1@s0$@0#strncmp
257$@0@@1@tp0,p2$@0#vsprintf
251@6@0@1@2@0@1@@1@s0$@0#sscanf
291$@0@s3,g112@0@0@1@s3,tp0,g112$@0#fseek
253$@0@s3,g112@0@0@1@s3,tp0,p2,g112$@0#vfprintf
241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
419$@0@s3@1@s3,tp0$@0#vfwprintf
392@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
394@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
453$@1@@1@s0$@0#wcsncmp#wmemcmp
415@6@0@1@2@0@0@g123@0@0@1@tg123$@0#swscanf
560$@0@@1@tp0$@0#mbtowc
215$@0@s3,g112@0@0@1@s3,g112$@0#rename
590$@1@@1@s0$@0#strcmp#strcoll
558$@1@@1@s0$@0#mblen
255$@1@g124@0@0,s3@1@s3,p1,tg124$@0#vprintf
267$@0@s3@1@s3,tp1$@0#fputs
246@6@0@1@2@0@1@g123@0@0,s3@1@s3,tg123$@0#scanf
562$@0@@1@tp0$@0#wctomb
390$@1@@1@s0$@0#fwide
293$@0@s3,g112@0@0@1@s3,tp0,g112$@0#fsetpos
289$@0@g112@0@0@1@tp1,g112$@0#fgetpos
423$@0@s3,g124@0@0@1@s3,tg124$@0#vwprintf
388$@0@s3@1@s3,tp1$@0#fputws
434$@1@@1@s0$@0#wcscmp#wcscoll
499@6@0@1@1@0@1@g124@0@0,g112@0@0@1@g112,tg124$@0#wprintf
501@6@0@1@2@0@1@g123@0@0,g112@0@0@1@g112,tg123$@0#wscanf
265$@0@s3,g112@0@0@1@s3,tp1,g112$@0#fputc#ungetc
276$@0@s3@1@s3,tp1$@0#putc
364$@1@@1@s0$@0#abs
203@6@0@5@0@0$$@0#raise
213$@0@s3,g112@0@0@1@s3,g112$@0#remove
280$@1@g124@0@0,s3@1@s3,tg124$@0#puts
309$@1@@1@s0$@0#atoi
349$@0@s3@1@s3$@0#system
483$@1@@1@s0$@0#wctob
173$@0@@1@p0$@0#setjmp
223$@0@g112@0@0,s3@1@tp0,g112,s3$@0#fclose#fgetc
301$@0@g112@0@0@1@g112$@0#feof#ferror
269$@0@s3@1@s3,tp0$@0#getc
225$@0@g112@0@0,s3@1@tp0,g112,s3$@0#fflush
344$@0@s1@1@s1$@0#atexit
405$@1@@1@s0$@0#mbsinit
278$@1@g124@0@0,s3@1@s3,tg124$@0#putchar
271$@1@g123@0@0,s3@1@s3,tg123$@0#getchar
321$@0@s1@1@s1$@0#rand
317$@0@g112@0@0@1@tp1,g112$@0#strtol
477$@0@@1@tp1$@0#wcstol
371$@1@@1@s0$@0#labs
311$@1@@1@s0$@0#atol
295$@0@g112@0@0@1@g112$@0#ftell
319$@0@g112@0@0@1@tp1,g112$@0#strtoul
479$@0@@1@tp1$@0#wcstoul
150$@0@g112@0@0@1@g112$@0#ldexp
158$@0@g112@0@0@1@g112$@0#pow
140$@1@@1@s0$@0#atan2#fmod
152$@0@@1@tp1$@0#frexp
168$@0@@1@tp1$@0#modf
315$@0@g112@0@0@1@tp1,g112$@0#strtod
472$@0@@1@tp1$@0#wcstod
634$@1@@1@s0$@0#difftime
136$@0@g112@0@0@1@g112$@0#acos#asin#cosh#exp#log#log10#sqrt
138$@1@@1@s0$@0#atan#ceil#cos#fabs#floor#sin#sinh#tan#tanh
307$@1@@1@s0$@0#atof
356@6@5@1@0@0@1@@1@s0@18@0@0#bsearch
599@6@5@1@0@0@1@@1@s0@3@0@0#memchr
332@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
326@6@5@1@0@0@1@@1@s0@2@0@0#calloc
329@4@5@1@0@0@1@@1@s0@2@0@0#malloc
262@6@5@1@0@0@0@s3,g112@0@0@1@s3,tp0,tp2,g112$@0#fgets
122@6@5@1@0@0@0@s1,g112@0@0@1@s1,g112@19@3@0#setlocale
602@6@5@1@0@0@1@@1@s0@19@2@0#strchr
607@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk
610@6@5@1@0@0@1@@1@s0@19@2@0#strrchr
618@6@5@1@0@0@0@s1,g112@0@0@1@tp0,s1,g112@19@2@0#strtok
615@6@5@1@0@0@1@@1@s0@19@2@0#strstr
625$@1@@1@s0@19@3@0#strerror
347@6@5@1@0@0@1@@1@s0@19@3@0#getenv
274@6@5@1@0@0@1@g123@0@0,s3,g112@0@0@1@s3,tp0,tg123,g112@3@0@0#gets
221$@0@s1@1@tp0,s1@19@3@0#tmpnam
642$@0@g112@0@0@1@g112@19@3@0#asctime
645$@1@@1@s0@19@3@0#ctime
286$@0@s3,g112@0@0@1@s3,tp3,g112$@0#fwrite
284$@0@s3,g112@0@0@1@s3,tp0,tp3,g112$@0#fread
465$@0@@1@tp1$@0#wcsrtombs
653$@0@@1@tp0$@0#strftime
403$@0@@1@tp0$@0#mbrtowc
407$@0@@1@tp0$@0#mbsrtowcs
445$@0@@1@tp0$@0#wcsftime
401$@1@@1@s0$@0#mbrlen
566$@0@@1@tp0$@0#wcstombs
596$@0@@1@tp0$@0#strxfrm
425$@0@@1@tp0$@0#wcrtomb
481$@0@@1@tp0$@0#wcsxfrm
564$@0@@1@tp0$@0#mbstowcs
604$@1@@1@s0$@0#strcspn#strspn
441$@1@@1@s0$@0#wcscspn#wcsspn
627$@1@@1@s0$@0#strlen
447$@1@@1@s0$@0#wcslen
386$@0@s3@1@s3,tp1$@0#fputwc
409$@0@s3@1@s3,tp1$@0#putwc
417$@0@s3@1@s3,tp1$@0#ungetwc
378$@1@@1@s0$@0#btowc
411$@0@s3,g124@0@0@1@s3,tg124$@0#putwchar
380$@0@s3@1@s3,tp0$@0#fgetwc
396$@0@s3@1@s3,tp0$@0#getwc
398$@0@s3,g123@0@0@1@s3,tg123$@0#getwchar
126$@1@@1@s0@3@0@0#localeconv
231@6@5@1@0@0@0@s3,g112@0@0@1@tp2,s3,g112@3@0@0#freopen
228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
369$@1@@1@s0$@0#div
376$@1@@1@s0$@0#ldiv
486@6@5@1@0@0@1@@1@s0@3@0@0#wmemchr
384@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
497$@0@@1@tp0$@0#wmemset
491$@0@@1@tp0$@0#wmemcpy#wmemmove
475@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
470@6@5@1@0@0@1@@1@s0@3@0@0#wcsstr
462@6@5@1@0@0@1@@1@s0$@0#wcsrchr
432@6@5@1@0@0@1@@1@s0@19@2@0#wcschr
459@6@5@1@0@0@1@@1@s0$@0#wcspbrk
651@6@5@1@0@0@0@g112@0@0@1@g112@19@3@0#localtime
648@6@5@1@0@0@1@@1@s0@19@3@0#gmtime
556$@1@@1@s0$@0#wctype
554$@1@@1@s0$@0#wctrans
632$@0@s1@1@s1$@0#clock
636$@1@@1@s0$@0#mktime
639$@0@@1@tp0$@0#time
201@6@5@1@0@0@0@s1,g112@0@0@1@s1,g112$@0#signal
622$@0@@1@tp0$@0#memset
573$@0@@1@tp0$@0#memmove
570$@0@@1@tp0$@0#memcpy
586$@0@@1@tp0@3@0@0#strncat
580$@0@@1@tp0@3@0@0#strncpy
583$@0@@1@tp0@3@0@0#strcat#strcpy
451$@0@@1@tp0$@0#wcsncat#wcsncpy
429$@0@@1@tp0$@0#wcscat#wcscpy
516$@1@@1@s0$@0#iswctype
507$@1@@1@s0$@0#iswalnum#iswalpha#iswcntrl#iswdigit#iswgraph#iswlower#iswprint#iswpunct#iswspace#iswupper#iswxdigit
76$@1@@1@s0$@0#isalnum#isalpha#iscntrl#isdigit#isgraph#islower#isprint#ispunct#isspace#isupper#isxdigit
114$@1@@1@s0$@0#tolower#toupper
249@6@0@1@1@0@0@@1@tp0$@0#sprintf
239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
244@6@0@1@1@0@1@g124@0@0,s3@1@s3,tg124$@0#printf
546$@1@@1@s0$@0#towctrans
549$@1@@1@s0$@0#towlower#towupper
*7 (Struct tag)
365@366#@!2
372@373#@!3
630@442#@tm
118@119#@lconv
;; Library constraints
realloc
pre:EMPTY
post:
C
0@1@3
l
1
1
2
2
Result
r
0
1
e1
2
2
Param 63 1
e2
2
3
-1
;; end precondition constraints
calloc
pre:EMPTY
post:
C
0@1@4
l
1
1
2
2
Result
r
0
1
e1
2
2
Param 63 0
e2
2
3
-1
;; end precondition constraints
malloc
pre:EMPTY
post:
C
0@1@4
l
1
1
2
2
Result
r
0
1
e1
2
2
Param 63 0
e2
2
3
-1
;; end precondition constraints
fgets
pre:
C
0@1@3
l
1
1
2
2
Param 23 0
r
0
1
e1
2
2
Param 5 1
e2
2
3
-1
;; end precondition constraints
post:
C
0@1@3
l
1
3
2
2
Param 23 0
r
2
3
0
C
0@1@1
l
1
3
2
2
Param 23 0
r
0
1
e1
2
2
Param 5 1
e2
2
3
-1
;; end precondition constraints
strchr
pre:EMPTY
post:
C
0@1@3
l
1
3
2
2
Result
r
2
3
0
C
0@1@1
l
1
3
2
2
Result
r
1
3
2
2
Param 23 0
C
0@1@1
l
1
1
2
2
Result
r
1
1
2
2
Param 23 0
C
0@1@3
l
1
1
2
2
Result
r
2
3
0
;; end precondition constraints
strrchr
pre:EMPTY
post:
C
0@1@3
l
1
3
2
2
Result
r
2
3
0
C
0@1@1
l
1
3
2
2
Result
r
1
3
2
2
Param 23 0
C
0@1@1
l
1
1
2
2
Result
r
1
1
2
2
Param 23 0
C
0@1@3
l
1
1
2
2
Result
r
2
3
0
;; end precondition constraints
strstr
pre:EMPTY
post:
C
0@1@3
l
1
3
2
2
Result
r
2
3
0
C
0@1@1
l
1
3
2
2
Result
r
1
3
2
2
Param 23 0
C
0@1@1
l
1
1
2
2
Result
r
1
1
2
2
Param 23 0
C
0@1@3
l
1
1
2
2
Result
r
2
3
0
;; end precondition constraints
asctime
pre:EMPTY
post:
C
0@1@4
l
1
3
2
2
Result
r
2
3
25
C
0@1@4
l
1
1
2
2
Result
r
2
3
25
;; end precondition constraints
ctime
pre:EMPTY
post:
C
0@1@4
l
1
3
2
2
Result
r
2
3
25
C
0@1@4
l
1
1
2
2
Result
r
2
3
25
;; end precondition constraints
strlen
pre:EMPTY
post:
C
0@1@4
l
2
2
Result
r
1
3
2
2
Param 23 0
;; end precondition constraints
memset
pre:
C
0@1@3
l
1
1
2
2
Param 20 0
r
0
1
e1
2
2
Param 63 2
e2
2
3
-1
;; end precondition constraints
post:
C
0@1@3
l
1
3
2
2
Param 20 0
r
0
1
e1
2
2
Param 63 2
e2
2
3
-1
;; end precondition constraints
memmove
pre:
C
0@1@3
l
1
1
2
2
Param 20 0
r
2
2
Param 63 2
C
0@1@3
l
1
3
2
2
Param 20 1
r
2
2
Param 63 2
;; end precondition constraints
post:EMPTY
memcpy
pre:
C
0@1@3
l
1
1
2
2
Param 20 0
r
2
2
Param 63 2
C
0@1@3
l
1
3
2
2
Param 20 1
r
2
2
Param 63 2
;; end precondition constraints
post:EMPTY
strncat
pre:
C
0@1@3
l
1
1
2
2
Param 23 0
r
0
1
e1
1
3
2
2
Param 23 0
e2
2
2
Param 5 2
;; end precondition constraints
post:
C
0@1@3
l
1
3
2
2
Result
r
0
1
e1
1
3
2
2
Param 23 0
e2
2
2
Param 5 2
;; end precondition constraints
strncpy
pre:
C
0@1@3
l
1
1
2
2
Param 23 0
r
0
1
e1
2
2
Param 63 2
e2
2
3
-1
;; end precondition constraints
post:
C
0@1@1
l
1
3
2
2
Param 23 0
r
2
2
Param 63 2
C
0@1@3
l
1
3
2
2
Param 23 1
r
1
3
2
2
Param 23 0
;; end precondition constraints
strcat
pre:
C
0@1@3
l
1
1
2
2
Param 23 0
r
0
1
e1
1
3
2
2
Param 23 0
e2
1
3
2
2
Param 23 1
;; end precondition constraints
post:EMPTY
strcpy
pre:
C
0@1@3
l
1
1
2
2
Param 23 0
r
1
3
2
2
Param 23 1
;; end precondition constraints
post:
C
0@1@4
l
1
1
2
2
Result
r
1
1
2
2
Param 23 0
C
0@1@4
l
1
3
2
2
Result
r
1
3
2
2
Param 23 1
C
0@1@4
l
1
3
2
2
Param 23 0
r
1
3
2
2
Param 23 1
;; end precondition constraints
;; Modules access
lltX_bool#1@
types#1@
ansi#9@
null6#11@
;;End