decl divzero enum enumtag exports external fields flags forbody format freearray \
funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \
linked lintcomments list longint loopexec looptesteffect \
- macros macrosef merge mergenull modifies modtest moduncon \
+ macros macrosef malloc merge mergenull modifies modtest moduncon \
mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \
parentype postnotnull preds prefixes printflike rc refcounts release repexpose \
- returned sharing shifts sizesigns slovaknames \
+ returned russian sharing shifts sizesigns slovaknames \
specclauses \
special stack staticarray strings \
stringliteral \
help:
-@$(SPLINT)
- -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
-@$(SPLINT) -help
-@$(SPLINTP) -asdf
-@$(SPLINTP) +boolint +boolint
-@$(SPLINT) -help flags alpha
-
#commenting these out for the release because they will almost always fail
#since the default will only fit one system
#Don't want to panic the user...
-$(SPLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2
-$(SPLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2
+###
+### 1 extra warning reported for +strict now because of out-of-bounds read
+###
+
.PHONY: compdestroy
compdestroy:
-$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1
-$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2
-$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
- -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3
+ -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 4
.PHONY: compoundliterals
compoundliterals:
.PHONY: decl
decl:
-$(SPLINTR) decl.c -expect 2
- -$(SPLINTRN) decl.c +strict -exportlocal -expect 5
+ -$(SPLINTRN) decl.c +strict -exportlocal -expect 6
-$(SPLINTR) decl2 -expect 4
.PHONY: divzero
-$(SPLINTR) macrosef.c +allmacros -expect 3
-$(SPLINTR) macrosef.c +allmacros +sefuncon -expect 4
+.PHONY: malloc
+malloc:
+ -$(SPLINTRN) malloc.c +bounds -exportlocal -expect 7
+
.PHONY: merge
merge:
-$(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3
.PHONY: moduncon
moduncon:
-$(SPLINTR) moduncon.c +moduncon -memchecks -expect 4
- -$(SPLINTRN) moduncon.c +strict -exportlocal -expect 22
+ -$(SPLINTRN) moduncon.c +strict +impboundsconstraints -exportlocal -expect 22
.PHONY: mongoincludes
mongoincludes:
preds:
-$(SPLINTR) +hints preds.c -expect 6
-$(SPLINTRN) +hints preds.c -weak -expect 1
- -$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12
+ -$(SPLINTRN) +hints preds.c -strict +impboundsconstraints -exportlocal -exportheader -expect 10
.PHONY: prefixes
prefixes:
returned:
${SPLINTR} returned.c -expect 1
+### russian added 2003-06-07: bug reported in pre-processing non-standard characters.
+.PHONY: russian
+russian:
+ ${SPLINTR} russian.c
+
.PHONY: sharing
sharing:
-$(SPLINTR) sharing1.c -expect 21
./db3/erc.lcl \
./db3/eref.lcl \
./db3/ereftab.lcl \
+ ./db3/README \
+ ./db3/clean \
+ ./db3/tidy \
./tq.lcl \
./ud2.lcl \
./for/.splintrc \
./longconstants.c \
./macros.c \
./macrosef.c \
+ ./malloc.c \
./merge.c \
./modclient.c \
./modifies.c \