X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7b1629ab63b4199705a3204df84d7ecb723e30f6..c555d0ad5d4d8af6de830ce2a717e0b4d0cd46dc:/lib/ansistrict.lcd

diff --git a/lib/ansistrict.lcd b/lib/ansistrict.lcd
index 66b7b69..e7dc655 100644
--- a/lib/ansistrict.lcd
+++ b/lib/ansistrict.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: ansistrict.lcd
-;;LCLint 3.0b-alpha --- 20 June 2001
+;;LCLint 3.0.0.7 --- 12 July 2001
 ;;lib:167
 ;;ctTable
 0 u-2 19 38
@@ -540,12 +540,12 @@
 3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
 3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
 3 f531 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f0 (23|4@0@9&#,23|$#,)!
-3 f1 (23|4@0@9&#,23|$#,)!
-3 f531 (23|4@0@9&#,23|$#,)!
-3 f0 (23|4@0@9&#,23|$#,5|$#,)!
-3 f1 (23|4@0@9&#,23|$#,5|$#,)!
-3 f531 (23|4@0@9&#,23|$#,5|$#,)!
+3 f0 (23|@5|0@0@9&#,23|$#,)!
+3 f1 (23|@5|0@0@9&#,23|$#,)!
+3 f531 (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 f531 (23|@5|0@0@9&#,23|$#,63|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
@@ -939,8 +939,8 @@
 ^309 530$@0@@1@tp0$@0#memmove
 ^310 534$@0@@1@tp0$@0#strcpy
 ^311 537$@0@@1@tp0$@0#strncpy
-^312 540$@0@@1@tp0@3@0@0#strcat
-^313 543$@0@@1@tp0@3@0@0#strncat
+^312 540$@0@@1@tp0$@0#strcat
+^313 543$@0@@1@tp0$@0#strncat
 ^314 545$^$@0#memcmp
 ^315 547$^$@0#strcmp
 ^316 549$^$@0#strcoll
@@ -1337,7 +1337,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 post:
 C
@@ -1360,7 +1360,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 strchr
 pre:EMPTY