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:
12 linked.c:21:13: Storage nn may become null
14 Finished checking --- 4 code warnings, as expected
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:
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)
25 Finished checking --- 3 code warnings, as expected
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
39 Finished checking --- 5 code warnings, as expected
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
56 Finished checking --- 6 code warnings, as expected
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)
68 Finished checking --- 4 code warnings, as expected
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
80 Finished checking --- 4 code warnings, as expected