###
-### LCLint db1 test
+### Splint db1 test
###
### Taken from sample, second iteration: weakchecks
###
.SUFFIXES: .lcl .lcs .lh .h .c .o
.PHONY: check clean
-SHELL = /bin/csh -f
+### SHELL = /bin/csh -f
-LCLINT = lclint -booltype bool
-LCL = $(LCLINT) -specundef +lh +quiet -nof
-LCLINTLH = $(LCLINT) +lh
+SPLINT = splint -booltype bool
+LCL = $(SPLINT) -specundef +lh +quiet -nof
+SPLINTLH = $(SPLINT) +lh
LCSFILES = bool.lcs dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs
MODULES = bool.lcl employee eref empset ereftab erc dbase drive.c
###
check: $(LCSFILES)
- $(LCLINT) -showcol -weak $(MODULES) -expect 16
- $(LCLINT) -showcol +strict -modfilesystem +showsummary $(MODULES) -expect 333
+ -$(SPLINT) -showcol -weak $(MODULES) -expect 21
+ -$(SPLINT) -showcol +strict -modfilesystem +showsummary $(MODULES) -expect 338
+
+# evans 2002-07-09: 5 bufferoverflowhigh warnings for using sprintf
### The following rules generate .lh and .lcs files from .lcl files. They also
### ensure that .h files appear to be updated whenever the corresponding .lh
###
clean: tidy
- -@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh >& /dev/null
+ -@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh 1> /dev/null
tidy:
- -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive >& /dev/null
+ -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive 11> /dev/null
### The following dependencies ensure that imported LCL specs
### are checked before the specs that import them.