diff options
author | Simon Marlow <marlowsd@gmail.com> | 2009-12-02 12:11:41 +0000 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2009-12-02 12:11:41 +0000 |
commit | 51741bdea146fbc65ad3509c8f97a5ebff1433de (patch) | |
tree | 0fdbcf461b9b466e9d41ad4bfa23c1dab03bbc11 /rts/sm/Storage.c | |
parent | 70ae60e2ff29cd0425230b11ef09c8f20785663a (diff) | |
download | haskell-51741bdea146fbc65ad3509c8f97a5ebff1433de.tar.gz |
move sanity checking code from Storage.c to Sanity.c
Diffstat (limited to 'rts/sm/Storage.c')
-rw-r--r-- | rts/sm/Storage.c | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/rts/sm/Storage.c b/rts/sm/Storage.c index 5d371b9bf1..2b372a55cd 100644 --- a/rts/sm/Storage.c +++ b/rts/sm/Storage.c @@ -1292,60 +1292,6 @@ memInventory (rtsBool show) } -/* Full heap sanity check. */ -void -checkSanity( void ) -{ - nat g, s; - - for (g = 0; g < RtsFlags.GcFlags.generations; g++) { - for (s = 0; s < generations[g].n_steps; s++) { - if (g == 0 && s == 0 && RtsFlags.GcFlags.generations > 1) { - continue; - } - ASSERT(countBlocks(generations[g].steps[s].blocks) - == generations[g].steps[s].n_blocks); - ASSERT(countBlocks(generations[g].steps[s].large_objects) - == generations[g].steps[s].n_large_blocks); - checkHeap(generations[g].steps[s].blocks); - checkLargeObjects(generations[g].steps[s].large_objects); - } - } - - for (s = 0; s < n_nurseries; s++) { - ASSERT(countBlocks(nurseries[s].blocks) - == nurseries[s].n_blocks); - ASSERT(countBlocks(nurseries[s].large_objects) - == nurseries[s].n_large_blocks); - } - - checkFreeListSanity(); - -#if defined(THREADED_RTS) - // check the stacks too in threaded mode, because we don't do a - // full heap sanity check in this case (see checkHeap()) - checkMutableLists(rtsTrue); -#else - checkMutableLists(rtsFalse); -#endif -} - -/* Nursery sanity check */ -void -checkNurserySanity( step *stp ) -{ - bdescr *bd, *prev; - nat blocks = 0; - - prev = NULL; - for (bd = stp->blocks; bd != NULL; bd = bd->link) { - ASSERT(bd->u.back == prev); - prev = bd; - blocks += bd->blocks; - } - ASSERT(blocks == stp->n_blocks); -} - // handy function for use in gdb, because Bdescr() is inlined. extern bdescr *_bdescr( StgPtr p ); |