made strncat use size_t

[splint.git] / lib / unixstrict.lcd

diff --git a/lib/unixstrict.lcd b/lib/unixstrict.lcd
index 712ed76fd51d4a70cb0bbd6bab089485e1a64bfb..a2716ffc5b524e1fd5ab523533651fdb144239a4 100644 (file)
--- a/lib/unixstrict.lcd
+++ b/lib/unixstrict.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: unixstrict.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|@5|4@0@9&#,23|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,)!
-3 f531 (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 f531 (23|@5|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|$#,)!
@@ -2554,7 +2554,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 post:
 C
@@ -2577,7 +2577,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 strchr
 pre:EMPTY