]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
3e3ec469 | 2 | null1.c: (in function ptrpred) |
3 | null1.c:7:22: Out storage x not defined before return | |
885824d3 | 4 | null1.c: (in function f) |
5 | null1.c:19:20: Implicitly temp storage x returned as only: x | |
6 | null1.c:19:20: Possibly null storage x returned as non-null: x | |
7 | null1.c:10:35: Storage x may become null | |
8 | null1.c:19:22: Fresh storage y not released before return | |
16c024b5 | 9 | null1.c:12:41: Fresh storage y created |
885824d3 | 10 | null1.c:31:4: Dereference of possibly null pointer y: *y |
11 | null1.c:12:12: Storage y may become null | |
12 | null1.c:34:5: Possibly null storage z passed as non-null param: g (z) | |
13 | null1.c:25:7: Storage z may become null | |
14 | null1.c:34:5: Passed storage z not completely defined (*z is undefined): g (z) | |
16c024b5 | 15 | null1.c:25:3: Storage *z allocated |
885824d3 | 16 | null1.c:39:14: Dereference of null pointer z: *z |
17 | null1.c:25:7: Storage z becomes null | |
18 | null1.c:43:22: Dereference of possibly null pointer z4: *z4 | |
19 | null1.c:42:8: Storage z4 may become null | |
20 | null1.c:46:25: Dereference of possibly null pointer z2: *z2 | |
21 | null1.c:26:8: Storage z2 may become null | |
22 | null1.c:49:11: Dereference of possibly null pointer z3: *z3 | |
23 | null1.c:27:8: Storage z3 may become null | |
24 | null1.c:55:4: Dereference of possibly null pointer z2: *z2 | |
25 | null1.c:51:8: Storage z2 may become null | |
26 | null1.c:59:23: Dereference of possibly null pointer z5: *z5 | |
27 | null1.c:57:8: Storage z5 may become null | |
28 | null1.c:67:10: Possibly null storage z returned as non-null: z | |
29 | null1.c:25:7: Storage z may become null | |
30 | null1.c:67:12: Fresh storage z3 not released before return | |
16c024b5 | 31 | null1.c:27:3: Fresh storage z3 created |
885824d3 | 32 | |
3e3ec469 | 33 | Finished checking --- 15 code warnings, as expected |
885824d3 | 34 | |
35 | null1.c: (in function f) | |
36 | null1.c:19:20: Implicitly temp storage x returned as only: x | |
37 | null1.c:19:22: Fresh storage y not released before return | |
16c024b5 | 38 | null1.c:12:41: Fresh storage y created |
885824d3 | 39 | null1.c:34:5: Passed storage z not completely defined (*z is undefined): g (z) |
16c024b5 | 40 | null1.c:25:3: Storage *z allocated |
885824d3 | 41 | null1.c:67:12: Fresh storage z3 not released before return |
16c024b5 | 42 | null1.c:27:3: Fresh storage z3 created |
885824d3 | 43 | |
11db3170 | 44 | Finished checking --- 4 code warnings, as expected |
885824d3 | 45 | |
3e3ec469 | 46 | null2.c: (in function ptrpred) |
47 | null2.c:7:22: Out storage x not defined before return | |
885824d3 | 48 | null2.c: (in function f) |
49 | null2.c:15:10: Left operand of && is non-boolean (int *): x1 && (*x1 == 3) | |
50 | null2.c:16:19: Dereference of possibly null pointer x2: *x2 | |
51 | null2.c:10:55: Storage x2 may become null | |
52 | null2.c:17:18: Dereference of possibly null pointer x3: *x3 | |
53 | null2.c:11:21: Storage x3 may become null | |
54 | null2.c:17:10: Left operand of || is non-boolean (int *): x3 || (*x3 == 3) | |
55 | null2.c:20:27: Dereference of possibly null pointer x1: *x1 | |
56 | null2.c:10:35: Storage x1 may become null | |
57 | null2.c:23:7: Left operand of && is non-boolean (int *): x4 && (*x4 == 3) | |
58 | null2.c:30:8: Dereference of possibly null pointer x4: *x4 | |
59 | null2.c:11:41: Storage x4 may become null | |
60 | null2.c:35:14: Implicitly temp storage x3 returned as only: (x3) | |
61 | null2.c:35:14: Possibly null storage x3 returned as non-null: (x3) | |
62 | null2.c:11:21: Storage x3 may become null | |
63 | null2.c:39:10: Implicitly temp storage x1 returned as only: (x1) | |
64 | ||
3e3ec469 | 65 | Finished checking --- 11 code warnings, as expected |
885824d3 | 66 | |
67 | null3.c: (in function f3) | |
68 | null3.c:16:4: Dereference of possibly null pointer gnip: *gnip | |
69 | null3.c:3:25: Storage gnip may become null | |
70 | null3.c: (in function f) | |
71 | null3.c:27:4: Dereference of possibly null pointer arg0: *arg0 | |
72 | null3.c:37:8: Dereference of possibly null pointer z: *z | |
73 | null3.c:25:12: Storage z may become null | |
74 | null3.c:38:16: Only storage aip not released before return | |
75 | null3.c:22:66: Storage aip becomes only | |
76 | null3.c:44:4: Dereference of possibly null pointer arg2: *arg2 | |
77 | null3.c:52:4: Dereference of possibly null pointer gnip: *gnip | |
78 | null3.c:51:10: Storage gnip may become null | |
79 | null3.c:53:9: Variable z used after being released | |
80 | null3.c:51:3: Storage z released | |
80ee600a | 81 | null3.c:53:3: Only storage gip (type int *) not released before assignment (z |
82 | aliases gnip): gip = z | |
885824d3 | 83 | null3.c:5:17: Storage gip becomes only |
80ee600a | 84 | null3.c:55:3: Only storage gnip (type nip) not released before assignment: |
85 | gnip = aip | |
4fab1d8a | 86 | null3.c:53:3: Storage gnip becomes kept |
885824d3 | 87 | null3.c:60:14: Returned storage y not completely defined (*y is undefined): y |
16c024b5 | 88 | null3.c:24:42: Storage *y allocated |
885824d3 | 89 | null3.c:60:16: Function returns with non-null global gip referencing null |
90 | storage | |
91 | null3.c:53:9: Storage gip may become null | |
92 | null3.c:65:14: Possibly null storage y returned as non-null: y | |
93 | null3.c:24:12: Storage y may become null | |
94 | null3.c:65:14: Returned storage y not completely defined (*y is undefined): y | |
16c024b5 | 95 | null3.c:24:42: Storage *y allocated |
885824d3 | 96 | null3.c:65:16: Function returns with non-null global gip referencing null |
97 | storage | |
98 | null3.c:53:9: Storage gip may become null | |
99 | null3.c: (in function f2) | |
100 | null3.c:73:4: Dereference of possibly null pointer gnip: *gnip | |
101 | null3.c:55:10: Storage gnip may become null | |
102 | ||
11db3170 | 103 | Finished checking --- 15 code warnings, as expected |
885824d3 | 104 | |
105 | null3.c: (in function f3) | |
106 | null3.c:16:4: Dereference of possibly null pointer gnip: *gnip | |
107 | null3.c:3:25: Storage gnip may become null | |
108 | null3.c: (in function f) | |
109 | null3.c:27:4: Dereference of possibly null pointer arg0: *arg0 | |
110 | null3.c:35:13: Possibly null storage y passed as non-null param: free (y) | |
111 | null3.c:24:12: Storage y may become null | |
112 | null3.c:37:8: Dereference of possibly null pointer z: *z | |
113 | null3.c:25:12: Storage z may become null | |
114 | null3.c:38:16: Only storage aip not released before return | |
115 | null3.c:22:66: Storage aip becomes only | |
116 | null3.c:44:4: Dereference of possibly null pointer arg2: *arg2 | |
117 | null3.c:52:4: Dereference of possibly null pointer gnip: *gnip | |
118 | null3.c:51:10: Storage gnip may become null | |
119 | null3.c:53:9: Variable z used after being released | |
120 | null3.c:51:3: Storage z released | |
80ee600a | 121 | null3.c:53:3: Only storage gip (type int *) not released before assignment (z |
122 | aliases gnip): gip = z | |
885824d3 | 123 | null3.c:5:17: Storage gip becomes only |
80ee600a | 124 | null3.c:55:3: Only storage gnip (type nip) not released before assignment: |
125 | gnip = aip | |
16c024b5 | 126 | null3.c:53:3: Storage gnip becomes kept |
885824d3 | 127 | null3.c:60:14: Returned storage y not completely defined (*y is undefined): y |
16c024b5 | 128 | null3.c:24:42: Storage *y allocated |
885824d3 | 129 | null3.c:60:16: Function returns with non-null global gip referencing null |
130 | storage | |
131 | null3.c:53:9: Storage gip may become null | |
132 | null3.c:65:14: Possibly null storage y returned as non-null: y | |
133 | null3.c:24:12: Storage y may become null | |
134 | null3.c:65:14: Returned storage y not completely defined (*y is undefined): y | |
16c024b5 | 135 | null3.c:24:42: Storage *y allocated |
885824d3 | 136 | null3.c:65:16: Function returns with non-null global gip referencing null |
137 | storage | |
138 | null3.c:53:9: Storage gip may become null | |
139 | null3.c: (in function f2) | |
140 | null3.c:73:4: Dereference of possibly null pointer gnip: *gnip | |
141 | null3.c:55:10: Storage gnip may become null | |
142 | ||
11db3170 | 143 | Finished checking --- 16 code warnings, as expected |
885824d3 | 144 | |
145 | null4.c: (in function g) | |
80ee600a | 146 | null4.c:43:3: Only storage p (type int *) not released before assignment: |
147 | p = malloc(24) | |
885824d3 | 148 | null4.c:3:28: Storage p becomes only |
149 | ||
11db3170 | 150 | Finished checking --- 1 code warning, as expected |
885824d3 | 151 | |
80ee600a | 152 | null5.c:5:29: Qualifier falsenull used with function returning char (should |
885824d3 | 153 | return bool) |
80ee600a | 154 | null5.c:6:29: Qualifier falsenull used with function having 2 arguments (should |
885824d3 | 155 | have 1) |
156 | null5.c: (in function g2) | |
157 | null5.c:26:15: Dereference of possibly null pointer y: *y | |
158 | null5.c:18:25: Storage y may become null | |
159 | null5.c: (in function g3) | |
160 | null5.c:37:11: Dereference of null pointer y: *y | |
161 | null5.c:30:25: Storage y becomes null | |
162 | ||
11db3170 | 163 | Finished checking --- 4 code warnings, as expected |
885824d3 | 164 | |
165 | null6.c:7:36: Function f1 declared with notnull parameter x of abstract type | |
166 | mnull | |
167 | null6.c: (in function f) | |
168 | null6.c:11:11: Dereference of possibly null pointer x: *x | |
169 | null6.c: (in function f6) | |
170 | null6.c:68:10: Possibly null storage x returned as non-null: x | |
171 | null6.c:61:31: Storage x may become null | |
172 | null6.c: (in function f7) | |
173 | null6.c:84:10: Possibly null storage x returned as non-null: x | |
174 | null6.c:81:11: Storage x may become null | |
175 | ||
11db3170 | 176 | Finished checking --- 4 code warnings, as expected |
885824d3 | 177 | |
178 | null6.c:7:36: Function f1 declared with notnull parameter x of abstract type | |
179 | mnull | |
180 | null6.c: (in function f) | |
181 | null6.c:11:11: Dereference of possibly null pointer x: *x | |
182 | null6.c: (in function f6) | |
183 | null6.c:68:10: Possibly null storage x returned as non-null: x | |
184 | null6.c:61:31: Storage x may become null | |
185 | null6.c: (in function f7) | |
186 | null6.c:84:10: Possibly null storage x returned as non-null: x | |
187 | null6.c:81:11: Storage x may become null | |
188 | ||
11db3170 | 189 | Finished checking --- 4 code warnings, as expected |