From c555d0ad5d4d8af6de830ce2a717e0b4d0cd46dc Mon Sep 17 00:00:00 2001 From: drl7x Date: Mon, 16 Jul 2001 18:48:36 +0000 Subject: [PATCH] *** empty log message *** --- test/db1/bool.lcs | 2 +- test/db1/bool.lh | 2 +- test/db1/dbase.lcs | 2 +- test/db1/dbase.lh | 2 +- test/db1/employee.lcs | 2 +- test/db1/employee.lh | 2 +- test/db1/empset.lcs | 2 +- test/db1/empset.lh | 2 +- test/db1/erc.lcs | 2 +- test/db1/erc.lh | 2 +- test/db1/eref.lcs | 2 +- test/db1/eref.lh | 2 +- test/db1/ereftab.lcs | 2 +- test/db1/ereftab.lh | 2 +- test/db2/dbase.lcs | 2 +- test/db2/dbase.lh | 2 +- test/db2/employee.lcs | 2 +- test/db2/employee.lh | 2 +- test/db2/empset.lcs | 2 +- test/db2/empset.lh | 2 +- test/db2/erc.lcs | 2 +- test/db2/erc.lh | 2 +- test/db2/eref.lcs | 2 +- test/db2/eref.lh | 2 +- test/db2/ereftab.lcs | 2 +- test/db2/ereftab.lh | 2 +- test/db3/bool.lcs | 2 +- test/db3/bool.lh | 2 +- test/db3/check.lcs | 2 +- test/db3/check.lh | 2 +- test/db3/dbase.lcs | 2 +- test/db3/dbase.lh | 2 +- test/db3/employee.lcs | 2 +- test/db3/employee.lh | 2 +- test/db3/empset.lcs | 2 +- test/db3/empset.lh | 2 +- test/db3/erc.lcs | 2 +- test/db3/erc.lh | 2 +- test/db3/eref.lcs | 2 +- test/db3/eref.lh | 2 +- test/db3/ereftab.lcs | 2 +- test/db3/ereftab.lh | 2 +- test/metastate/Makefile~ | 30 ------------------------------ test/moreBufferTests/strrchr.c | 5 ----- test/tests2.2/bool.lcs | 2 +- test/tests2.4/subdir/main.lcs | 2 +- test/tests2.5/newlint.lcd | 18 +++++++++--------- 47 files changed, 53 insertions(+), 88 deletions(-) delete mode 100644 test/metastate/Makefile~ diff --git a/test/db1/bool.lcs b/test/db1/bool.lcs index 7607712..87b1f9b 100644 --- a/test/db1/bool.lcs +++ b/test/db1/bool.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/bool.lh b/test/db1/bool.lh index fced476..0c19535 100644 --- a/test/db1/bool.lh +++ b/test/db1/bool.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" diff --git a/test/db1/dbase.lcs b/test/db1/dbase.lcs index 3b5f1b2..3b9e79b 100644 --- a/test/db1/dbase.lcs +++ b/test/db1/dbase.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/dbase.lh b/test/db1/dbase.lh index a725f21..710c93e 100644 --- a/test/db1/dbase.lh +++ b/test/db1/dbase.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include # include "bool.h" diff --git a/test/db1/employee.lcs b/test/db1/employee.lcs index f10f81a..d6acf52 100644 --- a/test/db1/employee.lcs +++ b/test/db1/employee.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/employee.lh b/test/db1/employee.lh index 2e6c836..a4e556b 100644 --- a/test/db1/employee.lh +++ b/test/db1/employee.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "bool.h" diff --git a/test/db1/empset.lcs b/test/db1/empset.lcs index 59c87a4..d3bf098 100644 --- a/test/db1/empset.lcs +++ b/test/db1/empset.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/empset.lh b/test/db1/empset.lh index ebb4eab..d5a8e84 100644 --- a/test/db1/empset.lh +++ b/test/db1/empset.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "employee.h" diff --git a/test/db1/erc.lcs b/test/db1/erc.lcs index 8dd8b60..1e58227 100644 --- a/test/db1/erc.lcs +++ b/test/db1/erc.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/erc.lh b/test/db1/erc.lh index ae87b43..5daad93 100644 --- a/test/db1/erc.lh +++ b/test/db1/erc.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "eref.h" diff --git a/test/db1/eref.lcs b/test/db1/eref.lcs index 73c68c5..2d9f456 100644 --- a/test/db1/eref.lcs +++ b/test/db1/eref.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/eref.lh b/test/db1/eref.lh index 4dec9cd..26e671b 100644 --- a/test/db1/eref.lh +++ b/test/db1/eref.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "employee.h" diff --git a/test/db1/ereftab.lcs b/test/db1/ereftab.lcs index ef10f04..1deeff1 100644 --- a/test/db1/ereftab.lcs +++ b/test/db1/ereftab.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/ereftab.lh b/test/db1/ereftab.lh index d81da0b..8db6222 100644 --- a/test/db1/ereftab.lh +++ b/test/db1/ereftab.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "employee.h" diff --git a/test/db2/dbase.lcs b/test/db2/dbase.lcs index 8308cb5..356a049 100644 --- a/test/db2/dbase.lcs +++ b/test/db2/dbase.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/dbase.lh b/test/db2/dbase.lh index a725f21..710c93e 100644 --- a/test/db2/dbase.lh +++ b/test/db2/dbase.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include # include "bool.h" diff --git a/test/db2/employee.lcs b/test/db2/employee.lcs index 1655ef8..c9d82f2 100644 --- a/test/db2/employee.lcs +++ b/test/db2/employee.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/employee.lh b/test/db2/employee.lh index 53f0fca..5ff32fe 100644 --- a/test/db2/employee.lh +++ b/test/db2/employee.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include # include "bool.h" diff --git a/test/db2/empset.lcs b/test/db2/empset.lcs index bd5fb44..18818d6 100644 --- a/test/db2/empset.lcs +++ b/test/db2/empset.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/empset.lh b/test/db2/empset.lh index e404f7b..872dc43 100644 --- a/test/db2/empset.lh +++ b/test/db2/empset.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "employee.h" diff --git a/test/db2/erc.lcs b/test/db2/erc.lcs index e381983..b674292 100644 --- a/test/db2/erc.lcs +++ b/test/db2/erc.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/erc.lh b/test/db2/erc.lh index 50746e2..b38f635 100644 --- a/test/db2/erc.lh +++ b/test/db2/erc.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "eref.h" diff --git a/test/db2/eref.lcs b/test/db2/eref.lcs index dbf0cfe..c9fa925 100644 --- a/test/db2/eref.lcs +++ b/test/db2/eref.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/eref.lh b/test/db2/eref.lh index 4dec9cd..26e671b 100644 --- a/test/db2/eref.lh +++ b/test/db2/eref.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "employee.h" diff --git a/test/db2/ereftab.lcs b/test/db2/ereftab.lcs index 96a9e65..468b74d 100644 --- a/test/db2/ereftab.lcs +++ b/test/db2/ereftab.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/ereftab.lh b/test/db2/ereftab.lh index d81da0b..8db6222 100644 --- a/test/db2/ereftab.lh +++ b/test/db2/ereftab.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "employee.h" diff --git a/test/db3/bool.lcs b/test/db3/bool.lcs index a2f5961..455ffc3 100644 --- a/test/db3/bool.lcs +++ b/test/db3/bool.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/bool.lh b/test/db3/bool.lh index 52e7fc2..597ebfd 100644 --- a/test/db3/bool.lh +++ b/test/db3/bool.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" diff --git a/test/db3/check.lcs b/test/db3/check.lcs index 7c3bc2a..032ad91 100644 --- a/test/db3/check.lcs +++ b/test/db3/check.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/check.lh b/test/db3/check.lh index 9138a3d..67125da 100644 --- a/test/db3/check.lh +++ b/test/db3/check.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "bool.h" diff --git a/test/db3/dbase.lcs b/test/db3/dbase.lcs index 3856130..3ebe553 100644 --- a/test/db3/dbase.lcs +++ b/test/db3/dbase.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/dbase.lh b/test/db3/dbase.lh index 929a151..43967ef 100644 --- a/test/db3/dbase.lh +++ b/test/db3/dbase.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include # include "bool.h" diff --git a/test/db3/employee.lcs b/test/db3/employee.lcs index 5bfdbd9..e4360cf 100644 --- a/test/db3/employee.lcs +++ b/test/db3/employee.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/employee.lh b/test/db3/employee.lh index af63279..0e4b964 100644 --- a/test/db3/employee.lh +++ b/test/db3/employee.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include # include "bool.h" diff --git a/test/db3/empset.lcs b/test/db3/empset.lcs index d30794c..2584510 100644 --- a/test/db3/empset.lcs +++ b/test/db3/empset.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/empset.lh b/test/db3/empset.lh index 69a19f2..d53fd8f 100644 --- a/test/db3/empset.lh +++ b/test/db3/empset.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "employee.h" diff --git a/test/db3/erc.lcs b/test/db3/erc.lcs index 56f415d..ab077eb 100644 --- a/test/db3/erc.lcs +++ b/test/db3/erc.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/erc.lh b/test/db3/erc.lh index 7c5c9c6..e0fd0ea 100644 --- a/test/db3/erc.lh +++ b/test/db3/erc.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "eref.h" diff --git a/test/db3/eref.lcs b/test/db3/eref.lcs index 6c49ac3..6336a5c 100644 --- a/test/db3/eref.lcs +++ b/test/db3/eref.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/eref.lh b/test/db3/eref.lh index 62853e7..c603877 100644 --- a/test/db3/eref.lh +++ b/test/db3/eref.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "employee.h" diff --git a/test/db3/ereftab.lcs b/test/db3/ereftab.lcs index 4c95da6..7c0ecf2 100644 --- a/test/db3/ereftab.lcs +++ b/test/db3/ereftab.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/ereftab.lh b/test/db3/ereftab.lh index 1252f9b..8a61784 100644 --- a/test/db3/ereftab.lh +++ b/test/db3/ereftab.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 3.0b-alpha */ +/* Output from LCLint 3.0.0.7 */ # include "bool.h" # include "employee.h" diff --git a/test/metastate/Makefile~ b/test/metastate/Makefile~ deleted file mode 100644 index fdae5ef..0000000 --- a/test/metastate/Makefile~ +++ /dev/null @@ -1,30 +0,0 @@ -.PHONY: tainted file - -LCLINT = lclint - -all: file tainted sockets struct - -tainted: - ${LCLINT} tainted.mts tainted.xh tainted.c -mustfree -exportlocal -expect 2 - ${LCLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 7 - ${LCLINT} tainted.mts tainted.xh tainted2.c -mustfree -exportlocal -expect 1 - ${LCLINT} tainted.mts tainted.xh tainted3.c -mustfree -exportlocal -expect 1 - ${LCLINT} tainted.mts tainted.xh tainted4.c -mustfree -exportlocal -expect 1 - ${LCLINT} tainted.mts tainted.xh tainted5.c -mustfree -exportlocal -expect 2 - -file: - ${LCLINT} -mts file file1.c -expect 4 - ${LCLINT} -mts file file2.c -varuse -fcnuse -expect 2 - ${LCLINT} -mts file file3.c -varuse -fcnuse -expect 2 - ${LCLINT} -mts file file4.c -varuse -fcnuse -exportlocal -expect 1 - ${LCLINT} -mts file file5.c -varuse -fcnuse -exportlocal -expect 5 - ${LCLINT} -mts file file6.c -varuse -fcnuse -exportlocal -expect 2 - ${LCLINT} -mts file filebad.c -expect 3 - -sockets: - ${LCLINT} sockets.mts sockets.c -expect 3 - ${LCLINT} sockets.mts sockets2.c -expect 2 - -struct: - ${LCLINT} -mts file struct.c -expect 1 - diff --git a/test/moreBufferTests/strrchr.c b/test/moreBufferTests/strrchr.c index 6f0b4bb..3809d01 100644 --- a/test/moreBufferTests/strrchr.c +++ b/test/moreBufferTests/strrchr.c @@ -1,13 +1,8 @@ -extern /*@null@*/ /*@exposed@*/ char * -strrchr (/*@returned@*/ char *s, int /*@alt char@*/ c) /*@*/ /*@ensures MaxSet(result) >= 0 /\ MaxSet(result) <= MaxSet(s) /\ MaxRead (result) <= MaxRead(s) /\ MaxRead(result) >= 0 @*/ ; - void bar (char * t) { - char *ot = t; - char *tt; tt = strrchr (t, '\n'); } diff --git a/test/tests2.2/bool.lcs b/test/tests2.2/bool.lcs index 1f208df..27bbb89 100644 --- a/test/tests2.2/bool.lcs +++ b/test/tests2.2/bool.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/tests2.4/subdir/main.lcs b/test/tests2.4/subdir/main.lcs index 5d60de8..500a4af 100644 --- a/test/tests2.4/subdir/main.lcs +++ b/test/tests2.4/subdir/main.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0b-alpha +%PASSED Output from LCLint 3.0.0.7 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd index 6cdc919..14ec544 100644 --- a/test/tests2.5/newlint.lcd +++ b/test/tests2.5/newlint.lcd @@ -1,5 +1,5 @@ ;;LCLint Dump: newlint.lcd -;;LCLint 3.0b-alpha --- 20 June 2001 +;;LCLint 3.0.0.7 --- 12 July 2001 ;;lib:168 ;;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|$#,)! @@ -1394,7 +1394,7 @@ Param 23 0 e2 2 2 -Param 5 2 +Param 63 2 ;; end precondition constraints post: C @@ -1417,7 +1417,7 @@ Param 23 0 e2 2 2 -Param 5 2 +Param 63 2 ;; end precondition constraints strchr pre: -- 2.45.2