[splint.git] / test / deadparam.expect


deadparam.c: (in function t)
deadparam.c:7:6: Dead storage s1 passed as out parameter to f: s1
   deadparam.c:6:9: Storage s1 released
deadparam.c:10:6: Dead storage s2 passed as special parameter to g: s2
   deadparam.c:9:9: Storage s2 released
deadparam.c:10:6: Allocated storage s2 corresponds to storage listed in
                     allocates clause of called function: s2

Finished checking --- 3 code warnings, as expected
Commit	Line	Data
80ee600a	1
	2	deadparam.c: (in function t)
	3	deadparam.c:7:6: Dead storage s1 passed as out parameter to f: s1
16c024b5	4	deadparam.c:6:9: Storage s1 released
80ee600a	5	deadparam.c:10:6: Dead storage s2 passed as special parameter to g: s2
16c024b5	6	deadparam.c:9:9: Storage s2 released
80ee600a	7	deadparam.c:10:6: Allocated storage s2 corresponds to storage listed in
	8	allocates clause of called function: s2
	9
11db3170	10	Finished checking --- 3 code warnings, as expected