test/linked.expect

   1
   2 linked.c: (in function node_free1)
   3 linked.c:10:9: Only storage n->next (type node) derived from released storage
   4                   is not released (memory leak): n
   5 linked.c: (in function node_free2)
   6 linked.c:17:2: Only storage nn not released before return
   7    linked.c:16:9: Storage nn becomes only
   8 linked.c:15:8: Variable nn declared but not used
   9 linked.c: (in function node_free3)
  10 linked.c:23:15: Possibly null storage nn passed as non-null param:
  11                    node_free1 (nn)
  12    linked.c:21:13: Storage nn may become null
  13
  14 Finished checking --- 4 code warnings, as expected
  15
  16 linked2.c: (in function node_free2)
  17 linked2.c:15:8: Variable nn declared but not used
  18 linked2.c: (in function node_free3)
  19 linked2.c:23:15: Possibly null storage nn passed as non-null param:
  20                     node_free1 (nn)
  21    linked2.c:21:13: Storage nn may become null
  22 linked2.c:23:15: Dependent storage nn passed as only param: node_free1 (nn)
  23    linked2.c:23:15: Storage nn becomes dependent (through alias n->next)
  24
  25 Finished checking --- 3 code warnings, as expected
  26
  27 linked3.c: (in function node_free1)
  28 linked3.c:10:9: Only storage n->val (type char *) derived from released storage
  29                    is not released (memory leak): n
  30 linked3.c:10:9: Only storage n->next (type node) derived from released storage
  31                    is not released (memory leak): n
  32 linked3.c: (in function node_free2)
  33 linked3.c:16:9: Only storage n->val (type char *) derived from released storage
  34                    is not released (memory leak): n
  35 linked3.c:17:2: Only storage nn not released before return
  36    linked3.c:16:9: Storage nn becomes only
  37 linked3.c:15:8: Variable nn declared but not used
  38
  39 Finished checking --- 5 code warnings, as expected
  40
  41 linked4.c: (in function node_free1)
  42 linked4.c:14:9: Only storage n->val (type item) derived from released storage
  43                    is not released (memory leak): n
  44 linked4.c:14:9: Only storage n->next (type node) derived from released storage
  45                    is not released (memory leak): n
  46 linked4.c: (in function node_free2)
  47 linked4.c:20:9: Only storage n->val (type item) derived from released storage
  48                    is not released (memory leak): n
  49 linked4.c:21:2: Only storage nn not released before return
  50    linked4.c:20:9: Storage nn becomes only
  51 linked4.c:19:8: Variable nn declared but not used
  52 linked4.c: (in function node_free3)
  53 linked4.c:26:9: Only storage n->val->val (type char *) derived from released
  54                    storage is not released (memory leak): n->val
  55
  56 Finished checking --- 6 code warnings, as expected
  57
  58 linked5.c: (in function node_free1)
  59 linked5.c:14:9: Only storage n->next (type node) derived from released storage
  60                    is not released (memory leak): n
  61 linked5.c: (in function node_free2)
  62 linked5.c:21:2: Only storage nn not released before return
  63    linked5.c:20:9: Storage nn becomes only
  64 linked5.c:19:8: Variable nn declared but not used
  65 linked5.c: (in function node_free3)
  66 linked5.c:26:9: Dependent storage n->val passed as only param: free (n->val)
  67
  68 Finished checking --- 4 code warnings, as expected
  69
  70 linked6.c: (in function node_free1)
  71 linked6.c:16:9: Only storage n->val (type item) derived from released storage
  72                    is not released (memory leak): n
  73 linked6.c:16:9: Only storage n->next (type node) derived from released storage
  74                    is not released (memory leak): n
  75 linked6.c: (in function node_free2)
  76 linked6.c:24:2: Only storage nn not released before return
  77    linked6.c:23:9: Storage nn becomes only
  78 linked6.c:21:8: Variable nn declared but not used
  79
  80 Finished checking --- 4 code warnings, as expected