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
7 list.c: (in function list_addh2)
8 list.c:39:2: Storage *(l->next) reachable from parameter contains 1 undefined
11 Finished checking --- 3 code warnings, as expected