]> andersk Git - splint.git/commitdiff
andersk / splint.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cd7d9b1)
made strncat use size_t
authordrl7x <drl7x>
Mon, 16 Jul 2001 18:47:02 +0000 (18:47 +0000)
committerdrl7x <drl7x>
Mon, 16 Jul 2001 18:47:02 +0000 (18:47 +0000)
lib/Makefile patch | blob | blame | history
lib/ansi.h patch | blob | blame | history
lib/ansi.lcd patch | blob | blame | history
lib/ansistrict.lcd patch | blob | blame | history
lib/posix.lcd patch | blob | blame | history
lib/posixstrict.lcd patch | blob | blame | history
lib/unix.lcd patch | blob | blame | history
lib/unixstrict.lcd patch | blob | blame | history

diff --git a/lib/Makefile b/lib/Makefile
index f559a72dd82b8217749abecfc764f0c382ec4cbf..83652f8018d588fdb6722a95a11c5c78ea027906 100644 (file)
--- a/lib/Makefile
+++ b/lib/Makefile
@@ -1,8 +1,8 @@
 all:
-       lclint -nolib +impconj ansi.h -dump ansi 
-       lclint -nolib +impconj -DSTRICT ansi.h -dump ansistrict
-       lclint -nolib +impconj ansi.h posix.h -dump posix
-       lclint -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
-       lclint -nolib +impconj ansi.h posix.h unix.h -dump unix
-       lclint -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict
+       ../bin/lclint -nolib +impconj ansi.h -dump ansi 
+       ../bin/lclint -nolib +impconj -DSTRICT ansi.h -dump ansistrict
+       ../bin/lclint -nolib +impconj ansi.h posix.h -dump posix
+       ../bin/lclint -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
+       ../bin/lclint -nolib +impconj ansi.h posix.h unix.h -dump unix
+       ../bin/lclint -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict
 
diff --git a/lib/ansi.h b/lib/ansi.h
index 72772bbf4b41338dc4464e76c7cbcc7fe9f66156..aa4674e3e762c983949e98019adb0109fe14a226 100644 (file)
--- a/lib/ansi.h
+++ b/lib/ansi.h
@@ -867,12 +867,12 @@ extern void /*@alt char * @*/
   /*@modifies *s1@*/      /*@requires MaxSet(s1) >= ( n - 1 ); @*/ /*@ensures MaxRead (s2) >= MaxRead(s1) /\ MaxRead (s1) <= n; @*/; 
 
 extern void /*@alt char * @*/
-  strcat (/*@unique@*/ /*@returned@*/ /*@out@*/ char *s1, char *s2) 
+  strcat (/*@unique@*/ /*@returned@*/ char *s1, char *s2) 
      /*@modifies *s1@*/ /*@requires MaxSet(s1) >= (MaxRead(s1) + MaxRead(s2) );@*/
      /*@ensures MaxRead(result) == (MaxRead(s1) + MaxRead(s2) );@*/;
 
 extern void /*@alt char * @*/
-  strncat (/*@unique@*/ /*@returned@*/ /*@out@*/ char *s1, char *s2, int n)
+  strncat (/*@unique@*/ /*@returned@*/ char *s1, char *s2, size_t n)
      /*@modifies *s1@*/ /*@requires MaxSet(s1) >= ( MaxRead(s1) + n); @*/ /*@ensures MaxRead(result) >= (MaxRead(s1) + n); @*/;
 
      /*drl end*/
diff --git a/lib/ansi.lcd b/lib/ansi.lcd
index 306e314be621f545b066b5d42cafa1d1a83e494e..42a995225b8680471690fa0458b461fc9fcd1670 100644 (file)
--- a/lib/ansi.lcd
+++ b/lib/ansi.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: ansi.lcd
-;;LCLint 3.0b-alpha --- 20 June 2001
+;;LCLint 3.0.0.7 --- 12 July 2001
 ;;lib:167
 ;;ctTable
 0 u-2 19 38
@@ -583,12 +583,12 @@
 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 (23|@5|0@0@9&#,23|$#,)!
+3 f1 (23|@5|0@0@9&#,23|$#,)!
+3 f574 (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 f574 (23|@5|0@0@9&#,23|$#,63|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
@@ -1380,7 +1380,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 post:
 C
@@ -1403,7 +1403,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 strchr
 pre:EMPTY
diff --git a/lib/ansistrict.lcd b/lib/ansistrict.lcd
index 2becbc7cc6ac67a24837c098b9ceacba86cd24d3..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|@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|$#,)!
@@ -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
diff --git a/lib/posix.lcd b/lib/posix.lcd
index fd9f47a1a3078f3dbde7bfcb4b161ab2bb13a79d..d4c9a7408ff615e40d1ed385076e6ef46545a001 100644 (file)
--- a/lib/posix.lcd
+++ b/lib/posix.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: posix.lcd
-;;LCLint 3.0b-alpha --- 20 June 2001
+;;LCLint 3.0.0.7 --- 12 July 2001
 ;;lib:167
 ;;ctTable
 0 u-2 19 38
@@ -583,12 +583,12 @@
 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 (23|@5|0@0@9&#,23|$#,)!
+3 f1 (23|@5|0@0@9&#,23|$#,)!
+3 f574 (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 f574 (23|@5|0@0@9&#,23|$#,63|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
@@ -1839,7 +1839,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 post:
 C
@@ -1862,7 +1862,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 strchr
 pre:EMPTY
diff --git a/lib/posixstrict.lcd b/lib/posixstrict.lcd
index 5ce7df9e6d86f0b6f3d1df79fb8815588b987c88..f36e0aafd38bd99110bd419cb98c780610076c53 100644 (file)
--- a/lib/posixstrict.lcd
+++ b/lib/posixstrict.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: posixstrict.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|$#,)!
@@ -1802,7 +1802,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 post:
 C
@@ -1825,7 +1825,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 strchr
 pre:EMPTY
diff --git a/lib/unix.lcd b/lib/unix.lcd
index 23289d02b6d74ce5c1472dc6610c101cd09c7813..a0806cc70b8bceb82058fe5bb6fb274962c537bf 100644 (file)
--- a/lib/unix.lcd
+++ b/lib/unix.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: unix.lcd
-;;LCLint 3.0b-alpha --- 20 June 2001
+;;LCLint 3.0.0.7 --- 12 July 2001
 ;;lib:167
 ;;ctTable
 0 u-2 19 38
@@ -583,12 +583,12 @@
 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 (23|@5|0@0@9&#,23|$#,)!
+3 f1 (23|@5|0@0@9&#,23|$#,)!
+3 f574 (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 f574 (23|@5|0@0@9&#,23|$#,63|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
@@ -2591,7 +2591,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 post:
 C
@@ -2614,7 +2614,7 @@ Param 23 0
 e2
 2
 2
-Param 5 2
+Param 63 2
 ;; end precondition constraints
 strchr
 pre:EMPTY
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
git-cvsimport mirror of splint
This page took 0.137326 seconds and 5 git commands to generate.