]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | list.c: (in function list_addh) | |
3 | list.c:24:5: Variable e is kept in true branch, but not kept in continuation. | |
16c024b5 | 4 | list.c:24:5: in true branch: |
885824d3 | 5 | list.c:23:7: Storage e becomes kept |
16c024b5 | 6 | list.c:24:5: in continuation: |
7 | list.c:12:22: Storage e becomes only | |
885824d3 | 8 | list.c:25:2: Storage *(l->next) reachable from parameter contains 1 undefined |
9 | field: next | |
10 | list.c: (in function list_addh2) | |
11 | list.c:39:2: Storage *(l->next) reachable from parameter contains 1 undefined | |
12 | field: next | |
13 | ||
11db3170 | 14 | Finished checking --- 3 code warnings, as expected |