diff options
| -rw-r--r-- | rts/sm/Sanity.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/rts/sm/Sanity.c b/rts/sm/Sanity.c index 8e8dabb7d1..74f3bb6901 100644 --- a/rts/sm/Sanity.c +++ b/rts/sm/Sanity.c @@ -848,6 +848,13 @@ static void checkGeneration (generation *gen, total_cnf_blocks += n_nonmoving_compact_blocks + oldest_gen->n_compact_blocks; total_cnf_blocks += n_nonmoving_marked_compact_blocks; + if (counted_cnf_blocks != total_cnf_blocks) { + debugBelch("count(nonmoving_compact_objects = %ld\n", countCompactBlocks(nonmoving_compact_objects)); + debugBelch("n_nonmoving_compact_blocks = %ld\n", n_nonmoving_compact_blocks); + debugBelch("oldest_gen->n_compact_blocks = %ld\n", oldest_gen->n_compact_blocks); + debugBelch("count(nonmoving_marked_compact_objects = %ld\n", countCompactBlocks(nonmoving_marked_compact_objects)); + debugBelch("n_nonmoving_marked_compact_blocks = %ld\n", n_nonmoving_marked_compact_blocks); + } ASSERT(counted_cnf_blocks == total_cnf_blocks); } |