X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/73b291739c6ac018b9167abc14cc9228c9e3683d..6c9a3167fcc078f8ffe6b5302f6a6dde871e8933:/test/Makefile.in diff --git a/test/Makefile.in b/test/Makefile.in index 155b127..c0aa536 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -149,6 +149,635 @@ SUBDIRTESTS = metastate mergestate tainted fileio warnuse ensuresclauses \ simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \ maxset strchr for \ tests2.2 tests2.2a tests2.4 tests2.5 db1 db2 db3 + +#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 \ + ./alias.lcl ./alias.lcs \ + ./alias2.lcl ./alias2.lcs \ + ./alias3.lcl \ + ./db1/erc.lcl \ + ./db1/bool.lcl \ + ./db1/dbase.lcl \ + ./db1/employee.lcl \ + ./db1/empset.lcl \ + ./db1/eref.lcl \ + ./db1/ereftab.lcl \ + ./alias3.lcs \ + ./alias3.lh \ + ./alias4.lcl \ + ./alias4.lcs \ + ./alias4.lh \ + ./alias5.lcl \ + ./alias5.lcs \ + ./alias5.lh \ + ./argorder2.lcl \ + ./argorder2.lcs \ + ./argorder4.lcl \ + ./argorder4.lcs \ + ./args.lcl \ + ./args.lcs \ + ./cast.lcl \ + ./cast.lcs \ + ./decl2.lcl \ + ./decl2.lcs \ + ./empty.lcl \ + ./enum.lcl \ + ./enum.lcs \ + ./glob.lcl \ + ./glob.lcs \ + ./impabstract.lcl \ + ./impabstract.lcs \ + ./iter.lcl \ + ./iter.lcs \ + ./macros.lcl \ + ./macros.lcs \ + ./macrosef.lcl \ + ./macrosef.lcs \ + ./modtest.lcl \ + ./modtest.lcs \ + ./mut.lcl \ + ./mut.lcs \ + ./mut.lh \ + ./mut.lh.expect \ + ./db2/dbase.lcl \ + ./db2/employee.lcl \ + ./db2/empset.lcl \ + ./db2/erc.lcl \ + ./db2/eref.lcl \ + ./db2/ereftab.lcl \ + ./db2/etest.lcl \ + ./null6.lcd \ + ./null6.lcl \ + ./null6.lcs \ + ./observer.lcl \ + ./observer.lcs \ + ./oldstyle.lcl \ + ./oldstyle.lcs \ + ./outglob.lcl \ + ./outglob.lcs \ + ./outparam.lcl \ + ./outparam.lcs \ + ./rc1.lclintrc \ + ./rc2.lclintrc \ + ./rc3.lclintrc \ + ./rc3.lclintrc.os2 \ + ./repexpose.lcl \ + ./repexpose.lcs \ + ./repexpose.lh \ + ./repexpose.lh.expect \ + ./special.lcl \ + ./special.lcs \ + ./db3/.lclintrc \ + ./db3/bool.lcl \ + ./db3/check.lcl \ + ./db3/dbase.lcl \ + ./db3/employee.lcl \ + ./db3/empset.lcl \ + ./db3/erc.lcl \ + ./db3/eref.lcl \ + ./db3/ereftab.lcl \ + ./tq.lcl \ + ./tq.lcs \ + ./ud2.lcl \ + ./ud2.lcs \ + ./for/.lclintrc \ + ./globalbufferannotation/.lclintrc \ + ./maxset/.lclintrc \ + ./strchr/.lclintrc \ + ./tests2.2/bool.lcl \ + ./tests2.2/bool.lcs \ + ./tests2.2/libraries.lcd \ + ./tests2.2/obsolete.lcd \ + ./tests2.2/oldversion.lcd \ + ./tests2.4/subdir/main.lcl \ + ./tests2.4/subdir/main.lcs \ + ./tests2.5/newlint.lcd \ + ./warnuse/warnuse.lcd \ + ./empty.lcs \ + ./abstptr.c \ + ./alias.c \ + ./alias2.c \ + ./alias3.c \ + ./db1/dbase.c \ + ./db1/drive.c \ + ./db1/employee.c \ + ./db1/empset.c \ + ./db1/erc.c \ + ./db1/eref.c \ + ./db1/ereftab.c \ + ./alias4.c \ + ./alias5.c \ + ./alttypes.c \ + ./ansireserved.c \ + ./ansireserved2.c \ + ./argorder.c \ + ./argorder2.c \ + ./argorder3.c \ + ./argorder4.c \ + ./argorder5.c \ + ./args.c \ + ./arrayinit.c \ + ./blocks.c \ + ./branchstate.c \ + ./break.c \ + ./cases.c \ + ./buffertest1.c \ + ./cases2.c \ + ./cast.c \ + ./cast2.c \ + ./charlit.c \ + ./clauses.c \ + ./clauses2.c \ + ./clauses3.c \ + ./commentchar.c \ + ./commentcmd.c \ + ./compdestroy.c \ + ./csyntax.c \ + ./constannot.c \ + ./controldepth.c \ + ./csyntax10.c \ + ./csyntax11.c \ + ./csyntax12.c \ + ./csyntax13.c \ + ./csyntax14.c \ + ./csyntax15.c \ + ./csyntax16.c \ + ./csyntax17.c \ + ./csyntax2.c \ + ./csyntax3.c \ + ./csyntax4.c \ + ./csyntax5.c \ + ./csyntax6.c \ + ./csyntax7.c \ + ./csyntax8.c \ + ./csyntax9.c \ + ./czechnames.c \ + ./czechoslovaknames.c \ + ./deadparam.c \ + ./decl.c \ + ./decl2.c \ + ./dkf5kEnum.c \ + ./dkf5kRange.c \ + ./dkf5kSprintf.c \ + ./ensures.c \ + ./enum.c \ + ./exports.c \ + ./external.c \ + ./fields.c \ + ./fields2.c \ + ./fields3.c \ + ./flags.c \ + ./glob.c \ + ./forbody.c \ + ./format.c \ + ./freearray.c \ + ./funcpointer.c \ + ./globals.c \ + ./globals2.c \ + ./impabstract.c \ + ./init.c \ + ./innerfree.c \ + ./inparam.c \ + ./internal.c \ + ./iter.c \ + ./iter2.c \ + ./keep.c \ + ./libs.c \ + ./linked.c \ + ./linked2.c \ + ./linked3.c \ + ./linked4.c \ + ./linked5.c \ + ./linked6.c \ + ./lintcomments.c \ + ./list.c \ + ./longconstants.c \ + ./macros.c \ + ./macrosef.c \ + ./merge.c \ + ./modclient.c \ + ./modifies.c \ + ./modtest.c \ + ./moduncon.c \ + ./mongoincludes.c \ + ./mparen.c \ + ./mut.c \ + ./mystrncat.c \ + ./noeffect.c \ + ./null1.c \ + ./null2.c \ + ./null3.c \ + ./null4.c \ + ./null5.c \ + ./db2/dbase.c \ + ./db2/drive.c \ + ./db2/employee.c \ + ./db2/empset.c \ + ./db2/erc.c \ + ./db2/eref.c \ + ./db2/ereftab.c \ + ./db2/etest.c \ + ./null6.c \ + ./nullassign.c \ + ./nullret.c \ + ./observer.c \ + ./oldstyle.c \ + ./outglob.c \ + ./outparam.c \ + ./postnotnull.c \ + ./preds.c \ + ./prefixes.c \ + ./printflike.c \ + ./rc.c \ + ./refcounts.c \ + ./release.c \ + ./repexpose.c \ + ./returned.c \ + ./sharing1.c \ + ./sharing2.c \ + ./sharing3.c \ + ./sharing4.c \ + ./sharing5.c \ + ./sizeof.c \ + ./slovaknames.c \ + ./specclauses.c \ + ./specclauses2.c \ + ./specclauses3.c \ + ./specclauses4.c \ + ./specclauses5.c \ + ./specclauses6.c \ + ./special.c \ + ./stack.c \ + ./staticarray.c \ + ./strings.c \ + ./structassign.c \ + ./switch.c \ + ./t1.c \ + ./test.c \ + ./db3/dbase.c \ + ./db3/drive.c \ + ./db3/employee.c \ + ./db3/empset.c \ + ./db3/erc.c \ + ./db3/eref.c \ + ./db3/ereftab.c \ + ./typequals.c \ + ./ud.c \ + ./ud2.c \ + ./ullint.c \ + ./ulstypes.c \ + ./union.c \ + ./unreachable.c \ + ./unsignedcompare.c \ + ./unused.c \ + ./void.c \ + ./conditions/miroslaw.c \ + ./conditions/releases.c \ + ./fileio/file.c \ + ./fileio/filebranch.c \ + ./fileio/filerw.c \ + ./for/for.c \ + ./globalbufferannotation/globalvariable.c \ + ./maxset/maxsetannotations.c \ + ./maxset/maxsetnoannotations.c \ + ./mergestate/taintednm.c \ + ./metastate/file.c \ + ./metastate/file1.c \ + ./metastate/file2.c \ + ./metastate/file3.c \ + ./metastate/file4.c \ + ./metastate/file5.c \ + ./metastate/file6.c \ + ./metastate/file7.c \ + ./metastate/filebad.c \ + ./metastate/global.c \ + ./metastate/nullbranch.c \ + ./metastate/nullbranch2.c \ + ./metastate/nullret.c \ + ./metastate/osd.c \ + ./metastate/sockets.c \ + ./metastate/sockets2.c \ + ./metastate/struct.c \ + ./metastate/test.c \ + ./metastate/voidptr.c \ + ./moreBufferTests/initialization.c \ + ./moreBufferTests/simplifyTest.c \ + ./moreBufferTests/strncatNotReallyGood.c \ + ./moreBufferTests/strncatReallyGood.c \ + ./moreBufferTests/strrchr.c \ + ./moreBufferTests/unrecogCall.c \ + ./nullterminatedtest/buggy1.c \ + ./nullterminatedtest/buggy_support1.c \ + ./nullterminatedtest/buggy_support_fmakeword.c \ + ./nullterminatedtest/test1.c \ + ./nullterminatedtest/test3.c \ + ./simplebufferConstraintTests/m.c \ + ./simplebufferConstraintTests/sizeof.c \ + ./simplebufferConstraintTests/test3.c \ + ./simplebufferConstraintTests/test7.c \ + ./sizeoftest/sizeof.c \ + ./strchr/strchr.c \ + ./suppressfile/test.c \ + ./tainted/sprintf.c \ + ./tainted/t1.c \ + ./tainted/tainted.c \ + ./tainted/tainted2.c \ + ./tainted/tainted3.c \ + ./tainted/tainted4.c \ + ./tainted/tainted5.c \ + ./tainted/taintedimplicit.c \ + ./tainted/taintedmerge.c \ + ./tainted/taintedx.c \ + ./tainted/test.c \ + ./tclauses/globals.c \ + ./tclauses/gt.c \ + ./tclauses/modifies.c \ + ./tclauses/struct.c \ + ./tclauses/undef.c \ + ./tests2.2/arbints.c \ + ./tests2.2/arrayfcn.c \ + ./tests2.2/booldef.c \ + ./tests2.2/boolenum.c \ + ./tests2.2/boolops.c \ + ./tests2.2/break.c \ + ./tests2.2/bstring.c \ + ./tests2.2/decl.c \ + ./tests2.2/enumbool.c \ + ./tests2.2/extension.c \ + ./tests2.2/libraries.c \ + ./tests2.2/modarray.c \ + ./tests2.2/nestext.c \ + ./tests2.2/offsetof.c \ + ./tests2.2/posix.c \ + ./tests2.2/realloc.c \ + ./tests2.2/rex.c \ + ./tests2.2/sizeofarray.c \ + ./tests2.2/struct.c \ + ./tests2.2a/addassign.c \ + ./tests2.2a/arrayparam.c \ + ./tests2.2a/bitops.c \ + ./tests2.2a/boolcomp.c \ + ./tests2.2a/boolenum.c \ + ./tests2.2a/dobb.c \ + ./tests2.2a/duff.c \ + ./tests2.2a/erik.c \ + ./tests2.2a/floatdouble.c \ + ./tests2.2a/florian.c \ + ./tests2.2a/fred.c \ + ./tests2.2a/isalpha.c \ + ./tests2.2a/notreached.c \ + ./tests2.2a/obviousloop.c \ + ./tests2.2a/popik.c \ + ./tests2.2a/sizeof.c \ + ./tests2.2a/toralf.c \ + ./tests2.4/subdir/main.c \ + ./tests2.4/alignof.c \ + ./tests2.4/array.c \ + ./tests2.4/bitfields.c \ + ./tests2.4/bug1.c \ + ./tests2.4/bug2.c \ + ./tests2.4/bug3.c \ + ./tests2.4/chin.c \ + ./tests2.4/cpptest.c \ + ./tests2.4/driverstub.c \ + ./tests2.4/duffs.c \ + ./tests2.4/emptycase.c \ + ./tests2.4/enumtest.c \ + ./tests2.4/error.c \ + ./tests2.4/fink.c \ + ./tests2.4/flagequal.c \ + ./tests2.4/forward.c \ + ./tests2.4/hash.c \ + ./tests2.4/hexconstants.c \ + ./tests2.4/innercomment.c \ + ./tests2.4/komazi.c \ + ./tests2.4/longlong.c \ + ./tests2.4/main.c \ + ./tests2.4/nothing.c \ + ./tests2.4/offsetof.c \ + ./tests2.4/print.c \ + ./tests2.4/ric.c \ + ./tests2.4/syncomment.c \ + ./tests2.4/syslog.c \ + ./tests2.4/test0.c \ + ./tests2.4/test1.c \ + ./tests2.4/test2.c \ + ./tests2.4/timecard.c \ + ./tests2.4/toothman.c \ + ./tests2.4/ulrich.c \ + ./tests2.5/badcomment.c \ + ./tests2.5/boolbad.c \ + ./tests2.5/boolt.c \ + ./tests2.5/booltest.c \ + ./tests2.5/dummyfile.c \ + ./tests2.5/hoof.c \ + ./tests2.5/immutable.c \ + ./tests2.5/impabsmodule.c \ + ./tests2.5/literals.c \ + ./tests2.5/quals.c \ + ./tests2.5/sort.c \ + ./tests2.5/testalt.c \ + ./tests2.5/testimmutable.c \ + ./tests2.5/uconstants.c \ + ./tests2.5/ull.c \ + ./warnuse/warnflags.c \ + ./warnuse/warngets.c \ + ./warnuse/warnuse.c \ + ./moreBufferTests2/unknownsize.c \ + ./moreBufferTests2/arrayConstExpr.c \ + abstptr.expect \ + abstract.expect \ + alias.expect \ + alttypes.expect \ + ansireserved.expect \ + argorder.expect \ + args.expect \ + arrayinit.expect \ + blocks.expect \ + branchstate.expect \ + break.expect \ + buffertest.expect \ + cases.expect \ + cast.expect \ + charlit.expect \ + clauses.expect \ + commentchar.expect \ + compdestroy.expect \ + constannot.expect \ + controldepth.expect \ + csyntax.expect \ + czechnames.expect \ + czechoslovaknames.expect \ + db1.expect \ + db2.expect \ + db3.expect \ + deadparam.expect \ + decl.expect \ + enum.expect \ + exports.expect \ + external.expect \ + fields.expect \ + fileio.expect \ + flags.expect \ + for.expect \ + forbody.expect \ + format.expect \ + freearray.expect \ + funcpointer.expect \ + glob.expect \ + globalbufferannotation.expect \ + globals.expect \ + help.expect \ + impabstract.expect \ + init.expect \ + inparam.expect \ + internal.expect \ + iter.expect \ + keep.expect \ + libs.expect \ + linked.expect \ + lintcomments.expect \ + list.expect \ + longconstants.expect \ + macros.expect \ + macrosef.expect \ + maxset.expect \ + merge.expect \ + mergestate.expect \ + metastate.expect \ + modifies.expect \ + modtest.expect \ + moduncon.expect \ + mongoincludes.expect \ + moreBufferTests.expect \ + moreBufferTests2.expect \ + mut.lh.expect \ + mystrncat.expect \ + noeffect.expect \ + null.expect \ + nullterminatedtest.expect \ + observer.expect \ + oldstyle.expect \ + outglob.expect \ + outparam.expect \ + postnotnull.expect \ + preds.expect \ + prefixes.expect \ + printflike.expect \ + rc.expect \ + refcounts.expect \ + release.expect \ + repexpose.expect \ + repexpose.lh.expect \ + returned.expect \ + sharing.expect \ + simplebufferConstraintTests.expect \ + sizeof.expect \ + sizeoftest.expect \ + slovaknames.expect \ + specclauses.expect \ + special.expect \ + stack.expect \ + staticarray.expect \ + strchr.expect \ + strings.expect \ + structassign.expect \ + tainted.expect \ + tests2.2.expect \ + tests2.2a.expect \ + tests2.3.expect \ + tests2.4.expect \ + tests2.5.expect \ + typequals.expect \ + ud.expect \ + ullint.expect \ + ulstypes.expect \ + union.expect \ + unreachable.expect \ + unsignedcompare.expect \ + unused.expect \ + void.expect \ + ./db1/bool.h \ + ./db1/dbase.h \ + ./db1/employee.h \ + ./db1/empset.h \ + ./db1/erc.h \ + ./db1/eref.h \ + ./db1/ereftab.h \ + ./bool.h \ + ./decl2.h \ + ./exports.h \ + ./iter.h \ + ./iter2.h \ + ./minc1.h \ + ./minc2.h \ + ./minc3.h \ + ./minc4.h \ + ./minc5.h \ + ./modifies.h \ + ./mut.h \ + ./db2/bool.h \ + ./db2/dbase.h \ + ./db2/employee.h \ + ./db2/empset.h \ + ./db2/erc.h \ + ./db2/eref.h \ + ./db2/ereftab.h \ + ./pivo.h \ + ./repexpose.h \ + ./db3/bool.h \ + ./db3/dbase.h \ + ./db3/employee.h \ + ./db3/empset.h \ + ./db3/erc.h \ + ./db3/eref.h \ + ./db3/ereftab.h \ + ./tq.h \ + ./metastate/global.h \ + ./suppressfile/test.h \ + ./tests2.2/Makefile.hide \ + ./tests2.2/mbool.h \ + ./tests2.4/forward.h \ + ./tests2.4/hash.h \ + ./tests2.4/timecard.h \ + ./tests2.5/baz.h \ + ./tests2.5/bimbim.h \ + ./tests2.5/immutable.h \ + ./tests2.5/impabsmodule.h \ + ./tests2.5/socket.h \ + ./Makefile-test.os2 \ + ./db1/Makefile \ + ./db2/Makefile \ + ./db3/Makefile \ + ./conditions/Makefile \ + ./fileio/Makefile \ + ./for/Makefile \ + ./globalbufferannotation/Makefile \ + ./maxset/Makefile \ + ./mergestate/Makefile \ + ./metastate/Makefile \ + ./moreBufferTests/Makefile \ + ./simplebufferConstraintTests/Makefile \ + ./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 \ + ./warnuse/Makefile \ + ./Makefile.am \ + ./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 + subdir = test mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs CONFIG_HEADER = $(top_builddir)/config.h @@ -177,6 +806,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)/./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 @for file in $(DISTFILES); do \ if test -f $$file; then d=.; else d=$(srcdir); fi; \ dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \ @@ -266,6 +896,9 @@ uninstall-am: uninstall-info-am mostlyclean-generic uninstall uninstall-am uninstall-info-am +unexport LARCH_PATH +unexport LCLIMPORTDIR + .PHONY: all check all check: fulltest @@ -301,15 +934,16 @@ $(LCLINT): .c.diff: $(MAKE) $* |& $(CLEANOUTPUT) >$*.out && diff $*.expect $*.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 +#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: