home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / keep.expect < prev    next >
Text File  |  2002-02-13  |  786b  |  21 lines
  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:43:11: Storage x becomes kept
  14. keep.c:46:7: Kept storage x passed as keep param: f2 (x)
  15.    keep.c:44:5: Storage x becomes kept
  16. keep.c: (in function f7)
  17. keep.c:60:10: Kept storage x returned as implicitly only: x
  18.    keep.c:58:5: Storage x becomes kept
  19.  
  20. Finished checking --- 6 code warnings, as expected
  21.