Fixed branch state bug with definitely null values (reported by Jon Wilson).

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index b2cb58a26126fd7d5b1dd3646aab3f204c4d40db..24a6ba8b0ac028a32ed41daca5fc3eeb5e09bdf6 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -120,9 +120,9 @@ UNITTESTS = \
   constannot controldepth csyntax czechnames czechoslovaknames deadparam \
   decl enum exports external fields flags forbody format freearray \
   funcpointer glob globals impabstract init inparam internal iter keep libs \
-  linked lintcomments list macros macrosef merge modifies modtest moduncon \
+  linked lintcomments list macros macrosef merge mergenull modifies modtest moduncon \
   mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \
-  postnotnull preds prefixes printflike rc refcounts release repexpose \
+  postnotnull preds prefixes printflike rc rcfiles refcounts release repexpose \
   returned sharing slovaknames specclauses special stack staticarray strings \
   structassign typequals ud ulstypes union unreachable unsignedcompare \
   unused ullint void
@@ -1285,6 +1285,10 @@ macrosef:
 merge:
        $(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3
 
+.PHONY: mergenull
+mergenull:
+       $(SPLINTRN) mergenull.c 
+
 .PHONY: modifies
 modifies:
        $(SPLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7
@@ -1411,6 +1415,10 @@ rc:
        $(SPLINTR) -UMYSTERY -f rc1.splintrc rc.c -expect 1
        $(SPLINTR) -f rc3.splintrc rc.c -expect 1
 
+.PHONY: rcfiles
+rcfiles:
+       cd rcfiles; ${MAKE} SPLINT="$(SPLINTPNEST)"
+
 .PHONY: refcounts
 refcounts:
        $(SPLINTR) refcounts.c -expect 7