X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/35e8712de8a20811e536e7506deb87e9492a710d..10fac4bc6190bcda80bf75e7267cb456e5a8b772:/test/Makefile.am

diff --git a/test/Makefile.am b/test/Makefile.am
index 51b5a3e..5c25a8c 100644
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -46,10 +46,10 @@ UNITTESTS = \
   decl divzero enum enumtag exports external fields flags forbody format freearray \
   funcpointer functionmacro glob globals impabstract info init 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 \
@@ -83,13 +83,11 @@ version:
 
 help:
 	-@$(SPLINT)
-	-@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
 	-@$(SPLINT) -help
 	-@$(SPLINTP) -asdf
 	-@$(SPLINTP) +boolint +boolint 
 	-@$(SPLINT) -help flags alpha
 
-
 #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... 
@@ -302,12 +300,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:
@@ -370,7 +372,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
@@ -557,6 +559,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
@@ -578,7 +584,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:
@@ -677,7 +683,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:
@@ -736,6 +742,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
@@ -1017,6 +1028,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 \
@@ -1130,6 +1144,7 @@ EXTRA_DIST =  ./abst_t.lcl \
               ./longconstants.c \
               ./macros.c \
               ./macrosef.c \
+	      ./malloc.c \
               ./merge.c \
               ./modclient.c \
               ./modifies.c \