X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e5081f8c08424e4511d50a3b1fc187666c95852c..16c024b587f5ddc115928d5cca7095508aa208d9:/test/observer.expect

diff --git a/test/observer.expect b/test/observer.expect
index 571cd93..9a96e8b 100644
--- a/test/observer.expect
+++ b/test/observer.expect
@@ -4,9 +4,10 @@ observer.c:9:10: Function returns reference to parameter x: (x->name)
 observer.c:9:10: Return value exposes rep of stx: (x->name)
 observer.c:9:20: Released storage x->name reachable from parameter at return
                     point
-   observer.c:9:10: Storage x->name is released
+   observer.c:9:10: Storage x->name released
 observer.c: (in function f)
 observer.c:33:3: Suspect modification of observer s: *s = 'x'
+   observer.c:32:7: Storage *s becomes observer
 observer.c:34:9: Function call may modify observer s: s
    observer.c:32:7: Storage s becomes observer
 observer.c:34:9: Observer storage s passed as only param: free (s)
@@ -14,6 +15,7 @@ observer.c:34:9: Observer storage s passed as only param: free (s)
 observer.c:38:9: Exposed storage s passed as only param: free (s)
    observer.c:36:3: Storage s becomes exposed
 observer.c:41:10: Observer storage *s reachable from unqualified return value
+   observer.c:40:7: Storage *s becomes observer
 observer.c:41:10: Observer storage s returned without qualification: s
    observer.c:40:7: Storage s becomes observer
 
@@ -23,9 +25,10 @@ observer.c: (in function stx_name)
 observer.c:9:10: Function returns reference to parameter x: (x->name)
 observer.c:9:20: Released storage x->name reachable from parameter at return
                     point
-   observer.c:9:10: Storage x->name is released
+   observer.c:9:10: Storage x->name released
 observer.c: (in function f)
 observer.c:33:3: Suspect modification of observer s: *s = 'x'
+   observer.c:32:7: Storage *s becomes observer
 observer.c:34:9: Function call may modify observer s: s
    observer.c:32:7: Storage s becomes observer
 observer.c:34:9: Observer storage s passed as only param: free (s)
@@ -33,6 +36,7 @@ observer.c:34:9: Observer storage s passed as only param: free (s)
 observer.c:38:9: Exposed storage s passed as only param: free (s)
    observer.c:36:3: Storage s becomes exposed
 observer.c:41:10: Observer storage *s reachable from unqualified return value
+   observer.c:40:7: Storage *s becomes observer
 observer.c:41:10: Observer storage s returned without qualification: s
    observer.c:40:7: Storage s becomes observer
 
@@ -41,9 +45,10 @@ Finished checking --- 8 code warnings, as expected
 observer.c: (in function stx_name)
 observer.c:9:20: Released storage x->name reachable from parameter at return
                     point
-   observer.c:9:10: Storage x->name is released
+   observer.c:9:10: Storage x->name released
 observer.c: (in function f)
 observer.c:33:3: Suspect modification of observer s: *s = 'x'
+   observer.c:32:7: Storage *s becomes observer
 observer.c:34:9: Function call may modify observer s: s
    observer.c:32:7: Storage s becomes observer
 observer.c:34:9: Observer storage s passed as only param: free (s)
@@ -51,6 +56,7 @@ observer.c:34:9: Observer storage s passed as only param: free (s)
 observer.c:38:9: Exposed storage s passed as only param: free (s)
    observer.c:36:3: Storage s becomes exposed
 observer.c:41:10: Observer storage *s reachable from unqualified return value
+   observer.c:40:7: Storage *s becomes observer
 observer.c:41:10: Observer storage s returned without qualification: s
    observer.c:40:7: Storage s becomes observer