From 7bc6a007ae62d7a3464cc9160e7692c5065d433d Mon Sep 17 00:00:00 2001 From: dlaroche Date: Tue, 19 Jun 2001 15:03:47 +0000 Subject: [PATCH] Merged with Dave Evans's changes. Things says version 3.0 instead of 2.5 --- test/Makefile | 2 +- test/abst_t.lcs | 2 +- test/abstptr.lcs | 2 +- test/alias.lcs | 2 +- test/alias2.lcs | 2 +- test/alias3.lcs | 2 +- test/alias3.lh | 2 +- test/alias4.lcs | 2 +- test/alias4.lh | 2 +- test/alias5.lcs | 2 +- test/alias5.lh | 2 +- test/argorder2.lcs | 2 +- test/argorder4.lcs | 2 +- test/args.lcs | 2 +- test/cast.lcs | 2 +- test/db1.out | 4 +- 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/decl2.lcs | 2 +- test/enum.lcs | 2 +- test/glob.lcs | 2 +- test/help.out | 2 + test/impabstract.lcs | 2 +- test/iter.lcs | 2 +- test/macros.lcs | 2 +- test/macrosef.lcs | 2 +- test/modtest.lcs | 2 +- test/mut.lcs | 2 +- test/mut.lh | 2 +- test/null6.lcd | 118 ++++++++++++++++---------------- test/null6.lcs | 2 +- test/observer.lcs | 2 +- test/oldstyle.lcs | 2 +- test/outglob.lcs | 2 +- test/outparam.lcs | 2 +- test/repexpose.lcs | 2 +- test/repexpose.lh | 2 +- test/special.lcs | 2 +- test/tests2.2/bool.lcs | 2 +- test/tests2.4.expect | 4 +- test/tests2.4.out | 4 +- test/tests2.4/subdir/main.lcs | 2 +- test/tests2.5/newlint.lcd | 124 +++++++++++++++++----------------- test/tq.lcs | 2 +- test/ud2.lcs | 2 +- 85 files changed, 206 insertions(+), 208 deletions(-) diff --git a/test/Makefile b/test/Makefile index b46bd6e..dad6c63 100644 --- a/test/Makefile +++ b/test/Makefile @@ -58,7 +58,7 @@ test: fulltest GREP = grep DIFF = diff -CLEANOUTPUT = $(GREP) -v "LCLint 2." | $(GREP) -v "make -e" | $(GREP) -v "make\[" | $(GREP) -v "lclint -nof" | $(GREP) -v "make -e" +CLEANOUTPUT = $(GREP) -v "LCLint 3." | $(GREP) -v "make -e" | $(GREP) -v "make\[" | $(GREP) -v "lclint -nof" | $(GREP) -v "make -e" ### not real .c diff --git a/test/abst_t.lcs b/test/abst_t.lcs index 0b76188..b863dc4 100644 --- a/test/abst_t.lcs +++ b/test/abst_t.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/abstptr.lcs b/test/abstptr.lcs index 150c1cf..ef18d5d 100644 --- a/test/abstptr.lcs +++ b/test/abstptr.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/alias.lcs b/test/alias.lcs index a8e3f40..29d0e82 100644 --- a/test/alias.lcs +++ b/test/alias.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/alias2.lcs b/test/alias2.lcs index 6fa4a43..0f5bc30 100644 --- a/test/alias2.lcs +++ b/test/alias2.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/alias3.lcs b/test/alias3.lcs index fd408a3..f03ebce 100644 --- a/test/alias3.lcs +++ b/test/alias3.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/alias3.lh b/test/alias3.lh index 2ce3f71..8dea178 100644 --- a/test/alias3.lh +++ b/test/alias3.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" diff --git a/test/alias4.lcs b/test/alias4.lcs index d599709..39da1cd 100644 --- a/test/alias4.lcs +++ b/test/alias4.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/alias4.lh b/test/alias4.lh index dce23ca..def6a2d 100644 --- a/test/alias4.lh +++ b/test/alias4.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "mut.h" diff --git a/test/alias5.lcs b/test/alias5.lcs index 46adf20..1682693 100644 --- a/test/alias5.lcs +++ b/test/alias5.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/alias5.lh b/test/alias5.lh index f2bc709..038cbbf 100644 --- a/test/alias5.lh +++ b/test/alias5.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" diff --git a/test/argorder2.lcs b/test/argorder2.lcs index 2049821..4f87711 100644 --- a/test/argorder2.lcs +++ b/test/argorder2.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/argorder4.lcs b/test/argorder4.lcs index 9d9a7f8..cfc2080 100644 --- a/test/argorder4.lcs +++ b/test/argorder4.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/args.lcs b/test/args.lcs index 7546faf..18e7ef1 100644 --- a/test/args.lcs +++ b/test/args.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/cast.lcs b/test/cast.lcs index c4e5a6c..8da9c5e 100644 --- a/test/cast.lcs +++ b/test/cast.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1.out b/test/db1.out index f1cb5c9..c8926e2 100644 --- a/test/db1.out +++ b/test/db1.out @@ -668,7 +668,7 @@ moduncon 20 0 modunconnomods 1 0 ansireserved 9 0 fcnpost 0 67 -fcnconstraint 0 14 +fcnconstraint 0 15 nullret 1 0 nullstate 1 0 sizeoftype 7 0 @@ -684,6 +684,6 @@ paramuse 1 0 typeuse 1 0 varuse 4 0 ======== ========= -Total 331 134 +Total 331 135 Finished LCLint checking --- 331 code errors found, as expected diff --git a/test/db1/bool.lcs b/test/db1/bool.lcs index 8c626ad..7607712 100644 --- a/test/db1/bool.lcs +++ b/test/db1/bool.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/bool.lh b/test/db1/bool.lh index 6436969..fced476 100644 --- a/test/db1/bool.lh +++ b/test/db1/bool.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" diff --git a/test/db1/dbase.lcs b/test/db1/dbase.lcs index 40435d1..3b5f1b2 100644 --- a/test/db1/dbase.lcs +++ b/test/db1/dbase.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/dbase.lh b/test/db1/dbase.lh index 3443f1a..a725f21 100644 --- a/test/db1/dbase.lh +++ b/test/db1/dbase.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include # include "bool.h" diff --git a/test/db1/employee.lcs b/test/db1/employee.lcs index 977ab45..f10f81a 100644 --- a/test/db1/employee.lcs +++ b/test/db1/employee.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/employee.lh b/test/db1/employee.lh index e1fbc26..2e6c836 100644 --- a/test/db1/employee.lh +++ b/test/db1/employee.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "bool.h" diff --git a/test/db1/empset.lcs b/test/db1/empset.lcs index 7566f47..59c87a4 100644 --- a/test/db1/empset.lcs +++ b/test/db1/empset.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/empset.lh b/test/db1/empset.lh index 099660b..ebb4eab 100644 --- a/test/db1/empset.lh +++ b/test/db1/empset.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "employee.h" diff --git a/test/db1/erc.lcs b/test/db1/erc.lcs index 5c138b2..8dd8b60 100644 --- a/test/db1/erc.lcs +++ b/test/db1/erc.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/erc.lh b/test/db1/erc.lh index 6395967..ae87b43 100644 --- a/test/db1/erc.lh +++ b/test/db1/erc.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "eref.h" diff --git a/test/db1/eref.lcs b/test/db1/eref.lcs index f6d020a..73c68c5 100644 --- a/test/db1/eref.lcs +++ b/test/db1/eref.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/eref.lh b/test/db1/eref.lh index 29b0542..4dec9cd 100644 --- a/test/db1/eref.lh +++ b/test/db1/eref.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "employee.h" diff --git a/test/db1/ereftab.lcs b/test/db1/ereftab.lcs index 89926fd..ef10f04 100644 --- a/test/db1/ereftab.lcs +++ b/test/db1/ereftab.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db1/ereftab.lh b/test/db1/ereftab.lh index a43fcb7..d81da0b 100644 --- a/test/db1/ereftab.lh +++ b/test/db1/ereftab.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "employee.h" diff --git a/test/db2/dbase.lcs b/test/db2/dbase.lcs index 9379aed..8308cb5 100644 --- a/test/db2/dbase.lcs +++ b/test/db2/dbase.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/dbase.lh b/test/db2/dbase.lh index 3443f1a..a725f21 100644 --- a/test/db2/dbase.lh +++ b/test/db2/dbase.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include # include "bool.h" diff --git a/test/db2/employee.lcs b/test/db2/employee.lcs index a192e42..1655ef8 100644 --- a/test/db2/employee.lcs +++ b/test/db2/employee.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/employee.lh b/test/db2/employee.lh index 3a3ce42..53f0fca 100644 --- a/test/db2/employee.lh +++ b/test/db2/employee.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include # include "bool.h" diff --git a/test/db2/empset.lcs b/test/db2/empset.lcs index 69b9981..bd5fb44 100644 --- a/test/db2/empset.lcs +++ b/test/db2/empset.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/empset.lh b/test/db2/empset.lh index 733f393..e404f7b 100644 --- a/test/db2/empset.lh +++ b/test/db2/empset.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "employee.h" diff --git a/test/db2/erc.lcs b/test/db2/erc.lcs index 0602811..e381983 100644 --- a/test/db2/erc.lcs +++ b/test/db2/erc.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/erc.lh b/test/db2/erc.lh index 9089a05..50746e2 100644 --- a/test/db2/erc.lh +++ b/test/db2/erc.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "eref.h" diff --git a/test/db2/eref.lcs b/test/db2/eref.lcs index ce5f086..dbf0cfe 100644 --- a/test/db2/eref.lcs +++ b/test/db2/eref.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/eref.lh b/test/db2/eref.lh index 29b0542..4dec9cd 100644 --- a/test/db2/eref.lh +++ b/test/db2/eref.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "employee.h" diff --git a/test/db2/ereftab.lcs b/test/db2/ereftab.lcs index 553de7a..96a9e65 100644 --- a/test/db2/ereftab.lcs +++ b/test/db2/ereftab.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db2/ereftab.lh b/test/db2/ereftab.lh index a43fcb7..d81da0b 100644 --- a/test/db2/ereftab.lh +++ b/test/db2/ereftab.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "employee.h" diff --git a/test/db3/bool.lcs b/test/db3/bool.lcs index a5070ac..a2f5961 100644 --- a/test/db3/bool.lcs +++ b/test/db3/bool.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/bool.lh b/test/db3/bool.lh index 1b60ec7..52e7fc2 100644 --- a/test/db3/bool.lh +++ b/test/db3/bool.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" diff --git a/test/db3/check.lcs b/test/db3/check.lcs index e5f1e71..7c3bc2a 100644 --- a/test/db3/check.lcs +++ b/test/db3/check.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/check.lh b/test/db3/check.lh index e4a41f6..9138a3d 100644 --- a/test/db3/check.lh +++ b/test/db3/check.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "bool.h" diff --git a/test/db3/dbase.lcs b/test/db3/dbase.lcs index 719f61f..3856130 100644 --- a/test/db3/dbase.lcs +++ b/test/db3/dbase.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/dbase.lh b/test/db3/dbase.lh index a54d63b..929a151 100644 --- a/test/db3/dbase.lh +++ b/test/db3/dbase.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include # include "bool.h" diff --git a/test/db3/employee.lcs b/test/db3/employee.lcs index bc40d2e..5bfdbd9 100644 --- a/test/db3/employee.lcs +++ b/test/db3/employee.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/employee.lh b/test/db3/employee.lh index b8dd981..af63279 100644 --- a/test/db3/employee.lh +++ b/test/db3/employee.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include # include "bool.h" diff --git a/test/db3/empset.lcs b/test/db3/empset.lcs index 7493bb3..d30794c 100644 --- a/test/db3/empset.lcs +++ b/test/db3/empset.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/empset.lh b/test/db3/empset.lh index d5656bb..69a19f2 100644 --- a/test/db3/empset.lh +++ b/test/db3/empset.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "employee.h" diff --git a/test/db3/erc.lcs b/test/db3/erc.lcs index 91dcb4d..56f415d 100644 --- a/test/db3/erc.lcs +++ b/test/db3/erc.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/erc.lh b/test/db3/erc.lh index 8f67d93..7c5c9c6 100644 --- a/test/db3/erc.lh +++ b/test/db3/erc.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "eref.h" diff --git a/test/db3/eref.lcs b/test/db3/eref.lcs index be898ce..6c49ac3 100644 --- a/test/db3/eref.lcs +++ b/test/db3/eref.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/eref.lh b/test/db3/eref.lh index e42cd16..62853e7 100644 --- a/test/db3/eref.lh +++ b/test/db3/eref.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "employee.h" diff --git a/test/db3/ereftab.lcs b/test/db3/ereftab.lcs index 8fa1176..4c95da6 100644 --- a/test/db3/ereftab.lcs +++ b/test/db3/ereftab.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/db3/ereftab.lh b/test/db3/ereftab.lh index fffce7e..1252f9b 100644 --- a/test/db3/ereftab.lh +++ b/test/db3/ereftab.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" # include "employee.h" diff --git a/test/decl2.lcs b/test/decl2.lcs index c6fd359..d7aebbd 100644 --- a/test/decl2.lcs +++ b/test/decl2.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/enum.lcs b/test/enum.lcs index 49c0ffe..0dd7382 100644 --- a/test/enum.lcs +++ b/test/enum.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/glob.lcs b/test/glob.lcs index 85e9ddb..04872ac 100644 --- a/test/glob.lcs +++ b/test/glob.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/help.out b/test/help.out index 6e9fb9e..2770345 100644 --- a/test/help.out +++ b/test/help.out @@ -104,6 +104,7 @@ Finished LCLint checking --- no code processed charunsignedchar checkedglobalias checkmodglobalias + checkpost checkstrictglobalias checkstrictglobs codeimponly @@ -901,6 +902,7 @@ arrayread --- possible out of bounds read arraywrite --- possible buffer overflow from an out of bounds write fcnpost --- Function has the post condition fcnconstraint --- unresolved constraint +checkpost --- unable to verify ensures annotation constraintlocation --- display full c expression for every constraint generated implictconstraint --- Try to generate implicit constraints for functions orconstraint --- Use limited OR expressions to resolve constraints diff --git a/test/impabstract.lcs b/test/impabstract.lcs index dcd476b..5f8d4e4 100644 --- a/test/impabstract.lcs +++ b/test/impabstract.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/iter.lcs b/test/iter.lcs index b95bb74..9c7ef10 100644 --- a/test/iter.lcs +++ b/test/iter.lcs @@ -1,4 +1,4 @@ -%FAILED Output from LCLint 2.5q +%FAILED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/macros.lcs b/test/macros.lcs index f66aa98..e19fdb0 100644 --- a/test/macros.lcs +++ b/test/macros.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/macrosef.lcs b/test/macrosef.lcs index 06924f3..3b139ca 100644 --- a/test/macrosef.lcs +++ b/test/macrosef.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/modtest.lcs b/test/modtest.lcs index 07b3f5e..2833375 100644 --- a/test/modtest.lcs +++ b/test/modtest.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/mut.lcs b/test/mut.lcs index cb440ef..16ade6b 100644 --- a/test/mut.lcs +++ b/test/mut.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/mut.lh b/test/mut.lh index fa9605f..f414952 100644 --- a/test/mut.lh +++ b/test/mut.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" diff --git a/test/null6.lcd b/test/null6.lcd index 4500fdb..214b585 100644 --- a/test/null6.lcd +++ b/test/null6.lcd @@ -1,5 +1,5 @@ ;;LCLint Dump: null6.lcd -;;LCLint 2.5q --- 20 May 2000 +;;LCLint 3.0b-alpha --- 20 June 2001 ;;lib:166 ;;ctTable 0 u-2 19 38 @@ -65,8 +65,8 @@ 0 s4|& 0 s5|& 0 s6|& +0 s14|& 0 s15|& -0 s16|& 0 s7|-1 380 -1 0 s8|& 0 a0|-1 398 -1 @@ -120,7 +120,7 @@ 3 f4 (106|$#,)! 3 f110 (106|$#,)! 3 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|$#int_frac_digits,4|@1|$#frac_digits,4|@1|$#p_cs_precedes,4|@1|$#p_sep_by_space,4|@1|$#n_cs_precedes,4|@1|$#n_sep_by_space,4|@1|$#p_sign_posn,4|@1|$#n_sign_posn,}! -0 s342|-1 124 -1 +0 s341|-1 124 -1 3 f0 (5|$#,23|0@5@7&#,)! 3 f19 (5|$#,23|0@5@7&#,)! 3 f23 (5|$#,23|0@5@7&#,)! @@ -172,7 +172,7 @@ 3 f17 (17|$#,36|4@0@7&#,)! 3 f0 (17|$#,17|$#,)! 3 f17 (17|$#,17|$#,)! -0 a17|& +0 a16|& 3 f0 (170|4@0@7&#,)! 3 f5 (170|4@0@7&#,)! 3 f0 (170|$#,5|$#,)! @@ -205,13 +205,13 @@ 3 f199 (5|$#,191|0@5@7&#,)! 3 f0 (5|$#,)! 3 f5 (5|$#,)! -0 a18|& +0 a17|& 3 f0 (203|4@0@7&#,!.,)! 3 f1 (203|4@0@7&#,!.,)! 3 f0 (203|$#,)! 3 f1 (203|$#,)! -0 a19|-1 210 -1 -0 a20|-1 286 -1 +0 a18|-1 210 -1 +0 a19|-1 286 -1 1 t208|208& 3 f0 (23|$#,)! 3 f5 (23|$#,)! @@ -367,15 +367,15 @@ 3 f0 (5|$#,)! 3 f5 (5|$#,)! 3 S!2{5|@1|$#quot,5|@1|$#rem,}! -0 s339|& -0 s21|& +0 s338|& +0 s20|& 3 f0 (5|$#,5|$#,)! 3 f366 (5|$#,5|$#,)! 3 f0 (9|$#,)! 3 f9 (9|$#,)! 3 S!3{9|@1|$#quot,9|@1|$#rem,}! -0 s340|& -0 s22|& +0 s339|& +0 s21|& 3 f0 (9|$#,9|$#,)! 3 f373 (9|$#,9|$#,)! 3 f0 (5|$#,)! @@ -443,7 +443,7 @@ 3 f425 (380|@5|4@0@9&#,380|$#,)! 3 f0 (380|$#,380|$#,)! 3 f63 (380|$#,380|$#,)! -0 s341|-1 442 -1 +0 s340|-1 442 -1 1 t441|441& 3 f0 (380|4@0@7&#,63|$#,380|$#,442|$#,)! 3 f63 (380|4@0@7&#,63|$#,380|$#,442|$#,)! @@ -656,18 +656,17 @@ 3 f0 (23|4@0@7&#,63|$#,23|$#,442|$#,)! 3 f63 (23|4@0@7&#,63|$#,23|$#,442|$#,)! 0 a1|& -0 s14|& ;;tistable 2 0 -0,17 +0,16 +16 +0,16,17 17 -0,17,18 +0,16,17,18 18 -0,17,18,19 +0,16,17,18,19 19 -0,17,18,19,20 -20 1 ;;symTable *0 (Datatype) @@ -685,7 +684,6 @@ 13@-@-@0@0@0@0@502#wctrans_t 13@-@-@0@0@0@0@627#clock_t 13@-@-@0@0@0@0@628#time_t -13@-@-@0@0@0@0@654#__PTRDIFF_TYPE__ 14@-@-@0@0@0@0@63#size_t 15@-@-@0@0@0@0@64#ssize_t 20@+@+@0@0@0@0@170#jmp_buf @@ -721,14 +719,14 @@ 18|@1|0@0@0@0@1#LDBL_EPSILON#LDBL_MAX#LDBL_MIN 210|@1|0@0@0@0@1#stderr#stdin#stdout *4 (Function) -361$@0@g113@0@0@1@tp0,g113$@0#qsort +361$@0@g112@0@0@1@tp0,g112$@0#qsort 174@6@0@5@0@0@1@@1@s0$@0#longjmp 205$@0@@1@p0$@0#va_start 232$@0@s3@1@s3,tp0,tp1$@0#setbuf 337@6@0@6@0@0@1@@1@s0$@0#exit 322$@0@s1@1@s1$@0#srand 333$@0@@1@tp0$@0#free -304$@1@g113@0@0,g123@0@0,s3@1@s3,tg123$@0#perror +304$@1@g112@0@0,g122@0@0,s3@1@s3,tg122$@0#perror 207$@0@@1@p0$@0#va_end 298$@0@@1@tp0$@0#clearerr#rewind 71@6@0@8@0@0@1@@1@s0$@0#assert @@ -740,65 +738,65 @@ 593$@1@@1@s0$@0#strncmp 256$@0@@1@tp0,p2$@0#vsprintf 250@6@0@1@2@0@1@@1@s0$@0#sscanf -290$@0@s3,g113@0@0@1@s3,tp0,g113$@0#fseek -252$@0@s3,g113@0@0@1@s3,tp0,p2,g113$@0#vfprintf +290$@0@s3,g112@0@0@1@s3,tp0,g112$@0#fseek +252$@0@s3,g112@0@0@1@s3,tp0,p2,g112$@0#vfprintf 240@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf 418$@0@s3@1@s3,tp0$@0#vfwprintf 391@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf 393@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf 452$@1@@1@s0$@0#wcsncmp#wmemcmp -414@6@0@1@2@0@0@g124@0@0@1@tg124$@0#swscanf +414@6@0@1@2@0@0@g123@0@0@1@tg123$@0#swscanf 559$@0@@1@tp0$@0#mbtowc -214$@0@s3,g113@0@0@1@s3,g113$@0#rename +214$@0@s3,g112@0@0@1@s3,g112$@0#rename 589$@1@@1@s0$@0#strcmp#strcoll 557$@1@@1@s0$@0#mblen -254$@1@g125@0@0,s3@1@s3,p1,tg125$@0#vprintf +254$@1@g124@0@0,s3@1@s3,p1,tg124$@0#vprintf 266$@0@s3@1@s3,tp1$@0#fputs -245@6@0@1@2@0@1@g124@0@0,s3@1@s3,tg124$@0#scanf +245@6@0@1@2@0@1@g123@0@0,s3@1@s3,tg123$@0#scanf 561$@0@@1@tp0$@0#wctomb 389$@1@@1@s0$@0#fwide -292$@0@s3,g113@0@0@1@s3,tp0,g113$@0#fsetpos -288$@0@g113@0@0@1@tp1,g113$@0#fgetpos -422$@0@s3,g125@0@0@1@s3,tg125$@0#vwprintf +292$@0@s3,g112@0@0@1@s3,tp0,g112$@0#fsetpos +288$@0@g112@0@0@1@tp1,g112$@0#fgetpos +422$@0@s3,g124@0@0@1@s3,tg124$@0#vwprintf 387$@0@s3@1@s3,tp1$@0#fputws 433$@1@@1@s0$@0#wcscmp#wcscoll -498@6@0@1@1@0@1@g125@0@0,g113@0@0@1@g113,tg125$@0#wprintf -500@6@0@1@2@0@1@g124@0@0,g113@0@0@1@g113,tg124$@0#wscanf -264$@0@s3,g113@0@0@1@s3,tp1,g113$@0#fputc#ungetc +498@6@0@1@1@0@1@g124@0@0,g112@0@0@1@g112,tg124$@0#wprintf +500@6@0@1@2@0@1@g123@0@0,g112@0@0@1@g112,tg123$@0#wscanf +264$@0@s3,g112@0@0@1@s3,tp1,g112$@0#fputc#ungetc 275$@0@s3@1@s3,tp1$@0#putc 363$@1@@1@s0$@0#abs 202@6@0@5@0@0$$@0#raise -279$@1@g125@0@0,s3@1@s3,tg125$@0#puts -212$@0@s3,g113@0@0@1@s3,g113$@0#remove +279$@1@g124@0@0,s3@1@s3,tg124$@0#puts +212$@0@s3,g112@0@0@1@s3,g112$@0#remove 308$@1@@1@s0$@0#atoi 348$@0@s3@1@s3$@0#system 482$@1@@1@s0$@0#wctob 172$@0@@1@p0$@0#setjmp -222$@0@g113@0@0,s3@1@tp0,g113,s3$@0#fclose#fgetc -300$@0@g113@0@0@1@g113$@0#feof#ferror +222$@0@g112@0@0,s3@1@tp0,g112,s3$@0#fclose#fgetc +300$@0@g112@0@0@1@g112$@0#feof#ferror 268$@0@s3@1@s3,tp0$@0#getc -224$@0@g113@0@0,s3@1@tp0,g113,s3$@0#fflush +224$@0@g112@0@0,s3@1@tp0,g112,s3$@0#fflush 343$@0@s1@1@s1$@0#atexit 404$@1@@1@s0$@0#mbsinit -277$@1@g125@0@0,s3@1@s3,tg125$@0#putchar -270$@1@g124@0@0,s3@1@s3,tg124$@0#getchar +277$@1@g124@0@0,s3@1@s3,tg124$@0#putchar +270$@1@g123@0@0,s3@1@s3,tg123$@0#getchar 320$@0@s1@1@s1$@0#rand -316$@0@g113@0@0@1@tp1,g113$@0#strtol +316$@0@g112@0@0@1@tp1,g112$@0#strtol 476$@0@@1@tp1$@0#wcstol 370$@1@@1@s0$@0#labs 310$@1@@1@s0$@0#atol -294$@0@g113@0@0@1@g113$@0#ftell -318$@0@g113@0@0@1@tp1,g113$@0#strtoul +294$@0@g112@0@0@1@g112$@0#ftell +318$@0@g112@0@0@1@tp1,g112$@0#strtoul 478$@0@@1@tp1$@0#wcstoul -149$@0@g113@0@0@1@g113$@0#ldexp -157$@0@g113@0@0@1@g113$@0#pow +149$@0@g112@0@0@1@g112$@0#ldexp +157$@0@g112@0@0@1@g112$@0#pow 139$@1@@1@s0$@0#atan2#fmod 151$@0@@1@tp1$@0#frexp 167$@0@@1@tp1$@0#modf -314$@0@g113@0@0@1@tp1,g113$@0#strtod +314$@0@g112@0@0@1@tp1,g112$@0#strtod 471$@0@@1@tp1$@0#wcstod 633$@1@@1@s0$@0#difftime -135$@0@g113@0@0@1@g113$@0#acos#asin#cosh#exp#log#log10#sqrt +135$@0@g112@0@0@1@g112$@0#acos#asin#cosh#exp#log#log10#sqrt 137$@1@@1@s0$@0#atan#ceil#cos#fabs#floor#sin#sinh#tan#tanh 306$@1@@1@s0$@0#atof 355@6@5@1@0@0@1@@1@s0@18@0@0#bsearch @@ -806,20 +804,20 @@ 331@6@5@1@0@0@0@@1@tp0@2@0@0#realloc 325@6@5@1@0@0@1@@1@s0@2@0@0#calloc 328@4@5@1@0@0@1@@1@s0@2@0@0#malloc -261@6@5@1@0@0@0@s3,g113@0@0@1@s3,tp0,tp2,g113$@0#fgets -121@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113@19@3@0#setlocale +261@6@5@1@0@0@0@s3,g112@0@0@1@s3,tp0,tp2,g112$@0#fgets +121@6@5@1@0@0@0@s1,g112@0@0@1@s1,g112@19@3@0#setlocale 606@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk 601@6@5@1@0@0@1@@1@s0@19@2@0#strchr#strrchr -617@6@5@1@0@0@0@s1,g113@0@0@1@tp0,s1,g113@19@2@0#strtok +617@6@5@1@0@0@0@s1,g112@0@0@1@tp0,s1,g112@19@2@0#strtok 614@6@5@1@0@0@1@@1@s0@19@2@0#strstr 624$@1@@1@s0@19@3@0#strerror 346@6@5@1@0@0@1@@1@s0@19@3@0#getenv -273@6@5@1@0@0@1@g124@0@0,s3,g113@0@0@1@s3,tp0,tg124,g113@3@0@0#gets +273@6@5@1@0@0@1@g123@0@0,s3,g112@0@0@1@s3,tp0,tg123,g112@3@0@0#gets 220$@0@s1@1@tp0,s1@19@3@0#tmpnam -641$@0@g113@0@0@1@g113@19@3@0#asctime +641$@0@g112@0@0@1@g112@19@3@0#asctime 644$@1@@1@s0@19@3@0#ctime -285$@0@s3,g113@0@0@1@s3,tp3,g113$@0#fwrite -283$@0@s3,g113@0@0@1@s3,tp0,tp3,g113$@0#fread +285$@0@s3,g112@0@0@1@s3,tp3,g112$@0#fwrite +283$@0@s3,g112@0@0@1@s3,tp0,tp3,g112$@0#fread 464$@0@@1@tp1$@0#wcsrtombs 652$@0@@1@tp0$@0#strftime 402$@0@@1@tp0$@0#mbrtowc @@ -839,12 +837,12 @@ 408$@0@s3@1@s3,tp1$@0#putwc 416$@0@s3@1@s3,tp1$@0#ungetwc 377$@1@@1@s0$@0#btowc -410$@0@s3,g125@0@0@1@s3,tg125$@0#putwchar +410$@0@s3,g124@0@0@1@s3,tg124$@0#putwchar 379$@0@s3@1@s3,tp0$@0#fgetwc 395$@0@s3@1@s3,tp0$@0#getwc -397$@0@s3,g124@0@0@1@s3,tg124$@0#getwchar +397$@0@s3,g123@0@0@1@s3,tg123$@0#getwchar 125$@1@@1@s0@3@0@0#localeconv -230@6@5@1@0@0@0@s3,g113@0@0@1@tp2,s3,g113@3@0@0#freopen +230@6@5@1@0@0@0@s3,g112@0@0@1@tp2,s3,g112@3@0@0#freopen 227@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen 217@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile 368$@1@@1@s0$@0#div @@ -858,14 +856,14 @@ 461@6@5@1@0@0@1@@1@s0$@0#wcsrchr 431@6@5@1@0@0@1@@1@s0@19@2@0#wcschr 458@6@5@1@0@0@1@@1@s0$@0#wcspbrk -650@6@5@1@0@0@0@g113@0@0@1@g113@19@3@0#localtime +650@6@5@1@0@0@0@g112@0@0@1@g112@19@3@0#localtime 647@6@5@1@0@0@1@@1@s0@19@3@0#gmtime 555$@1@@1@s0$@0#wctype 553$@1@@1@s0$@0#wctrans 631$@0@s1@1@s1$@0#clock 635$@1@@1@s0$@0#mktime 638$@0@@1@tp0$@0#time -200@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113$@0#signal +200@6@5@1@0@0@0@s1,g112@0@0@1@s1,g112$@0#signal 621$@0@@1@tp0$@0#memset 572$@0@@1@tp0$@0#memmove 569$@0@@1@tp0$@0#memcpy @@ -880,7 +878,7 @@ 113$@1@@1@s0$@0#tolower#toupper 248@6@0@1@1@0@0@@1@tp0$@0#sprintf 238@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf -243@6@0@1@1@0@1@g125@0@0,s3@1@s3,tg125$@0#printf +243@6@0@1@1@0@1@g124@0@0,s3@1@s3,tg124$@0#printf 545$@1@@1@s0$@0#towctrans 548$@1@@1@s0$@0#towlower#towupper *7 (Struct tag) diff --git a/test/null6.lcs b/test/null6.lcs index a515eb8..c68c2a7 100644 --- a/test/null6.lcs +++ b/test/null6.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/observer.lcs b/test/observer.lcs index 714fda0..71a7f7e 100644 --- a/test/observer.lcs +++ b/test/observer.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/oldstyle.lcs b/test/oldstyle.lcs index 296b3e7..b8ad0d9 100644 --- a/test/oldstyle.lcs +++ b/test/oldstyle.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/outglob.lcs b/test/outglob.lcs index ce72aed..d7e3b62 100644 --- a/test/outglob.lcs +++ b/test/outglob.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/outparam.lcs b/test/outparam.lcs index aeea0b8..df423f5 100644 --- a/test/outparam.lcs +++ b/test/outparam.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/repexpose.lcs b/test/repexpose.lcs index 64c4166..8a47414 100644 --- a/test/repexpose.lcs +++ b/test/repexpose.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/repexpose.lh b/test/repexpose.lh index a148c41..9fa248b 100644 --- a/test/repexpose.lh +++ b/test/repexpose.lh @@ -1,4 +1,4 @@ -/* Output from LCLint 2.5q */ +/* Output from LCLint 3.0b-alpha */ # include "bool.h" diff --git a/test/special.lcs b/test/special.lcs index d23bb6a..aa85309 100644 --- a/test/special.lcs +++ b/test/special.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/tests2.2/bool.lcs b/test/tests2.2/bool.lcs index f0bf4cc..1f208df 100644 --- a/test/tests2.2/bool.lcs +++ b/test/tests2.2/bool.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/tests2.4.expect b/test/tests2.4.expect index c27a8e9..ef57f55 100644 --- a/test/tests2.4.expect +++ b/test/tests2.4.expect @@ -60,8 +60,8 @@ hexconstants.c:1:5: Function f exported but not declared in header file Finished LCLint checking --- 4 code errors found, as expected -innercomment.c:1:17: Start comment inside comment -innercomment.c:16:3: Start comment inside comment +innercomment.c:1:17: Comment starts inside comment +innercomment.c:16:3: Comment starts inside comment Finished LCLint checking --- no code errors found Finished LCLint checking --- no code errors found diff --git a/test/tests2.4.out b/test/tests2.4.out index c27a8e9..ef57f55 100644 --- a/test/tests2.4.out +++ b/test/tests2.4.out @@ -60,8 +60,8 @@ hexconstants.c:1:5: Function f exported but not declared in header file Finished LCLint checking --- 4 code errors found, as expected -innercomment.c:1:17: Start comment inside comment -innercomment.c:16:3: Start comment inside comment +innercomment.c:1:17: Comment starts inside comment +innercomment.c:16:3: Comment starts inside comment Finished LCLint checking --- no code errors found Finished LCLint checking --- no code errors found diff --git a/test/tests2.4/subdir/main.lcs b/test/tests2.4/subdir/main.lcs index 80c5955..5d60de8 100644 --- a/test/tests2.4/subdir/main.lcs +++ b/test/tests2.4/subdir/main.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd index 852c1b6..d52bc14 100644 --- a/test/tests2.5/newlint.lcd +++ b/test/tests2.5/newlint.lcd @@ -1,5 +1,5 @@ ;;LCLint Dump: newlint.lcd -;;LCLint 2.5q --- 20 May 2000 +;;LCLint 3.0b-alpha --- 20 June 2001 ;;lib:166 ;;ctTable 0 u-2 19 38 @@ -65,8 +65,8 @@ 0 s3|& 0 s4|& 0 s5|& +0 s13|& 0 s14|& -0 s15|& 0 s6|-1 380 -1 0 s7|& 0 a0|-1 398 -1 @@ -120,7 +120,7 @@ 3 f4 (106|$#,)! 3 f110 (106|$#,)! 3 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|$#int_frac_digits,4|@1|$#frac_digits,4|@1|$#p_cs_precedes,4|@1|$#p_sep_by_space,4|@1|$#n_cs_precedes,4|@1|$#n_sep_by_space,4|@1|$#p_sign_posn,4|@1|$#n_sign_posn,}! -0 s343|-1 124 -1 +0 s342|-1 124 -1 3 f0 (5|$#,23|0@5@7&#,)! 3 f19 (5|$#,23|0@5@7&#,)! 3 f23 (5|$#,23|0@5@7&#,)! @@ -172,7 +172,7 @@ 3 f17 (17|$#,36|4@0@7&#,)! 3 f0 (17|$#,17|$#,)! 3 f17 (17|$#,17|$#,)! -0 a16|& +0 a15|& 3 f0 (170|4@0@7&#,)! 3 f5 (170|4@0@7&#,)! 3 f0 (170|$#,5|$#,)! @@ -205,13 +205,13 @@ 3 f199 (5|$#,191|0@5@7&#,)! 3 f0 (5|$#,)! 3 f5 (5|$#,)! -0 a17|& +0 a16|& 3 f0 (203|4@0@7&#,!.,)! 3 f1 (203|4@0@7&#,!.,)! 3 f0 (203|$#,)! 3 f1 (203|$#,)! -0 a18|-1 210 -1 -0 a19|-1 286 -1 +0 a17|-1 210 -1 +0 a18|-1 286 -1 1 t208|208& 3 f0 (23|$#,)! 3 f5 (23|$#,)! @@ -367,15 +367,15 @@ 3 f0 (5|$#,)! 3 f5 (5|$#,)! 3 S!2{5|@1|$#quot,5|@1|$#rem,}! -0 s340|& -0 s20|& +0 s339|& +0 s19|& 3 f0 (5|$#,5|$#,)! 3 f366 (5|$#,5|$#,)! 3 f0 (9|$#,)! 3 f9 (9|$#,)! 3 S!3{9|@1|$#quot,9|@1|$#rem,}! -0 s341|& -0 s21|& +0 s340|& +0 s20|& 3 f0 (9|$#,9|$#,)! 3 f373 (9|$#,9|$#,)! 3 f0 (5|$#,)! @@ -443,7 +443,7 @@ 3 f425 (380|@5|4@0@9&#,380|$#,)! 3 f0 (380|$#,380|$#,)! 3 f63 (380|$#,380|$#,)! -0 s342|-1 442 -1 +0 s341|-1 442 -1 1 t441|441& 3 f0 (380|4@0@7&#,63|$#,380|$#,442|$#,)! 3 f63 (380|4@0@7&#,63|$#,380|$#,442|$#,)! @@ -655,25 +655,24 @@ 3 f442 (636|$#,)! 3 f0 (23|4@0@7&#,63|$#,23|$#,442|$#,)! 3 f63 (23|4@0@7&#,63|$#,23|$#,442|$#,)! -0 s13|& 3 C1.5/1|! 3 f0 (!.,)! 3 f5 (!.,)! -3 f654 (!.,)! +3 f653 (!.,)! 3 f0 (!.,)! 3 f5 (!.,)! -3 f654 (!.,)! +3 f653 (!.,)! ;;tistable 1 0 -0,16 +0,15 +15 +0,15,16 16 -0,16,17 +0,15,16,17 17 -0,16,17,18 +0,15,16,17,18 18 -0,16,17,18,19 -19 ;;symTable *0 (Datatype) 0@+@=@0@7@0@0@67#mbstate_t @@ -689,7 +688,6 @@ 13@-@-@0@0@0@0@502#wctrans_t 13@-@-@0@0@0@0@627#clock_t 13@-@-@0@0@0@0@628#time_t -13@-@-@0@0@0@0@653#__PTRDIFF_TYPE__ 14@-@-@0@0@0@0@63#size_t 15@-@-@0@0@0@0@64#ssize_t 20@+@+@0@0@0@0@170#jmp_buf @@ -725,14 +723,14 @@ 18|@1|0@0@0@0@1#LDBL_EPSILON#LDBL_MAX#LDBL_MIN 210|@1|0@0@0@0@1#stderr#stdin#stdout *4 (Function) -361$@0@g112@0@0@1@tp0,g112$@0#qsort +361$@0@g111@0@0@1@tp0,g111$@0#qsort 174@6@0@5@0@0@1@@1@s0$@0#longjmp 205$@0@@1@p0$@0#va_start 232$@0@s3@1@s3,tp0,tp1$@0#setbuf 337@6@0@6@0@0@1@@1@s0$@0#exit 322$@0@s1@1@s1$@0#srand 333$@0@@1@tp0$@0#free -304$@1@g112@0@0,g122@0@0,s3@1@s3,tg122$@0#perror +304$@1@g111@0@0,g121@0@0,s3@1@s3,tg121$@0#perror 207$@0@@1@p0$@0#va_end 298$@0@@1@tp0$@0#clearerr#rewind 71@6@0@8@0@0@1@@1@s0$@0#assert @@ -744,65 +742,65 @@ 593$@1@@1@s0$@0#strncmp 256$@0@@1@tp0,p2$@0#vsprintf 250@6@0@1@2@0@1@@1@s0$@0#sscanf -290$@0@s3,g112@0@0@1@s3,tp0,g112$@0#fseek -252$@0@s3,g112@0@0@1@s3,tp0,p2,g112$@0#vfprintf +290$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fseek +252$@0@s3,g111@0@0@1@s3,tp0,p2,g111$@0#vfprintf 240@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf 418$@0@s3@1@s3,tp0$@0#vfwprintf 391@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf 393@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf 452$@1@@1@s0$@0#wcsncmp#wmemcmp -414@6@0@1@2@0@0@g123@0@0@1@tg123$@0#swscanf +414@6@0@1@2@0@0@g122@0@0@1@tg122$@0#swscanf 559$@0@@1@tp0$@0#mbtowc -214$@0@s3,g112@0@0@1@s3,g112$@0#rename +214$@0@s3,g111@0@0@1@s3,g111$@0#rename 589$@1@@1@s0$@0#strcmp#strcoll 557$@1@@1@s0$@0#mblen -254$@1@g124@0@0,s3@1@s3,p1,tg124$@0#vprintf +254$@1@g123@0@0,s3@1@s3,p1,tg123$@0#vprintf 266$@0@s3@1@s3,tp1$@0#fputs -245@6@0@1@2@0@1@g123@0@0,s3@1@s3,tg123$@0#scanf +245@6@0@1@2@0@1@g122@0@0,s3@1@s3,tg122$@0#scanf 561$@0@@1@tp0$@0#wctomb 389$@1@@1@s0$@0#fwide -292$@0@s3,g112@0@0@1@s3,tp0,g112$@0#fsetpos -288$@0@g112@0@0@1@tp1,g112$@0#fgetpos -422$@0@s3,g124@0@0@1@s3,tg124$@0#vwprintf +292$@0@s3,g111@0@0@1@s3,tp0,g111$@0#fsetpos +288$@0@g111@0@0@1@tp1,g111$@0#fgetpos +422$@0@s3,g123@0@0@1@s3,tg123$@0#vwprintf 387$@0@s3@1@s3,tp1$@0#fputws 433$@1@@1@s0$@0#wcscmp#wcscoll -498@6@0@1@1@0@1@g124@0@0,g112@0@0@1@g112,tg124$@0#wprintf -500@6@0@1@2@0@1@g123@0@0,g112@0@0@1@g112,tg123$@0#wscanf -264$@0@s3,g112@0@0@1@s3,tp1,g112$@0#fputc#ungetc +498@6@0@1@1@0@1@g123@0@0,g111@0@0@1@g111,tg123$@0#wprintf +500@6@0@1@2@0@1@g122@0@0,g111@0@0@1@g111,tg122$@0#wscanf +264$@0@s3,g111@0@0@1@s3,tp1,g111$@0#fputc#ungetc 275$@0@s3@1@s3,tp1$@0#putc 363$@1@@1@s0$@0#abs 202@6@0@5@0@0$$@0#raise -279$@1@g124@0@0,s3@1@s3,tg124$@0#puts -212$@0@s3,g112@0@0@1@s3,g112$@0#remove +279$@1@g123@0@0,s3@1@s3,tg123$@0#puts +212$@0@s3,g111@0@0@1@s3,g111$@0#remove 308$@1@@1@s0$@0#atoi 348$@0@s3@1@s3$@0#system 482$@1@@1@s0$@0#wctob 172$@0@@1@p0$@0#setjmp -222$@0@g112@0@0,s3@1@tp0,g112,s3$@0#fclose#fgetc -300$@0@g112@0@0@1@g112$@0#feof#ferror +222$@0@g111@0@0,s3@1@tp0,g111,s3$@0#fclose#fgetc +300$@0@g111@0@0@1@g111$@0#feof#ferror 268$@0@s3@1@s3,tp0$@0#getc -224$@0@g112@0@0,s3@1@tp0,g112,s3$@0#fflush +224$@0@g111@0@0,s3@1@tp0,g111,s3$@0#fflush 343$@0@s1@1@s1$@0#atexit 404$@1@@1@s0$@0#mbsinit -277$@1@g124@0@0,s3@1@s3,tg124$@0#putchar -270$@1@g123@0@0,s3@1@s3,tg123$@0#getchar +277$@1@g123@0@0,s3@1@s3,tg123$@0#putchar +270$@1@g122@0@0,s3@1@s3,tg122$@0#getchar 320$@0@s1@1@s1$@0#rand -316$@0@g112@0@0@1@tp1,g112$@0#strtol +316$@0@g111@0@0@1@tp1,g111$@0#strtol 476$@0@@1@tp1$@0#wcstol 370$@1@@1@s0$@0#labs 310$@1@@1@s0$@0#atol -294$@0@g112@0@0@1@g112$@0#ftell -318$@0@g112@0@0@1@tp1,g112$@0#strtoul +294$@0@g111@0@0@1@g111$@0#ftell +318$@0@g111@0@0@1@tp1,g111$@0#strtoul 478$@0@@1@tp1$@0#wcstoul -149$@0@g112@0@0@1@g112$@0#ldexp -157$@0@g112@0@0@1@g112$@0#pow +149$@0@g111@0@0@1@g111$@0#ldexp +157$@0@g111@0@0@1@g111$@0#pow 139$@1@@1@s0$@0#atan2#fmod 151$@0@@1@tp1$@0#frexp 167$@0@@1@tp1$@0#modf -314$@0@g112@0@0@1@tp1,g112$@0#strtod +314$@0@g111@0@0@1@tp1,g111$@0#strtod 471$@0@@1@tp1$@0#wcstod 633$@1@@1@s0$@0#difftime -135$@0@g112@0@0@1@g112$@0#acos#asin#cosh#exp#log#log10#sqrt +135$@0@g111@0@0@1@g111$@0#acos#asin#cosh#exp#log#log10#sqrt 137$@1@@1@s0$@0#atan#ceil#cos#fabs#floor#sin#sinh#tan#tanh 306$@1@@1@s0$@0#atof 355@6@5@1@0@0@1@@1@s0@18@0@0#bsearch @@ -810,20 +808,20 @@ 331@6@5@1@0@0@0@@1@tp0@2@0@0#realloc 325@6@5@1@0@0@1@@1@s0@2@0@0#calloc 328@4@5@1@0@0@1@@1@s0@2@0@0#malloc -261@6@5@1@0@0@0@s3,g112@0@0@1@s3,tp0,tp2,g112$@0#fgets -121@6@5@1@0@0@0@s1,g112@0@0@1@s1,g112@19@3@0#setlocale +261@6@5@1@0@0@0@s3,g111@0@0@1@s3,tp0,tp2,g111$@0#fgets +121@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111@19@3@0#setlocale 606@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk 601@6@5@1@0@0@1@@1@s0@19@2@0#strchr#strrchr -617@6@5@1@0@0@0@s1,g112@0@0@1@tp0,s1,g112@19@2@0#strtok +617@6@5@1@0@0@0@s1,g111@0@0@1@tp0,s1,g111@19@2@0#strtok 614@6@5@1@0@0@1@@1@s0@19@2@0#strstr 624$@1@@1@s0@19@3@0#strerror 346@6@5@1@0@0@1@@1@s0@19@3@0#getenv -273@6@5@1@0@0@1@g123@0@0,s3,g112@0@0@1@s3,tp0,tg123,g112@3@0@0#gets +273@6@5@1@0@0@1@g122@0@0,s3,g111@0@0@1@s3,tp0,tg122,g111@3@0@0#gets 220$@0@s1@1@tp0,s1@19@3@0#tmpnam -641$@0@g112@0@0@1@g112@19@3@0#asctime +641$@0@g111@0@0@1@g111@19@3@0#asctime 644$@1@@1@s0@19@3@0#ctime -285$@0@s3,g112@0@0@1@s3,tp3,g112$@0#fwrite -283$@0@s3,g112@0@0@1@s3,tp0,tp3,g112$@0#fread +285$@0@s3,g111@0@0@1@s3,tp3,g111$@0#fwrite +283$@0@s3,g111@0@0@1@s3,tp0,tp3,g111$@0#fread 464$@0@@1@tp1$@0#wcsrtombs 652$@0@@1@tp0$@0#strftime 402$@0@@1@tp0$@0#mbrtowc @@ -843,12 +841,12 @@ 408$@0@s3@1@s3,tp1$@0#putwc 416$@0@s3@1@s3,tp1$@0#ungetwc 377$@1@@1@s0$@0#btowc -410$@0@s3,g124@0@0@1@s3,tg124$@0#putwchar +410$@0@s3,g123@0@0@1@s3,tg123$@0#putwchar 379$@0@s3@1@s3,tp0$@0#fgetwc 395$@0@s3@1@s3,tp0$@0#getwc -397$@0@s3,g123@0@0@1@s3,tg123$@0#getwchar +397$@0@s3,g122@0@0@1@s3,tg122$@0#getwchar 125$@1@@1@s0@3@0@0#localeconv -230@6@5@1@0@0@0@s3,g112@0@0@1@tp2,s3,g112@3@0@0#freopen +230@6@5@1@0@0@0@s3,g111@0@0@1@tp2,s3,g111@3@0@0#freopen 227@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen 217@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile 368$@1@@1@s0$@0#div @@ -862,14 +860,14 @@ 461@6@5@1@0@0@1@@1@s0$@0#wcsrchr 431@6@5@1@0@0@1@@1@s0@19@2@0#wcschr 458@6@5@1@0@0@1@@1@s0$@0#wcspbrk -650@6@5@1@0@0@0@g112@0@0@1@g112@19@3@0#localtime +650@6@5@1@0@0@0@g111@0@0@1@g111@19@3@0#localtime 647@6@5@1@0@0@1@@1@s0@19@3@0#gmtime 555$@1@@1@s0$@0#wctype 553$@1@@1@s0$@0#wctrans 631$@0@s1@1@s1$@0#clock 635$@1@@1@s0$@0#mktime 638$@0@@1@tp0$@0#time -200@6@5@1@0@0@0@s1,g112@0@0@1@s1,g112$@0#signal +200@6@5@1@0@0@0@s1,g111@0@0@1@s1,g111$@0#signal 621$@0@@1@tp0$@0#memset 572$@0@@1@tp0$@0#memmove 569$@0@@1@tp0$@0#memcpy @@ -884,8 +882,8 @@ 113$@1@@1@s0$@0#tolower#toupper 248@6@0@1@1@0@0@@1@tp0$@0#sprintf 238@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf -243@6@0@1@1@0@1@g124@0@0,s3@1@s3,tg124$@0#printf -657$$$@0#test1#test2 +243@6@0@1@1@0@1@g123@0@0,s3@1@s3,tg123$@0#printf +656$$$@0#test1#test2 545$@1@@1@s0$@0#towctrans 548$@1@@1@s0$@0#towlower#towupper *7 (Struct tag) diff --git a/test/tq.lcs b/test/tq.lcs index 27a2d98..dc1891c 100644 --- a/test/tq.lcs +++ b/test/tq.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil diff --git a/test/ud2.lcs b/test/ud2.lcs index f297fe9..889c7e0 100644 --- a/test/ud2.lcs +++ b/test/ud2.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5q +%PASSED Output from LCLint 3.0b-alpha %LCLimports %LCLSortTable %LCLsort bool immutable nil nil -- 2.45.2