Added test case for sizeof bug fix.

[splint.git] / test / Makefile.am

diff --git a/test/Makefile.am b/test/Makefile.am
index e1049f2dc6f496eea7b978b2bf8a7aaff807e982..4ec559c6ea71749b98ae60997789a230c824f6fd 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -60,7 +60,7 @@ UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))
 
 SUBDIRTESTS = metastate mergestate tainted fileio \
    simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \
-   maxset strchr for manual
+   maxset strchr sizeoftest for manual
 
 ### warnuse doesn't work yet!
 SUBDIRTESTS += tests2.2
@@ -919,6 +919,7 @@ freearray:
 sizeof:
        -$(SPLINTR) +bounds sizeof.c -expect 1
 
+
 .PHONY: buffertest
 buffertest:
        -$(SPLINTR) +bounds buffertest1.c -expect 5
@@ -1228,6 +1229,8 @@ EXTRA_DIST =  ./abst_t.lcl \
               ./simplebufferConstraintTests/test3.c \
               ./simplebufferConstraintTests/test7.c \
               ./sizeoftest/sizeof.c \
+              ./sizeoftest/Makefile.c \
+              ./sizeoftest/sizeofConst.c \
               ./strchr/strchr.c \
               ./suppressfile/test.c \
               ./tainted/sprintf.c \