Removed obsolete OS/2 test makefiles.

[splint.git] / test / Makefile.os2

diff --git a/test/Makefile.os2 b/test/Makefile.os2
index d7c9b5a658a5eb6252b8823f7edc5ba99a024544..430a8feed997b9cb3ff5819f72775ed975d281e7 100644 (file)
--- a/test/Makefile.os2
+++ b/test/Makefile.os2
@@ -36,11 +36,11 @@ UNITTESTS = \
   abstptr abstract alias alttypes ansireserved argorder \\r
   args arraydims arrayinit arraylit blocks break cases cast chararraylit charlit clauses commentchar compdestroy \\r
   compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \\r
-  decl divzero enum exports external fields flags forbody format freearray \\r
+  decl divzero enum enumtag exports external fields flags forbody format freearray \\r
   funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \\r
-  linked lintcomments list loopexec looptesteffect \\r
+  linked lintcomments list longint loopexec looptesteffect \\r
   macros macrosef merge mergenull modifies modtest moduncon \\r
-  mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \\r
+  mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \\r
   parentype postnotnull preds prefixes printflike rc refcounts release repexpose \\r
   returned sharing shifts sizesigns slovaknames \\r
   specclauses \\r
@@ -53,10 +53,12 @@ UNITTESTS = \
 UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))\r
 \r
 ### warnuse doesn't work yet!\r
-SUBDIRTESTS = metastate mergestate tainted fileio \\r
+SUBDIRTESTS1 = metastate mergestate fileio \\r
    simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \\r
-   maxset strchr for manual\\r
-tests2.2 tests2.4 tests2.5 db1 db2 db3\r
+   maxset strchr sizeoftest for manual\r
+SUBDIRTESTS1 = tests2.5 db1 db2 db3\r
+SUBDIRTESTS2 = tainted tests2.2 tests2.4 \r
+SUBDIRTESTS = $(SUBDIRTESTS1) $(SUBDIRTESTS2)\r
 \r
 SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS)\r
 \r
@@ -75,11 +77,12 @@ quicktest: $(SPLINTTESTS)
 \r
 help:\r
        -@$(SPLINT)\r
-       #@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl\r
-       @$(SPLINT) -help\r
-       @$(SPLINTP) -asdf\r
-       @$(SPLINTP) +boolint +boolint \r
-       @$(SPLINT) -help flags alpha\r
+       -@$(SPLINT) -help\r
+       -@$(SPLINTP) -asdf\r
+       -@$(SPLINTP) +boolint +boolint \r
+       -@$(SPLINT) -help flags alpha\r
+\r
+### Rules for tests start here\r
 \r
 .PHONY: abstptr\r
 abstptr:\r
@@ -175,15 +178,16 @@ cast:
 \r
 .PHONY: chararraylit\r
 chararraylit:\r
-       -$(SPLINTR) chararraylit.c -expect 2\r
+       $(SPLINTR) chararraylit.c -expect 2\r
 \r
 ### Two addition errors detected with 2.5 with -numliteral.\r
 \r
+### evans 2002-12-15: finds one more but in charlit\r
 .PHONY: charlit\r
 charlit:\r
        $(SPLINTR) +hints charlit.c -expect 4\r
        $(SPLINTR) +hints -numliteral charlit.c -expect 6\r
-       $(SPLINTR) +hints charlit.c +charintliteral +ignoresigns\r
+       $(SPLINTR) +hints charlit.c +charintliteral +ignoresigns -expect 1\r
 \r
 .PHONY: clauses\r
 clauses: \r
@@ -284,7 +288,7 @@ enum:
 \r
 .PHONY: enumtag\r
 enumtag:\r
-       -$(SPLINTR) enumtag.c -expect 2\r
+       $(SPLINTR) enumtag.c -expect 2\r
 \r
 .PHONY: exports\r
 exports:\r
@@ -400,13 +404,14 @@ keep:
 ### libs\r
 ### 2001-05-22: 2 new errors found (fixed spec of signal)\r
 ### 2001-05-30: 3 new errors found (formatconst)\r
+### 2002-07-08: 2 new errors found (getc modifies errno)\r
 \r
 .PHONY: libs\r
 libs:\r
        $(SPLINTR) libs.c +longunsignedunsignedintegral -expect 18\r
        $(SPLINTR) libs.c -expect 22\r
        $(SPLINTR) libs.c +globunspec +modunspec -expect 25\r
-       $(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 42\r
+       $(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 44\r
 \r
 .PHONY: lintcomments\r
 lintcomments:\r
@@ -418,6 +423,17 @@ lintcomments:
 list:\r
        $(SPLINTR) list.c -expect 3\r
 \r
+###\r
+### 2002-12-12: Added test case for +longint and +shortint flags\r
+###\r
+\r
+.PHONY: longint\r
+longint:\r
+       $(SPLINTR) longint.c -expect 3\r
+       $(SPLINTR) longint.c +longint -expect 2\r
+       $(SPLINTR) longint.c +shortint -expect 2\r
+       $(SPLINTR) longint.c +shortint +longint -expect 0\r
+\r
 ###\r
 ### 2002-01-01: Added test case for obvious loop execution.\r
 ###\r
@@ -493,7 +509,7 @@ null:
        $(SPLINTR) null1.c -null -mustdefine -expect 4\r
        $(SPLINTR) null2.c -expect 11\r
        $(SPLINTR) null3.c -expect 15\r
-       $(SPLINTR) null3.c -warnunixlib +unixlib -expect 16\r
+       $(SPLINTR) null3.c +unixlib -expect 16\r
        $(SPLINTR) null4.c -expect 1\r
        $(SPLINTR) null5.c -expect 4\r
        $(SPLINTR) null6 -expect 4\r
@@ -505,13 +521,21 @@ null:
 .PHONY: nullret\r
 nullret:\r
        $(SPLINTR) nullret.c -expect 2\r
-       $(SPLINTR) -nullret nullret.c -expect 1\r
+       $(SPLINTR) -nullret nullret.c -expect 0\r
 \r
 .PHONY: nullassign\r
 nullassign:\r
        $(SPLINTR) nullassign.c -expect 2\r
        $(SPLINTR) -nullassign nullassign.c -expect 1\r
 \r
+### Added for 3.1 - evans 2002-12-14\r
+\r
+.PHONY: numabstract\r
+numabstract:\r
+       $(SPLINTR) numabstract.c -expect 11\r
+       $(SPLINTR) numabstract.c +numabstractlit -expect 9\r
+       $(SPLINTR) numabstract.c -numabstractcast -expect 10\r
+\r
 #\r
 # Before 2.4, expected one more because error was reported both as \r
 # dependent and observer.\r
@@ -554,7 +578,7 @@ parentype:
 preds:\r
        $(SPLINTR) +hints preds.c -expect 6\r
        $(SPLINTRN) +hints preds.c -weak -expect 1\r
-       $(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12\r
+       $(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 10\r
 \r
 .PHONY: prefixes\r
 prefixes:\r
@@ -573,7 +597,7 @@ prefixes:
        $(SPLINTR) prefixes.c -globalprefix "&G?_^" -expect 1\r
        $(SPLINTR) prefixes.c -externalprefix "G" -expect 5\r
        $(SPLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4\r
-#      herbert: unsolved problem with quoting the '*' here!\r
+#      Herbert: this does not work under OS/2\r
 #      $(SPLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13\r
 \r
 .PHONY: printflike\r
@@ -592,7 +616,7 @@ rc:
 \r
 .PHONY: rcfiles\r
 rcfiles:\r
-       cd rcfiles; ${MAKE} SPLINT="$(SPLINTPNEST)"\r
+       cd rcfiles; ${MAKE} SPLINT="-$(SPLINTPNEST)"\r
 \r
 .PHONY: refcounts\r
 refcounts:\r
@@ -629,12 +653,12 @@ shifts:
        $(SPLINTR) shifts.c -shiftimplementation -expect 3\r
        $(SPLINTR) shifts.c -shiftnegative -expect 1\r
 \r
+#drl comment this out until sizesigns is added to cvs\r
+\r
 ### evans - added 2002-08-17: check warnings with arbitrary integral types\r
 sizesigns:\r
-       -$(SPLINTR) +strict sizesigns.c\r
-       -$(SPLINTR) +strict +ignoresigns sizesigns.c\r
-       -$(SPLINTR) +strict +matcharbitraryintegral sizesigns.c\r
-       -$(SPLINTR) +strict +matcharbitraryintegral +ignoresignz sizesigns.c\r
+       $(SPLINTR) +strict sizesigns.c -expect 5\r
+       $(SPLINTR) +strict +matchanyintegral sizesigns.c -expect 4\r
 \r
 .PHONY: slovaknames\r
 slovaknames:\r
@@ -775,6 +799,8 @@ ullint:
 ###\r
 ### 2001-12-30: Poor warnings reported by Peter Deutsch\r
 ###\r
+### 2002-07-03: removed warnings for datatype/macro definitions\r
+###\r
 \r
 .PHONY: utypes\r
 utypes:\r
@@ -819,7 +845,15 @@ sizeof:
 buffertest:\r
        $(SPLINTR) +bounds buffertest1.c -expect 5\r
 \r
-.PHONY: $(SUBDIRTESTS)\r
-$(SUBDIRTESTS):\r
-       $(MAKE) -C $@ SPLINT="$(SPLINTRNNEST)" \r
+.PHONY: $(SUBDIRTESTS1)\r
+$(SUBDIRTESTS1):\r
+       cd $@; $(MAKE) SPLINT="$(SPLINTRNNEST)"\r
+\r
+.PHONY: $(SUBDIRTESTS2)\r
+$(SUBDIRTESTS2):\r
+       cd $@; $(MAKE) SPLINT="$(SPLINTRNNEST)" -f Makefile.os2\r
 \r
+#              sizesigns.c sizesigns.expect \\r
+# Tell versions [3.59,3.63) of GNU make to not export all variables.\r
+# Otherwise a system limit (for SysV at least) may be exceeded.\r
+.NOEXPORT:\r