Fixed off by one bug involving arrays initialized with a block of values.

[splint.git] / test / moreBufferTests2 / Makefile

diff --git a/test/moreBufferTests2/Makefile b/test/moreBufferTests2/Makefile
index 45eb3294e7936dfd8b2b49fdd3c59a97ab37269e..69ea4064faf3b73514ec3ee1a4ca908c12c6bbdb 100644 (file)
--- a/test/moreBufferTests2/Makefile
+++ b/test/moreBufferTests2/Makefile
@@ -4,4 +4,6 @@
  
 check:
        $(SPLINT) -exportlocal +bounds unknownsize.c arrayConstExpr.c -expect 1
+       $(SPLINT) -exportlocal +bounds fixedArrayType.c -expect 1
+       $(SPLINT) -exportlocal +bounds initBlock.c -expect 1