X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11db3170da99e22aa0acea76debd6c7b590a629c..b05949b6920ce15fd7063643b59cce2f34528854:/test/list.expect?ds=sidebyside

diff --git a/test/list.expect b/test/list.expect
index 4804e29..b8f57d8 100644
--- a/test/list.expect
+++ b/test/list.expect
@@ -1,7 +1,10 @@
 
 list.c: (in function list_addh)
 list.c:24:5: Variable e is kept in true branch, but not kept in continuation.
+   list.c:24:5: in true branch:
    list.c:23:7: Storage e becomes kept
+   list.c:24:5: in continuation:
+   list.c:12:22: Storage e becomes only
 list.c:25:2: Storage *(l->next) reachable from parameter contains 1 undefined
                 field: next
 list.c: (in function list_addh2)