1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
list.c: (in function list_addh)
list.c:24:5: Variable e is kept in true branch, but not kept in continuation.
list.c:24:5: in true branch:
list.c:23:7: Storage e becomes kept
list.c:24:5: in continuation:
list.c:12:22: Storage e becomes only
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 checking --- 3 code warnings, as expected
|
