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 9b96ad95988929e8e3ae2054a6cce970e2eb76fc..e1b399508ce3e52841f113554611746323704569 100644 (file)
--- a/test/manual.expect
+++ b/test/manual.expect
@@ -1,7 +1,7 @@
 
 sample.c:11: Fresh storage x not released before
                 return
-   sample.c:5: Fresh storage x allocated
+   sample.c:5: Fresh storage x created
 sample.c:5: Variable x declared but not used
 
 Finished checking --- 2 code warnings, as expected
@@ -63,7 +63,7 @@ only.c:13: Variable x used after being released
 only.c:14: Implicitly temp storage z returned as only:
               z
 only.c:14: Fresh storage m not released before return
-   only.c:9: Fresh storage m allocated
+   only.c:9: Fresh storage m created
 
 Finished checking --- 6 code warnings, as expected
 
@@ -71,10 +71,12 @@ stack.c:12: Stack-allocated storage &loc reachable
                from return value: &loc
 stack.c:12: Stack-allocated storage *x reachable from
                parameter x
-   stack.c:10: Storage *x becomes stack
+   stack.c:10: Storage *x becomes stack-allocated
+   storage
 stack.c:12: Stack-allocated storage glob reachable
                from global glob
-   stack.c:9: Storage glob becomes stack
+   stack.c:9: Storage glob becomes stack-allocated
+   storage
 
 Finished checking --- 3 code warnings, as expected
 
@@ -95,9 +97,10 @@ exposure.c:6: Return value exposes rep of
                  employee: e->name
 exposure.c:6: Released storage e->name reachable
                  from parameter at return point
-   exposure.c:6: Storage e->name is released
+   exposure.c:6: Storage e->name released
 exposure.c:23: Suspect modification of observer
                   name: *name = toupper(*name)
+   exposure.c:22: Storage *name becomes observer
 
 Finished checking --- 4 code warnings, as
 expected
@@ -199,8 +202,7 @@ ignore.c:10: Return value (type bool) ignored: fb()
 
 Finished checking --- 1 code warning, as expected
 
-setChar.c:5: Possible 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:
@@ -208,8 +210,7 @@ setChar.c:5: Possible 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: