[splint.git] / test / keep.expect


keep.c: (in function f2)
keep.c:12:9: Keep storage passed as only param: free (x)
   keep.c:10:26: Storage x becomes keep
keep.c: (in function f3)
keep.c:19:27: Keep storage x not transferred before return
   keep.c:15:25: Storage x becomes keep
keep.c: (in function f5)
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 checking --- 6 code warnings, as expected
Commit	Line	Data
885824d3	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.
16c024b5	13	keep.c:44:5: in true branch:
885824d3	14	keep.c:43:11: Storage x becomes kept
16c024b5	15	keep.c:44:5: in continuation:
16c024b5	16	keep.c:39:26: Storage x becomes keep
885824d3	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
11db3170	23	Finished checking --- 6 code warnings, as expected