*** empty log message ***

diff --git a/doc/manual.doc b/doc/manual.doc
index db139fe460489413909c612fd92052aba7984698..85464f28ef042e296848135a5286aa63bf0ee75a 100644 (file)
Binary files a/doc/manual.doc and b/doc/manual.doc differ

diff --git a/src/Makefile.am b/src/Makefile.am
index e3de84a58fd294cd56b4c3c376006cf3c6476495..22510bdb0c3ee3e2bf963ee685e5d0eee00c1ca1 100644 (file)
--- 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 2dfa54695d07654f42ba21dda6f97971cec7c17f..81141dda8dffed2d79199a0a02eb0ce74bd31161 100644 (file)
--- 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 fdde00453fe59eab9a976dfe5323e1a6432f16fe..5b75b1ffba65c4760346ba63b73a686df8d59ff0 100644 (file)
--- 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 4fe65b1f35405fd49e81b0f24e07ebf31aea3bc4..a64f19056a7d20f01cbd81c3f4d2c43fdb78e61e 100644 (file)
--- 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 5959dbca4a5f336b2b2e16a335723e24ba6a8745..49aa05047d3b439a8ef0926b8944d1a4ea47385c 100644 (file)
--- 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,/[^/]*$$,,'`; \