[MLton-commit] r5419

[Matthew Fluet]

asserts
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/invariant.c

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/invariant.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/invariant.c	2007-03-11 17:07:56 UTC (rev 5418)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/invariant.c	2007-03-11 19:24:44 UTC (rev 5419)
@@ -59,9 +59,10 @@
   assert (isFrontierAligned (s, s->heap.start + s->heap.oldGenSize));
   assert (isFrontierAligned (s, s->heap.nursery));
   assert (isFrontierAligned (s, s->frontier));
+  assert (s->heap.start + s->heap.oldGenSize <= s->heap.nursery);
+  assert (s->heap.nursery <= s->heap.start + s->heap.size);
   assert (s->heap.nursery <= s->frontier);
   unless (0 == s->heap.size) {
-    assert (s->heap.nursery <= s->frontier);
     assert (s->frontier <= s->limitPlusSlop);
     assert (s->limit == s->limitPlusSlop - GC_HEAP_LIMIT_SLOP);
     assert (hasHeapBytesFree (s, 0, 0));