Permalink
Browse files

Added debugging statements in the runtime code at the two assertions …

…that fail during garbage collection
  • Loading branch information...
1 parent afd2373 commit 6eca95c0f65a3b2f908316f5af7ce0dda02dd0aa @colinbenner colinbenner committed Mar 15, 2012
Showing with 4 additions and 0 deletions.
  1. +2 −0 src/byterun/major_gc.c
  2. +2 −0 src/byterun/minor_gc.c
View
@@ -92,6 +92,8 @@ void caml_darken (value v, value *p /* not used */)
h = Hd_val (v);
t = Tag_hd (h);
}
+ if (Is_blue_hd(h))
+ printf("%lx\n", h);
CAMLassert (!Is_blue_hd (h));
if (Is_white_hd (h)){
if (t < No_scan_tag){
View
@@ -117,6 +117,8 @@ void caml_oldify_one (value v, value *p)
tail_call:
if (Is_block (v) && Is_young (v)){
+ if (Hp_val(v) < caml_young_ptr)
+ printf("%lx, %lx\n", Hp_val(v), caml_young_ptr);
Assert (Hp_val (v) >= caml_young_ptr);
hd = Hd_val (v);
if (hd == 0){ /* If already forwarded */

0 comments on commit 6eca95c

Please sign in to comment.