version 1.1, 1999/12/03 07:39:09 |
version 1.2, 2001/04/20 07:39:18 |
|
|
if (pe -> block != 0 && pe -> block != h + OFFSET) ABORT("goofed"); |
if (pe -> block != 0 && pe -> block != h + OFFSET) ABORT("goofed"); |
pe -> old_sum = pe -> new_sum; |
pe -> old_sum = pe -> new_sum; |
pe -> new_sum = GC_checksum(h); |
pe -> new_sum = GC_checksum(h); |
# ifndef MSWIN32 |
# if !defined(MSWIN32) && !defined(MSWINCE) |
if (pe -> new_sum != 0 && !GC_page_was_ever_dirty(h)) { |
if (pe -> new_sum != 0 && !GC_page_was_ever_dirty(h)) { |
GC_printf1("GC_page_was_ever_dirty(0x%lx) is wrong\n", |
GC_printf1("GC_page_was_ever_dirty(0x%lx) is wrong\n", |
(unsigned long)h); |
(unsigned long)h); |