X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8e349e1176b8e76e2eaec467ce10d69d7acb5504..ba45e1e46d0f012cf3abdb631baa428f00a63378:/test/tests2.5/newlint.lcd

diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd
index 8e1a336..6cdc919 100644
--- a/test/tests2.5/newlint.lcd
+++ b/test/tests2.5/newlint.lcd
@@ -1,6 +1,6 @@
 ;;LCLint Dump: newlint.lcd
-;;LCLint 2.5q --- 20 May 2000
-;;lib:166
+;;LCLint 3.0b-alpha --- 20 June 2001
+;;lib:168
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -60,16 +60,16 @@
 2 y17|17&
 2 y18|18&
 -2 ?!
-0 a1|&
-0 s2|&
-0 s3|&
-0 s4|&
-0 s5|&
-0 s14|&
-0 s15|&
-0 s6|-1 381 -1
-0 s7|&
-0 a0|-1 399 -1
+0 a0|&
+0 s10|&
+0 s11|&
+0 s12|&
+0 s23|&
+0 s24|&
+0 s25|&
+0 s26|-1 381 -1
+0 s27|&
+0 a28|-1 399 -1
 3 C0.5/20|!
 3 C0.68/2|!
 3 C0.2/5|!
@@ -121,7 +121,7 @@
 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 s343|-1 125 -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&#,)!
@@ -173,12 +173,12 @@
 3 f17 (17|$#,36|4@0@7&#,)!
 3 f0 (17|$#,17|$#,)!
 3 f17 (17|$#,17|$#,)!
-0 a16|&
+0 a123|&
 3 f0 (171|4@0@7&#,)!
 3 f5 (171|4@0@7&#,)!
 3 f0 (171|$#,5|$#,)!
 3 f1 (171|$#,5|$#,)!
-0 s8|&
+0 s132|&
 3 ?!
 3 f177 (5|$#,)!
 3 f1 (5|$#,)^180
@@ -206,13 +206,13 @@
 3 f200 (5|$#,192|0@5@7&#,)!
 3 f0 (5|$#,)!
 3 f5 (5|$#,)!
-0 a17|&
+0 a138|&
 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
+0 a141|-1 211 -1
+0 a142|-1 287 -1
 1 t209|209&
 3 f0 (23|$#,)!
 3 f5 (23|$#,)!
@@ -368,15 +368,15 @@
 3 f0 (5|$#,)!
 3 f5 (5|$#,)!
 3 S!2{5|@1|$#quot,5|@1|$#rem,}!
-0 s340|&
-0 s20|&
+0 s220|&
+0 s221|&
 3 f0 (5|$#,5|$#,)!
 3 f367 (5|$#,5|$#,)!
 3 f0 (9|$#,)!
 3 f9 (9|$#,)!
 3 S!3{9|@1|$#quot,9|@1|$#rem,}!
-0 s341|&
-0 s21|&
+0 s224|&
+0 s225|&
 3 f0 (9|$#,9|$#,)!
 3 f374 (9|$#,9|$#,)!
 3 f0 (5|$#,)!
@@ -444,7 +444,7 @@
 3 f426 (381|@5|4@0@9&#,381|$#,)!
 3 f0 (381|$#,381|$#,)!
 3 f63 (381|$#,381|$#,)!
-0 s342|-1 443 -1
+0 s260|-1 443 -1
 1 t442|442&
 3 f0 (381|4@0@7&#,63|$#,381|$#,443|$#,)!
 3 f63 (381|4@0@7&#,63|$#,381|$#,443|$#,)!
@@ -504,8 +504,8 @@
 3 f5 (381|$#,!.,)!
 3 f0 (381|$#,!.,)!
 3 f5 (381|$#,!.,)!
-0 s9|&
-0 s10|&
+0 s284|&
+0 s285|&
 3 C0.2/5|!
 3 f0 (66|$#,)!
 3 f2 (66|$#,)!
@@ -577,18 +577,18 @@
 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 (23|@5|4@0@9&#,23|$#,)!
+3 f1 (23|@5|4@0@9&#,23|$#,)!
+3 f574 (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 f574 (23|@5|4@0@9&#,23|$#,63|$#,)!
+3 f0 (23|@5|4@0@9&#,23|$#,)!
+3 f1 (23|@5|4@0@9&#,23|$#,)!
+3 f574 (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 f574 (23|@5|4@0@9&#,23|$#,5|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
@@ -630,8 +630,8 @@
 3 f23 (5|$#,)!
 3 f0 (23|$#,)!
 3 f63 (23|$#,)!
-0 s11|&
-0 s12|-1 637 -1
+0 s331|&
+0 s332|-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 ()!
@@ -656,245 +656,1058 @@
 3 f443 (637|$#,)!
 3 f0 (23|4@0@7&#,63|$#,23|$#,443|$#,)!
 3 f63 (23|4@0@7&#,63|$#,23|$#,443|$#,)!
-0 s13|&
 3 C1.5/1|!
 3 f0 (!.,)!
 3 f5 (!.,)!
-3 f655 (!.,)!
+3 f654 (!.,)!
 3 f0 (!.,)!
 3 f5 (!.,)!
-3 f655 (!.,)!
+3 f654 (!.,)!
 ;;tistable
-1
 0
-0,16
-16
-0,16,17
-17
-0,16,17,18
-18
-0,16,17,18,19
-19
+28
+28,123
+123
+28,123,138
+138
+28,123,138,141
+141
+28,123,138,141,142
+142
 ;;symTable
 *0 (Datatype)
-0@+@=@0@7@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@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@654#__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)
-0@i0@0@6#NULL
-2$#NDEBUG
-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__
-63$#MB_CUR_MAX
-66$#WEOF
-180$#SIG_DFL
-184$#SIG_ERR
-188$#SIG_IGN
+^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)
-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
+^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@7@0@0@67#mbstate_t
+*1 (Constant)
+^29 0@i0@0@6#NULL
+^30 2$#NDEBUG
 *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
-280$@1@g124@0@0,s3@1@s3,tg124$@0#puts
-213$@0@s3,g112@0@0@1@s3,g112$@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@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
-658$$$@0#test1#test2
-546$@1@@1@s0$@0#towctrans
-549$@1@@1@s0$@0#towlower#towupper
+^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)
-365@366#@!2
-372@373#@!3
-630@442#@tm
-118@119#@lconv
+^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)
+^143 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
+*3 (Variable)
+^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$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
+^173 255$@1@g18@6@0,s3@1@s3,p1,tg18$@0#vprintf
+^174 257$@0@@1@tp0,p2$@0#vsprintf
+^175 259$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
+^176 262@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
+^177 265$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
+^178 267$@0@s3@1@s3,tp1$@0#fputs
+^179 269$@0@s3@1@s3,tp0$@0#getc
+^180 271$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
+^181 274@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead.##gets
+^182 276$@0@s3@1@s3,tp1$@0#putc
+^183 278$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
+^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#puts
+^185 282$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
+^186 284$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
+^187 286$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
+^188 289$@0@g22@6@0@1@tp1,g22$@0#fgetpos
+^189 291$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
+^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
+^191 295$@0@g22@6@0@1@g22$@0#ftell
+^192 297$@0@@1@tp0$@0#rewind
+^193 299$@0@@1@tp0$@0#clearerr
+^194 301$@0@g22@6@0@1@g22$@0#feof
+^195 303$@0@g22@6@0@1@g22$@0#ferror
+^196 305$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
+^197 307$^$@0#atof
+^198 309$^$@0#atoi
+^199 311$^$@0#atol
+^200 315$@0@g22@6@0@1@tp1,g22$@0#strtod
+^201 317$@0@g22@6@0@1@tp1,g22$@0#strtol
+^202 319$@0@g22@6@0@1@tp1,g22$@0#strtoul
+*1 (Constant)
+^203 5$#RAND_MAX
+*4 (Function)
+^204 321$@0@s1@1@s1$@0#rand
+^205 323$@0@s1@1@s1$@0#srand
+^206 326@6@5@1@0@0^@2@0@0#calloc
+^207 329@4@5@1@0@0^@2@0@0#malloc
+^208 332@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
+^209 334$@0@@1@tp0$@0#free
+*1 (Constant)
+^210 5$#EXIT_FAILURE#EXIT_SUCCESS
+*4 (Function)
+^212 336@6@0@6@0@0^$@0#abort
+^213 338@6@0@6@0@0^$@0#exit
+^214 344$@0@s1@1@s1$@0#atexit
+^215 347@6@5@1@0@0^@19@3@0#getenv
+^216 349$@0@s3@1@s3$@0#system
+^217 356@6@5@1@0@0^@18@0@0#bsearch
+^218 362$@0@g22@6@0@1@tp0,g22$@0#qsort
+^219 364$^$@0#abs
+*7 (Struct tag)
+^220 365@366#@!2
+*0 (Datatype)
+^221 365@-@-@0@0@0@0@367#div_t
+*4 (Function)
+^222 369$^$@0#div
+^223 371$^$@0#labs
+*7 (Struct tag)
+^224 372@373#@!3
+*0 (Datatype)
+^225 372@-@-@0@0@0@0@374#ldiv_t
+*4 (Function)
+^226 376$^$@0#ldiv
+*1 (Constant)
+^227 63$#MB_CUR_MAX
+^228 5$#WCHAR_MAX#WCHAR_MIN
+^230 66$#WEOF
+*4 (Function)
+^231 378$^$@0#btowc
+^232 380$@0@s3@1@s3,tp0$@0#fgetwc
+^233 384@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
+^234 386$@0@s3@1@s3,tp1$@0#fputwc
+^235 388$@0@s3@1@s3,tp1$@0#fputws
+^236 390$^$@0#fwide
+^237 392@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
+^238 394@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
+^239 396$@0@s3@1@s3,tp0$@0#getwc
+^240 398$@0@s3,g17@6@0@1@s3,tg17$@0#getwchar
+^241 401$^$@0#mbrlen
+^242 403$@0@@1@tp0$@0#mbrtowc
+^243 405$^$@0#mbsinit
+^244 407$@0@@1@tp0$@0#mbsrtowcs
+^245 409$@0@s3@1@s3,tp1$@0#putwc
+^246 411$@0@s3,g18@6@0@1@s3,tg18$@0#putwchar
+^247 413@6@0@1@1@0@0@@1@tp0$@0#swprintf
+^248 415@6@0@1@2@0@0@g17@6@0@1@tg17$@0#swscanf
+^249 417$@0@s3@1@s3,tp1$@0#ungetwc
+^250 419$@0@s3@1@s3,tp0$@0#vfwprintf
+^251 421$@0@@1@tp0$@0#vswprintf
+^252 423$@0@s3,g18@6@0@1@s3,tg18$@0#vwprintf
+^253 425$@0@@1@tp0$@0#wcrtomb
+^254 429$@0@@1@tp0$@0#wcscat
+^255 432@6@5@1@0@0^@19@2@0#wcschr
+^256 434$^$@0#wcscmp
+^257 436$^$@0#wcscoll
+^258 439$@0@@1@tp0$@0#wcscpy
+^259 441$^$@0#wcscspn
+*7 (Struct tag)
+^260 630@442#@tm
+*4 (Function)
+^261 445$@0@@1@tp0$@0#wcsftime
+^262 447$^$@0#wcslen
+^263 451$@0@@1@tp0$@0#wcsncat
+^264 453$^$@0#wcsncmp
+^265 456$@0@@1@tp0$@0#wcsncpy
+^266 459@6@5@1@0@0^$@0#wcspbrk
+^267 462@6@5@1@0@0^$@0#wcsrchr
+^268 465$@0@@1@tp1$@0#wcsrtombs
+^269 467$^$@0#wcsspn
+^270 470@6@5@1@0@0^@3@0@0#wcsstr
+^271 472$@0@@1@tp1$@0#wcstod
+^272 475@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
+^273 477$@0@@1@tp1$@0#wcstol
+^274 479$@0@@1@tp1$@0#wcstoul
+^275 481$@0@@1@tp0$@0#wcsxfrm
+^276 483$^$@0#wctob
+^277 486@6@5@1@0@0^@3@0@0#wmemchr
+^278 488$^$@0#wmemcmp
+^279 491$@0@@1@tp0$@0#wmemcpy
+^280 494$@0@@1@tp0$@0#wmemmove
+^281 497$@0@@1@tp0$@0#wmemset
+^282 499@6@0@1@1@0@1@g18@6@0,g22@6@0@1@g22,tg18$@0#wprintf
+^283 501@6@0@1@2@0@1@g17@6@0,g22@6@0@1@g22,tg17$@0#wscanf
+*0 (Datatype)
+^284 13@-@-@0@0@0@0@502#wctype_t
+^285 13@-@-@0@0@0@0@503#wctrans_t
+*4 (Function)
+^286 507$^$@0#iswalnum
+^287 510$^$@0#iswalpha
+^288 513$^$@0#iswcntrl
+^289 516$^$@0#iswctype
+^290 519$^$@0#iswdigit
+^291 523$^$@0#iswgraph
+^292 526$^$@0#iswlower
+^293 529$^$@0#iswprint
+^294 532$^$@0#iswpunct
+^295 535$^$@0#iswspace
+^296 538$^$@0#iswupper
+^297 542$^$@0#iswxdigit
+^298 546$^$@0#towctrans
+^299 549$^$@0#towlower
+^300 552$^$@0#towupper
+^301 554$^$@0#wctrans
+^302 556$^$@0#wctype
+^303 558$^$@0#mblen
+^304 560$@0@@1@tp0$@0#mbtowc
+^305 562$@0@@1@tp0$@0#wctomb
+^306 564$@0@@1@tp0$@0#mbstowcs
+^307 566$@0@@1@tp0$@0#wcstombs
+^308 570$@0@@1@tp0$@0#memcpy
+^309 573$@0@@1@tp0$@0#memmove
+^310 577$@0@@1@tp0$@0#strcpy
+^311 580$@0@@1@tp0$@0#strncpy
+^312 583$@0@@1@tp0$@0#strcat
+^313 586$@0@@1@tp0$@0#strncat
+^314 588$^$@0#memcmp
+^315 590$^$@0#strcmp
+^316 592$^$@0#strcoll
+^317 594$^$@0#strncmp
+^318 596$@0@@1@tp0$@0#strxfrm
+^319 599@6@5@1@0@0^@3@0@0#memchr
+^320 602@6@5@1@0@0^@19@2@0#strchr
+^321 604$^$@0#strcspn
+^322 607@6@5@1@0@0^@19@2@0#strpbrk
+^323 610@6@5@1@0@0^@19@2@0#strrchr
+^324 612$^$@0#strspn
+^325 615@6@5@1@0@0^@19@2@0#strstr
+^326 618@6@5@1@0@0@0@s1,g22@6@0@1@tp0,s1,g22@19@2@0#strtok
+^327 622$@0@@1@tp0$@0#memset
+^328 625$^@19@3@0#strerror
+^329 627$^$@0#strlen
+*1 (Constant)
+^330 5$#CLOCKS_PER_SEC
+*0 (Datatype)
+^331 13@-@-@0@0@0@0@628#clock_t
+^332 13@-@-@0@0@0@0@629#time_t
+*4 (Function)
+^333 632$@0@s1@1@s1$@0#clock
+^334 634$^$@0#difftime
+^335 636$^$@0#mktime
+^336 639$@0@@1@tp0$@0#time
+^337 642$@0@g22@6@0@1@g22@19@3@0#asctime
+^338 645$^@19@3@0#ctime
+^339 648@6@5@1@0@0^@19@3@0#gmtime
+^340 651@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
+^341 653$@0@@1@tp0$@0#strftime
+^342 657$$$@0#test1
+^343 660$$$@0#test2
+;; Library 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
+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:
+;; 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:
+;; 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 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
+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
+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@