From: drl7x Date: Mon, 7 Jan 2002 09:11:23 +0000 (+0000) Subject: *** empty log message *** X-Git-Tag: splint-3_0_1_2~23 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/2bdabb7a82d577bb4789955f5b18ca29076f9bc4 *** empty log message *** --- diff --git a/doc/manual.doc b/doc/manual.doc index db139fe..85464f2 100644 Binary files a/doc/manual.doc and b/doc/manual.doc differ diff --git a/src/Makefile.am b/src/Makefile.am index e3de84a..22510bd 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -153,7 +153,7 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ Headers/exprNode.h Headers/quantifierNode.h \ Headers/exprNodeList.h Headers/quantifierNodeList.h \ Headers/exprNodeSList.h Headers/randomNumbers.h \ - Headers/fcnNode.h Headers/rangeTable.h \ + Headers/fcnNode.h \ Headers/fcnNodeList.h Headers/reader.h \ Headers/fileId.h Headers/refTable-branch.h \ Headers/fileIdList.h Headers/renamingNode.h \ @@ -174,8 +174,8 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ Headers/general.h Headers/sortList.h \ Headers/genericTable.h Headers/sortSet.h \ Headers/globalList.h Headers/sortSetList.h \ - Headers/globalsClause.h Headers/source.h \ - Headers/globals.h Headers/specialClauses.h \ + Headers/globalsClause.h \ + Headers/globals.h \ Headers/globSet.h Headers/sRef.h \ Headers/gram.h Headers/sRefList.h \ Headers/guardSet.h Headers/sRefSet.h \ @@ -230,10 +230,11 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ Headers/lsymbolSet.h Headers/ynm.h \ Headers/ltoken.h Headers/splintMacros.nf + IFILES = ctbase.i cttable.i exprDataQuite.i ## Non-built files we need to distribute -EXTRA_DIST = DATE $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \ +EXTRA_DIST = $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \ flags.def cscanner.l flex.head flex.reset $(IFILES) \ Headers/256_random_numbers.nf Headers/splintMacros.nf Headers/reservedNames.nf diff --git a/src/Makefile.in b/src/Makefile.in index 2dfa546..81141dd 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -234,7 +234,7 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ Headers/exprNode.h Headers/quantifierNode.h \ Headers/exprNodeList.h Headers/quantifierNodeList.h \ Headers/exprNodeSList.h Headers/randomNumbers.h \ - Headers/fcnNode.h Headers/rangeTable.h \ + Headers/fcnNode.h \ Headers/fcnNodeList.h Headers/reader.h \ Headers/fileId.h Headers/refTable-branch.h \ Headers/fileIdList.h Headers/renamingNode.h \ @@ -255,8 +255,8 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ Headers/general.h Headers/sortList.h \ Headers/genericTable.h Headers/sortSet.h \ Headers/globalList.h Headers/sortSetList.h \ - Headers/globalsClause.h Headers/source.h \ - Headers/globals.h Headers/specialClauses.h \ + Headers/globalsClause.h \ + Headers/globals.h \ Headers/globSet.h Headers/sRef.h \ Headers/gram.h Headers/sRefList.h \ Headers/guardSet.h Headers/sRefSet.h \ @@ -314,7 +314,7 @@ HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \ IFILES = ctbase.i cttable.i exprDataQuite.i -EXTRA_DIST = DATE $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \ +EXTRA_DIST = $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \ flags.def cscanner.l flex.head flex.reset $(IFILES) \ Headers/256_random_numbers.nf Headers/splintMacros.nf Headers/reservedNames.nf diff --git a/test/Makefile b/test/Makefile index fdde004..5b75b1f 100644 --- a/test/Makefile +++ b/test/Makefile @@ -725,7 +725,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 \ @@ -751,10 +750,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 \ @@ -763,9 +760,14 @@ 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 \ + 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 \ + 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 subdir = test mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs @@ -795,7 +797,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 + $(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 @for file in $(DISTFILES); do \ if test -f $$file; then d=.; else d=$(srcdir); fi; \ dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \ diff --git a/test/Makefile.am b/test/Makefile.am index 4fe65b1..a64f190 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -1424,7 +1424,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 \ @@ -1450,10 +1449,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 \ @@ -1462,6 +1459,11 @@ 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 \ + 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 \ + 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 diff --git a/test/Makefile.in b/test/Makefile.in index 5959dbc..49aa050 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -725,7 +725,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 \ @@ -751,10 +750,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 \ @@ -763,9 +760,14 @@ 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 \ + 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 \ + 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 subdir = test mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs @@ -795,7 +797,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 + $(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 @for file in $(DISTFILES); do \ if test -f $$file; then d=.; else d=$(srcdir); fi; \ dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \