Made allocations involving sizeof work correctly (test/malloc.c).

[splint.git] / test / manual.expect

diff --git a/test/manual.expect b/test/manual.expect
index e975c0069d5a0c0efae21a8874666cf465665db8..e1b399508ce3e52841f113554611746323704569 100644 (file)
--- a/test/manual.expect
+++ b/test/manual.expect
@@ -202,8 +202,7 @@ ignore.c:10: Return value (type bool) ignored: fb()
 
 Finished checking --- 1 code warning, as expected
 
-setChar.c:5: Likely out-of-bounds store:
-    buf[10]
+setChar.c:5: Likely out-of-bounds store: buf[10]
     Unable to resolve constraint:
     requires 9 >= 10
      needed to satisfy precondition:
@@ -211,8 +210,7 @@ setChar.c:5: Likely out-of-bounds store:
 
 Finished checking --- 1 code warning, as expected
 
-multiError.c:4: Possible out-of-bounds store:
-    buf[2]
+multiError.c:4: Possible out-of-bounds store: buf[2]
     Unable to resolve constraint:
     requires maxSet(buf @ multiError.c:4) >= 2
      needed to satisfy precondition: