Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / keep.expect

diff --git a/test/keep.expect b/test/keep.expect
index 70204214d7ac6e559d35c797c37b283d2f2ad301..bc0545d1d5b2c372de4d50629f37e13c026a5698 100644 (file)
--- a/test/keep.expect
+++ b/test/keep.expect
@@ -10,7 +10,10 @@ keep.c:36:10: Keep storage x not transferred before return
    keep.c:34:39: Storage x becomes keep
 keep.c: (in function f6)
 keep.c:44:5: Variable x is kept in true branch, but not kept in continuation.
+   keep.c:44:5: in true branch:
    keep.c:43:11: Storage x becomes kept
+   keep.c:44:5: in continuation:
+   keep.c:39:26: Storage x becomes keep
 keep.c:46:7: Kept storage x passed as keep param: f2 (x)
    keep.c:44:5: Storage x becomes kept
 keep.c: (in function f7)