Return an uninitialized header */
| 159 | |
| 160 | /* Return an uninitialized header */ |
| 161 | static hdr * alloc_hdr(void) |
| 162 | { |
| 163 | register hdr * result; |
| 164 | |
| 165 | if (hdr_free_list == 0) { |
| 166 | result = (hdr *) GC_scratch_alloc((word)(sizeof(hdr))); |
| 167 | } else { |
| 168 | result = hdr_free_list; |
| 169 | hdr_free_list = (hdr *) (result -> hb_next); |
| 170 | } |
| 171 | return(result); |
| 172 | } |
| 173 | |
| 174 | static void free_hdr(hdr * hhdr) |
| 175 | { |
no test coverage detected