X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..53a895072e499cd7d36da1469ef159b4b34400e6:/lib/ansi.lcd diff --git a/lib/ansi.lcd b/lib/ansi.lcd index cd5a3c6..414bcd9 100644 --- a/lib/ansi.lcd +++ b/lib/ansi.lcd @@ -1,6 +1,6 @@ ;;LCLint Dump: ansi.lcd -;;LCLint 2.5m --- 20 May 2000 -;;lib:166 +;;LCLint 3.0.0.19 --- 5 October 2001 +;;lib:167 ;;ctTable 0 u-2 19 38 0 p1|-2 20 39 @@ -60,77 +60,75 @@ 2 y17|17& 2 y18|18& -2 ?! -0 s1|& -0 s2|& -0 s3|& -0 s4|& -0 s5|& -0 s13|& -0 s14|& -0 s6|-1 383 -1 -0 s7|& -0 a0|-1 401 -1 +0 a0|& +0 s10|& +0 s11|& +0 s12|& +0 s23|& +0 s24|& +0 s25|& +0 s26|-1 383 -1 +0 s27|& +0 a28|-1 401 -1 3 C0.5/20|! 3 C0.68/2|! 3 C0.2/5|! 3 f0 (70|@7|$#,)! 3 f1 (70|@7|$#,)! -3 C0.4/5|! -3 C0.3/5|! -3 f0 (74|$#,)! -3 f2 (74|$#,)! -3 f70 (74|$#,)! -3 f0 (74|$#,)! -3 f2 (74|$#,)! -3 f70 (74|$#,)! -3 f0 (74|$#,)! -3 f2 (74|$#,)! -3 f70 (74|$#,)! -3 f0 (74|$#,)! -3 f2 (74|$#,)! -3 f70 (74|$#,)! +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 f0 (74|$#,)! -3 f2 (74|$#,)! -3 f87 (74|$#,)! -3 C0.4/5|! -3 C0.3/5|! -3 f0 (92|$#,)! -3 f2 (92|$#,)! -3 f87 (92|$#,)! -3 f0 (92|$#,)! -3 f2 (92|$#,)! -3 f87 (92|$#,)! -3 f0 (92|$#,)! -3 f2 (92|$#,)! -3 f87 (92|$#,)! -3 f0 (92|$#,)! -3 f2 (92|$#,)! +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 f104 (92|$#,)! -3 f0 (92|$#,)! -3 f2 (92|$#,)! -3 f104 (92|$#,)! +3 f105 (90|$#,)! +3 C0.5/3|! +3 f0 (107|$#,)! +3 f2 (107|$#,)! +3 f105 (107|$#,)! 3 C0.4/5|! -3 C0.3/5|! -3 f0 (110|$#,)! -3 f2 (110|$#,)! -3 f104 (110|$#,)! -3 f0 (110|$#,)! -3 f4 (110|$#,)! -3 f109 (110|$#,)! -3 f0 (110|$#,)! -3 f4 (110|$#,)! -3 f109 (110|$#,)! +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 s340|-1 127 -1 +0 s45|-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 t121|121& -3 f127 ()! +1 t119|119& +3 f125 ()! 3 f0 (17|$#,)! 3 f17 (17|$#,)! 3 f0 (17|$#,)! @@ -175,139 +173,141 @@ 3 f17 (17|$#,36|4@0@7&#,)! 3 f0 (17|$#,17|$#,)! 3 f17 (17|$#,17|$#,)! -0 a15|& -3 f0 (173|4@0@7&#,)! -3 f5 (173|4@0@7&#,)! -3 f0 (173|$#,5|$#,)! -3 f1 (173|$#,5|$#,)! -0 s8|& +0 a123|& +3 f0 (171|4@0@7&#,)! +3 f5 (171|4@0@7&#,)! +3 f0 (171|$#,5|$#,)! +3 f1 (171|$#,5|$#,)! +0 s132|& 3 ?! -3 f179 (5|$#,)! -3 f1 (5|$#,)^182 -1 t181|181& +3 f177 (5|$#,)! +3 f1 (5|$#,)^180 +1 t179|179& 3 ?! -3 f183 (5|$#,)! -3 f1 (5|$#,)^186 -1 t185|185& +3 f181 (5|$#,)! +3 f1 (5|$#,)^184 +1 t183|183& 3 ?! -3 f187 (5|$#,)! -3 f1 (5|$#,)^190 -1 t189|189& +3 f185 (5|$#,)! +3 f1 (5|$#,)^188 +1 t187|187& 3 ?! -3 f191 (5|$#,)! -3 f1 (5|$#,)^194 -1 t193|193& -3 f0 (5|$#,194|0@5@7&#,)! -3 f19 (5|$#,194|0@5@7&#,)^197 -1 t196|196& +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 f198 (5|$#,)! +3 f196 (5|$#,)! 3 f19 (5|$#,)! -3 f1 (5|$#,194|0@5@7&#,)! +3 f1 (5|$#,192|0@5@7&#,)! 3 f1 (5|$#,)! -3 f202 (5|$#,194|0@5@7&#,)! +3 f200 (5|$#,192|0@5@7&#,)! 3 f0 (5|$#,)! 3 f5 (5|$#,)! -0 a16|& -3 f0 (206|4@0@7&#,!.,)! -3 f1 (206|4@0@7&#,!.,)! -3 f0 (206|$#,)! -3 f1 (206|$#,)! -0 a17|-1 213 -1 -0 a18|-1 289 -1 -1 t211|211& +0 a138|& +3 f0 (204|4@0@7&#,!.,)! +3 f1 (204|4@0@7&#,!.,)! +3 f0 (204|$#,)! +3 f1 (204|$#,)! +0 a141|-1 211 -1 +0 a142|-1 289 -1 +1 t209|209& 3 f0 (23|$#,)! 3 f5 (23|$#,)! 3 f0 (23|$#,23|$#,)! 3 f5 (23|$#,23|$#,)! 3 f0 ()! 3 f19 ()! -3 f213 ()! +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 (213|$#,)! -3 f5 (213|$#,)! -3 f0 (213|0@5@7&#,)! -3 f5 (213|0@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 f213 (23|$#,23|$#,)! -3 f0 (23|$#,23|$#,213|$#,)! -3 f19 (23|$#,23|$#,213|$#,)! -3 f213 (23|$#,23|$#,213|$#,)! -3 f0 (213|$#,23|0@5@19@2@0#,)! -3 f1 (213|$#,23|0@5@19@2@0#,)! -3 f0 (213|$#,23|0@5@19@2@0#,5|$#,63|$#,)! -3 f5 (213|$#,23|0@5@19@2@0#,5|$#,63|$#,)! +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 (213|$#,23|$#,!.,)! -3 f5 (213|$#,23|$#,!.,)! -3 f238 (213|$#,23|$#,!.,)! -3 f0 (213|$#,23|$#,!.,)! -3 f5 (213|$#,23|$#,!.,)! +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 f238 (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 f238 (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 (213|$#,23|$#,206|$#,)! -3 f5 (213|$#,23|$#,206|$#,)! -3 f0 (23|$#,206|$#,)! -3 f5 (23|$#,206|$#,)! -3 f0 (23|4@0@7&#,23|$#,206|$#,)! -3 f5 (23|4@0@7&#,23|$#,206|$#,)! -3 f0 (213|$#,)! -3 f5 (213|$#,)! -3 f0 (23|@5|4@0@7&#,5|$#,213|$#,)! -3 f19 (23|@5|4@0@7&#,5|$#,213|$#,)! -3 f23 (23|@5|4@0@7&#,5|$#,213|$#,)! +3 f0 (23|$#,204|$#,)! +3 f5 (23|$#,204|$#,)! +3 f0 (211|$#,23|$#,204|$#,)! +3 f5 (211|$#,23|$#,204|$#,)! +3 f0 (23|4@0@7&#,23|$#,204|$#,)! +3 f5 (23|4@0@7&#,23|$#,204|$#,)! +3 f0 (23|4@0@7&#,63|$#,23|$#,204|$#,)! +3 f5 (23|4@0@7&#,63|$#,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 (265|$#,213|$#,)! -3 f5 (265|$#,213|$#,)! -3 f0 (23|$#,213|$#,)! -3 f5 (23|$#,213|$#,)! -3 f0 (213|@7|$#,)! -3 f5 (213|@7|$#,)! +3 f0 (265|$#,211|$#,)! +3 f5 (265|$#,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 (265|$#,213|@7|$#,)! -3 f5 (265|$#,213|@7|$#,)! +3 f0 (265|$#,211|@7|$#,)! +3 f5 (265|$#,211|@7|$#,)! 3 f0 (265|$#,)! 3 f5 (265|$#,)! 3 f0 (23|$#,)! 3 f5 (23|$#,)! -3 f0 (265|$#,213|$#,)! -3 f5 (265|$#,213|$#,)! -3 f0 (20|4@0@7&#,63|$#,63|$#,213|$#,)! -3 f63 (20|4@0@7&#,63|$#,63|$#,213|$#,)! -3 f0 (20|$#,63|$#,63|$#,213|$#,)! -3 f63 (20|$#,63|$#,63|$#,213|$#,)! -1 t212|212& -3 f0 (213|$#,289|4@0@7&#,)! -3 f5 (213|$#,289|4@0@7&#,)! -3 f0 (213|$#,9|$#,5|$#,)! -3 f5 (213|$#,9|$#,5|$#,)! -3 f0 (213|$#,289|$#,)! -3 f5 (213|$#,289|$#,)! -3 f0 (213|$#,)! -3 f9 (213|$#,)! -3 f0 (213|$#,)! -3 f1 (213|$#,)! -3 f0 (213|$#,)! -3 f1 (213|$#,)! -3 f0 (213|$#,)! -3 f5 (213|$#,)! -3 f0 (213|$#,)! -3 f5 (213|$#,)! +3 f0 (265|$#,211|$#,)! +3 f5 (265|$#,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|$#,289|4@0@7&#,)! +3 f5 (211|$#,289|4@0@7&#,)! +3 f0 (211|$#,9|$#,5|$#,)! +3 f5 (211|$#,9|$#,5|$#,)! +3 f0 (211|$#,289|$#,)! +3 f5 (211|$#,289|$#,)! +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|$#,)! @@ -370,37 +370,37 @@ 3 f0 (5|$#,)! 3 f5 (5|$#,)! 3 S!2{5|@1|^#quot,5|@1|^#rem,}! -0 s337|& -0 s19|& +0 s221|& +0 s222|& 3 f0 (5|$#,5|$#,)! 3 f369 (5|$#,5|$#,)! 3 f0 (9|$#,)! 3 f9 (9|$#,)! 3 S!3{9|@1|^#quot,9|@1|^#rem,}! -0 s338|& -0 s20|& +0 s225|& +0 s226|& 3 f0 (9|$#,9|$#,)! 3 f376 (9|$#,9|$#,)! 3 f0 (5|$#,)! 3 f66 (5|$#,)! -3 f0 (213|$#,)! -3 f66 (213|$#,)! +3 f0 (211|$#,)! +3 f66 (211|$#,)! 1 t65|65 465 -1 -3 f0 (383|@5|$#,5|$#,213|$#,)! -3 f19 (383|@5|$#,5|$#,213|$#,)! -3 f383 (383|@5|$#,5|$#,213|$#,)! -3 f0 (65|$#,213|$#,)! -3 f66 (65|$#,213|$#,)! -3 f0 (383|$#,213|$#,)! -3 f5 (383|$#,213|$#,)! -3 f0 (213|$#,5|$#,)! -3 f5 (213|$#,5|$#,)! -3 f0 (213|$#,383|$#,!.,)! -3 f5 (213|$#,383|$#,!.,)! -3 f0 (213|$#,383|$#,!.,)! -3 f5 (213|$#,383|$#,!.,)! -3 f0 (213|@7|$#,)! -3 f66 (213|@7|$#,)! +3 f0 (383|@5|$#,5|$#,211|$#,)! +3 f19 (383|@5|$#,5|$#,211|$#,)! +3 f383 (383|@5|$#,5|$#,211|$#,)! +3 f0 (65|$#,211|$#,)! +3 f66 (65|$#,211|$#,)! +3 f0 (383|$#,211|$#,)! +3 f5 (383|$#,211|$#,)! +3 f0 (211|$#,5|$#,)! +3 f5 (211|$#,5|$#,)! +3 f0 (211|$#,383|$#,!.,)! +3 f5 (211|$#,383|$#,!.,)! +3 f0 (211|$#,383|$#,!.,)! +3 f5 (211|$#,383|$#,!.,)! +3 f0 (211|@7|$#,)! +3 f66 (211|@7|$#,)! 3 f0 ()! 3 f66 ()! 1 t67|67& @@ -412,22 +412,22 @@ 3 f5 (401|0@5@7&#,)! 3 f0 (383|0@5@7&#,315|$#,63|$#,401|0@5@7&#,)! 3 f63 (383|0@5@7&#,315|$#,63|$#,401|0@5@7&#,)! -3 f0 (65|$#,213|@7|$#,)! -3 f66 (65|$#,213|@7|$#,)! +3 f0 (65|$#,211|@7|$#,)! +3 f66 (65|$#,211|@7|$#,)! 3 f0 (65|$#,)! 3 f66 (65|$#,)! 3 f0 (383|$#,63|$#,383|$#,!.,)! 3 f5 (383|$#,63|$#,383|$#,!.,)! 3 f0 (383|$#,383|$#,!.,)! 3 f5 (383|$#,383|$#,!.,)! -3 f0 (66|$#,213|$#,)! -3 f66 (66|$#,213|$#,)! -3 f0 (213|$#,383|$#,206|$#,)! -3 f5 (213|$#,383|$#,206|$#,)! -3 f0 (383|$#,63|$#,383|$#,206|$#,)! -3 f5 (383|$#,63|$#,383|$#,206|$#,)! -3 f0 (383|$#,206|$#,)! -3 f5 (383|$#,206|$#,)! +3 f0 (66|$#,211|$#,)! +3 f66 (66|$#,211|$#,)! +3 f0 (211|$#,383|$#,204|$#,)! +3 f5 (211|$#,383|$#,204|$#,)! +3 f0 (383|$#,63|$#,383|$#,204|$#,)! +3 f5 (383|$#,63|$#,383|$#,204|$#,)! +3 f0 (383|$#,204|$#,)! +3 f5 (383|$#,204|$#,)! 3 f0 (23|4@5@7&#,65|$#,401|0@5@7&#,)! 3 f63 (23|4@5@7&#,65|$#,401|0@5@7&#,)! 3 C0.1/383|! @@ -446,7 +446,7 @@ 3 f428 (383|@5|4@0@9&#,383|$#,)! 3 f0 (383|$#,383|$#,)! 3 f63 (383|$#,383|$#,)! -0 s339|-1 445 -1 +0 s261|-1 445 -1 1 t444|444& 3 f0 (383|4@0@7&#,63|$#,383|$#,445|$#,)! 3 f63 (383|4@0@7&#,63|$#,383|$#,445|$#,)! @@ -506,8 +506,8 @@ 3 f5 (383|$#,!.,)! 3 f0 (383|$#,!.,)! 3 f5 (383|$#,!.,)! -0 s9|& -0 s10|& +0 s285|& +0 s286|& 3 C0.2/5|! 3 f0 (66|$#,)! 3 f2 (66|$#,)! @@ -585,12 +585,12 @@ 3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)! 3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)! 3 f576 (23|@5|4@0@9&#,23|$#,63|$#,)! -3 f0 (23|@5|4@0@9&#,23|$#,)! -3 f1 (23|@5|4@0@9&#,23|$#,)! -3 f576 (23|@5|4@0@9&#,23|$#,)! -3 f0 (23|@5|4@0@9&#,23|$#,5|$#,)! -3 f1 (23|@5|4@0@9&#,23|$#,5|$#,)! -3 f576 (23|@5|4@0@9&#,23|$#,5|$#,)! +3 f0 (23|@5|0@0@9&#,23|$#,)! +3 f1 (23|@5|0@0@9&#,23|$#,)! +3 f576 (23|@5|0@0@9&#,23|$#,)! +3 f0 (23|@5|0@0@9&#,23|$#,63|$#,)! +3 f1 (23|@5|0@0@9&#,23|$#,63|$#,)! +3 f576 (23|@5|0@0@9&#,23|$#,63|$#,)! 3 f0 (20|$#,20|$#,63|$#,)! 3 f5 (20|$#,20|$#,63|$#,)! 3 f0 (23|$#,23|$#,)! @@ -632,8 +632,8 @@ 3 f23 (5|$#,)! 3 f0 (23|$#,)! 3 f63 (23|$#,)! -0 s11|& -0 s12|-1 639 -1 +0 s332|& +0 s333|-1 639 -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 f630 ()! @@ -658,233 +658,1145 @@ 3 f445 (639|$#,)! 3 f0 (23|4@0@7&#,63|$#,23|$#,445|$#,)! 3 f63 (23|4@0@7&#,63|$#,23|$#,445|$#,)! +0 s343|& +0 s344|& +0 s345|& +0 s346|& +0 s347|& +0 s348|& +0 s349|& +0 s350|& +0 s351|& +0 s352|& +0 s353|& +0 s354|& +0 s355|& +0 s356|& +0 s357|& +0 s358|& +0 s359|& +0 s360|& +0 s361|& +0 s362|& +0 s363|& +0 s364|& +0 s365|& +0 s366|& +0 s367|& +0 s368|& +0 s369|& +0 s370|& ;;tistable 0 -0,15 -15 -0,15,16 -16 -0,15,16,17 -17 -0,15,16,17,18 -18 +28 +28,123 +123 +28,123,138 +138 +28,123,138,141 +141 +28,123,138,141,142 +142 ;;symTable *0 (Datatype) -0@+@=@0@0@0@0@67#mbstate_t -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@178#sig_atomic_t -13@-@-@0@0@0@0@504#wctype_t -13@-@-@0@0@0@0@505#wctrans_t -13@-@-@0@0@0@0@630#clock_t -13@-@-@0@0@0@0@631#time_t -14@-@-@0@0@0@0@63#size_t -15@-@-@0@0@0@0@64#ssize_t -20@+@+@0@0@0@0@173#jmp_buf -20@+@+@0@0@0@0@206#va_list -20@+@+@0@0@0@0@211#FILE -20@+@+@0@0@0@0@212#fpos_t -367@-@-@0@0@0@0@369#div_t -374@-@-@0@0@0@0@376#ldiv_t +^0 2@+@-@0@0@0@0@2#lltX_bool +*1 (Constant) +^1 2@i0@0@6#FALSE +^2 2@i1@0@0#TRUE +*11 (GlobalMarker) +*1 (Constant) +^4 5$#__LINE__ +^5 23$#__DATE__#__FILE__#__BASE_FILE__ +^8 5$#__INCLUDE_LEVEL__ +^9 23$#__VERSION__ +*0 (Datatype) +^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__ +^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__ +^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__ +*1 (Constant) +^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__ +^16 5$#__LCLINT__ +*3 (Variable) +^17 211|@1|6@0@0@0@1#stdin#stdout +*1 (Constant) +^19 5$#EDOM#ERANGE#EILSEQ +*3 (Variable) +^22 5|@1|6@0@0@0@1#errno +*0 (Datatype) +^23 13@-@-@0@0@0@0@62#ptrdiff_t +^24 14@-@-@0@0@0@0@63#size_t +^25 15@-@-@0@0@0@0@64#ssize_t +^26 13@-@-@0@0@0@0@65#wchar_t +^27 13@-@-@0@0@0@0@66#wint_t +^28 0@+@=@0@0@0@0@67#mbstate_t +*1 (Constant) +^29 0@i0@0@6#NULL +^30 2$#NDEBUG +*4 (Function) +^31 72@6@0@8@0@0^$@0#assert +^32 76$^$@0#isalnum +^33 79$^$@0#isalpha +^34 82$^$@0#iscntrl +^35 85$^$@0#isdigit +^36 89$^$@0#isgraph +^37 93$^$@0#islower +^38 96$^$@0#isprint +^39 99$^$@0#ispunct +^40 102$^$@0#isspace +^41 106$^$@0#isupper +^42 110$^$@0#isxdigit +^43 114$^$@0#tolower +^44 117$^$@0#toupper +*7 (Struct tag) +^45 118@119#@lconv +*1 (Constant) +^46 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME +*4 (Function) +^52 122@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@19@3@0#setlocale +^53 126$^@3@0@0#localeconv +*3 (Variable) +^54 5|@1|6@0@0@0@1#DBL_DIG +^55 17|@1|6@0@0@0@1#DBL_EPSILON +^56 5|@1|6@0@0@0@1#DBL_MANT_DIG +^57 17|@1|6@0@0@0@1#DBL_MAX +^58 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP +^60 17|@1|6@0@0@0@1#DBL_MIN +^61 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG +^64 16|@1|6@0@0@0@1#FLT_EPSILON +^65 5|@1|6@0@0@0@1#FLT_MANT_DIG +^66 16|@1|6@0@0@0@1#FLT_MAX +^67 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP +^69 16|@1|6@0@0@0@1#FLT_MIN +^70 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP +*1 (Constant) +^72 5$#FLT_RADIX +*3 (Variable) +^73 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG +^75 18|@1|6@0@0@0@1#LDBL_EPSILON +^76 5|@1|6@0@0@0@1#LDBL_MANT_DIG +^77 18|@1|6@0@0@0@1#LDBL_MAX +^78 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP +^80 18|@1|6@0@0@0@1#LDBL_MIN +^81 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP +*1 (Constant) +^83 5$#CHAR_BIT +^84 4$#CHAR_MAX#CHAR_MIN +^86 5$#INT_MAX#INT_MIN +^88 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX +^91 4$#SCHAR_MAX#SCHAR_MIN +^93 7$#SHRT_MAX#SHRT_MIN +^95 3$#UCHAR_MAX#UCHAR_MIN +^97 6$#UINT_MAX +^98 10$#ULONG_MAX +^99 8$#USHRT_MAX +^100 17$#HUGE_VAL +*4 (Function) +^101 128$^$@0#sin +^102 130$^$@0#cos +^103 132$^$@0#tan +^104 134$@0@g22@6@0@1@g22$@0#asin +^105 136$@0@g22@6@0@1@g22$@0#acos +^106 138$^$@0#atan +^107 140$^$@0#atan2 +^108 142$^$@0#sinh +^109 144$@0@g22@6@0@1@g22$@0#cosh +^110 146$^$@0#tanh +^111 148$@0@g22@6@0@1@g22$@0#exp +^112 150$@0@g22@6@0@1@g22$@0#ldexp +^113 152$@0@@1@tp1$@0#frexp +^114 154$@0@g22@6@0@1@g22$@0#log +^115 156$@0@g22@6@0@1@g22$@0#log10 +^116 158$@0@g22@6@0@1@g22$@0#pow +^117 160$@0@g22@6@0@1@g22$@0#sqrt +^118 162$^$@0#ceil +^119 164$^$@0#floor +^120 166$^$@0#fabs +^121 168$@0@@1@tp1$@0#modf +^122 170$^$@0#fmod +*0 (Datatype) +^123 20@+@+@0@0@0@0@171#jmp_buf +*4 (Function) +^124 173$@0@@1@p0$@0#setjmp +^125 175@6@0@5@0@0^$@0#longjmp +*1 (Constant) +^126 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM +*0 (Datatype) +^132 13@-@-@0@0@0@0@176#sig_atomic_t +*1 (Constant) +^133 180$#SIG_DFL +^134 184$#SIG_ERR +^135 188$#SIG_IGN +*4 (Function) +^136 201@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22$@0#signal +^137 203@6@0@5@0@0$$@0#raise +*0 (Datatype) +^138 20@+@+@0@0@0@0@204#va_list +*4 (Function) +^139 206$@0@@1@p0$@0#va_start +^140 208$@0@@1@p0$@0#va_end +*0 (Datatype) +^141 20@+@+@0@0@0@0@209#FILE +^142 20@+@+@0@0@0@0@210#fpos_t *1 (Constant) -0@i0@0@6#NULL -2@i1@0@0#TRUE -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__ -2$#NDEBUG -63$#MB_CUR_MAX -66$#WEOF -182$#SIG_DFL -186$#SIG_ERR -190$#SIG_IGN +^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX *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 -213|@1|0@0@0@0@1#stderr#stdin#stdout +^155 211|@1|6@0@0@0@1#stderr +*4 (Function) +^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove +^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename +^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile +^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam +^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose +^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush +^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen +^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen +^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf +^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf +^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf +^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf +^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf +^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf +^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf +^171 251@6@0@1@2@0^$@0#sscanf +^172 253$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf +^173 255$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf +^174 257$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf +^175 259$@0@@1@p0$@0#vsnprintf +^176 261$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc +^177 264@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets +^178 267$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc +^179 269$@0@s3@1@s3,tp1$@0#fputs +^180 271$@0@s3@1@s3,tp0$@0#getc +^181 273$@1@g17@6@0,s3@1@s3,tg17$@0#getchar +^182 276@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 +^183 278$@0@s3@1@s3,tp1$@0#putc +^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#putchar +^185 282$@1@g18@6@0,s3@1@s3,tg18$@0#puts +^186 284$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc +^187 286$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread +^188 288$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite +^189 291$@0@g22@6@0@1@tp1,g22$@0#fgetpos +^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek +^191 295$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos +^192 297$@0@g22@6@0@1@g22$@0#ftell +^193 299$@0@@1@tp0$@0#rewind +^194 301$@0@@1@tp0$@0#clearerr +^195 303$@0@g22@6@0@1@g22$@0#feof +^196 305$@0@g22@6@0@1@g22$@0#ferror +^197 307$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror +^198 309$^$@0#atof +^199 311$^$@0#atoi +^200 313$^$@0#atol +^201 317$@0@g22@6@0@1@tp1,g22$@0#strtod +^202 319$@0@g22@6@0@1@tp1,g22$@0#strtol +^203 321$@0@g22@6@0@1@tp1,g22$@0#strtoul +*1 (Constant) +^204 5$#RAND_MAX +*4 (Function) +^205 323$@0@s1@1@s1$@0#rand +^206 325$@0@s1@1@s1$@0#srand +^207 328@6@5@1@0@0^@2@0@0#calloc +^208 331@4@5@1@0@0^@2@0@0#malloc +^209 334@6@5@1@0@0@0@@1@tp0@2@0@0#realloc +^210 336$@0@@1@p0$@0#free +*1 (Constant) +^211 5$#EXIT_FAILURE#EXIT_SUCCESS +*4 (Function) +^213 338@6@0@6@0@0^$@0#abort +^214 340@6@0@6@0@0^$@0#exit +^215 346$@0@s1@1@s1$@0#atexit +^216 349@6@5@1@0@0^@19@3@0#getenv +^217 351$@0@s3@1@s3$@0#system +^218 358@6@5@1@0@0^@18@0@0#bsearch +^219 364$@0@g22@6@0@1@tp0,g22$@0#qsort +^220 366$^$@0#abs +*7 (Struct tag) +^221 367@368#@!2 +*0 (Datatype) +^222 367@-@-@0@0@0@0@369#div_t +*4 (Function) +^223 371$^$@0#div +^224 373$^$@0#labs +*7 (Struct tag) +^225 374@375#@!3 +*0 (Datatype) +^226 374@-@-@0@0@0@0@376#ldiv_t *4 (Function) -364$@0@g111@0@0@1@tp0,g111$@0#qsort -177@6@0@5@0@0@1@@1@s0$@0#longjmp -208$@0@@1@p0$@0#va_start -235$@0@s3@1@s3,tp0,tp1$@0#setbuf -340@6@0@6@0@0@1@@1@s0$@0#exit -325$@0@s1@1@s1$@0#srand -336$@0@@1@tp0$@0#free -307$@1@g111@0@0,g121@0@0,s3@1@s3,tg121$@0#perror -210$@0@@1@p0$@0#va_end -301$@0@@1@tp0$@0#clearerr#rewind -72@6@0@8@0@0@1@@1@s0$@0#assert -338@6@0@6@0@0@1@@1@s0$@0#abort -237$@0@s3@1@s3,tp0,tp1$@0#setvbuf -423$@0@@1@tp0$@0#vswprintf -415@6@0@1@1@0@0@@1@tp0$@0#swprintf -590$@1@@1@s0$@0#memcmp -596$@1@@1@s0$@0#strncmp -253@6@0@1@2@0@1@@1@s0$@0#sscanf -259$@0@@1@tp0,p2$@0#vsprintf -293$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fseek -255$@0@s3,g111@0@0@1@s3,tp0,p2,g111$@0#vfprintf -243@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf -421$@0@s3@1@s3,tp0$@0#vfwprintf -394@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf -396@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf -455$@1@@1@s0$@0#wcsncmp#wmemcmp -417@6@0@1@2@0@0@g122@0@0@1@tg122$@0#swscanf -562$@0@@1@tp0$@0#mbtowc -592$@1@@1@s0$@0#strcmp#strcoll -217$@0@s3,g111@0@0@1@s3,g111$@0#rename -560$@1@@1@s0$@0#mblen -257$@1@g123@0@0,s3@1@s3,p1,tg123$@0#vprintf -269$@0@s3@1@s3,tp1$@0#fputs -248@6@0@1@2@0@1@g122@0@0,s3@1@s3,tg122$@0#scanf -564$@0@@1@tp0$@0#wctomb -392$@1@@1@s0$@0#fwide -295$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fsetpos -291$@0@g111@0@0@1@tp1,g111$@0#fgetpos -425$@0@s3,g123@0@0@1@s3,tg123$@0#vwprintf -390$@0@s3@1@s3,tp1$@0#fputws -436$@1@@1@s0$@0#wcscmp#wcscoll -501@6@0@1@1@0@1@g123@0@0,g111@0@0@1@g111,tg123$@0#wprintf -503@6@0@1@2@0@1@g122@0@0,g111@0@0@1@g111,tg122$@0#wscanf -267$@0@s3,g111@0@0@1@s3,tp1,g111$@0#fputc#ungetc -278$@0@s3@1@s3,tp1$@0#putc -366$@1@@1@s0$@0#abs -205@6@0@5@0@0$$@0#raise -282$@1@g123@0@0,s3@1@s3,tg123$@0#puts -215$@0@s3,g111@0@0@1@s3,g111$@0#remove -311$@1@@1@s0$@0#atoi -351$@0@s3@1@s3$@0#system -485$@1@@1@s0$@0#wctob -175$@0@@1@p0$@0#setjmp -225$@0@g111@0@0,s3@1@tp0,g111,s3$@0#fclose#fgetc -303$@0@g111@0@0@1@g111$@0#feof#ferror -271$@0@s3@1@s3,tp0$@0#getc -227$@0@g111@0@0,s3@1@tp0,g111,s3$@0#fflush -346$@0@s1@1@s1$@0#atexit -407$@1@@1@s0$@0#mbsinit -280$@1@g123@0@0,s3@1@s3,tg123$@0#putchar -273$@1@g122@0@0,s3@1@s3,tg122$@0#getchar -323$@0@s1@1@s1$@0#rand -319$@0@g111@0@0@1@tp1,g111$@0#strtol -479$@0@@1@tp1$@0#wcstol -373$@1@@1@s0$@0#labs -313$@1@@1@s0$@0#atol -297$@0@g111@0@0@1@g111$@0#ftell -321$@0@g111@0@0@1@tp1,g111$@0#strtoul -481$@0@@1@tp1$@0#wcstoul -152$@0@g111@0@0@1@g111$@0#ldexp -142$@1@@1@s0$@0#atan2#fmod -160$@0@g111@0@0@1@g111$@0#pow -154$@0@@1@tp1$@0#frexp -170$@0@@1@tp1$@0#modf -317$@0@g111@0@0@1@tp1,g111$@0#strtod -474$@0@@1@tp1$@0#wcstod -636$@1@@1@s0$@0#difftime -138$@0@g111@0@0@1@g111$@0#acos#asin#cosh#exp#log#log10#sqrt -140$@1@@1@s0$@0#atan#ceil#cos#fabs#floor#sin#sinh#tan#tanh -309$@1@@1@s0$@0#atof -358@6@5@1@0@0@1@@1@s0@18@0@0#bsearch -601@6@5@1@0@0@1@@1@s0@3@0@0#memchr -334@6@5@1@0@0@0@@1@tp0@2@0@0#realloc -328@6@5@1@0@0@1@@1@s0@2@0@0#calloc -331@4@5@1@0@0@1@@1@s0@2@0@0#malloc -264@6@5@1@0@0@0@s3,g111@0@0@1@s3,tp0,tp2,g111$@0#fgets -124@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111@19@3@0#setlocale -609@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk -604@6@5@1@0@0@1@@1@s0@19@2@0#strchr#strrchr -620@6@5@1@0@0@0@s1,g111@0@0@1@tp0,s1,g111@19@2@0#strtok -617@6@5@1@0@0@1@@1@s0@19@2@0#strstr -627$@1@@1@s0@19@3@0#strerror -349@6@5@1@0@0@1@@1@s0@19@3@0#getenv -276@6@5@1@0@0@1@g122@0@0,s3,g111@0@0@1@s3,tp0,tg122,g111@3@0@0#gets -223$@0@s1@1@tp0,s1@19@3@0#tmpnam -644$@0@g111@0@0@1@g111@19@3@0#asctime -647$@1@@1@s0@19@3@0#ctime -288$@0@s3,g111@0@0@1@s3,tp3,g111$@0#fwrite -286$@0@s3,g111@0@0@1@s3,tp0,tp3,g111$@0#fread -467$@0@@1@tp1$@0#wcsrtombs -655$@0@@1@tp0$@0#strftime -405$@0@@1@tp0$@0#mbrtowc -409$@0@@1@tp0$@0#mbsrtowcs -447$@0@@1@tp0$@0#wcsftime -403$@1@@1@s0$@0#mbrlen -568$@0@@1@tp0$@0#wcstombs -598$@0@@1@tp0$@0#strxfrm -427$@0@@1@tp0$@0#wcrtomb -483$@0@@1@tp0$@0#wcsxfrm -566$@0@@1@tp0$@0#mbstowcs -606$@1@@1@s0$@0#strcspn#strspn -443$@1@@1@s0$@0#wcscspn#wcsspn -629$@1@@1@s0$@0#strlen -449$@1@@1@s0$@0#wcslen -388$@0@s3@1@s3,tp1$@0#fputwc -411$@0@s3@1@s3,tp1$@0#putwc -419$@0@s3@1@s3,tp1$@0#ungetwc -380$@1@@1@s0$@0#btowc -413$@0@s3,g123@0@0@1@s3,tg123$@0#putwchar -382$@0@s3@1@s3,tp0$@0#fgetwc -398$@0@s3@1@s3,tp0$@0#getwc -400$@0@s3,g122@0@0@1@s3,tg122$@0#getwchar -128$@1@@1@s0@3@0@0#localeconv -233@6@5@1@0@0@0@s3,g111@0@0@1@tp2,s3,g111@3@0@0#freopen -230@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen -220@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile -371$@1@@1@s0$@0#div -378$@1@@1@s0$@0#ldiv -488@6@5@1@0@0@1@@1@s0@3@0@0#wmemchr -386@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws -499$@0@@1@tp0$@0#wmemset -493$@0@@1@tp0$@0#wmemcpy#wmemmove -477@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok -472@6@5@1@0@0@1@@1@s0@3@0@0#wcsstr -464@6@5@1@0@0@1@@1@s0$@0#wcsrchr -434@6@5@1@0@0@1@@1@s0@19@2@0#wcschr -461@6@5@1@0@0@1@@1@s0$@0#wcspbrk -653@6@5@1@0@0@0@g111@0@0@1@g111@19@3@0#localtime -650@6@5@1@0@0@1@@1@s0@19@3@0#gmtime -558$@1@@1@s0$@0#wctype -556$@1@@1@s0$@0#wctrans -634$@0@s1@1@s1$@0#clock -638$@1@@1@s0$@0#mktime -641$@0@@1@tp0$@0#time -203@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111$@0#signal -624$@0@@1@tp0$@0#memset -575$@0@@1@tp0$@0#memmove -572$@0@@1@tp0$@0#memcpy -588$@0@@1@tp0$@0#strncat -582$@0@@1@tp0$@0#strncpy -585$@0@@1@tp0$@0#strcat#strcpy -453$@0@@1@tp0$@0#wcsncat#wcsncpy -431$@0@@1@tp0$@0#wcscat#wcscpy -518$@1@@1@s0$@0#iswctype -509$@1@@1@s0$@0#iswalnum#iswalpha#iswcntrl#iswdigit#iswgraph#iswlower#iswprint#iswpunct#iswspace#iswupper#iswxdigit -77$@1@@1@s0$@0#isalnum#isalpha#iscntrl#isdigit#isgraph#islower#isprint#ispunct#isspace#isupper#isxdigit -116$@1@@1@s0$@0#tolower#toupper -251@6@0@1@1@0@0@@1@tp0$@0#sprintf -241@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf -246@6@0@1@1@0@1@g123@0@0,s3@1@s3,tg123$@0#printf -548$@1@@1@s0$@0#towctrans -551$@1@@1@s0$@0#towlower#towupper +^227 378$^$@0#ldiv +*1 (Constant) +^228 63$#MB_CUR_MAX +^229 5$#WCHAR_MAX#WCHAR_MIN +^231 66$#WEOF +*4 (Function) +^232 380$^$@0#btowc +^233 382$@0@s3@1@s3,tp0$@0#fgetwc +^234 386@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws +^235 388$@0@s3@1@s3,tp1$@0#fputwc +^236 390$@0@s3@1@s3,tp1$@0#fputws +^237 392$^$@0#fwide +^238 394@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf +^239 396@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf +^240 398$@0@s3@1@s3,tp0$@0#getwc +^241 400$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar +^242 403$^$@0#mbrlen +^243 405$@0@@1@tp0$@0#mbrtowc +^244 407$^$@0#mbsinit +^245 409$@0@@1@tp0$@0#mbsrtowcs +^246 411$@0@s3@1@s3,tp1$@0#putwc +^247 413$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar +^248 415@6@0@1@1@0@0@@1@tp0$@0#swprintf +^249 417@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf +^250 419$@0@s3@1@s3,tp1$@0#ungetwc +^251 421$@0@s3@1@s3,tp0$@0#vfwprintf +^252 423$@0@@1@tp0$@0#vswprintf +^253 425$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf +^254 427$@0@@1@tp0$@0#wcrtomb +^255 431$@0@@1@tp0$@0#wcscat +^256 434@6@5@1@0@0^@19@2@0#wcschr +^257 436$^$@0#wcscmp +^258 438$^$@0#wcscoll +^259 441$@0@@1@tp0$@0#wcscpy +^260 443$^$@0#wcscspn *7 (Struct tag) -367@368#@!2 -374@375#@!3 -632@444#@tm -120@121#@lconv +^261 632@444#@tm +*4 (Function) +^262 447$@0@@1@tp0$@0#wcsftime +^263 449$^$@0#wcslen +^264 453$@0@@1@tp0$@0#wcsncat +^265 455$^$@0#wcsncmp +^266 458$@0@@1@tp0$@0#wcsncpy +^267 461@6@5@1@0@0^$@0#wcspbrk +^268 464@6@5@1@0@0^$@0#wcsrchr +^269 467$@0@@1@tp1$@0#wcsrtombs +^270 469$^$@0#wcsspn +^271 472@6@5@1@0@0^@3@0@0#wcsstr +^272 474$@0@@1@tp1$@0#wcstod +^273 477@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok +^274 479$@0@@1@tp1$@0#wcstol +^275 481$@0@@1@tp1$@0#wcstoul +^276 483$@0@@1@tp0$@0#wcsxfrm +^277 485$^$@0#wctob +^278 488@6@5@1@0@0^@3@0@0#wmemchr +^279 490$^$@0#wmemcmp +^280 493$@0@@1@tp0$@0#wmemcpy +^281 496$@0@@1@tp0$@0#wmemmove +^282 499$@0@@1@tp0$@0#wmemset +^283 501@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf +^284 503@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf +*0 (Datatype) +^285 13@-@-@0@0@0@0@504#wctype_t +^286 13@-@-@0@0@0@0@505#wctrans_t +*4 (Function) +^287 509$^$@0#iswalnum +^288 512$^$@0#iswalpha +^289 515$^$@0#iswcntrl +^290 518$^$@0#iswctype +^291 521$^$@0#iswdigit +^292 525$^$@0#iswgraph +^293 528$^$@0#iswlower +^294 531$^$@0#iswprint +^295 534$^$@0#iswpunct +^296 537$^$@0#iswspace +^297 540$^$@0#iswupper +^298 544$^$@0#iswxdigit +^299 548$^$@0#towctrans +^300 551$^$@0#towlower +^301 554$^$@0#towupper +^302 556$^$@0#wctrans +^303 558$^$@0#wctype +^304 560$^$@0#mblen +^305 562$@0@@1@tp0$@0#mbtowc +^306 564$@0@@1@tp0$@0#wctomb +^307 566$@0@@1@tp0$@0#mbstowcs +^308 568$@0@@1@tp0$@0#wcstombs +^309 572$@0@@1@tp0$@0#memcpy +^310 575$@0@@1@tp0$@0#memmove +^311 579$@0@@1@tp0$@0#strcpy +^312 582$@0@@1@tp0$@0#strncpy +^313 585$@0@@1@tp0$@0#strcat +^314 588$@0@@1@tp0$@0#strncat +^315 590$^$@0#memcmp +^316 592$^$@0#strcmp +^317 594$^$@0#strcoll +^318 596$^$@0#strncmp +^319 598$@0@@1@tp0$@0#strxfrm +^320 601@6@5@1@0@0^@3@0@0#memchr +^321 604@6@5@1@0@0^@19@2@0#strchr +^322 606$^$@0#strcspn +^323 609@6@5@1@0@0^@19@2@0#strpbrk +^324 612@6@5@1@0@0^@19@2@0#strrchr +^325 614$^$@0#strspn +^326 617@6@5@1@0@0^@19@2@0#strstr +^327 620@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok +^328 624$@0@@1@tp0$@0#memset +^329 627$^@19@3@0#strerror +^330 629$^$@0#strlen +*1 (Constant) +^331 5$#CLOCKS_PER_SEC +*0 (Datatype) +^332 13@-@-@0@0@0@0@630#clock_t +^333 13@-@-@0@0@0@0@631#time_t +*4 (Function) +^334 634$@0@s1@1@s1$@0#clock +^335 636$^$@0#difftime +^336 638$^$@0#mktime +^337 641$@0@@1@tp0$@0#time +^338 644$@0@g22@6@0@1@g22@19@3@0#asctime +^339 647$^@19@3@0#ctime +^340 650@6@5@1@0@0^@19@3@0#gmtime +^341 653@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime +^342 655$@0@@1@tp0$@0#strftime +*0 (Datatype) +^343 13@-@-@0@0@0@0@656#int8_t +^344 13@-@-@0@0@0@0@657#int16_t +^345 13@-@-@0@0@0@0@658#int32_t +^346 13@-@-@0@0@0@0@659#int64_t +^347 14@-@-@0@0@0@0@660#uint8_t +^348 14@-@-@0@0@0@0@661#uint16_t +^349 14@-@-@0@0@0@0@662#uint32_t +^350 14@-@-@0@0@0@0@663#uint64_t +^351 13@-@-@0@0@0@0@664#int_least8_t +^352 13@-@-@0@0@0@0@665#int_least16_t +^353 13@-@-@0@0@0@0@666#int_least32_t +^354 13@-@-@0@0@0@0@667#int_least64_t +^355 14@-@-@0@0@0@0@668#uint_least8_t +^356 14@-@-@0@0@0@0@669#uint_least16_t +^357 14@-@-@0@0@0@0@670#uint_least32_t +^358 14@-@-@0@0@0@0@671#uint_least64_t +^359 13@-@-@0@0@0@0@672#int_fast8_t +^360 13@-@-@0@0@0@0@673#int_fast16_t +^361 13@-@-@0@0@0@0@674#int_fast32_t +^362 13@-@-@0@0@0@0@675#int_fast64_t +^363 14@-@-@0@0@0@0@676#uint_fast8_t +^364 14@-@-@0@0@0@0@677#uint_fast16_t +^365 14@-@-@0@0@0@0@678#uint_fast32_t +^366 14@-@-@0@0@0@0@679#uint_fast64_t +^367 24@-@+@0@0@0@0@680#intptr_t +^368 25@-@+@0@0@0@0@681#uintptr_t +^369 15@-@-@0@0@0@0@682#intmax_t +^370 14@-@-@0@0@0@0@683#uintmax_t +*1 (Constant) +^371 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 +^407 63$#INTPTR_MIN#INTPTR_MAX +;; Library constraints +vsnprintf +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 0 +r +2 +2 +Param 63 1 +;; end precondition constraints +post:EMPTY +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 +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 +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 +memcpy +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 +C +0@1@3 +l +1 +3 +2 +2 +Param 20 1 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-1 +;; end precondition constraints +post:EMPTY +memmove +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 +C +0@1@3 +l +1 +3 +2 +2 +Param 20 1 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-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 +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: +C +0@1@4 +l +1 +3 +2 +2 +Result +r +0 +1 +e1 +1 +3 +2 +2 +Param 23 0 +e2 +1 +3 +2 +2 +Param 23 1 +;; end precondition constraints +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 63 2 +;; end precondition constraints +post: +C +0@1@3 +l +1 +3 +2 +2 +Param 23 0 +r +0 +1 +e1 +1 +3 +2 +2 +Param 23 0 +e2 +2 +2 +Param 63 2 +;; 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 +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 +strlen +pre:EMPTY +post: +C +0@1@4 +l +2 +2 +Result +r +1 +3 +2 +2 +Param 23 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 ;; Modules access -ansi#8@ +lltX_bool#1@ +types#1@ +ansi#9@ ;;End