]> andersk Git - splint.git/blobdiff - test/keep.expect
Remove unused cpplib_createDefinition.
[splint.git] / test / keep.expect
index 41d75c57cdb49e68f7da4ebf594c52b3e42fb921..bc0545d1d5b2c372de4d50629f37e13c026a5698 100644 (file)
@@ -10,11 +10,14 @@ keep.c:36:10: Keep storage x not transferred before return
    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:44:5: in true branch:
    keep.c:43:11: Storage x becomes kept
+   keep.c:44:5: in continuation:
+   keep.c:39:26: Storage x becomes keep
 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
 
-Finished LCLint checking --- 6 code errors found, as expected
+Finished checking --- 6 code warnings, as expected
This page took 0.089295 seconds and 4 git commands to generate.