X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a956d44407e676f9f2737963194fd78f9dda05f4..37ae0b5e6e1c76f54aeed136ed5356b3c10f0c05:/test/Makefile.am diff --git a/test/Makefile.am b/test/Makefile.am index c43e8e5..6b149f5 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -4,7 +4,9 @@ AUTOMAKE_OPTIONS = 1.5 foreign ## Use this to configure diff output -DIFFFLAGS = -u +DIFFFLAGS = + +# -u show context ## Set up the splint commands @@ -35,24 +37,26 @@ SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint UNITTESTS = \ help \ abstptr abstract alias alttypes ansireserved argorder \ - args blocks break cases cast charlit clauses commentchar compdestroy \ - constannot controldepth csyntax czechnames czechoslovaknames deadparam \ - decl enum exports external fields flags forbody format freearray \ + args arraydims arrayinit arraylit blocks break cases cast charlit clauses commentchar compdestroy \ + compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \ + decl divzero enum exports external fields flags forbody format freearray \ funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \ - linked lintcomments list loopexec \ + linked lintcomments list loopexec looptesteffect \ macros macrosef merge mergenull modifies modtest moduncon \ mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \ - postnotnull preds prefixes printflike rc refcounts release repexpose \ + parentype postnotnull preds prefixes printflike rc refcounts release repexpose \ returned sharing shifts slovaknames \ specclauses \ special stack staticarray strings \ - structassign typequals ud ulstypes union unioninit unreachable unsignedcompare \ + stringliteral \ + structassign typequals typeof ud ulstypes union unioninit unreachable unsignedcompare \ unused ullint utypes void widestrings UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS)) SUBDIRTESTS = metastate mergestate tainted fileio \ simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \ - maxset strchr for + maxset strchr for manual + ### warnuse doesn't work yet! SUBDIRTESTS += tests2.2 SUBDIRTESTS += tests2.4 @@ -71,6 +75,7 @@ version: -$(SPLINTP) -help version .PHONY: help + help: -@$(SPLINT) -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl @@ -78,7 +83,17 @@ help: -@$(SPLINTP) -asdf -@$(SPLINTP) +boolint +boolint -@$(SPLINTP) -help flags alpha - -@$(SPLINTP) -help flags all + + +#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... +# -@$(SPLINTP) -help flags all | $(GREP) -v "^larchpath " | $(GREP) -v "^lclimportdir " | $(GREP) -v " Path argument. Default: " | $(GREP) -v " Directory argument. Default: " | $(GREP) -v " lclimportdir " +# -@$(SPLINTP) -help flags full | $(GREP) -v "^larchpath " | $(GREP) -v "^lclimportdir " | $(GREP) -v " Path argument. Default: " | $(GREP) -v " Directory argument. Default: " | $(GREP) -v " lclimportdir " +# -@$(SPLINTP) -help flags manual | $(GREP) -v "^larchpath " | $(GREP) -v "^lclimportdir " | $(GREP) -v " Path argument. Default: " | $(GREP) -v " Directory argument. Default: " | $(GREP) -v " lclimportdir " + +#larch and lclimportdir have different hardcoded default paths so don't include the path in the output.. + .PHONY: clean-local clean-local: @@ -102,7 +117,7 @@ $(SPLINT): ## The tests should really be re-done as shell-scripts or something... maybe ## autotest could be used once it's finished. -CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES=" +CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" | $(GREP) -v "^gmake -e" | $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES=" ## Not real C code @@ -202,6 +217,20 @@ argorder: args: -$(SPLINTR) args -noeffect -expect 12 +.PHONY: arraydims +arraydims: + -$(SPLINTR) arraydims.c -varuse -expect 2 + -$(SPLINTR) arraydims.c -initsize -varuse + +.PHONY: arrayinit +arrayinit: + -$(SPLINTR) arrayinit.c -expect 9 + +.PHONY: arraylit +arraylit: + -$(SPLINTR) arraylit.c -expect 2 + -$(SPLINTR) arraylit.c +stringliteralsmaller -expect 4 + .PHONY: blocks blocks: -$(SPLINTR) blocks.c -expect 4 @@ -261,9 +290,17 @@ compdestroy: -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3 -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3 +.PHONY: compoundliterals +compoundliterals: + ${SPLINTRN} compoundliterals.c + +.PHONY: compoundstmt +compoundstmt: + ${SPLINTRN} compoundstmt.c -expect 3 + .PHONY: constannot constannot: - ${SPLINTRN} constannot.c +arraybounds -exportlocal -expect 2 + ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2 .PHONY: csyntax csyntax: @@ -317,6 +354,10 @@ decl: -$(SPLINTRN) decl.c +strict -exportlocal -expect 5 -$(SPLINTR) decl2 -expect 4 +.PHONY: divzero +divzero: + -$(SPLINTR) divzero.c -varuse -expect 0 + .PHONY: enum enum: -$(SPLINTR) enum -expect 16 @@ -331,7 +372,7 @@ exports: .PHONY: external external: -$(SPLINTR) external.c +partial - -$(SPLINTR) external.c +partial +distinctexternalnames -expect 2 + -$(SPLINTR) external.c +partial +distinctexternalnames +ansi89limits -expect 2 -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3 -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3 -$(SPLINTR) external.c +partial -externalnamelength 3 -expect 4 @@ -414,7 +455,8 @@ inparam: .PHONY: internal internal: -$(SPLINTR) internal.c -expect 1 - -$(SPLINTR) internal.c +distinctinternalnames -expect 2 + -$(SPLINTR) internal.c +distinctinternalnames -expect 1 + -$(SPLINTR) internal.c +distinctinternalnames +ansi89limits -expect 2 -$(SPLINTR) internal.c -internalnamelen 28 -expect 3 -$(SPLINTR) internal.c +internalnamecaseinsensitive -expect 3 -$(SPLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11 @@ -463,6 +505,9 @@ loopexec: -$(SPLINTR) loopexec.c -expect 1 -$(SPLINTR) loopexec.c -obviousloopexec -expect 3 +.PHONY: looptesteffect +looptesteffect: + -$(SPLINTR) looptesteffect.c -expect 1 .PHONY: macros macros: @@ -510,11 +555,11 @@ mongoincludes: .PHONY: mystrncat mystrncat: - -$(SPLINTR) mystrncat.c +arraybounds +arrayboundsread -expect 4 + -$(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 .PHONY: noeffect noeffect: - ${SPLINT} -nof noeffect.c +allmacros +checks -expect 3 + ${SPLINTP} noeffect.c +allmacros +checks -expect 3 ### ### 2002-01-01: null1.c: expect increased to 15 because out must be defined @@ -560,7 +605,7 @@ observer: .PHONY: oldstyle oldstyle: - -$(SPLINTR) oldstyle -expect 3 + -$(SPLINTR) oldstyle oldstyle2.c -expect 5 .PHONY: outglob outglob: @@ -575,6 +620,12 @@ outparam: .PHONY: postnotnull postnotnull: ${SPLINTR} postnotnull.c -expect 1 + +### evans 2002-02-09: added parentype.c +.PHONY: parentype +parentype: + ${SPLINTR} parentype.c + # # Four new +fcnuse errors for -strict (evans 2001-07-22) # @@ -706,6 +757,15 @@ stack: staticarray: -$(SPLINTR) staticarray.c -expect 3 +### +### evans 2002-03-16: Default setting of stringliteralnoroomfinalnull changed +### + +.PHONY: stringliteral +stringliteral: + -$(SPLINTR) stringliteral.c -stringliteralnoroomfinalnull -expect 3 + -$(SPLINTR) stringliteral.c -expect 4 + .PHONY: strings strings: -$(SPLINTR) strings.c -expect 3 @@ -716,6 +776,10 @@ strings: structassign: -$(SPLINTR) structassign.c -expect 4 +.PHONY: typeof +typeof: + -$(SPLINTR) typeof.c -expect 2 + .PHONY: typequals typequals: -$(SPLINTR) typequals.c tq.lcl -expect 5 @@ -817,13 +881,11 @@ freearray: .PHONY: sizeof sizeof: - -$(SPLINTR) +arraybounds +arrayboundsread sizeof.c -expect 1 + -$(SPLINTR) +bounds sizeof.c -expect 1 .PHONY: buffertest buffertest: - -$(SPLINTR) +arraybounds +arrayboundsread buffertest1.c -expect 5 - - + -$(SPLINTR) +bounds buffertest1.c -expect 5 ## Integration Tests @@ -964,6 +1026,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./argorder5.c \ ./args.c \ ./arrayinit.c \ + ./arraylit.c \ ./blocks.c \ ./branchstate.c \ ./break.c \ @@ -979,6 +1042,8 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./commentchar.c \ ./commentcmd.c \ ./compdestroy.c \ + ./compoundliterals.c ./compoundliterals.expect \ + ./compoundstmt.c ./compoundstmt.expect \ ./csyntax.c \ ./constannot.c \ ./controldepth.c \ @@ -1280,6 +1345,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ argorder.expect \ args.expect \ arrayinit.expect \ + arraylit.expect \ blocks.expect \ branchstate.expect \ break.expect \ @@ -1422,7 +1488,6 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./tq.h \ ./metastate/global.h \ ./suppressfile/test.h \ - ./tests2.2/Makefile.hide \ ./tests2.2/mbool.h \ ./tests2.4/forward.h \ ./tests2.4/hash.h \ @@ -1448,10 +1513,8 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./strchr/Makefile \ ./tainted/Makefile \ ./temp/Makefile \ - ./tests2.2/Makefile.hide \ ./tests2.2/Makefile \ ./tests2.2/Makefile-tests2.2.os2 \ - ./tests2.2a/Makefile \ ./tests2.4/Makefile \ ./tests2.4/Makefile-tests2.4.os2 \ ./tests2.5/Makefile \ @@ -1460,6 +1523,16 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./Makefile.in \ ./moreBufferTests2/Makefile \ ./fileio/eof.mts ./fileio/file.mts ./fileio/filerw.mts ./mergestate/tainted.mts ./mergestate/taintednm.mts ./metastate/file.mts ./metastate/nullterminated.mts ./metastate/sockets.mts ./tainted/tainted-bad.mts ./tainted/tainted.mts ./fileio/file.xh ./fileio/filerw.xh ./mergestate/tainted.xh ./mergestate/taintednm.xh ./metastate/file.xh ./tainted/tainted.xh \ - alias alttypes ansireserved \ - db2.old-expect outglob outparam preds union.pp warnuse.old-expect \ - ./tests2.5/badcomment ./tests2.5/boolbad ./tests2.5/booltest ./tests2.5/uconstants + db2.old-expect union.pp warnuse.old-expect \ + ./tests2.5/badcomment ./tests2.5/boolbad ./tests2.5/booltest ./tests2.5/uconstants loopexec.expect mergenull.expect shifts.expect looptesteffect.expect \ + unioninit.expect unioninit.c utypes.c \ + utypes.expect widestrings.expect widestrings.c \ + functionmacro.expect functionmacro.c info.c info.expect \ + loopexec.c looptesteffect.c mergenull.c shifts.c \ + manual.expect ./manual/Makefile \ + ./manual/annotglobs.c ./manual/bool.c ./manual/bool.h ./manual/clauses.c ./manual/employee.h ./manual/exposure.c ./manual/globals.c ./manual/ignore.c ./manual/implicit.c ./manual/intSet.h ./manual/list.c ./manual/loop.c ./manual/macros.c ./manual/modify.c ./manual/mstring.c ./manual/mstring.h ./manual/mstringnn.c ./manual/multiError.c ./manual/names.c ./manual/noeffect.c ./manual/null.c ./manual/only.c ./manual/order.c ./manual/palindrome.c ./manual/palindrome.h ./manual/refs.c ./manual/returned.c ./manual/rgb.c ./manual/rstring.c ./manual/rstring.h ./manual/sample.c ./manual/setChar.c ./manual/setname.c ./manual/setname.h ./manual/special.c ./manual/stack.c ./manual/sumsquares.c ./manual/switch.c ./manual/testpal.c ./manual/types.c ./manual/unique.c ./manual/usedef.c ./manual/bounds.c \ + arraydims.expect arraydims.c \ + moreBufferTests2/fixedArrayType.c oldstyle2.c \ + divzero.expect parentype.expect \ + divzero.c parentype.c \ +stringliteral.expect stringliteral.c