Testing update message.

[splint.git] / test / Makefile.am

diff --git a/test/Makefile.am b/test/Makefile.am
index a68940569c5c004314a626b4e572be3dac308173..406bc42a95bb2ef42593789e9546813653b5dd06 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -12,9 +12,9 @@ DIFFFLAGS =
 
 SPLINT    = $(top_builddir)/src/splint$(EXEEXT)
 
-unexport LARCH_PATH
-unexport LCLIMPORTDIR
-
+### These are shell-specific
+## unexport LARCH_PATH
+## unexport LCLIMPORTDIR
 
 ### This is horrible!  Can't we make top_builddir absolute?
 SPLINTNEST = ../$(top_builddir)/src/splint$(EXEEXT)
@@ -37,19 +37,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 \
   stringliteral \
-  structassign typequals ud ulstypes union unioninit unreachable unsignedcompare \
+  structassign typequals typeof ud ulstypes union unioninit \
+  unnamedsu unreachable unsignedcompare \
   unused ullint utypes void widestrings
 UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
 
@@ -222,6 +223,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
@@ -281,6 +291,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
@@ -337,6 +355,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
@@ -484,6 +506,9 @@ loopexec:
        -$(SPLINTR) loopexec.c -expect 1
        -$(SPLINTR) loopexec.c -obviousloopexec -expect 3
 
+.PHONY: looptesteffect
+looptesteffect:
+       -$(SPLINTR) looptesteffect.c -expect 1
 
 .PHONY: macros
 macros:
@@ -596,6 +621,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)
 # 
@@ -727,10 +758,14 @@ stack:
 staticarray:
        -$(SPLINTR) staticarray.c -expect 3
 
+###
+### evans 2002-03-16: Default setting of stringliteralnoroomfinalnull changed
+### 
+
 .PHONY: stringliteral
 stringliteral:
-       -$(SPLINTR) stringliteral.c +stringliteralnoroomfinalnull -expect 4
-       -$(SPLINTR) stringliteral.c -expect 3
+       -$(SPLINTR) stringliteral.c -stringliteralnoroomfinalnull -expect 3
+       -$(SPLINTR) stringliteral.c -expect 4
 
 .PHONY: strings
 strings:
@@ -742,6 +777,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
@@ -773,6 +812,10 @@ union:
 unioninit:
        -$(SPLINTR) unioninit.c -expect 2
 
+.PHONY: unnamedsu
+unnamedsu:
+       -$(SPLINTR) unnamedsu.c -expect 0
+
 .PHONY: unreachable
 unreachable:
        -$(SPLINTR) unreachable.c -expect 5
@@ -988,6 +1031,7 @@ EXTRA_DIST =  ./abst_t.lcl ./abst_t.lcs  \
               ./argorder5.c \
               ./args.c \
               ./arrayinit.c \
+              ./arraylit.c \
               ./blocks.c \
               ./branchstate.c \
               ./break.c \
@@ -1003,6 +1047,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 \
@@ -1140,6 +1186,7 @@ EXTRA_DIST =  ./abst_t.lcl ./abst_t.lcs  \
               ./union.c \
               ./unreachable.c \
               ./unsignedcompare.c \
+              ./unnamedsu.c \
               ./unused.c \
               ./void.c \
               ./conditions/miroslaw.c \
@@ -1304,6 +1351,7 @@ EXTRA_DIST =  ./abst_t.lcl ./abst_t.lcs  \
               argorder.expect \
               args.expect \
               arrayinit.expect \
+              arraylit.expect \
               blocks.expect \
               branchstate.expect \
               break.expect \
@@ -1404,6 +1452,7 @@ EXTRA_DIST =  ./abst_t.lcl ./abst_t.lcs  \
               ullint.expect \
               ulstypes.expect \
               union.expect \
+              unnamedsu.expect \
               unreachable.expect \
               unsignedcompare.expect \
               unused.expect \
@@ -1482,13 +1531,15 @@ 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 \
                   arraydims.expect arraydims.c \
                   moreBufferTests2/fixedArrayType.c oldstyle2.c \
-                  stringliteral.expect  stringliteral.c
+                  divzero.expect parentype.expect \
+                  divzero.c parentype.c \
+stringliteral.expect  stringliteral.c