]> andersk Git - splint.git/blobdiff - test/Makefile.am
andersk / splint.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Fixed problem with print format for +showalluses.
[splint.git] / test / Makefile.am
diff --git a/test/Makefile.am b/test/Makefile.am
index 877d8910ce2c8f0b388f5194e88f7d48b796678b..6b149f5ef81ca6b76b9360bf7b5162f9f3630417 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -37,18 +37,19 @@ SPLINTRNEST   = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint
 UNITTESTS = \
   help \
   abstptr abstract alias alttypes ansireserved argorder \
-  args 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 \
-  structassign typequals ud ulstypes union unioninit unreachable unsignedcompare \
+  stringliteral \
+  structassign typequals typeof ud ulstypes union unioninit unreachable unsignedcompare \
   unused ullint utypes void widestrings
 UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
 
@@ -74,6 +75,7 @@ version:
        -$(SPLINTP) -help version
 
 .PHONY: help
+
 help:
        -@$(SPLINT)
        -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
@@ -81,9 +83,17 @@ help:
        -@$(SPLINTP) -asdf
        -@$(SPLINTP) +boolint +boolint 
        -@$(SPLINTP) -help flags alpha
-       -@$(SPLINTP) -help flags all
-       -@$(SPLINTP) -help flags full
-       -@$(SPLINTP) -help flags manual
+
+
+#commenting these out for the release because they will almost always fail
+#since the default will only fit one system
+#Don't want to panic the user... 
+#      -@$(SPLINTP) -help flags all     | $(GREP) -v "^larchpath <path> "     | $(GREP) -v "^lclimportdir <directory> " | $(GREP) -v "  Path argument.  Default: " |  $(GREP) -v "  Directory argument.  Default: " | $(GREP) -v "  lclimportdir <directory> "
+#      -@$(SPLINTP) -help flags full    | $(GREP) -v "^larchpath <path> "     | $(GREP) -v "^lclimportdir <directory> " | $(GREP) -v "  Path argument.  Default: " |  $(GREP) -v "  Directory argument.  Default: " | $(GREP) -v "  lclimportdir <directory> "
+#      -@$(SPLINTP) -help flags manual     | $(GREP) -v "^larchpath <path> "   | $(GREP) -v "^lclimportdir <directory> " | $(GREP) -v "  Path argument.  Default: " |  $(GREP) -v "  Directory argument.  Default: " | $(GREP) -v "  lclimportdir <directory> "
+
+#larch and lclimportdir have different hardcoded default paths so don't include the path in the output..
+
 
 .PHONY: clean-local
 clean-local:
@@ -107,7 +117,7 @@ $(SPLINT):
 ## The tests should really be re-done as shell-scripts or something... maybe
 ##  autotest could be used once it's finished.
 
-CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
+CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "^gmake.*\[[1-9]*\]:" |   $(GREP) -v "^gmake -e" |  $(GREP) -v "^make -e" |$(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES="
 
 ## Not real C code
 
@@ -207,6 +217,20 @@ argorder:
 args:
        -$(SPLINTR) args -noeffect -expect 12
 
+.PHONY: arraydims
+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
@@ -266,6 +290,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
@@ -322,6 +354,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
@@ -469,6 +505,9 @@ loopexec:
        -$(SPLINTR) loopexec.c -expect 1
        -$(SPLINTR) loopexec.c -obviousloopexec -expect 3
 
+.PHONY: looptesteffect
+looptesteffect:
+       -$(SPLINTR) looptesteffect.c -expect 1
 
 .PHONY: macros
 macros:
@@ -566,7 +605,7 @@ observer:
 
 .PHONY: oldstyle
 oldstyle:
-       -$(SPLINTR) oldstyle -expect 3
+       -$(SPLINTR) oldstyle oldstyle2.c -expect 5
 
 .PHONY: outglob
 outglob:
@@ -581,6 +620,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)
 # 
@@ -712,6 +757,15 @@ stack:
 staticarray:
        -$(SPLINTR) staticarray.c -expect 3
 
+###
+### evans 2002-03-16: Default setting of stringliteralnoroomfinalnull changed
+### 
+
+.PHONY: stringliteral
+stringliteral:
+       -$(SPLINTR) stringliteral.c -stringliteralnoroomfinalnull -expect 3
+       -$(SPLINTR) stringliteral.c -expect 4
+
 .PHONY: strings
 strings:
        -$(SPLINTR) strings.c -expect 3
@@ -722,6 +776,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
@@ -968,6 +1026,7 @@ EXTRA_DIST =  ./abst_t.lcl ./abst_t.lcs  \
               ./argorder5.c \
               ./args.c \
               ./arrayinit.c \
+              ./arraylit.c \
               ./blocks.c \
               ./branchstate.c \
               ./break.c \
@@ -983,6 +1042,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 \
@@ -1284,6 +1345,7 @@ EXTRA_DIST =  ./abst_t.lcl ./abst_t.lcs  \
               argorder.expect \
               args.expect \
               arrayinit.expect \
+              arraylit.expect \
               blocks.expect \
               branchstate.expect \
               break.expect \
@@ -1462,10 +1524,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
+                ./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 \
+                  divzero.expect parentype.expect \
+                  divzero.c parentype.c \
+stringliteral.expect  stringliteral.c
git-cvsimport mirror of splint
This page took 0.042521 seconds and 4 git commands to generate.