[MLton-commit] r5419
Matthew Fluet
fluet at mlton.org
Sun Mar 11 11:24:44 PST 2007
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));
More information about the MLton-commit
mailing list