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

[splint.git] / test / moreBufferTests2 / initBlock.c

diff --git a/test/moreBufferTests2/initBlock.c b/test/moreBufferTests2/initBlock.c
new file mode 100644 (file)
index 0000000..0033bec
--- /dev/null
+++ b/test/moreBufferTests2/initBlock.c
@@ -0,0 +1,12 @@
+
+int main(void) {
+  
+  int buf[]={0,0,0,0,0,0,0,0,0,0};
+  int buf1[]={0,0,0,0,0,0,0,0,0,0};
+  
+
+  buf[10] = 0;
+  buf1[9]  = 0;
+  
+  return 0;
+}