X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FSanity.c;h=0e68a86ba78d8b7edefd8c61b8e895e29f8cd04a;hb=45252b35151fc55aa19fb6770df5ed8267639083;hp=43200d2ba969ddd41b442fb346227e3e3d57be26;hpb=1446bc7d943c6a92dbd48acf6a2e8fb408cdc6fb;p=ghc-hetmet.git

diff --git a/ghc/rts/Sanity.c b/ghc/rts/Sanity.c
index 43200d2..0e68a86 100644
--- a/ghc/rts/Sanity.c
+++ b/ghc/rts/Sanity.c
@@ -1,6 +1,6 @@
 /* -----------------------------------------------------------------------------
  *
- * (c) The GHC Team, 1998-2001
+ * (c) The GHC Team, 1998-2006
  *
  * Sanity checking code for the heap and stack.
  *
@@ -280,7 +280,7 @@ checkClosure( StgClosure* p )
 	for (i = 0; i < info->layout.payload.ptrs; i++) {
 	  ASSERT(LOOKS_LIKE_CLOSURE_PTR(((StgThunk *)p)->payload[i]));
 	}
-	return stg_max(thunk_sizeW_fromITBL(info), sizeofW(StgHeader)+MIN_UPD_SIZE);
+	return thunk_sizeW_fromITBL(info);
       }
 
     case FUN:
@@ -305,7 +305,8 @@ checkClosure( StgClosure* p )
     case BLACKHOLE:
     case CAF_BLACKHOLE:
     case STABLE_NAME:
-    case MUT_VAR:
+    case MUT_VAR_CLEAN:
+    case MUT_VAR_DIRTY:
     case CONSTR_INTLIKE:
     case CONSTR_CHARLIKE:
     case CONSTR_STATIC:
@@ -358,7 +359,7 @@ checkClosure( StgClosure* p )
 	     */
 	    StgInd *ind = (StgInd *)p;
 	    ASSERT(LOOKS_LIKE_CLOSURE_PTR(ind->indirectee));
-	    return sizeofW(StgHeader) + MIN_UPD_SIZE;
+	    return sizeofW(StgInd);
 	}
 
     case RET_BCO:
@@ -400,7 +401,8 @@ checkClosure( StgClosure* p )
     case ARR_WORDS:
 	    return arr_words_sizeW((StgArrWords *)p);
 
-    case MUT_ARR_PTRS:
+    case MUT_ARR_PTRS_CLEAN:
+    case MUT_ARR_PTRS_DIRTY:
     case MUT_ARR_PTRS_FROZEN:
     case MUT_ARR_PTRS_FROZEN0:
 	{
@@ -547,7 +549,7 @@ checkHeap(bdescr *bd)
 {
     StgPtr p;
 
-#if defined(SMP)
+#if defined(THREADED_RTS)
     // heap sanity checking doesn't work with SMP, because we can't
     // zero the slop (see Updates.h).
     return;
@@ -558,7 +560,7 @@ checkHeap(bdescr *bd)
 	while (p < bd->free) {
 	    nat size = checkClosure((StgClosure *)p);
 	    /* This is the smallest size of closure that can live in the heap */
-	    ASSERT( size >= MIN_NONUPD_SIZE + sizeofW(StgHeader) );
+	    ASSERT( size >= MIN_PAYLOAD_SIZE + sizeofW(StgHeader) );
 	    p += size;
 	    
 	    /* skip over slop */
@@ -588,11 +590,11 @@ checkHeapChunk(StgPtr start, StgPtr end)
       size = sizeofW(StgFetchMe);
     } else if (get_itbl((StgClosure*)p)->type == IND) {
       *(p+2) = 0x0000ee11; /* mark slop in IND as garbage */
-      size = MIN_UPD_SIZE;
+      size = sizeofW(StgInd);
     } else {
       size = checkClosure((StgClosure *)p);
       /* This is the smallest size of closure that can live in the heap. */
-      ASSERT( size >= MIN_NONUPD_SIZE + sizeofW(StgHeader) );
+      ASSERT( size >= MIN_PAYLOAD_SIZE + sizeofW(StgHeader) );
     }
   }
 }
@@ -607,7 +609,7 @@ checkHeapChunk(StgPtr start, StgPtr end)
     ASSERT(LOOKS_LIKE_INFO_PTR((void*)*p));
     size = checkClosure((StgClosure *)p);
     /* This is the smallest size of closure that can live in the heap. */
-    ASSERT( size >= MIN_NONUPD_SIZE + sizeofW(StgHeader) );
+    ASSERT( size >= MIN_PAYLOAD_SIZE + sizeofW(StgHeader) );
   }
 }
 #endif