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

[splint.git] / test / moreBufferTests2.expect

diff --git a/test/moreBufferTests2.expect b/test/moreBufferTests2.expect
index f46f3b91f9ace814dacc05d5ac0d335315aa58c5..a419bc1f967f3b6dd59caaa97d27bc0089b5e8cd 100644 (file)
--- a/test/moreBufferTests2.expect
+++ b/test/moreBufferTests2.expect
@@ -17,3 +17,12 @@ fixedArrayType.c:9:3: Possible out-of-bounds store: buffer[sizeof(Array) - 1]
     fixedArrayType.c:9:25 - 1
 
 Finished checking --- 1 code warning, as expected
+
+initBlock.c: (in function main)
+initBlock.c:8:3: Likely out-of-bounds store: buf[10]
+    Unable to resolve constraint:
+    requires 9 >= 10
+     needed to satisfy precondition:
+    requires maxSet(buf @ initBlock.c:8:3) >= 10
+
+Finished checking --- 1 code warning, as expected