Remove unused cpplib_createDefinition.

[splint.git] / test / Makefile.os2

diff --git a/test/Makefile.os2 b/test/Makefile.os2
index d7c9b5a658a5eb6252b8823f7edc5ba99a024544..26a428b0e6563cb0558379e75025872be9fb23e1 100644 (file)
--- a/test/Makefile.os2
+++ b/test/Makefile.os2
@@ -24,7 +24,7 @@ SPLINTP = $(SPLINT) -nof
 SPLINTRN = $(SPLINTP) -hints -booltype "bool"\r
 SPLINTR = $(SPLINTRN) -exportlocal +debugfcnconstraint\r
 \r
 SPLINTRN = $(SPLINTP) -hints -booltype "bool"\r
 SPLINTR = $(SPLINTRN) -exportlocal +debugfcnconstraint\r
 \r

-SPLINTRNNEST = $(SPLINTPNEST) -hints -booltype "bool"\r
+SPLINTRNNEST = $(SPLINTPNEST) -hints -booltype bool\r

 SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint\r
 \r
 ###\r
 SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint\r
 \r
 ###\r


@@ -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
   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
   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
   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
   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
 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
    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
 \r
 SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS)\r
 \r


@@ -75,11 +77,12 @@ quicktest: $(SPLINTTESTS)
 \r
 help:\r
        -@$(SPLINT)\r
 \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
 \r
 .PHONY: abstptr\r
 abstptr:\r


@@ -175,15 +178,16 @@ cast:
 \r
 .PHONY: chararraylit\r
 chararraylit:\r
 \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
 \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
 .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
 \r
 .PHONY: clauses\r
 clauses: \r


@@ -207,7 +211,7 @@ compdestroy:
        $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1\r
        $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2\r
        $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3\r
        $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1\r
        $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2\r
        $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3\r

-       $(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3\r
+       $(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 4\r

 \r
 .PHONY: compoundliterals\r
 compoundliterals:\r
 \r
 .PHONY: compoundliterals\r
 compoundliterals:\r


@@ -270,7 +274,7 @@ deadparam:
 .PHONY: decl\r
 decl:\r
        $(SPLINTR) decl.c -expect 2\r
 .PHONY: decl\r
 decl:\r
        $(SPLINTR) decl.c -expect 2\r

-       $(SPLINTRN) decl.c +strict -exportlocal -expect 5\r
+       $(SPLINTRN) decl.c +strict -exportlocal -expect 6\r

        $(SPLINTR) decl2 -expect 4\r
 \r
 .PHONY: divzero\r
        $(SPLINTR) decl2 -expect 4\r
 \r
 .PHONY: divzero\r


@@ -284,7 +288,7 @@ enum:
 \r
 .PHONY: enumtag\r
 enumtag:\r
 \r
 .PHONY: enumtag\r
 enumtag:\r

-       -$(SPLINTR) enumtag.c -expect 2\r
+       $(SPLINTR) enumtag.c -expect 2\r

 \r
 .PHONY: exports\r
 exports:\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
 ### 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
 \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
 \r
 .PHONY: lintcomments\r
 lintcomments:\r


@@ -418,6 +423,17 @@ lintcomments:
 list:\r
        $(SPLINTR) list.c -expect 3\r
 \r
 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
 ###\r
 ### 2002-01-01: Added test case for obvious loop execution.\r
 ###\r


@@ -464,7 +480,7 @@ modtest:
 .PHONY: moduncon\r
 moduncon:\r
        $(SPLINTR) moduncon.c +moduncon -memchecks -expect 4\r
 .PHONY: moduncon\r
 moduncon:\r
        $(SPLINTR) moduncon.c +moduncon -memchecks -expect 4\r

-       $(SPLINTRN) moduncon.c +strict -exportlocal -expect 22\r
+       $(SPLINTRN) moduncon.c +strict +impboundsconstraints -exportlocal -expect 22 \r

 \r
 .PHONY: mongoincludes\r
 mongoincludes:\r
 \r
 .PHONY: mongoincludes\r
 mongoincludes:\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) 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
        $(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
 .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
 \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
 #\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
 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 +impboundsconstraints -exportlocal -exportheader -expect 10\r

 \r
 .PHONY: prefixes\r
 prefixes:\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
        $(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
 #      $(SPLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13\r
 \r
 .PHONY: printflike\r


@@ -592,7 +616,7 @@ rc:
 \r
 .PHONY: rcfiles\r
 rcfiles:\r
 \r
 .PHONY: rcfiles\r
 rcfiles:\r

-       cd rcfiles; ${MAKE} SPLINT="$(SPLINTPNEST)"\r
+       cd rcfiles; ${MAKE} SPLINT="-$(SPLINTPNEST)"\r

 \r
 .PHONY: refcounts\r
 refcounts:\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
        $(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
 ### 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
 \r
 .PHONY: slovaknames\r
 slovaknames:\r


@@ -775,6 +799,8 @@ ullint:
 ###\r
 ### 2001-12-30: Poor warnings reported by Peter Deutsch\r
 ###\r
 ###\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
 \r
 .PHONY: utypes\r
 utypes:\r


@@ -819,7 +845,15 @@ sizeof:
 buffertest:\r
        $(SPLINTR) +bounds buffertest1.c -expect 5\r
 \r
 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
+       $(MAKE) -C $@ SPLINT="$(SPLINTRNNEST)"\r
+\r
+.PHONY: $(SUBDIRTESTS2)\r
+$(SUBDIRTESTS2):\r
+       $(MAKE) -C $@ SPLINT="$(SPLINTRNNEST)" -f Makefile.os2\r

 \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