Cleaned up flags to generate manual help.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index e96558a7e600694c6797a9cdd4a38494cf7d354e..5959dbca4a5f336b2b2e16a335723e24ba6a8745 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -83,8 +83,10 @@ install_sh = @install_sh@
 
 AUTOMAKE_OPTIONS = 1.5 foreign
 
-DIFFFLAGS = -u
+DIFFFLAGS = 
 
+
+# -u show context
 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
 
 ### This is horrible!  Can't we make top_builddir absolute?
@@ -124,10 +126,11 @@ UNITTESTS = \
 
 UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
 
+
 ### warnuse doesn't work yet!
 SUBDIRTESTS = metastate mergestate tainted fileio \
    simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \
-   maxset strchr for \
+   maxset strchr for manual\
 tests2.2 tests2.4 tests2.5 db1 db2 db3
 
 SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS)
@@ -1071,7 +1074,7 @@ compdestroy:
 
 .PHONY: constannot
 constannot:
-       ${SPLINTRN} constannot.c +arraybounds  -exportlocal -expect 2
+       ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2
 
 .PHONY: csyntax
 csyntax:
@@ -1139,7 +1142,7 @@ exports:
 .PHONY: external
 external:
        -$(SPLINTR) external.c +partial
-       -$(SPLINTR) external.c +partial +distinctexternalnames -expect 2
+       -$(SPLINTR) external.c +partial +distinctexternalnames +ansi89limits -expect 2
        -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3
        -$(SPLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3
        -$(SPLINTR) external.c +partial -externalnamelength 3 -expect 4
@@ -1221,7 +1224,8 @@ inparam:
 .PHONY: internal
 internal:
        -$(SPLINTR) internal.c -expect 1
-       -$(SPLINTR) internal.c +distinctinternalnames -expect 2
+       -$(SPLINTR) internal.c +distinctinternalnames -expect 1
+       -$(SPLINTR) internal.c +distinctinternalnames +ansi89limits -expect 2
        -$(SPLINTR) internal.c -internalnamelen 28 -expect 3
        -$(SPLINTR) internal.c +internalnamecaseinsensitive -expect 3
        -$(SPLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11
@@ -1315,7 +1319,7 @@ mongoincludes:
 
 .PHONY: mystrncat
 mystrncat:
-       -$(SPLINTR) mystrncat.c +arraybounds  +arrayboundsread -expect 4 
+       -$(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 
 
 .PHONY: noeffect
 noeffect:
@@ -1620,11 +1624,11 @@ freearray:
 
 .PHONY: sizeof
 sizeof:
-       -$(SPLINTR) +arraybounds +arrayboundsread sizeof.c -expect 1
+       -$(SPLINTR) +bounds sizeof.c -expect 1
 
 .PHONY: buffertest
 buffertest:
-       -$(SPLINTR) +arraybounds +arrayboundsread buffertest1.c -expect 5
+       -$(SPLINTR) +bounds buffertest1.c -expect 5
 
 .PHONY: $(SUBDIRTESTS)
 $(SUBDIRTESTS):