From 70eefd438783e57de1ec44e50160ffc7daf8fd11 Mon Sep 17 00:00:00 2001
From: Richard Kistruck <rhsk@ravenbrook.com>
Date: Fri, 23 Mar 2007 17:30:55 +0000
Subject: [PATCH] Mps br/unfixed-sumamry: calling amcsegallobjsummary() before
 amcscaninner

shows summary is CORRECT.  So: discrepancy between refs seen by
AMCSegAllobjSummary() and those seen by AMCScan() of boarded segment.

Copied from Perforce
 Change: 161996
 ServerID: perforce.ravenbrook.com
---
 mps/code/trace.c | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/mps/code/trace.c b/mps/code/trace.c
index 6178bf5c948..4aadfdd53a2 100644
--- a/mps/code/trace.c
+++ b/mps/code/trace.c
@@ -1125,11 +1125,18 @@ static Res traceScanSegRes(TraceSet ts, Rank rank, Arena arena, Seg seg)
     /* following is true whether or not scan was total */
     /* See <design/scan/#summary.subset>. */
     if (!RefSetSub(ss.unfixedSummary, SegSummary(seg))) {
+      mps_lib_FILE *stream = mps_lib_get_stdout();
+      
       printf("RongRongRongRongRongRongRongRongRongRongRong:\n");
-      printf(" Total? %s:\n",
-             (res == ResOK) && wasTotal
-             ? "YES"
-             : "no");
+      
+      (void) WriteF(stream,
+        "Just done PoolScan....\n",
+        " oldSummary: $B\n", (WriteFB)SegSummary(seg),
+        " unfSummary: $B\n", (WriteFB)ss.unfixedSummary,
+        " (wasTotal && ResOK): $U\n", wasTotal && (res == ResOK),
+        " (Total: $U, Res: $U)\n", wasTotal, res,
+        NULL
+      );
       SegDescribe(seg, mps_lib_get_stdout());
       {
         TraceId ti;