Added support for omitted if clauses in conditionals, patch provided by peteran.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index db8c078df5525af430715c74047841d1f60a66e3..b5da589f7bc317d6badfeccfbd190fb6b682fa76 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -130,7 +130,7 @@ UNITTESTS = \
   help \
   abstptr abstract alias alttypes ansireserved argorder \
   args arraydims arrayinit arraylit blocks break cases cast chararraylit charlit clauses commentchar compdestroy \
-  compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \
+  compoundliterals compoundstmt condifomit constannot controldepth csyntax czechnames czechoslovaknames deadparam \
   decl divzero enum enumtag exports external fields flags forbody format freearray \
   funcpointer functionmacro glob globals impabstract info init innerarray inparam internal iter keep libs \
   linked lintcomments list longint loopexec looptesteffect \
@@ -293,6 +293,7 @@ EXTRA_DIST = ./abst_t.lcl \
               ./compdestroy.c \
               ./compoundliterals.c ./compoundliterals.expect \
               ./compoundstmt.c ./compoundstmt.expect \
+              ./condifomit.c \
               ./csyntax.c \
               ./constannot.c \
               ./controldepth.c \
@@ -1126,6 +1127,11 @@ compoundliterals:
 compoundstmt:
        ${SPLINTRN} compoundstmt.c -expect 3
 
+.PHONY: condifomit
+condifomit:
+       ${SPLINTRN} -gnuextensions condifomit.c -expect 4
+       ${SPLINTRN} +gnuextensions condifomit.c -expect 1
+
 .PHONY: constannot
 constannot:
        ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2