###
-### LCLint db3 test
+### Splint db3 test
###
### Taken from sample, thirteenth iteration: strictlib
###
.SUFFIXES: .lcl .lcs .lh .h .c .o
.PHONY: check clean
-SHELL = /bin/csh -f
+### SHELL = /bin/csh -f
-LCLINT = lclint
-LCLINTF = $(LCLINT) -f ./.lclintrc
-LCL = $(LCLINTF) -specundef +lh +quiet -nof
-LCLINTLH = $(LCLINTF) +lh
+SPLINT = splint
+SPLINTF = $(SPLINT) -f ./.splintrc
+LCL = $(SPLINTF) -specundef +lh +quiet -nof
+SPLINTLH = $(SPLINTF) +lh
LCSFILES = dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs bool.lcs check.lcs
MODULES = employee eref empset ereftab erc dbase drive.c bool.lcl check.lcl
OBJS = dbase.o employee.o empset.o erc.o eref.o ereftab.o
test:
- $(MAKE) -e clean
- $(MAKE) -e check
+ @$(MAKE) -e check
-### Note there is a .lclint file used for checking!
+### Note there is a .splint file used for checking!
check: $(LCSFILES)
- $(LCLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_
- $(LCLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_ +strictlib -expect 77
+ -$(SPLINTF) -showcol $(MODULES) +strict -bounds -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_ -expect 5
+ -$(SPLINTF) -showcol $(MODULES) +strict -bounds -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_ +strictlib -expect 82
+
+# evans 2002-07-09: 5 new sprintf warnings
### The following rules generate .lh and .lcs files from .lcl files. They also