Pushed back constraintResolve.c to the previous version.

[splint.git] / test / fields.expect

diff --git a/test/fields.expect b/test/fields.expect
index d4deb3fa61d88ffe787f6a65aebb116623e1ddcd..2f7135d7b7377fa5a113120a6a432e8b8330b618 100644 (file)
--- 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