Merged code tree with Dave Evans's version. Many changes to numberous to list....

[splint.git] / test / tests2.5 / newlint.lcd

diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd
index 8e1a336a920d9665466d0a979dbc276ed80fd315..6d0f53ce67db75827d44139af2447dd7a9e99412 100644 (file)
--- a/test/tests2.5/newlint.lcd
+++ b/test/tests2.5/newlint.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: newlint.lcd
-;;LCLint 2.5q --- 20 May 2000
+;;LCLint 3.0b-alpha --- 20 June 2001
 ;;lib:166
 ;;ctTable
 0 u-2 19 38
@@ -65,8 +65,8 @@
 0 s3|&
 0 s4|&
 0 s5|&
+0 s13|&
 0 s14|&
-0 s15|&
 0 s6|-1 381 -1
 0 s7|&
 0 a0|-1 399 -1
@@ -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 s342|-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,7 +173,7 @@
 3 f17 (17|$#,36|4@0@7&#,)!
 3 f0 (17|$#,17|$#,)!
 3 f17 (17|$#,17|$#,)!
-0 a16|&
+0 a15|&
 3 f0 (171|4@0@7&#,)!
 3 f5 (171|4@0@7&#,)!
 3 f0 (171|$#,5|$#,)!
@@ -206,13 +206,13 @@
 3 f200 (5|$#,192|0@5@7&#,)!
 3 f0 (5|$#,)!
 3 f5 (5|$#,)!
-0 a17|&
+0 a16|&
 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 a17|-1 211 -1
+0 a18|-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 s339|&
+0 s19|&
 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 s340|&
+0 s20|&
 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 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|$#,)!
@@ -656,25 +656,24 @@
 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
+0,15
+15
+0,15,16
 16
-0,16,17
+0,15,16,17
 17
-0,16,17,18
+0,15,16,17,18
 18
-0,16,17,18,19
-19
 ;;symTable
 *0 (Datatype)
 0@+@=@0@7@0@0@67#mbstate_t
@@ -690,7 +689,6 @@
 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
@@ -701,8 +699,8 @@
 372@-@-@0@0@0@0@374#ldiv_t
 *1 (Constant)
 0@i0@0@6#NULL
-2$#NDEBUG
 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
@@ -726,14 +724,14 @@
 18|@1|0@0@0@0@1#LDBL_EPSILON#LDBL_MAX#LDBL_MIN
 211|@1|0@0@0@0@1#stderr#stdin#stdout
 *4 (Function)
-362$@0@g112@0@0@1@tp0,g112$@0#qsort
+362$@0@g111@0@0@1@tp0,g111$@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
+305$@1@g111@0@0,g121@0@0,s3@1@s3,tg121$@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
@@ -745,65 +743,65 @@
 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
+291$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fseek
+253$@0@s3,g111@0@0@1@s3,tp0,p2,g111$@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
+415@6@0@1@2@0@0@g122@0@0@1@tg122$@0#swscanf
 560$@0@@1@tp0$@0#mbtowc
-215$@0@s3,g112@0@0@1@s3,g112$@0#rename
+215$@0@s3,g111@0@0@1@s3,g111$@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
+255$@1@g123@0@0,s3@1@s3,p1,tg123$@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
+246@6@0@1@2@0@1@g122@0@0,s3@1@s3,tg122$@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
+293$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fsetpos
+289$@0@g111@0@0@1@tp1,g111$@0#fgetpos
+423$@0@s3,g123@0@0@1@s3,tg123$@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
+499@6@0@1@1@0@1@g123@0@0,g111@0@0@1@g111,tg123$@0#wprintf
+501@6@0@1@2@0@1@g122@0@0,g111@0@0@1@g111,tg122$@0#wscanf
+265$@0@s3,g111@0@0@1@s3,tp1,g111$@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
+213$@0@s3,g111@0@0@1@s3,g111$@0#remove
+280$@1@g123@0@0,s3@1@s3,tg123$@0#puts
 309$@1@@1@s0$@0#atoi
 349$@0@s3@1@s3$@0#system
 483$@1@@1@s0$@0#wctob
 173$@0@@1@p0$@0#setjmp
-223$@0@g112@0@0,s3@1@tp0,g112,s3$@0#fclose#fgetc
-301$@0@g112@0@0@1@g112$@0#feof#ferror
+223$@0@g111@0@0,s3@1@tp0,g111,s3$@0#fclose#fgetc
+301$@0@g111@0@0@1@g111$@0#feof#ferror
 269$@0@s3@1@s3,tp0$@0#getc
-225$@0@g112@0@0,s3@1@tp0,g112,s3$@0#fflush
+225$@0@g111@0@0,s3@1@tp0,g111,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
+278$@1@g123@0@0,s3@1@s3,tg123$@0#putchar
+271$@1@g122@0@0,s3@1@s3,tg122$@0#getchar
 321$@0@s1@1@s1$@0#rand
-317$@0@g112@0@0@1@tp1,g112$@0#strtol
+317$@0@g111@0@0@1@tp1,g111$@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
+295$@0@g111@0@0@1@g111$@0#ftell
+319$@0@g111@0@0@1@tp1,g111$@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
+150$@0@g111@0@0@1@g111$@0#ldexp
+158$@0@g111@0@0@1@g111$@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
+315$@0@g111@0@0@1@tp1,g111$@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
+136$@0@g111@0@0@1@g111$@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
@@ -811,21 +809,21 @@
 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
+262@6@5@1@0@0@0@s3,g111@0@0@1@s3,tp0,tp2,g111$@0#fgets
+122@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111@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
+618@6@5@1@0@0@0@s1,g111@0@0@1@tp0,s1,g111@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
+274@6@5@1@0@0@1@g122@0@0,s3,g111@0@0@1@s3,tp0,tg122,g111@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
+642$@0@g111@0@0@1@g111@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
+286$@0@s3,g111@0@0@1@s3,tp3,g111$@0#fwrite
+284$@0@s3,g111@0@0@1@s3,tp0,tp3,g111$@0#fread
 465$@0@@1@tp1$@0#wcsrtombs
 653$@0@@1@tp0$@0#strftime
 403$@0@@1@tp0$@0#mbrtowc
@@ -845,12 +843,12 @@
 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
+411$@0@s3,g123@0@0@1@s3,tg123$@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
+398$@0@s3,g122@0@0@1@s3,tg122$@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
+231@6@5@1@0@0@0@s3,g111@0@0@1@tp2,s3,g111@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
@@ -864,14 +862,14 @@
 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
+651@6@5@1@0@0@0@g111@0@0@1@g111@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
+201@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111$@0#signal
 622$@0@@1@tp0$@0#memset
 573$@0@@1@tp0$@0#memmove
 570$@0@@1@tp0$@0#memcpy
@@ -886,8 +884,8 @@
 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
+244@6@0@1@1@0@1@g123@0@0,s3@1@s3,tg123$@0#printf
+657$$$@0#test1#test2
 546$@1@@1@s0$@0#towctrans
 549$@1@@1@s0$@0#towlower#towupper
 *7 (Struct tag)
@@ -895,6 +893,655 @@
 372@373#@!3
 630@442#@tm
 118@119#@lconv
+;; Library constraints
+realloc
+pre:EMPTY
+post:
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+calloc
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
+malloc
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+0
+1
+e1
+2
+2
+Param 63 0
+e2
+2
+3
+-1
+;; end precondition constraints
+fgets
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 5 1
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 0
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 5 1
+e2
+2
+3
+-1
+;; end precondition constraints
+strchr
+pre:EMPTY
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+strrchr
+pre:EMPTY
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+strstr
+pre:EMPTY
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+0
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@3
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+0
+;; end precondition constraints
+asctime
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+25
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+25
+;; end precondition constraints
+ctime
+pre:EMPTY
+post:
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+25
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+25
+;; end precondition constraints
+strlen
+pre:EMPTY
+post:
+C
+0@1@4
+l
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 0
+;; end precondition constraints
+memset
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+memmove
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+2
+2
+Param 63 2
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 1
+r
+2
+2
+Param 63 2
+;; end precondition constraints
+post:EMPTY
+memcpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 20 0
+r
+2
+2
+Param 63 2
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 20 1
+r
+2
+2
+Param 63 2
+;; end precondition constraints
+post:EMPTY
+strncat
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+2
+2
+Param 5 2
+;; end precondition constraints
+post:
+C
+0@1@3
+l
+1
+3
+2
+2
+Result
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+2
+2
+Param 5 2
+;; end precondition constraints
+strncpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 2
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+2
+2
+Param 63 2
+C
+0@1@3
+l
+1
+3
+2
+2
+Param 23 1
+r
+1
+3
+2
+2
+Param 23 0
+;; end precondition constraints
+strcat
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+1
+3
+2
+2
+Param 23 0
+e2
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+post:EMPTY
+strcpy
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
+post:
+C
+0@1@4
+l
+1
+1
+2
+2
+Result
+r
+1
+1
+2
+2
+Param 23 0
+C
+0@1@4
+l
+1
+3
+2
+2
+Result
+r
+1
+3
+2
+2
+Param 23 1
+C
+0@1@4
+l
+1
+3
+2
+2
+Param 23 0
+r
+1
+3
+2
+2
+Param 23 1
+;; end precondition constraints
 ;; Modules access
 lltX_bool#1@
 types#1@