]> andersk Git - splint.git/blobdiff - test/Makefile.in
Added checking for union initializers.
[splint.git] / test / Makefile.in
index bbd2857a9cc3c66a9c2c3fd2ce1f7f6106a89d66..0b184c3692f59eb06a47a9b1cd8cde1d91050381 100644 (file)
@@ -120,7 +120,7 @@ UNITTESTS = \
   mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \
   postnotnull preds prefixes printflike rc refcounts release repexpose \
   returned sharing slovaknames specclauses special stack staticarray strings \
-  structassign typequals ud ulstypes union unreachable unsignedcompare \
+  structassign typequals ud ulstypes union unioninit unreachable unsignedcompare \
   unused ullint utypes void
 
 UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
@@ -1499,12 +1499,22 @@ ulstypes:
        $(SPLINTR) ulstypes.c -expect 8
        $(SPLINTR) ulstypes.c +ignorequals 
        $(SPLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28
+
 # 3 more detected with version 2.5 (change in -numliteral setting)
 
 .PHONY: union
 union:
        $(SPLINTR) +memchecks union.c -expect 8
 
+###
+### Added 2001-12-30: fixed union initializer checking in response to
+### bug report from Jim Zelenka.
+###
+
+.PHONY: unioninit
+unioninit:
+       $(SPLINTR) unioninit.c -expect 2
+
 .PHONY: unreachable
 unreachable:
        $(SPLINTR) unreachable.c -expect 5
This page took 0.033082 seconds and 4 git commands to generate.