summaryrefslogtreecommitdiff
path: root/rts/sm/Storage.c
diff options
context:
space:
mode:
authorSimon Marlow <marlowsd@gmail.com>2009-12-02 12:11:41 +0000
committerSimon Marlow <marlowsd@gmail.com>2009-12-02 12:11:41 +0000
commit51741bdea146fbc65ad3509c8f97a5ebff1433de (patch)
tree0fdbcf461b9b466e9d41ad4bfa23c1dab03bbc11 /rts/sm/Storage.c
parent70ae60e2ff29cd0425230b11ef09c8f20785663a (diff)
downloadhaskell-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.c54
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 );