X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/80ee600a548f705b2875267c01bcc63e95203578..16c024b587f5ddc115928d5cca7095508aa208d9:/test/fields.expect

diff --git a/test/fields.expect b/test/fields.expect
index d4deb3f..2f7135d 100644
--- a/test/fields.expect
+++ b/test/fields.expect
@@ -2,10 +2,10 @@
 fields.c: (in function pair_create1)
 fields.c:37:10: Storage p->z reachable from return value is owned (should be
                    dependent)
-   fields.c:34:3: Storage p->z becomes owned
+   fields.c:34:3: Storage p->z becomes owned (through alias p->y)
 fields.c: (in function mangle)
 fields.c:43:2: Released storage p->x reachable from parameter at return point
-   fields.c:42:9: Storage p->x is released
+   fields.c:42:9: Storage p->x released
 fields.c: (in function mangle2)
 fields.c:49:2: Storage p->y reachable from parameter is dependent (should be
                   owned)
@@ -21,7 +21,7 @@ fields.c:62:18: Function returns with null storage derivable from parameter
                    p->x
    fields.c:60:10: Storage p->x becomes null
 
-Finished LCLint checking --- 6 code errors found, as expected
+Finished checking --- 6 code warnings, as expected
 
 fields2.c: (in function pair_copy)
 fields2.c:21:16: Storage p->x reachable from parameter is kept (should be
@@ -39,6 +39,6 @@ fields2.c:43:14: Storage p->x reachable from passed parameter is kept (should
                     be implicitly only): p
    fields2.c:42:3: Storage p->x becomes kept
 
-Finished LCLint checking --- 5 code errors found, as expected
+Finished checking --- 5 code warnings, as expected
 
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings