another place-channel finalization repair

This commit is contained in:
Matthew Flatt 2011-09-15 06:38:41 -06:00
parent f1e960c954
commit cc9514f8ca

View File

@ -1558,22 +1558,26 @@ void GC_destroy_orphan_msg_memory(void *param) {
if (msgm->big_pages)
{
mpage *tmp = msgm->big_pages;
mpage *tmp = msgm->big_pages, *next;
next = tmp->next;
free_orphaned_page(gc, tmp);
while (tmp->next) {
tmp = tmp->next;
while (next) {
tmp = next;
next = tmp->next;
free_orphaned_page(gc, tmp);
}
}
if (msgm->pages)
{
mpage *tmp = msgm->pages;
mpage *tmp = msgm->pages, *next;
next = tmp->next;
free_orphaned_page(gc, tmp);
while (tmp->next) {
tmp = tmp->next;
while (next) {
tmp = next;
next = tmp->next;
free_orphaned_page(gc, tmp);
}