*** empty log message ***

[splint.git] / lib / ansistrict.lcd

diff --git a/lib/ansistrict.lcd b/lib/ansistrict.lcd
index 66b7b698e6cff4cd912904e4ac210d54ea5bb6aa..e7dc655882a6b5dbd82678e0d0ce7e14c6cb7ee7 100644 (file)
--- 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