X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a889b5ee86098118ce8ae206ec045e4790d76935..10fac4bc6190bcda80bf75e7267cb456e5a8b772:/test/Makefile diff --git a/test/Makefile b/test/Makefile index 74ddc45..e2a5e50 100644 --- a/test/Makefile +++ b/test/Makefile @@ -38,10 +38,10 @@ pkglibdir = $(libdir)/splint pkgincludedir = $(includedir)/splint top_builddir = .. -ACLOCAL = ${SHELL} /net/af9/drl7x/reTmp/LCLintDev/config/missing --run aclocal -AUTOCONF = ${SHELL} /net/af9/drl7x/reTmp/LCLintDev/config/missing --run autoconf -AUTOMAKE = ${SHELL} /net/af9/drl7x/reTmp/LCLintDev/config/missing --run automake -AUTOHEADER = ${SHELL} /net/af9/drl7x/reTmp/LCLintDev/config/missing --run autoheader +ACLOCAL = ${SHELL} /af9/drl7x/reTmp/LCLintDev/config/missing --run aclocal +AUTOCONF = ${SHELL} /af9/drl7x/reTmp/LCLintDev/config/missing --run autoconf +AUTOMAKE = ${SHELL} /af9/drl7x/reTmp/LCLintDev/config/missing --run automake +AUTOHEADER = ${SHELL} /af9/drl7x/reTmp/LCLintDev/config/missing --run autoheader INSTALL = /usr/bin/install -c INSTALL_PROGRAM = ${INSTALL} @@ -61,20 +61,29 @@ host_alias = host_triplet = i686-pc-linux-gnu target_alias = target_triplet = i686-pc-linux-gnu +AMTAR = ${SHELL} /af9/drl7x/reTmp/LCLintDev/config/missing --run tar +AWK = gawk BISON = bison CAT = cat CC = gcc CP = cp CPP = gcc -E +DEPDIR = .deps DIFF = diff +EXEEXT = GREP = grep +INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s LCLOBJ = $(lcl_OBJECTS) LEX = flex LN_S = ln -s MV = mv +OBJEXT = o PACKAGE = splint RM = rm -VERSION = 3.0.1.4 +VERSION = 3.0.1.7 +am__include = include +am__quote = +install_sh = /af9/drl7x/reTmp/LCLintDev/config/install-sh AUTOMAKE_OPTIONS = 1.5 foreign @@ -82,8 +91,12 @@ DIFFFLAGS = # -u show context + +#drl 3/27/2002 get the test suit to print a warning when splint is built under /usr/ SPLINT = $(top_builddir)/src/splint$(EXEEXT) +### These are shell-specific + ### This is horrible! Can't we make top_builddir absolute? SPLINTNEST = ../$(top_builddir)/src/splint$(EXEEXT) @@ -105,18 +118,20 @@ SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint UNITTESTS = \ help \ abstptr abstract alias alttypes ansireserved argorder \ - args arraydims 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 \ + unnamedsu unreachable unsignedcompare \ unused ullint utypes void widestrings UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS)) @@ -134,6 +149,19 @@ QUICKTESTS = db3 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=" + +#drl temporally take this out. +#.PHONY: expects +#expects: +# @echo "Saving old expects..."; \ +# cat *.expect >expects-`date +"%y-%m-%d-%H"` +# @for TEST in $(UNITTESTS) $(INTEGTESTS); do \ +# echo "Making $$TEST.expect..."; \ +# $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \ +# cat $$TEST.expect; \ +# done +CheckSystemDir = (pwd | grep -q "/usr" && echo "Warning tests which not run correctly when splint is built in /usr or a subdirectory under /usr. Build splint in a different directory or disregard test failures." ) + #drl 11/29/2001 This is a very ugly hack to get make dist to work EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./abstptr.lcl ./abstptr.lcs \ @@ -262,6 +290,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./argorder5.c \ ./args.c \ ./arrayinit.c \ + ./arraylit.c \ ./blocks.c \ ./branchstate.c \ ./break.c \ @@ -277,6 +306,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 \ @@ -414,6 +445,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./union.c \ ./unreachable.c \ ./unsignedcompare.c \ + ./unnamedsu.c \ ./unused.c \ ./void.c \ ./conditions/miroslaw.c \ @@ -578,6 +610,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ argorder.expect \ args.expect \ arrayinit.expect \ + arraylit.expect \ blocks.expect \ branchstate.expect \ break.expect \ @@ -678,6 +711,7 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ullint.expect \ ulstypes.expect \ union.expect \ + unnamedsu.expect \ unreachable.expect \ unsignedcompare.expect \ unused.expect \ @@ -756,13 +790,18 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ ./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 \ 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 \ + ./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 mergenull.c shifts.c \ + 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 + ./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 subdir = test mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs @@ -792,7 +831,7 @@ top_distdir = .. distdir = $(top_distdir)/$(PACKAGE)-$(VERSION) distdir: $(DISTFILES) - $(mkinstalldirs) $(distdir)/./conditions $(distdir)/./db1 $(distdir)/./db2 $(distdir)/./db3 $(distdir)/./fileio $(distdir)/./for $(distdir)/./globalbufferannotation $(distdir)/./manual $(distdir)/./maxset $(distdir)/./mergestate $(distdir)/./metastate $(distdir)/./moreBufferTests $(distdir)/./moreBufferTests2 $(distdir)/./nullterminatedtest $(distdir)/./simplebufferConstraintTests $(distdir)/./sizeoftest $(distdir)/./strchr $(distdir)/./suppressfile $(distdir)/./tainted $(distdir)/./tclauses $(distdir)/./temp $(distdir)/./tests2.2 $(distdir)/./tests2.2a $(distdir)/./tests2.4 $(distdir)/./tests2.4/subdir $(distdir)/./tests2.5 $(distdir)/./warnuse + $(mkinstalldirs) $(distdir)/./conditions $(distdir)/./db1 $(distdir)/./db2 $(distdir)/./db3 $(distdir)/./fileio $(distdir)/./for $(distdir)/./globalbufferannotation $(distdir)/./manual $(distdir)/./maxset $(distdir)/./mergestate $(distdir)/./metastate $(distdir)/./moreBufferTests $(distdir)/./moreBufferTests2 $(distdir)/./nullterminatedtest $(distdir)/./simplebufferConstraintTests $(distdir)/./sizeoftest $(distdir)/./strchr $(distdir)/./suppressfile $(distdir)/./tainted $(distdir)/./tclauses $(distdir)/./temp $(distdir)/./tests2.2 $(distdir)/./tests2.2a $(distdir)/./tests2.4 $(distdir)/./tests2.4/subdir $(distdir)/./tests2.5 $(distdir)/./warnuse $(distdir)/moreBufferTests2 @for file in $(DISTFILES); do \ if test -f $$file; then d=.; else d=$(srcdir); fi; \ dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \ @@ -882,9 +921,6 @@ uninstall-am: uninstall-info-am mostlyclean-generic uninstall uninstall-am uninstall-info-am -unexport LARCH_PATH -unexport LCLIMPORTDIR - .PHONY: all check all check: fulltest @@ -929,19 +965,9 @@ $(SPLINT): .c.diff: $(MAKE) $* |& $(CLEANOUTPUT) >$*.out && diff $*.expect $*.out -#drl temporally take this out. -#.PHONY: expects -#expects: -# @echo "Saving old expects..."; \ -# cat *.expect >expects-`date +"%y-%m-%d-%H"` -# @for TEST in $(UNITTESTS) $(INTEGTESTS); do \ -# echo "Making $$TEST.expect..."; \ -# $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \ -# cat $$TEST.expect; \ -# done - .PHONY: quicktest quicktest: + $(CheckSystemDir) @for TEST in $(QUICKTESTS); do \ echo "Checking $$TEST..."; \ $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.out && \ @@ -1024,6 +1050,15 @@ 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 @@ -1083,6 +1118,14 @@ 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 +boundswrite -exportlocal -expect 2 @@ -1139,6 +1182,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 @@ -1285,6 +1332,10 @@ loopexec: -$(SPLINTR) loopexec.c -expect 1 -$(SPLINTR) loopexec.c -obviousloopexec -expect 3 +.PHONY: looptesteffect +looptesteffect: + -$(SPLINTR) looptesteffect.c -expect 1 + .PHONY: macros macros: -$(SPLINTR) macros -expect 17 @@ -1379,7 +1430,7 @@ observer: .PHONY: oldstyle oldstyle: - -$(SPLINTR) oldstyle -expect 3 + -$(SPLINTR) oldstyle oldstyle2.c -expect 5 .PHONY: outglob outglob: @@ -1394,6 +1445,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) # @@ -1525,6 +1582,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 @@ -1535,6 +1601,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 @@ -1566,6 +1636,10 @@ union: unioninit: -$(SPLINTR) unioninit.c -expect 2 +.PHONY: unnamedsu +unnamedsu: + -$(SPLINTR) unnamedsu.c -expect 0 + .PHONY: unreachable unreachable: -$(SPLINTR) unreachable.c -expect 5