X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8e349e1176b8e76e2eaec467ce10d69d7acb5504..d0b80d80b955831748621710bc1a6ae866a2b45c:/test/null6.lcd diff --git a/test/null6.lcd b/test/null6.lcd index de9c8e8..fd64ea6 100644 --- a/test/null6.lcd +++ b/test/null6.lcd @@ -1,6 +1,6 @@ -;;LCLint Dump: null6.lcd -;;LCLint 2.5q --- 20 May 2000 -;;lib:166 +;;; Splint Library null6.lcd +;;Splint 3.0.1.7 --- 28 Mar 2002 +;;lib:299 ;;ctTable 0 u-2 19 38 0 p1|-2 20 39 @@ -21,11 +21,11 @@ 0 p16|-2 35 54 0 p17|-2 36 55 0 p18|-2 37 56 -1 t0|0 312 -1 +1 t0|0 315 -1 1 t1|1& 1 t2|2& 1 t3|3& -1 t4|4 313 -1 +1 t4|4 316 -1 1 t5|5& 1 t6|6& 1 t7|7& @@ -60,75 +60,76 @@ 2 y17|17& 2 y18|18& -2 ?! -0 a2|& -0 s3|& -0 s4|& -0 s5|& -0 s6|& -0 s15|& -0 s16|& -0 s7|-1 381 -1 -0 s8|& -0 a0|-1 399 -1 +0 a0|& +0 s10|& +0 s11|& +0 s12|& +0 s25|& +0 s26|& +0 s27|& +0 s28|-1 384 -1 +0 s29|& +0 a30|-1 402 -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.4/3|! +3 C0.5/73|! +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.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 f0 (74|$#,)! +3 f2 (74|$#,)! +3 f87 (74|$#,)! +3 C0.5/73|! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f87 (91|$#,)! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f87 (91|$#,)! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f87 (91|$#,)! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f87 (91|$#,)! 3 C0.2/5|! -3 f105 (90|$#,)! -3 C0.5/3|! -3 f0 (107|$#,)! -3 f2 (107|$#,)! -3 f105 (107|$#,)! +3 f0 (91|$#,)! +3 f2 (91|$#,)! +3 f104 (91|$#,)! +3 C0.5/73|! +3 f0 (108|$#,)! +3 f2 (108|$#,)! +3 f104 (108|$#,)! 3 C0.4/5|! -3 f0 (107|$#,)! -3 f4 (107|$#,)! -3 f111 (107|$#,)! -3 f0 (107|$#,)! -3 f4 (107|$#,)! -3 f111 (107|$#,)! +3 f0 (108|$#,)! +3 f4 (108|$#,)! +3 f112 (108|$#,)! +3 f0 (108|$#,)! +3 f4 (108|$#,)! +3 f112 (108|$#,)! 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 s342|-1 125 -1 +0 s47|-1 126 -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 ()! +1 t120|120& +3 f126 ()! 3 f0 (17|$#,)! 3 f17 (17|$#,)! 3 f0 (17|$#,)! @@ -173,139 +174,141 @@ 3 f17 (17|$#,36|4@0@7&#,)! 3 f0 (17|$#,17|$#,)! 3 f17 (17|$#,17|$#,)! -0 a17|& -3 f0 (171|4@0@7&#,)! -3 f5 (171|4@0@7&#,)! -3 f0 (171|$#,5|$#,)! -3 f1 (171|$#,5|$#,)! -0 s9|& +0 a125|& +3 f0 (172|4@0@7&#,)! +3 f5 (172|4@0@7&#,)! +3 f0 (172|$#,5|$#,)! +3 f1 (172|$#,5|$#,)! +0 s134|& 3 ?! -3 f177 (5|$#,)! -3 f1 (5|$#,)^180 -1 t179|179& +3 f178 (5|$#,)! +3 f1 (5|$#,)^181 +1 t180|180& 3 ?! -3 f181 (5|$#,)! -3 f1 (5|$#,)^184 -1 t183|183& +3 f182 (5|$#,)! +3 f1 (5|$#,)^185 +1 t184|184& 3 ?! -3 f185 (5|$#,)! -3 f1 (5|$#,)^188 -1 t187|187& +3 f186 (5|$#,)! +3 f1 (5|$#,)^189 +1 t188|188& 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 f190 (5|$#,)! +3 f1 (5|$#,)^193 +1 t192|192& +3 f0 (5|$#,193|0@5@7&#,)! +3 f19 (5|$#,193|0@5@7&#,)^196 +1 t195|195& 3 ?! -3 f196 (5|$#,)! +3 f197 (5|$#,)! 3 f19 (5|$#,)! -3 f1 (5|$#,192|0@5@7&#,)! +3 f1 (5|$#,193|0@5@7&#,)! 3 f1 (5|$#,)! -3 f200 (5|$#,192|0@5@7&#,)! +3 f201 (5|$#,193|0@5@7&#,)! 3 f0 (5|$#,)! 3 f5 (5|$#,)! -0 a18|& -3 f0 (204|4@0@7&#,!.,)! -3 f1 (204|4@0@7&#,!.,)! -3 f0 (204|$#,)! -3 f1 (204|$#,)! -0 a19|-1 211 -1 -0 a20|-1 287 -1 -1 t209|209& +0 a140|& +3 f0 (205|4@0@7&#,!.,)! +3 f1 (205|4@0@7&#,!.,)! +3 f0 (205|$#,)! +3 f1 (205|$#,)! +0 a143|-1 212 -1 +0 a144|-1 290 -1 +1 t210|210& 3 f0 (23|$#,)! 3 f5 (23|$#,)! 3 f0 (23|$#,23|$#,)! 3 f5 (23|$#,23|$#,)! 3 f0 ()! 3 f19 ()! -3 f211 ()! +3 f212 ()! 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 (212|$#,)! +3 f5 (212|$#,)! +3 f0 (212|0@5@7&#,)! +3 f5 (212|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 f212 (23|$#,23|$#,)! +3 f0 (23|$#,23|$#,212|$#,)! +3 f19 (23|$#,23|$#,212|$#,)! +3 f212 (23|$#,23|$#,212|$#,)! +3 f0 (212|$#,23|4@5@19@2@0#,)! +3 f1 (212|$#,23|4@5@19@2@0#,)! +3 f0 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)! +3 f5 (212|$#,23|4@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 (212|$#,23|$#,!.,)! +3 f5 (212|$#,23|$#,!.,)! +3 f237 (212|$#,23|$#,!.,)! +3 f0 (212|$#,23|$#,!.,)! +3 f5 (212|$#,23|$#,!.,)! 3 f0 (23|$#,!.,)! 3 f5 (23|$#,!.,)! -3 f236 (23|$#,!.,)! +3 f237 (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 f237 (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 f0 (23|$#,205|$#,)! +3 f5 (23|$#,205|$#,)! +3 f0 (212|$#,23|$#,205|$#,)! +3 f5 (212|$#,23|$#,205|$#,)! +3 f0 (23|4@0@7&#,23|$#,205|$#,)! +3 f5 (23|4@0@7&#,23|$#,205|$#,)! +3 f0 (23|4@0@7&#,63|$#,23|$#,205|$#,)! +3 f5 (23|4@0@7&#,63|$#,23|$#,205|$#,)! +3 f0 (212|$#,)! +3 f5 (212|$#,)! +3 f0 (23|@5|4@0@7&#,5|$#,212|$#,)! +3 f19 (23|@5|4@0@7&#,5|$#,212|$#,)! +3 f23 (23|@5|4@0@7&#,5|$#,212|$#,)! 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 (266|$#,212|$#,)! +3 f5 (266|$#,212|$#,)! +3 f0 (23|$#,212|$#,)! +3 f5 (23|$#,212|$#,)! +3 f0 (212|@7|$#,)! +3 f5 (212|@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 (266|$#,212|@7|$#,)! +3 f5 (266|$#,212|@7|$#,)! +3 f0 (266|$#,)! +3 f5 (266|$#,)! 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 (266|$#,212|$#,)! +3 f5 (266|$#,212|$#,)! +3 f0 (20|4@0@7&#,63|$#,63|$#,212|$#,)! +3 f63 (20|4@0@7&#,63|$#,63|$#,212|$#,)! +3 f0 (20|$#,63|$#,63|$#,212|$#,)! +3 f63 (20|$#,63|$#,63|$#,212|$#,)! +1 t211|211& +3 f0 (212|$#,290|4@0@7&#,)! +3 f5 (212|$#,290|4@0@7&#,)! +3 f0 (212|$#,9|$#,5|$#,)! +3 f5 (212|$#,9|$#,5|$#,)! +3 f0 (212|$#,290|$#,)! +3 f5 (212|$#,290|$#,)! +3 f0 (212|$#,)! +3 f9 (212|$#,)! +3 f0 (212|$#,)! +3 f1 (212|$#,)! +3 f0 (212|$#,)! +3 f1 (212|$#,)! +3 f0 (212|$#,)! +3 f5 (212|$#,)! +3 f0 (212|$#,)! +3 f5 (212|$#,)! 3 f0 (23|0@5@7&#,)! 3 f1 (23|0@5@7&#,)! 3 f0 (23|$#,)! @@ -316,12 +319,12 @@ 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 (23|$#,316|4@5@7&#,)! +3 f17 (23|$#,316|4@5@7&#,)! +3 f0 (23|$#,316|4@5@7&#,5|$#,)! +3 f9 (23|$#,316|4@5@7&#,5|$#,)! +3 f0 (23|$#,316|4@5@7&#,5|$#,)! +3 f10 (23|$#,316|4@5@7&#,5|$#,)! 3 f0 ()! 3 f5 ()! 3 f0 (6|$#,)! @@ -342,253 +345,253 @@ 3 f0 (5|$#,)! 3 f1 (5|$#,)! 3 ?! -3 f339 ()! -3 f1 ()^342 -1 t341|341& -3 f0 (342|$#,)! -3 f5 (342|$#,)! +3 f342 ()! +3 f1 ()^345 +1 t344|344& +3 f0 (345|$#,)! +3 f5 (345|$#,)! 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 f353 (20|$#,20|$#,)! +3 f5 (20|$#,20|$#,)^356 +1 t355|355& +3 f0 (20|$#,20|$#,63|$#,63|$#,356|$#,)! +3 f19 (20|$#,20|$#,63|$#,63|$#,356|$#,)! +3 f20 (20|$#,20|$#,63|$#,63|$#,356|$#,)! 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 f360 (20|$#,20|$#,)! +3 f5 (20|$#,20|$#,)^363 +1 t362|362& +3 f0 (20|$#,63|$#,63|$#,363|$#,)! +3 f1 (20|$#,63|$#,63|$#,363|$#,)! 3 f0 (5|$#,)! 3 f5 (5|$#,)! 3 S!2{5|@1|$#quot,5|@1|$#rem,}! -0 s339|& -0 s21|& +0 s223|& +0 s224|& 3 f0 (5|$#,5|$#,)! -3 f367 (5|$#,5|$#,)! +3 f370 (5|$#,5|$#,)! 3 f0 (9|$#,)! 3 f9 (9|$#,)! 3 S!3{9|@1|$#quot,9|@1|$#rem,}! -0 s340|& -0 s22|& +0 s227|& +0 s228|& 3 f0 (9|$#,9|$#,)! -3 f374 (9|$#,9|$#,)! +3 f377 (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 (212|$#,)! +3 f66 (212|$#,)! +1 t65|65 466 -1 +3 f0 (384|@5|$#,5|$#,212|$#,)! +3 f19 (384|@5|$#,5|$#,212|$#,)! +3 f384 (384|@5|$#,5|$#,212|$#,)! +3 f0 (65|$#,212|$#,)! +3 f66 (65|$#,212|$#,)! +3 f0 (384|$#,212|$#,)! +3 f5 (384|$#,212|$#,)! +3 f0 (212|$#,5|$#,)! +3 f5 (212|$#,5|$#,)! +3 f0 (212|$#,384|$#,!.,)! +3 f5 (212|$#,384|$#,!.,)! +3 f0 (212|$#,384|$#,!.,)! +3 f5 (212|$#,384|$#,!.,)! +3 f0 (212|@7|$#,)! +3 f66 (212|@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 (23|$#,63|$#,402|0@5@7&#,)! +3 f63 (23|$#,63|$#,402|0@5@7&#,)! +3 f0 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)! +3 f63 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)! +3 f0 (402|0@5@7&#,)! +3 f5 (402|0@5@7&#,)! +3 f0 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)! +3 f63 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)! +3 f0 (65|$#,212|@7|$#,)! +3 f66 (65|$#,212|@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 s341|-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 (384|$#,63|$#,384|$#,!.,)! +3 f5 (384|$#,63|$#,384|$#,!.,)! +3 f0 (384|$#,384|$#,!.,)! +3 f5 (384|$#,384|$#,!.,)! +3 f0 (66|$#,212|$#,)! +3 f66 (66|$#,212|$#,)! +3 f0 (212|$#,384|$#,205|$#,)! +3 f5 (212|$#,384|$#,205|$#,)! +3 f0 (384|$#,63|$#,384|$#,205|$#,)! +3 f5 (384|$#,63|$#,384|$#,205|$#,)! +3 f0 (384|$#,205|$#,)! +3 f5 (384|$#,205|$#,)! +3 f0 (23|4@5@7&#,65|$#,402|0@5@7&#,)! +3 f63 (23|4@5@7&#,65|$#,402|0@5@7&#,)! +3 C0.1/384|! +3 f0 (384|@5|4@0@9&#,384|$#,)! +3 f1 (384|@5|4@0@9&#,384|$#,)! +3 f429 (384|@5|4@0@9&#,384|$#,)! +3 f0 (384|@5|$#,65|$#,)! +3 f19 (384|@5|$#,65|$#,)! +3 f384 (384|@5|$#,65|$#,)! +3 f0 (384|$#,384|$#,)! +3 f5 (384|$#,384|$#,)! +3 f0 (384|$#,384|$#,)! +3 f5 (384|$#,384|$#,)! +3 f0 (384|@5|4@0@9&#,384|$#,)! +3 f1 (384|@5|4@0@9&#,384|$#,)! +3 f429 (384|@5|4@0@9&#,384|$#,)! +3 f0 (384|$#,384|$#,)! +3 f63 (384|$#,384|$#,)! +0 s263|-1 446 -1 +1 t445|445& +3 f0 (384|4@0@7&#,63|$#,384|$#,446|$#,)! +3 f63 (384|4@0@7&#,63|$#,384|$#,446|$#,)! +3 f0 (384|$#,)! +3 f63 (384|$#,)! +3 C0.1/384|! +3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f0 (384|$#,384|$#,63|$#,)! +3 f5 (384|$#,384|$#,63|$#,)! +3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)! +3 f0 (384|@5|$#,384|$#,)! +3 f19 (384|@5|$#,384|$#,)! +3 f384 (384|@5|$#,384|$#,)! +3 f0 (384|@5|$#,65|$#,)! +3 f19 (384|@5|$#,65|$#,)! +3 f384 (384|@5|$#,65|$#,)! +1 t384|384& +3 f0 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)! +3 f63 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)! +3 f0 (384|$#,384|$#,)! +3 f63 (384|$#,384|$#,)! +3 f0 (384|$#,384|$#,)! +3 f19 (384|$#,384|$#,)! +3 f384 (384|$#,384|$#,)! +3 f0 (384|$#,466|0@5@7&#,)! +3 f17 (384|$#,466|0@5@7&#,)! +3 f0 (384|0@5@7&#,384|$#,466|$#,)! +3 f19 (384|0@5@7&#,384|$#,466|$#,)! +3 f384 (384|0@5@7&#,384|$#,466|$#,)! +3 f0 (384|$#,466|0@5@7&#,5|$#,)! +3 f9 (384|$#,466|0@5@7&#,5|$#,)! +3 f0 (384|$#,466|0@5@7&#,5|$#,)! +3 f10 (384|$#,466|0@5@7&#,5|$#,)! +3 f0 (384|0@5@7&#,384|$#,63|$#,)! +3 f63 (384|0@5@7&#,384|$#,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 f0 (384|$#,65|$#,63|$#,)! +3 f19 (384|$#,65|$#,63|$#,)! +3 f384 (384|$#,65|$#,63|$#,)! +3 f0 (384|$#,384|$#,63|$#,)! +3 f5 (384|$#,384|$#,63|$#,)! +3 f0 (384|@5|$#,384|$#,63|$#,)! +3 f19 (384|@5|$#,384|$#,63|$#,)! +3 f384 (384|@5|$#,384|$#,63|$#,)! +3 f0 (384|@5|$#,384|$#,63|$#,)! +3 f19 (384|@5|$#,384|$#,63|$#,)! +3 f384 (384|@5|$#,384|$#,63|$#,)! +3 f0 (384|@5|$#,65|$#,63|$#,)! +3 f19 (384|@5|$#,65|$#,63|$#,)! +3 f384 (384|@5|$#,65|$#,63|$#,)! +3 f0 (384|$#,!.,)! +3 f5 (384|$#,!.,)! +3 f0 (384|$#,!.,)! +3 f5 (384|$#,!.,)! +0 s287|& +0 s288|& 3 C0.2/5|! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f504 (66|$#,)! +3 f507 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f504 (66|$#,)! +3 f507 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f504 (66|$#,)! -3 f0 (66|$#,502|$#,)! -3 f2 (66|$#,502|$#,)! -3 f504 (66|$#,502|$#,)! +3 f507 (66|$#,)! +3 f0 (66|$#,505|$#,)! +3 f2 (66|$#,505|$#,)! +3 f507 (66|$#,505|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f504 (66|$#,)! +3 f507 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! 3 C0.2/5|! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f522 (66|$#,)! +3 f525 (66|$#,)! 3 C0.2/5|! 3 f0 (66|$#,)! 3 f2 (66|$#,)! -3 f539 (66|$#,)! +3 f542 (66|$#,)! 3 C0.66/5|! -3 f0 (66|$#,503|$#,)! -3 f66 (66|$#,503|$#,)! -3 f543 (66|$#,503|$#,)! +3 f0 (66|$#,506|$#,)! +3 f66 (66|$#,506|$#,)! +3 f546 (66|$#,506|$#,)! 3 f0 (66|$#,)! 3 f66 (66|$#,)! -3 f543 (66|$#,)! +3 f546 (66|$#,)! 3 f0 (66|$#,)! 3 f66 (66|$#,)! -3 f543 (66|$#,)! +3 f546 (66|$#,)! 3 f0 (23|$#,)! -3 f503 (23|$#,)! +3 f506 (23|$#,)! 3 f0 (23|$#,)! -3 f502 (23|$#,)! +3 f505 (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 (384|0@5@7&#,23|0@5@7&#,63|$#,)! +3 f5 (384|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 f0 (384|4@0@7&#,23|$#,63|$#,)! +3 f63 (384|4@0@7&#,23|$#,63|$#,)! +3 f0 (23|4@0@7&#,384|$#,63|$#,)! +3 f63 (23|4@0@7&#,384|$#,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 f570 (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 f570 (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 (23|@5|4@0@9&#,23|$#,)! +3 f1 (23|@5|4@0@9&#,23|$#,)! +3 f577 (23|@5|4@0@9&#,23|$#,)! +3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)! +3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)! +3 f577 (23|@5|4@0@9&#,23|$#,63|$#,)! +3 f0 (23|@5|0@0@9&#,23|$#,)! +3 f1 (23|@5|0@0@9&#,23|$#,)! +3 f577 (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 f577 (23|@5|0@0@9&#,23|$#,63|$#,)! 3 f0 (20|$#,20|$#,63|$#,)! 3 f5 (20|$#,20|$#,63|$#,)! 3 f0 (23|$#,23|$#,)! @@ -602,17 +605,17 @@ 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|@5|$#,266|$#,)! +3 f19 (23|@5|$#,266|$#,)! +3 f23 (23|@5|$#,266|$#,)! 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|@5|$#,266|$#,)! +3 f19 (23|@5|$#,266|$#,)! +3 f23 (23|@5|$#,266|$#,)! 3 f0 (23|$#,23|$#,)! 3 f63 (23|$#,23|$#,)! 3 f0 (23|@5|0@0@9&#,23|$#,)! @@ -624,275 +627,1223 @@ 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 f622 (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 +0 s334|& +0 s335|-1 640 -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|& -0 s14|& +3 f631 ()! +3 f0 (632|$#,632|$#,)! +3 f17 (632|$#,632|$#,)! +3 f0 (446|$#,)! +3 f632 (446|$#,)! +1 t632|632& +3 f0 (640|4@5@7&#,)! +3 f632 (640|4@5@7&#,)! +3 f0 (446|$#,)! +3 f19 (446|$#,)! +3 f23 (446|$#,)! +3 f0 (640|$#,)! +3 f19 (640|$#,)! +3 f23 (640|$#,)! +3 f0 (640|$#,)! +3 f19 (640|$#,)! +3 f446 (640|$#,)! +3 f0 (640|$#,)! +3 f19 (640|$#,)! +3 f446 (640|$#,)! +3 f0 (23|4@0@7&#,63|$#,23|$#,446|$#,)! +3 f63 (23|4@0@7&#,63|$#,23|$#,446|$#,)! +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|& +0 s371|& +0 s372|& +0 a411|& ;;tistable -2 0 -0,17 -17 -0,17,18 -18 -0,17,18,19 -19 -0,17,18,19,20 -20 -1 +30 +30,125 +125 +30,125,140 +140 +30,125,140,143 +143 +30,125,140,143,144 +144 +411 ;;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 -13@-@-@0@0@0@0@655#__PTRDIFF_TYPE__ -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 +^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$#S_SPLINT_S#__LCLINT__#__i686 +*3 (Variable) +^19 212|@1|6@0@0@0@1#stdin#stdout +*1 (Constant) +^21 5$#EDOM#ERANGE#EILSEQ +*3 (Variable) +^24 5|@1|6@0@0@0@1#errno +*0 (Datatype) +^25 13@-@-@0@0@0@0@62#ptrdiff_t +^26 14@-@-@0@0@0@0@63#size_t +^27 15@-@-@0@0@0@0@64#ssize_t +^28 13@-@-@0@0@0@0@65#wchar_t +^29 13@-@-@0@0@0@0@66#wint_t +^30 0@+@=@0@7@0@0@67#mbstate_t +*1 (Constant) +^31 0@i0@0@6#NULL +^32 2$#NDEBUG +*4 (Function) +^33 72@6@0@8@0@0^$@0#assert +^34 77$^$@0#isalnum +^35 80$^$@0#isalpha +^36 83$^$@0#iscntrl +^37 86$^$@0#isdigit +^38 90$^$@0#isgraph +^39 94$^$@0#islower +^40 97$^$@0#isprint +^41 100$^$@0#ispunct +^42 103$^$@0#isspace +^43 107$^$@0#isupper +^44 111$^$@0#isxdigit +^45 115$^$@0#tolower +^46 118$^$@0#toupper +*7 (Struct tag) +^47 119@120#@lconv +*1 (Constant) +^48 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME +*4 (Function) +^54 123@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24@19@3@0#setlocale +^55 127$^@3@0@0#localeconv +*3 (Variable) +^56 5|@1|6@0@0@0@1#DBL_DIG +^57 17|@1|6@0@0@0@1#DBL_EPSILON +^58 5|@1|6@0@0@0@1#DBL_MANT_DIG +^59 17|@1|6@0@0@0@1#DBL_MAX +^60 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP +^62 17|@1|6@0@0@0@1#DBL_MIN +^63 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG +^66 16|@1|6@0@0@0@1#FLT_EPSILON +^67 5|@1|6@0@0@0@1#FLT_MANT_DIG +^68 16|@1|6@0@0@0@1#FLT_MAX +^69 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP +^71 16|@1|6@0@0@0@1#FLT_MIN +^72 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP +*1 (Constant) +^74 5$#FLT_RADIX +*3 (Variable) +^75 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG +^77 18|@1|6@0@0@0@1#LDBL_EPSILON +^78 5|@1|6@0@0@0@1#LDBL_MANT_DIG +^79 18|@1|6@0@0@0@1#LDBL_MAX +^80 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP +^82 18|@1|6@0@0@0@1#LDBL_MIN +^83 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP +*1 (Constant) +^85 5$#CHAR_BIT +^86 4$#CHAR_MAX#CHAR_MIN +^88 5$#INT_MAX#INT_MIN +^90 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX +^93 4$#SCHAR_MAX#SCHAR_MIN +^95 7$#SHRT_MAX#SHRT_MIN +^97 3$#UCHAR_MAX#UCHAR_MIN +^99 6$#UINT_MAX +^100 10$#ULONG_MAX +^101 8$#USHRT_MAX +^102 17$#HUGE_VAL +*4 (Function) +^103 129$^$@0#sin +^104 131$^$@0#cos +^105 133$^$@0#tan +^106 135$@0@g24@6@0@1@g24$@0#asin +^107 137$@0@g24@6@0@1@g24$@0#acos +^108 139$^$@0#atan +^109 141$^$@0#atan2 +^110 143$^$@0#sinh +^111 145$@0@g24@6@0@1@g24$@0#cosh +^112 147$^$@0#tanh +^113 149$@0@g24@6@0@1@g24$@0#exp +^114 151$@0@g24@6@0@1@g24$@0#ldexp +^115 153$@0@@1@tp1$@0#frexp +^116 155$@0@g24@6@0@1@g24$@0#log +^117 157$@0@g24@6@0@1@g24$@0#log10 +^118 159$@0@g24@6@0@1@g24$@0#pow +^119 161$@0@g24@6@0@1@g24$@0#sqrt +^120 163$^$@0#ceil +^121 165$^$@0#floor +^122 167$^$@0#fabs +^123 169$@0@@1@tp1$@0#modf +^124 171$^$@0#fmod +*0 (Datatype) +^125 20@+@+@0@0@0@0@172#jmp_buf +*4 (Function) +^126 174$@0@@1@p0$@0#setjmp +^127 176@6@0@5@0@0^$@0#longjmp +*1 (Constant) +^128 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM +*0 (Datatype) +^134 13@-@-@0@0@0@0@177#sig_atomic_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 +^135 181$#SIG_DFL +^136 185$#SIG_ERR +^137 189$#SIG_IGN +*4 (Function) +^138 202@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24$@0#signal +^139 204@6@0@5@0@0$$@0#raise +*0 (Datatype) +^140 20@+@+@0@0@0@0@205#va_list +*4 (Function) +^141 207$@0@@1@p0$@0#va_start +^142 209$@0@@1@p0$@0#va_end +*0 (Datatype) +^143 20@+@+@0@0@0@0@210#FILE +^144 20@+@+@0@0@0@0@211#fpos_t +*1 (Constant) +^145 63$#_IOFBF#_IOLBF#_IONBF#BUFSIZ +^149 5$#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 -211|@1|0@0@0@0@1#stderr#stdin#stdout +^157 212|@1|6@0@0@0@1#stderr +*4 (Function) +^158 214$@0@s3,g24@6@0@1@s3,g24$@0#remove +^159 216$@0@s3,g24@6@0@1@s3,g24$@0#rename +^160 219@6@5@1@0@0@0@s3,g24@6@0@1@s3,g24@18@0@0#tmpfile +^161 222$@0@s1@1@tp0,s1@19@3@0#tmpnam +^162 224$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fclose +^163 226$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fflush +^164 229@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen +^165 232@6@5@1@0@0@0@s3,g24@6@0@1@tp2,s3,g24@18@0@0#freopen +^166 234$@0@s3@1@s3,tp0,tp1$@0#setbuf +^167 236$@0@s3@1@s3,tp0,tp1$@0#setvbuf +^168 240@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf +^169 242@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf +^170 245@6@0@1@1@0@1@g20@6@0,s3@1@s3,tg20$@0#printf +^171 247@6@0@1@2@0@1@g19@6@0,s3@1@s3,tg19$@0#scanf +^172 250@6@0@1@1@0@0@@1@tp0$@0#sprintf +^173 252@6@0@1@2@0^$@0#sscanf +^174 254$@1@g20@6@0,s3@1@s3,tg20$@0#vprintf +^175 256$@0@s3,g24@6@0@1@s3,tp0,p2,g24$@0#vfprintf +^176 258$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf +^177 260$@0@@1@p0$@0#vsnprintf +^178 262$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fgetc +^179 265@6@5@1@0@0@0@s3,g24@6@0@1@s3,tp0,tp2,g24$@0#fgets +^180 268$@0@s3,g24@6@0@1@s3,tp1,g24$@0#fputc +^181 270$@0@s3@1@s3,tp1$@0#fputs +^182 272$@0@s3@1@s3,tp0$@0#getc +^183 274$@1@g19@6@0,s3@1@s3,tg19$@0#getchar +^184 277@6@5@1@0@0@1@g19@6@0,s3,g24@6@0@1@s3,tp0,tg19,g24@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets +^185 279$@0@s3@1@s3,tp1$@0#putc +^186 281$@1@g20@6@0,s3@1@s3,tg20$@0#putchar +^187 283$@1@g20@6@0,s3@1@s3,tg20$@0#puts +^188 285$@0@s3,g24@6@0@1@s3,tp1,g24$@0#ungetc +^189 287$@0@s3,g24@6@0@1@s3,tp0,tp3,g24$@0#fread +^190 289$@0@s3,g24@6@0@1@s3,tp3,g24$@0#fwrite +^191 292$@0@g24@6@0@1@tp1,g24$@0#fgetpos +^192 294$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fseek +^193 296$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fsetpos +^194 298$@0@g24@6@0@1@g24$@0#ftell +^195 300$@0@@1@tp0$@0#rewind +^196 302$@0@@1@tp0$@0#clearerr +^197 304$@0@g24@6@0@1@g24$@0#feof +^198 306$@0@g24@6@0@1@g24$@0#ferror +^199 308$@1@g24@6@0,g157@6@0,s3@1@s3,tg157$@0#perror +^200 310$^$@0#atof +^201 312$^$@0#atoi +^202 314$^$@0#atol +^203 318$@0@g24@6@0@1@tp1,g24$@0#strtod +^204 320$@0@g24@6@0@1@tp1,g24$@0#strtol +^205 322$@0@g24@6@0@1@tp1,g24$@0#strtoul +*1 (Constant) +^206 5$#RAND_MAX +*4 (Function) +^207 324$@0@s1@1@s1$@0#rand +^208 326$@0@s1@1@s1$@0#srand +^209 329@6@5@1@0@0^@2@0@0#calloc +^210 332@4@5@1@0@0^@2@0@0#malloc +^211 335@6@5@1@0@0@0@@1@tp0@2@0@0#realloc +^212 337$@0@@1@p0$@0#free +*1 (Constant) +^213 5$#EXIT_FAILURE#EXIT_SUCCESS +*4 (Function) +^215 339@6@0@6@0@0^$@0#abort +^216 341@6@0@6@0@0^$@0#exit +^217 347$@0@s1@1@s1$@0#atexit +^218 350@6@5@1@0@0^@19@3@0#getenv +^219 352$@0@s3@1@s3$@0#system +^220 359@6@5@1@0@0^@18@0@0#bsearch +^221 365$@0@g24@6@0@1@tp0,g24$@0#qsort +^222 367$^$@0#abs +*7 (Struct tag) +^223 368@369#@!2 +*0 (Datatype) +^224 368@-@-@0@0@0@0@370#div_t +*4 (Function) +^225 372$^$@0#div +^226 374$^$@0#labs +*7 (Struct tag) +^227 375@376#@!3 +*0 (Datatype) +^228 375@-@-@0@0@0@0@377#ldiv_t +*4 (Function) +^229 379$^$@0#ldiv +*1 (Constant) +^230 63$#MB_CUR_MAX +^231 5$#WCHAR_MAX#WCHAR_MIN +^233 66$#WEOF *4 (Function) -362$@0@g113@0@0@1@tp0,g113$@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@g113@0@0,g123@0@0,s3@1@s3,tg123$@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,g113@0@0@1@s3,tp0,g113$@0#fseek -253$@0@s3,g113@0@0@1@s3,tp0,p2,g113$@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@g124@0@0@1@tg124$@0#swscanf -560$@0@@1@tp0$@0#mbtowc -215$@0@s3,g113@0@0@1@s3,g113$@0#rename -590$@1@@1@s0$@0#strcmp#strcoll -558$@1@@1@s0$@0#mblen -255$@1@g125@0@0,s3@1@s3,p1,tg125$@0#vprintf -267$@0@s3@1@s3,tp1$@0#fputs -246@6@0@1@2@0@1@g124@0@0,s3@1@s3,tg124$@0#scanf -562$@0@@1@tp0$@0#wctomb -390$@1@@1@s0$@0#fwide -293$@0@s3,g113@0@0@1@s3,tp0,g113$@0#fsetpos -289$@0@g113@0@0@1@tp1,g113$@0#fgetpos -423$@0@s3,g125@0@0@1@s3,tg125$@0#vwprintf -388$@0@s3@1@s3,tp1$@0#fputws -434$@1@@1@s0$@0#wcscmp#wcscoll -499@6@0@1@1@0@1@g125@0@0,g113@0@0@1@g113,tg125$@0#wprintf -501@6@0@1@2@0@1@g124@0@0,g113@0@0@1@g113,tg124$@0#wscanf -265$@0@s3,g113@0@0@1@s3,tp1,g113$@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 -280$@1@g125@0@0,s3@1@s3,tg125$@0#puts -213$@0@s3,g113@0@0@1@s3,g113$@0#remove -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@g113@0@0,s3@1@tp0,g113,s3$@0#fclose#fgetc -301$@0@g113@0@0@1@g113$@0#feof#ferror -269$@0@s3@1@s3,tp0$@0#getc -225$@0@g113@0@0,s3@1@tp0,g113,s3$@0#fflush -344$@0@s1@1@s1$@0#atexit -405$@1@@1@s0$@0#mbsinit -278$@1@g125@0@0,s3@1@s3,tg125$@0#putchar -321$@0@s1@1@s1$@0#rand -271$@1@g124@0@0,s3@1@s3,tg124$@0#getchar -317$@0@g113@0@0@1@tp1,g113$@0#strtol -477$@0@@1@tp1$@0#wcstol -371$@1@@1@s0$@0#labs -311$@1@@1@s0$@0#atol -295$@0@g113@0@0@1@g113$@0#ftell -319$@0@g113@0@0@1@tp1,g113$@0#strtoul -479$@0@@1@tp1$@0#wcstoul -150$@0@g113@0@0@1@g113$@0#ldexp -158$@0@g113@0@0@1@g113$@0#pow -140$@1@@1@s0$@0#atan2#fmod -152$@0@@1@tp1$@0#frexp -168$@0@@1@tp1$@0#modf -315$@0@g113@0@0@1@tp1,g113$@0#strtod -472$@0@@1@tp1$@0#wcstod -634$@1@@1@s0$@0#difftime -136$@0@g113@0@0@1@g113$@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,g113@0@0@1@s3,tp0,tp2,g113$@0#fgets -122@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113@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,g113@0@0@1@tp0,s1,g113@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@g124@0@0,s3,g113@0@0@1@s3,tp0,tg124,g113@3@0@0#gets -221$@0@s1@1@tp0,s1@19@3@0#tmpnam -642$@0@g113@0@0@1@g113@19@3@0#asctime -645$@1@@1@s0@19@3@0#ctime -286$@0@s3,g113@0@0@1@s3,tp3,g113$@0#fwrite -284$@0@s3,g113@0@0@1@s3,tp0,tp3,g113$@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,g125@0@0@1@s3,tg125$@0#putwchar -380$@0@s3@1@s3,tp0$@0#fgetwc -396$@0@s3@1@s3,tp0$@0#getwc -398$@0@s3,g124@0@0@1@s3,tg124$@0#getwchar -126$@1@@1@s0@3@0@0#localeconv -231@6@5@1@0@0@0@s3,g113@0@0@1@tp2,s3,g113@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@g113@0@0@1@g113@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,g113@0@0@1@s1,g113$@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@g125@0@0,s3@1@s3,tg125$@0#printf -546$@1@@1@s0$@0#towctrans -549$@1@@1@s0$@0#towlower#towupper +^234 381$^$@0#btowc +^235 383$@0@s3@1@s3,tp0$@0#fgetwc +^236 387@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws +^237 389$@0@s3@1@s3,tp1$@0#fputwc +^238 391$@0@s3@1@s3,tp1$@0#fputws +^239 393$^$@0#fwide +^240 395@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf +^241 397@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf +^242 399$@0@s3@1@s3,tp0$@0#getwc +^243 401$@0@s3,g19@6@0@1@s3,tg19$@0#getwchar +^244 404$^$@0#mbrlen +^245 406$@0@@1@tp0$@0#mbrtowc +^246 408$^$@0#mbsinit +^247 410$@0@@1@tp0$@0#mbsrtowcs +^248 412$@0@s3@1@s3,tp1$@0#putwc +^249 414$@0@s3,g20@6@0@1@s3,tg20$@0#putwchar +^250 416@6@0@1@1@0@0@@1@tp0$@0#swprintf +^251 418@6@0@1@2@0@0@g19@6@0@1@tg19$@0#swscanf +^252 420$@0@s3@1@s3,tp1$@0#ungetwc +^253 422$@0@s3@1@s3,tp0$@0#vfwprintf +^254 424$@0@@1@tp0$@0#vswprintf +^255 426$@0@s3,g20@6@0@1@s3,tg20$@0#vwprintf +^256 428$@0@@1@tp0$@0#wcrtomb +^257 432$@0@@1@tp0$@0#wcscat +^258 435@6@5@1@0@0^@19@2@0#wcschr +^259 437$^$@0#wcscmp +^260 439$^$@0#wcscoll +^261 442$@0@@1@tp0$@0#wcscpy +^262 444$^$@0#wcscspn *7 (Struct tag) -365@366#@!2 -372@373#@!3 -630@442#@tm -118@119#@lconv +^263 633@445#@tm +*4 (Function) +^264 448$@0@@1@tp0$@0#wcsftime +^265 450$^$@0#wcslen +^266 454$@0@@1@tp0$@0#wcsncat +^267 456$^$@0#wcsncmp +^268 459$@0@@1@tp0$@0#wcsncpy +^269 462@6@5@1@0@0^$@0#wcspbrk +^270 465@6@5@1@0@0^$@0#wcsrchr +^271 468$@0@@1@tp1$@0#wcsrtombs +^272 470$^$@0#wcsspn +^273 473@6@5@1@0@0^@3@0@0#wcsstr +^274 475$@0@@1@tp1$@0#wcstod +^275 478@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok +^276 480$@0@@1@tp1$@0#wcstol +^277 482$@0@@1@tp1$@0#wcstoul +^278 484$@0@@1@tp0$@0#wcsxfrm +^279 486$^$@0#wctob +^280 489@6@5@1@0@0^@3@0@0#wmemchr +^281 491$^$@0#wmemcmp +^282 494$@0@@1@tp0$@0#wmemcpy +^283 497$@0@@1@tp0$@0#wmemmove +^284 500$@0@@1@tp0$@0#wmemset +^285 502@6@0@1@1@0@1@g20@6@0,g24@6@0@1@g24,tg20$@0#wprintf +^286 504@6@0@1@2@0@1@g19@6@0,g24@6@0@1@g24,tg19$@0#wscanf +*0 (Datatype) +^287 13@-@-@0@0@0@0@505#wctype_t +^288 13@-@-@0@0@0@0@506#wctrans_t +*4 (Function) +^289 510$^$@0#iswalnum +^290 513$^$@0#iswalpha +^291 516$^$@0#iswcntrl +^292 519$^$@0#iswctype +^293 522$^$@0#iswdigit +^294 526$^$@0#iswgraph +^295 529$^$@0#iswlower +^296 532$^$@0#iswprint +^297 535$^$@0#iswpunct +^298 538$^$@0#iswspace +^299 541$^$@0#iswupper +^300 545$^$@0#iswxdigit +^301 549$^$@0#towctrans +^302 552$^$@0#towlower +^303 555$^$@0#towupper +^304 557$^$@0#wctrans +^305 559$^$@0#wctype +^306 561$^$@0#mblen +^307 563$@0@@1@tp0$@0#mbtowc +^308 565$@0@@1@tp0$@0#wctomb +^309 567$@0@@1@tp0$@0#mbstowcs +^310 569$@0@@1@tp0$@0#wcstombs +^311 573$@0@@1@tp0$@0#memcpy +^312 576$@0@@1@tp0$@0#memmove +^313 580$@0@@1@tp0$@0#strcpy +^314 583$@0@@1@tp0$@0#strncpy +^315 586$@0@@1@tp0$@0#strcat +^316 589$@0@@1@tp0$@0#strncat +^317 591$^$@0#memcmp +^318 593$^$@0#strcmp +^319 595$^$@0#strcoll +^320 597$^$@0#strncmp +^321 599$@0@@1@tp0$@0#strxfrm +^322 602@6@5@1@0@0^@3@0@0#memchr +^323 605@6@5@1@0@0^@19@2@0#strchr +^324 607$^$@0#strcspn +^325 610@6@5@1@0@0^@19@2@0#strpbrk +^326 613@6@5@1@0@0^@19@2@0#strrchr +^327 615$^$@0#strspn +^328 618@6@5@1@0@0^@19@2@0#strstr +^329 621@6@5@1@0@0@0@s1,g24@6@0@1@tp0,s1,g24@19@2@0#strtok +^330 625$@0@@1@tp0$@0#memset +^331 628$^@19@3@0#strerror +^332 630$^$@0#strlen +*1 (Constant) +^333 5$#CLOCKS_PER_SEC +*0 (Datatype) +^334 13@-@-@0@0@0@0@631#clock_t +^335 13@-@-@0@0@0@0@632#time_t +*4 (Function) +^336 635$@0@s1@1@s1$@0#clock +^337 637$^$@0#difftime +^338 639$^$@0#mktime +^339 642$@0@@1@tp0$@0#time +^340 645$@0@g24@6@0@1@g24@19@3@0#asctime +^341 648$^@19@3@0#ctime +^342 651@6@5@1@0@0^@19@3@0#gmtime +^343 654@6@5@1@0@0@0@g24@6@0@1@g24@19@3@0#localtime +^344 656$@0@@1@tp0$@0#strftime +*0 (Datatype) +^345 13@-@-@0@0@0@0@657#int8_t +^346 13@-@-@0@0@0@0@658#int16_t +^347 13@-@-@0@0@0@0@659#int32_t +^348 13@-@-@0@0@0@0@660#int64_t +^349 14@-@-@0@0@0@0@661#uint8_t +^350 14@-@-@0@0@0@0@662#uint16_t +^351 14@-@-@0@0@0@0@663#uint32_t +^352 14@-@-@0@0@0@0@664#uint64_t +^353 13@-@-@0@0@0@0@665#int_least8_t +^354 13@-@-@0@0@0@0@666#int_least16_t +^355 13@-@-@0@0@0@0@667#int_least32_t +^356 13@-@-@0@0@0@0@668#int_least64_t +^357 14@-@-@0@0@0@0@669#uint_least8_t +^358 14@-@-@0@0@0@0@670#uint_least16_t +^359 14@-@-@0@0@0@0@671#uint_least32_t +^360 14@-@-@0@0@0@0@672#uint_least64_t +^361 13@-@-@0@0@0@0@673#int_fast8_t +^362 13@-@-@0@0@0@0@674#int_fast16_t +^363 13@-@-@0@0@0@0@675#int_fast32_t +^364 13@-@-@0@0@0@0@676#int_fast64_t +^365 14@-@-@0@0@0@0@677#uint_fast8_t +^366 14@-@-@0@0@0@0@678#uint_fast16_t +^367 14@-@-@0@0@0@0@679#uint_fast32_t +^368 14@-@-@0@0@0@0@680#uint_fast64_t +^369 24@-@+@0@0@0@0@681#intptr_t +^370 25@-@+@0@0@0@0@682#uintptr_t +^371 15@-@-@0@0@0@0@683#intmax_t +^372 14@-@-@0@0@0@0@684#uintmax_t +*1 (Constant) +^373 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX +^409 63$#INTPTR_MIN#INTPTR_MAX +*0 (Datatype) +^411 0@+@+@0@7@0@0@685#mnull +;; 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: +;; 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 +calloc +pre: +;; end precondition constraints +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: +;; end precondition constraints +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: +;; end precondition constraints +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: +;; end precondition constraints +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: +;; end precondition constraints +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: +;; end precondition constraints +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: +;; end precondition constraints +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: +;; end precondition constraints +post: +C +0@1@3 +l +1 +1 +2 +2 +Result +r +1 +3 +2 +2 +Param 23 1 +C +0@1@3 +l +1 +3 +2 +2 +Result +r +1 +3 +2 +2 +Param 23 1 +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: +;; end precondition constraints +post: +C +0@1@4 +l +2 +2 +Result +r +1 +3 +2 +2 +Param 23 0 +;; end precondition constraints +asctime +pre: +;; end precondition constraints +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: +;; end precondition constraints +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 lltX_bool#1@ types#1@ -ansi#9@ +standard#9@ null6#11@ ;;End