Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / fields.expect

diff --git a/test/fields.expect b/test/fields.expect
index 5975e12a7918b7cd0472c9df66314dd2a7c1018f..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)