]> andersk Git - splint.git/blobdiff - test/Makefile.in
Fixed processing of multi-dimensional arrays.
[splint.git] / test / Makefile.in
index 0086362d1774f1cd5ba9dee71661ec1f7b144732..db8c078df5525af430715c74047841d1f60a66e3 100644 (file)
@@ -132,12 +132,12 @@ UNITTESTS = \
   args arraydims arrayinit arraylit blocks break cases cast chararraylit charlit clauses commentchar compdestroy \
   compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \
   decl divzero enum enumtag exports external fields flags forbody format freearray \
-  funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \
+  funcpointer functionmacro glob globals impabstract info init innerarray inparam internal iter keep libs \
   linked lintcomments list longint loopexec looptesteffect \
-  macros macrosef merge mergenull modifies modtest moduncon \
+  macros macrosef malloc merge mergenull modifies modtest moduncon \
   mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \
   parentype postnotnull preds prefixes printflike rc refcounts release repexpose \
-  returned sharing shifts sizesigns slovaknames \
+  returned russian sharing shifts sizesigns slovaknames \
   specclauses \
   special stack staticarray strings \
   stringliteral \
@@ -240,6 +240,9 @@ EXTRA_DIST = ./abst_t.lcl \
               ./db3/erc.lcl \
               ./db3/eref.lcl \
               ./db3/ereftab.lcl \
+              ./db3/README \
+              ./db3/clean \
+              ./db3/tidy \
               ./tq.lcl \
               ./ud2.lcl \
               ./for/.splintrc \
@@ -353,6 +356,7 @@ EXTRA_DIST = ./abst_t.lcl \
               ./longconstants.c \
               ./macros.c \
               ./macrosef.c \
+             ./malloc.c \
               ./merge.c \
               ./modclient.c \
               ./modifies.c \
@@ -477,6 +481,7 @@ EXTRA_DIST = ./abst_t.lcl \
               ./simplebufferConstraintTests/test7.c \
               ./sizeoftest/sizeof.c \
               ./sizeoftest/sizeofConst.c \
+              ./sizeoftest/Makefile \
               ./strchr/strchr.c \
               ./suppressfile/test.c \
               ./tainted/sprintf.c \
@@ -923,7 +928,6 @@ version:
 
 help:
        -@$(SPLINT)
-       -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
        -@$(SPLINT) -help
        -@$(SPLINTP) -asdf
        -@$(SPLINTP) +boolint +boolint 
@@ -1103,12 +1107,16 @@ controldepth:
        -$(SPLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2
        -$(SPLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2
 
+###
+### 1 extra warning reported for +strict now because of out-of-bounds read
+###
+
 .PHONY: compdestroy
 compdestroy:
        -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1
        -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2
        -$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
-       -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3
+       -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 4
 
 .PHONY: compoundliterals
 compoundliterals:
@@ -1171,7 +1179,7 @@ deadparam:
 .PHONY: decl
 decl:
        -$(SPLINTR) decl.c -expect 2
-       -$(SPLINTRN) decl.c +strict -exportlocal -expect 5
+       -$(SPLINTRN) decl.c +strict -exportlocal -expect 6
        -$(SPLINTR) decl2 -expect 4
 
 .PHONY: divzero
@@ -1270,6 +1278,11 @@ init:
        -$(SPLINTR) init.c -expect 14
        -$(SPLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17
 
+### evans 2003-09-16
+.PHONY: innerarray
+innerarray:
+       -$(SPLINTR) innerarray.c -expect 10
+
 .PHONY: inparam
 inparam:
        -$(SPLINTR) inparam.c -expect 2
@@ -1356,6 +1369,10 @@ macrosef:
        -$(SPLINTR) macrosef.c +allmacros -expect 3
        -$(SPLINTR) macrosef.c +allmacros +sefuncon -expect 4
 
+.PHONY: malloc
+malloc:
+       -$(SPLINTRN) malloc.c +bounds -exportlocal -expect 7
+
 .PHONY: merge
 merge:
        -$(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3
@@ -1377,7 +1394,7 @@ modtest:
 .PHONY: moduncon
 moduncon:
        -$(SPLINTR) moduncon.c +moduncon -memchecks -expect 4
-       -$(SPLINTRN) moduncon.c +strict -exportlocal -expect 22
+       -$(SPLINTRN) moduncon.c +strict +impboundsconstraints -exportlocal -expect 22 
 
 .PHONY: mongoincludes
 mongoincludes:
@@ -1406,7 +1423,7 @@ null:
        -$(SPLINTR) null1.c -null -mustdefine -expect 4
        -$(SPLINTR) null2.c -expect 11
        -$(SPLINTR) null3.c -expect 15
-       -$(SPLINTR) null3.c -warnunixlib +unixlib -expect 16
+       -$(SPLINTR) null3.c +unixlib -expect 16
        -$(SPLINTR) null4.c -expect 1
        -$(SPLINTR) null5.c -expect 4
        -$(SPLINTR) null6 -expect 4
@@ -1475,7 +1492,7 @@ parentype:
 preds:
        -$(SPLINTR) +hints preds.c -expect 6
        -$(SPLINTRN) +hints preds.c -weak -expect 1
-       -$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12
+       -$(SPLINTRN) +hints preds.c -strict +impboundsconstraints -exportlocal -exportheader -expect 10
 
 .PHONY: prefixes
 prefixes:
@@ -1534,6 +1551,11 @@ repexpose:
 returned:
        ${SPLINTR} returned.c -expect 1
 
+### russian added 2003-06-07: bug reported in pre-processing non-standard characters.
+.PHONY: russian
+russian:
+       ${SPLINTR} russian.c 
+
 .PHONY: sharing
 sharing: 
        -$(SPLINTR) sharing1.c -expect 21
This page took 0.046936 seconds and 4 git commands to generate.