1
2keep.c: (in function f2)
3keep.c:12:9: Keep storage passed as only param: free (x)
4   keep.c:10:26: Storage x becomes keep
5keep.c: (in function f3)
6keep.c:19:27: Keep storage x not transferred before return
7   keep.c:15:25: Storage x becomes keep
8keep.c: (in function f5)
9keep.c:36:10: Keep storage x not transferred before return
10   keep.c:34:39: Storage x becomes keep
11keep.c: (in function f6)
12keep.c:44:5: Variable x is kept in true branch, but not kept in continuation.
13   keep.c:44:5: in true branch:
14   keep.c:43:11: Storage x becomes kept
15   keep.c:44:5: in continuation:
16   keep.c:39:26: Storage x becomes keep
17keep.c:46:7: Kept storage x passed as keep param: f2 (x)
18   keep.c:44:5: Storage x becomes kept
19keep.c: (in function f7)
20keep.c:60:10: Kept storage x returned as implicitly only: x
21   keep.c:58:5: Storage x becomes kept
22
23Finished checking --- 6 code warnings, as expected
24