Pushed back constraintResolve.c to the previous version.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index 2d5e2b63e5c7b6b9f54fcfdfe2f9261e398d683f..c303afca8f30e3840f5ff9528ef9d4ff349a72ef 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -477,6 +477,7 @@ EXTRA_DIST = ./abst_t.lcl \
               ./simplebufferConstraintTests/test7.c \
               ./sizeoftest/sizeof.c \
               ./sizeoftest/sizeofConst.c \
+              ./sizeoftest/Makefile \
               ./strchr/strchr.c \
               ./suppressfile/test.c \
               ./tainted/sprintf.c \
@@ -781,13 +782,16 @@ EXTRA_DIST = ./abst_t.lcl \
                 utypes.expect widestrings.expect  widestrings.c  \
                 functionmacro.expect functionmacro.c  info.c info.expect \
                 longint.c loopexec.c looptesteffect.c mergenull.c shifts.c \
+               longint.expect nullret.expect numabstract.expect \
+               sizesigns.expect typeof.expect \
                 manual.expect ./manual/Makefile \
                 ./manual/annotglobs.c  ./manual/bool.c  ./manual/bool.h  ./manual/clauses.c  ./manual/employee.h  ./manual/exposure.c  ./manual/globals.c  ./manual/ignore.c  ./manual/implicit.c  ./manual/intSet.h  ./manual/list.c  ./manual/loop.c  ./manual/macros.c  ./manual/modify.c  ./manual/mstring.c  ./manual/mstring.h  ./manual/mstringnn.c  ./manual/multiError.c  ./manual/names.c  ./manual/noeffect.c  ./manual/null.c  ./manual/only.c  ./manual/order.c  ./manual/palindrome.c  ./manual/palindrome.h  ./manual/refs.c  ./manual/returned.c  ./manual/rgb.c  ./manual/rstring.c  ./manual/rstring.h  ./manual/sample.c  ./manual/setChar.c  ./manual/setname.c  ./manual/setname.h  ./manual/special.c  ./manual/stack.c  ./manual/sumsquares.c  ./manual/switch.c  ./manual/testpal.c  ./manual/types.c  ./manual/unique.c  ./manual/usedef.c  ./manual/bounds.c \
                   arraydims.expect arraydims.c \
                   moreBufferTests2/fixedArrayType.c oldstyle2.c \
                   divzero.expect parentype.expect \
                   divzero.c parentype.c \
-stringliteral.expect  stringliteral.c
+stringliteral.expect  stringliteral.c \
+  numabstract.c sizesigns.c typeof.c   nullassign.expect 
 
 subdir = test
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
@@ -1392,12 +1396,6 @@ mystrncat:
 noeffect:
        ${SPLINTP} noeffect.c +allmacros +checks -expect 3
 
-.PHONY: numabstract
-numabstract:
-       -$(SPLINTR) numabstract.c -expect 8
-       -$(SPLINTR) numabstract.c +numabstractlit -expect 7
-       -$(SPLINTR) numabstract.c -numabstractcast -expect 7
-
 ###
 ### 2002-01-01: null1.c: expect increased to 15 because out must be defined
 ###                         checking detects one new error
@@ -1428,6 +1426,14 @@ nullassign:
        -$(SPLINTR) nullassign.c -expect 2
        -$(SPLINTR) -nullassign nullassign.c -expect 1
 
+### Added for 3.1 - evans 2002-12-14
+
+.PHONY: numabstract
+numabstract:
+       -$(SPLINTR) numabstract.c -expect 11
+       -$(SPLINTR) numabstract.c +numabstractlit -expect 9
+       -$(SPLINTR) numabstract.c -numabstractcast -expect 10
+
 #
 # Before 2.4, expected one more because error was reported both as 
 # dependent and observer.