summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-05-31 12:18:11 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-05-31 12:18:11 +0000
commit3b084cb4adc1e37061409e9eb4c07e3b6ff6d87b (patch)
tree0aa206957492346617c2e89e7008046eef2b7541
parentd8f8f9ee3b78257e0fdc1f56d4779952d0646f63 (diff)
PR#5389 (followup): update caml_stat_heap_chunks
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--byterun/compact.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/byterun/compact.c b/byterun/compact.c
index b3c75f338..17d574bb7 100644
--- a/byterun/compact.c
+++ b/byterun/compact.c
@@ -438,11 +438,13 @@ void caml_compact_heap (void)
}
Chunk_next (chunk) = caml_heap_start;
caml_heap_start = chunk;
+ ++ caml_stat_heap_chunks;
caml_stat_heap_size += Chunk_size (chunk);
if (caml_stat_heap_size > caml_stat_top_heap_size){
caml_stat_top_heap_size = caml_stat_heap_size;
}
do_compaction ();
+ Assert (caml_stat_heap_chunks == 1);
Assert (Chunk_next (caml_heap_start) == NULL);
}
}