[splint.git] / test / list.out


list.c: (in function list_addh)
list.c:24:5: Variable e is kept in true branch, but not kept in continuation.
   list.c:23:7: Storage e becomes kept
list.c:25:2: Storage *(l->next) reachable from parameter contains 1 undefined
                field: next
list.c: (in function list_addh2)
list.c:39:2: Storage *(l->next) reachable from parameter contains 1 undefined
                field: next

Finished LCLint checking --- 3 code errors found, as expected
Commit	Line	Data
885824d3	1
8e37b772	2	list.c: (in function list_addh)
	3	list.c:24:5: Variable e is kept in true branch, but not kept in continuation.
	4	list.c:23:7: Storage e becomes kept
	5	list.c:25:2: Storage *(l->next) reachable from parameter contains 1 undefined
	6	field: next
	7	list.c: (in function list_addh2)
	8	list.c:39:2: Storage *(l->next) reachable from parameter contains 1 undefined
	9	field: next
	10
	11	Finished LCLint checking --- 3 code errors found, as expected