test/keep.expect

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