*** empty log message ***

[splint.git] / test / observer.expect

diff --git a/test/observer.expect b/test/observer.expect
index 4cbd66ecb0d48392e0fcd1902c46ff854e697ccc..571cd936a4d8a131675cecc4e350fbebf43a71f4 100644 (file)
--- a/test/observer.expect
+++ b/test/observer.expect
@@ -7,7 +7,8 @@ observer.c:9:20: Released storage x->name reachable from parameter at return
    observer.c:9:10: Storage x->name is released
 observer.c: (in function f)
 observer.c:33:3: Suspect modification of observer s: *s = 'x'
-observer.c:34:9: Function call may modify observer *s: s
+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)
    observer.c:32:7: Storage s becomes observer
 observer.c:38:9: Exposed storage s passed as only param: free (s)
@@ -16,7 +17,7 @@ observer.c:41:10: Observer storage *s reachable from unqualified return value
 observer.c:41:10: Observer storage s returned without qualification: s
    observer.c:40:7: Storage s becomes observer
 
-Finished LCLint checking --- 9 code errors found, as expected
+Finished checking --- 9 code warnings, as expected
 
 observer.c: (in function stx_name)
 observer.c:9:10: Function returns reference to parameter x: (x->name)
@@ -25,7 +26,8 @@ observer.c:9:20: Released storage x->name reachable from parameter at return
    observer.c:9:10: Storage x->name is released
 observer.c: (in function f)
 observer.c:33:3: Suspect modification of observer s: *s = 'x'
-observer.c:34:9: Function call may modify observer *s: s
+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)
    observer.c:32:7: Storage s becomes observer
 observer.c:38:9: Exposed storage s passed as only param: free (s)
@@ -34,7 +36,7 @@ observer.c:41:10: Observer storage *s reachable from unqualified return value
 observer.c:41:10: Observer storage s returned without qualification: s
    observer.c:40:7: Storage s becomes observer
 
-Finished LCLint checking --- 8 code errors found, as expected
+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
@@ -42,7 +44,8 @@ observer.c:9:20: Released storage x->name reachable from parameter at return
    observer.c:9:10: Storage x->name is released
 observer.c: (in function f)
 observer.c:33:3: Suspect modification of observer s: *s = 'x'
-observer.c:34:9: Function call may modify observer *s: s
+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)
    observer.c:32:7: Storage s becomes observer
 observer.c:38:9: Exposed storage s passed as only param: free (s)
@@ -51,4 +54,4 @@ observer.c:41:10: Observer storage *s reachable from unqualified return value
 observer.c:41:10: Observer storage s returned without qualification: s
    observer.c:40:7: Storage s becomes observer
 
-Finished LCLint checking --- 7 code errors found, as expected
+Finished checking --- 7 code warnings, as expected