]>
Commit | Line | Data |
---|---|---|
80ee600a | 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 | ||
11db3170 | 14 | Finished checking --- 4 code warnings, as expected |
80ee600a | 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 | |
24 | ||
11db3170 | 25 | Finished checking --- 3 code warnings, as expected |
80ee600a | 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 | ||
11db3170 | 39 | Finished checking --- 5 code warnings, as expected |
80ee600a | 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 | ||
11db3170 | 56 | Finished checking --- 6 code warnings, as expected |
80ee600a | 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 | ||
11db3170 | 68 | Finished checking --- 4 code warnings, as expected |
80ee600a | 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 | ||
11db3170 | 80 | Finished checking --- 4 code warnings, as expected |