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
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,/[^/]*$$,,'`; \
mostlyclean-generic uninstall uninstall-am uninstall-info-am
+unexport LARCH_PATH
+unexport LCLIMPORTDIR
+
.PHONY: all check
all check: fulltest
.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:
andersk / splint.git / blobdiff