Temporarily set flags to splintme without warnings.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index f9ae307ee8f2fb4e1b7bc08c060199fb037eb178..1b157b94e273f1ccf39f56916b7e60e880c9d231 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -114,7 +114,7 @@ SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint
 UNITTESTS = \
   help \
   abstptr abstract alias alttypes ansireserved argorder \
-  args arraydims blocks break cases cast charlit clauses commentchar compdestroy \
+  args arraydims arrayinit 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 \
@@ -1041,6 +1041,10 @@ arraydims:
        -$(SPLINTR) arraydims.c -varuse -expect 2
        -$(SPLINTR) arraydims.c -initsize -varuse
 
+.PHONY: arrayinit
+arrayinit:
+       -$(SPLINTR) arrayinit.c -expect 9
+
 .PHONY: blocks
 blocks:
        -$(SPLINTR) blocks.c -expect 4