test/list.expect

   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.
   4    list.c:24:5: in true branch:
   5    list.c:23:7: Storage e becomes kept
   6    list.c:24:5: in continuation:
   7    list.c:12:22: Storage e becomes only
   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
  14 Finished checking --- 3 code warnings, as expected