Revision 80f93e0a
Added by Xavier Thirioux over 6 years ago
| src/backends/C/c_backend_header.ml | ||
|---|---|---|
| 177 | 177 |
begin |
| 178 | 178 |
(* Dynamic allocation *) |
| 179 | 179 |
fprintf fmt "extern %a;@.@." |
| 180 |
print_alloc_prototype (m.mname.node_id, m.mstatic) |
|
| 180 |
print_alloc_prototype (m.mname.node_id, m.mstatic); |
|
| 181 |
|
|
| 182 |
fprintf fmt "extern %a;@.@." |
|
| 183 |
print_dealloc_prototype m.mname.node_id; |
|
| 181 | 184 |
end; |
| 182 | 185 |
let self = mk_self m in |
| 183 | 186 |
fprintf fmt "extern %a;@.@." |
| ... | ... | |
| 219 | 222 |
else |
| 220 | 223 |
begin |
| 221 | 224 |
(* Dynamic allocation *) |
| 222 |
fprintf fmt "extern %a;@." |
|
| 223 |
print_alloc_prototype (m.mname.node_id, m.mstatic) |
|
| 225 |
fprintf fmt "extern %a;@.@." |
|
| 226 |
print_alloc_prototype (m.mname.node_id, m.mstatic); |
|
| 227 |
|
|
| 228 |
fprintf fmt "extern %a;@.@." |
|
| 229 |
print_dealloc_prototype m.mname.node_id |
|
| 224 | 230 |
end |
| 225 | 231 |
end |
| 226 | 232 |
|
Also available in: Unified diff
added deallocation for dynamic memory allocation scheme