$Id: //info.ravenbrook.com/project/mps/doc/2006-12-18/job001548-summary/out-segdesc01.txt#1 $ Copyright (C) 2006, Ravenbrook Limited. All rights reserved. SegDescribe output for segments that violate RefSetSub(ss.unfixedSummary, SegSummary(seg)). From the following code: ==== //info.ravenbrook.com/project/mps/branch/2006-12-15/unfixed-summary/code/trace.c#1 - /Users/richardk/mps/branch/2006-12-15/unfixed-summary/code/trace.c ==== @@ -1106,6 +1106,15 @@ TRACE_SET_ITER_END(ti, trace, ts, arena); }); + { + static int fOnce = 0; + if (!fOnce && !RefSetSub(ss.unfixedSummary, SegSummary(seg))) { + fOnce = 1; + + SegDescribe(seg, mps_lib_get_stderr()); + } + } + /* following is true whether or not scan was total */ /* See . */ AVER(RefSetSub(ss.unfixedSummary, SegSummary(seg))); ==================================================================== Conclusion: Failed to find any defects. . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. . . . --- mpsicv {hi} --- Segment 03FD9AC0 [038C9000,038CA000) { class 0005C294 ("AMCSEG") pool 03FFE278 (7) shield depth 1 protection mode: shield mode: read write ranks: exact white 00000000000000000000000000000001 grey 00000000000000000000000000000001 nailed 00000000000000000000000000000001 AMC seg 03FD9AC0 [038C9000,038CA000){ Map 038C9000 *========*===================*===================*=========*==== 038C9100 =*=*====================*=====*===*============*================ 038C9200 ===*==========*======*=========*=======*======*=====*=========== 038C9300 ======*==*================*==*===*==========*===========*===*=== 038C9400 ======*==*==========*====================*===*=======*=======*== 038C9500 =========*==========*===============*=======*==============*==== 038C9600 ================*===================*======*=*==========*======= 038C9700 *======*============*=================*=======*=============*=== 038C9800 ==========*==========*=========*=========*===========*========== 038C9900 *=======*=*=============*========*=============*===========*==== 038C9A00 ============*====*=*==============*==============*============== 038C9B00 ======*============*===================*==*===================*= 038C9C00 =========*====================*=================*=============== 038C9D00 =====*===*=====*============*===*=========*========*===========* 038C9E00 ==============*================================================= 038C9F00 ================================================================ } AMC Seg 03FD9AC0 } Segment 03FD9AC0 MPS ASSERTION FAILURE: RefSetSub(ss.unfixedSummary, SegSummary(seg)) trace.c 1120 . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. . . . --- mpsicv {hi} --- Segment 03FD1E40 [038C9000,038CA000) { class 0005C294 ("AMCSEG") pool 03FFE278 (7) shield depth 1 protection mode: shield mode: read write ranks: exact white 00000000000000000000000000000001 grey 00000000000000000000000000000001 nailed 00000000000000000000000000000001 AMC seg 03FD1E40 [038C9000,038CA000){ Map 038C9000 *========*===================*===================*=========*==== 038C9100 =*=*====================*=====*===*============*================ 038C9200 ===*==========*======*=========*=======*======*=====*=========== 038C9300 ======*==*================*==*===*==========*===========*===*=== 038C9400 ======*==*==========*====================*===*=======*=======*== 038C9500 =========*==========*===============*=======*==============*==== 038C9600 ================*===================*======*=*==========*======= 038C9700 *======*============*=================*=======*=============*=== 038C9800 ==========*==========*=========*=========*===========*========== 038C9900 *=======*=*=============*========*=============*===========*==== 038C9A00 ============*====*=*==============*==============*============== 038C9B00 ======*============*===================*==*===================*= 038C9C00 =========*====================*=================*=============== 038C9D00 =====*===*=====*============*===*=========*========*===========* 038C9E00 ==============*================================================= 038C9F00 ================================================================ } AMC Seg 03FD1E40 } Segment 03FD1E40 MPS ASSERTION FAILURE: RefSetSub(ss.unfixedSummary, SegSummary(seg)) trace.c 1120 . . . --- mpsicv {hi} --- Segment 03FD00C0 [0392A000,0392B000) { class 0005C294 ("AMCSEG") pool 03FFE278 (7) shield depth 1 protection mode: shield mode: read write ranks: exact white 00000000000000000000000000000001 grey 00000000000000000000000000000001 nailed 00000000000000000000000000000001 AMC seg 03FD00C0 [0392A000,0392B000){ Map 0392A000 *=============*=========*=======*=======*===============*======= 0392A100 =========*===========*==================*================*=====* 0392A200 ==============*===================*===========*========*====*=== 0392A300 *===========*=*=============*=======*======*==========*===*=*==* 0392A400 ========*================*=================*==================== 0392A500 *================*===============*=========*=====*============== 0392A600 ==*=========*=======*=====*=*=*===============*===============*= 0392A700 ==*===============*======*=================*==*==========*====== 0392A800 ========*=*====*=================*=============*=====*========== 0392A900 *=============================================================== 0392AA00 ================================================================ 0392AB00 ================================================================ 0392AC00 ================================================================ 0392AD00 ================================================================ 0392AE00 ================================================================ 0392AF00 ================================================================ } AMC Seg 03FD00C0 } Segment 03FD00C0 MPS ASSERTION FAILURE: RefSetSub(ss.unfixedSummary, SegSummary(seg)) trace.c 1120 . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. DONE duck:~/mps/branch/2006-12-15/unfixed-summary/code richardk$ ./run.py === Tests: {[mpsicv, mpsicv, mpsicv, mpsicv, mpsicv, mpsicv, mpsicv, mpsicv, mpsicv, mpsicv]} {[hi]} === . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. . . . --- mpsicv {hi} --- Segment 03FD32C0 [03EAE000,03EAF000) { class 0005C294 ("AMCSEG") pool 03FFE278 (7) shield depth 1 protection mode: shield mode: read write ranks: exact white 00000000000000000000000000000001 grey 00000000000000000000000000000001 nailed 00000000000000000000000000000001 AMC seg 03FD32C0 [03EAE000,03EAF000){ Map 03EAE000 *===============*========*===============*=========*==*===*===== 03EAE100 ==========*============*=========*=*=================*========== 03EAE200 ====*===============*=============*=================*=========== 03EAE300 ===*====================*=========*================*============ 03EAE400 ========*============*===================*======*=============== 03EAE500 =====*==============*============*==================*========*== 03EAE600 ===============*===========*===============*========*=========== 03EAE700 ====*=====*=================*======*=========*================== 03EAE800 =*===================*=*===============*=================*====*= 03EAE900 =================*=====*========*===============*=============== 03EAEA00 =*=============*=========*=======*==*==============*=======*===* 03EAEB00 ===============*==*==========*===================*====*========= 03EAEC00 =====*===============*===================*================*===== 03EAED00 ======*========*================*====*==================*======= 03EAEE00 ======*===============*===*==============*==============*======= 03EAEF00 ============*============*=*===================*================ } AMC Seg 03FD32C0 } Segment 03FD32C0 MPS ASSERTION FAILURE: RefSetSub(ss.unfixedSummary, SegSummary(seg)) trace.c 1120 . . . --- mpsicv {hi} --- Segment 03FD3280 [03EAE000,03EAF000) { class 0005C294 ("AMCSEG") pool 03FFE278 (7) shield depth 1 protection mode: shield mode: read write ranks: exact white 00000000000000000000000000000001 grey 00000000000000000000000000000001 nailed 00000000000000000000000000000001 AMC seg 03FD3280 [03EAE000,03EAF000){ Map 03EAE000 *===============*========*===============*=========*==*===*===== 03EAE100 ==========*============*=========*=*=================*========== 03EAE200 ====*===============*=============*=================*=========== 03EAE300 ===*====================*=========*================*============ 03EAE400 ========*============*===================*======*=============== 03EAE500 =====*==============*============*==================*========*== 03EAE600 ===============*===========*===============*========*=========== 03EAE700 ====*=====*=================*======*=========*================== 03EAE800 =*===================*=*===============*=================*====*= 03EAE900 =================*=====*========*===============*=============== 03EAEA00 =*=============*=========*=======*==*==============*=======*===* 03EAEB00 ===============*==*==========*===================*====*========= 03EAEC00 =====*===============*===================*================*===== 03EAED00 ======*========*================*====*==================*======= 03EAEE00 ======*===============*===*==============*==============*======= 03EAEF00 ============*============*=*===================*================ } AMC Seg 03FD3280 } Segment 03FD3280 MPS ASSERTION FAILURE: RefSetSub(ss.unfixedSummary, SegSummary(seg)) trace.c 1120 . . . --- mpsicv {hi} --- Segment 03FD32C0 [03EAE000,03EAF000) { class 0005C294 ("AMCSEG") pool 03FFE278 (7) shield depth 1 protection mode: shield mode: read write ranks: exact white 00000000000000000000000000000001 grey 00000000000000000000000000000001 nailed 00000000000000000000000000000001 AMC seg 03FD32C0 [03EAE000,03EAF000){ Map 03EAE000 *===============*========*===============*=========*==*===*===== 03EAE100 ==========*============*=========*=*=================*========== 03EAE200 ====*===============*=============*=================*=========== 03EAE300 ===*====================*=========*================*============ 03EAE400 ========*============*===================*======*=============== 03EAE500 =====*==============*============*==================*========*== 03EAE600 ===============*===========*===============*========*=========== 03EAE700 ====*=====*=================*======*=========*================== 03EAE800 =*===================*=*===============*=================*====*= 03EAE900 =================*=====*========*===============*=============== 03EAEA00 =*=============*=========*=======*==*==============*=======*===* 03EAEB00 ===============*==*==========*===================*====*========= 03EAEC00 =====*===============*===================*================*===== 03EAED00 ======*========*================*====*==================*======= 03EAEE00 ======*===============*===*==============*==============*======= 03EAEF00 ============*============*=*===================*================ } AMC Seg 03FD32C0 } Segment 03FD32C0 MPS ASSERTION FAILURE: RefSetSub(ss.unfixedSummary, SegSummary(seg)) trace.c 1120 . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. . . . --- mpsicv {hi} --- Segment 03FD32C0 [03EAE000,03EAF000) { class 0005C294 ("AMCSEG") pool 03FFE278 (7) shield depth 1 protection mode: shield mode: read write ranks: exact white 00000000000000000000000000000001 grey 00000000000000000000000000000001 nailed 00000000000000000000000000000001 AMC seg 03FD32C0 [03EAE000,03EAF000){ Map 03EAE000 *===============*========*===============*=========*==*===*===== 03EAE100 ==========*============*=========*=*=================*========== 03EAE200 ====*===============*=============*=================*=========== 03EAE300 ===*====================*=========*================*============ 03EAE400 ========*============*===================*======*=============== 03EAE500 =====*==============*============*==================*========*== 03EAE600 ===============*===========*===============*========*=========== 03EAE700 ====*=====*=================*======*=========*================== 03EAE800 =*===================*=*===============*=================*====*= 03EAE900 =================*=====*========*===============*=============== 03EAEA00 =*=============*=========*=======*==*==============*=======*===* 03EAEB00 ===============*==*==========*===================*====*========= 03EAEC00 =====*===============*===================*================*===== 03EAED00 ======*========*================*====*==================*======= 03EAEE00 ======*===============*===*==============*==============*======= 03EAEF00 ============*============*=*===================*================ } AMC Seg 03FD32C0 } Segment 03FD32C0 MPS ASSERTION FAILURE: RefSetSub(ss.unfixedSummary, SegSummary(seg)) trace.c 1120 . . . --- mpsicv {hi} --- Segment 03FD00C0 [0392B000,0392C000) { class 0005C294 ("AMCSEG") pool 03FFE278 (7) shield depth 1 protection mode: shield mode: read write ranks: exact white 00000000000000000000000000000001 grey 00000000000000000000000000000001 nailed 00000000000000000000000000000001 AMC seg 03FD00C0 [0392B000,0392C000){ Map 0392B000 *=============*=========*=======*=======*===============*======= 0392B100 =========*===========*==================*================*=====* 0392B200 ==============*===================*===========*========*====*=== 0392B300 *===========*=*=============*=======*======*==========*===*=*==* 0392B400 ========*================*=================*==================== 0392B500 *================*===============*=========*=====*============== 0392B600 ==*=========*=======*=====*=*=*===============*===============*= 0392B700 ==*===============*======*=================*==*==========*====== 0392B800 ========*=*====*=================*=============*=====*========== 0392B900 *=============================================================== 0392BA00 ================================================================ 0392BB00 ================================================================ 0392BC00 ================================================================ 0392BD00 ================================================================ 0392BE00 ================================================================ 0392BF00 ================================================================ } AMC Seg 03FD00C0 } Segment 03FD00C0 MPS ASSERTION FAILURE: RefSetSub(ss.unfixedSummary, SegSummary(seg)) trace.c 1120 . . . --- mpsicv {hi} --- Segment 03FD32C0 [03EAE000,03EAF000) { class 0005C294 ("AMCSEG") pool 03FFE278 (7) shield depth 1 protection mode: shield mode: read write ranks: exact white 00000000000000000000000000000001 grey 00000000000000000000000000000001 nailed 00000000000000000000000000000001 AMC seg 03FD32C0 [03EAE000,03EAF000){ Map 03EAE000 *===============*========*===============*=========*==*===*===== 03EAE100 ==========*============*=========*=*=================*========== 03EAE200 ====*===============*=============*=================*=========== 03EAE300 ===*====================*=========*================*============ 03EAE400 ========*============*===================*======*=============== 03EAE500 =====*==============*============*==================*========*== 03EAE600 ===============*===========*===============*========*=========== 03EAE700 ====*=====*=================*======*=========*================== 03EAE800 =*===================*=*===============*=================*====*= 03EAE900 =================*=====*========*===============*=============== 03EAEA00 =*=============*=========*=======*==*==============*=======*===* 03EAEB00 ===============*==*==========*===================*====*========= 03EAEC00 =====*===============*===================*================*===== 03EAED00 ======*========*================*====*==================*======= 03EAEE00 ======*===============*===*==============*==============*======= 03EAEF00 ============*============*=*===================*================ } AMC Seg 03FD32C0 } Segment 03FD32C0 MPS ASSERTION FAILURE: RefSetSub(ss.unfixedSummary, SegSummary(seg)) trace.c 1120 . . . --- mpsicv {hi} --- Conclusion: Failed to find any defects. DONE