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: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:46:7: Kept storage x passed as keep param: f2 (x)
keep.c:44:5: Storage x becomes kept
keep.c: (in function f7)
keep.c:60:10: Kept storage x returned as implicitly only: x
keep.c:58:5: Storage x becomes kept
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)
keep.c:60:10: Kept storage x returned as implicitly only: x
keep.c:58:5: Storage x becomes kept