Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / observer.expect

diff --git a/test/observer.expect b/test/observer.expect
index 571cd936a4d8a131675cecc4e350fbebf43a71f4..9a96e8b1340a7481cbd2308f653ae7dc36174844 100644 (file)
--- 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