Still chasing OpenBSD issue. Add heap dump. Looks like a GC fault.

This commit is contained in:
David Brown 2016-12-13 18:25:50 +00:00
parent 13241fabba
commit a377c7c3bf
3 changed files with 92 additions and 24 deletions

View file

@ -80,7 +80,7 @@ MODULE Heap;
firstTry: BOOLEAN;
(* extensible heap *)
heap: S.ADDRESS; (* the sorted list of heap chunks *)
heap-: S.ADDRESS; (* the sorted list of heap chunks *)
heapNegMin: S.ADDRESS; (* Range of pointer values, used for stack collection *)
heapNegMax: S.ADDRESS;
heapPosMin: S.ADDRESS;