[m-rev.] for review: update debugger testss expected output
Ian MacLarty
maclarty at cs.mu.OZ.AU
Fri Jul 22 00:02:31 AEST 2005
For review by anyone who understands the output of the nondet_stack mdb
command.
Estimated hours taken: 0.2
Branches: main
Fix expected output for two debugger test cases.
tests/debugger/nondet_stack.exp4:
Add expected output for asm_fast.gc.decldebug which is a new
grade. Previously .decldebug also implied .tr.
tests/debugger/declarative/catch.exp3:
This test now produces correct output, so update the expected
output to reflect this. The output is now correct most probably
because of the recent changes to how the annotated trace is built,
which means that, in this particular case, a retry over a call to try
is no longer required. Retries over calls to try, try_all, etc.
remain an unresolved issue.
Index: tests/debugger/nondet_stack.exp4
===================================================================
RCS file: tests/debugger/nondet_stack.exp4
diff -N tests/debugger/nondet_stack.exp4
--- /dev/null 1 Jan 1970 00:00:00 -0000
+++ tests/debugger/nondet_stack.exp4 21 Jul 2005 05:32:25 -0000
@@ -0,0 +1,861 @@
+ E1: C1 CALL pred nondet_stack.main/2-0 (cc_multi) nondet_stack.m:NNNN
+mdb> echo on
+Command echo enabled.
+mdb> context none
+Contexts will not be printed.
+mdb> register --quiet
+mdb> goto 22
+ E2: C2 SWTC pred nondet_stack.qperm/2-0 (nondet) s2;
+mdb> nondet_stack -f 3
+non 143: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 143
+ succip: unnamed label
+ succfr: non 109
+non 129: temp
+ redoip: label UNKNOWN
+ redofr: non 123
+non 126: temp
+ redoip: unnamed label
+ redofr: non 123
+<more stack frames snipped>
+mdb> nondet_stack
+non 143: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 143
+ succip: unnamed label
+ succfr: non 109
+non 129: temp
+ redoip: label UNKNOWN
+ redofr: non 123
+non 126: temp
+ redoip: unnamed label
+ redofr: non 123
+non 123: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 123
+ succip: unnamed label
+ succfr: non 109
+non 109: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 109
+ succip: unnamed label
+ succfr: non 75
+non 95: temp
+ redoip: label UNKNOWN
+ redofr: non 89
+non 92: temp
+ redoip: unnamed label
+ redofr: non 89
+non 89: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 89
+ succip: unnamed label
+ succfr: non 75
+non 75: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 75
+ succip: unnamed label
+ succfr: non 41
+non 61: temp
+ redoip: label UNKNOWN
+ redofr: non 55
+non 58: temp
+ redoip: unnamed label
+ redofr: non 55
+non 55: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 55
+ succip: unnamed label
+ succfr: non 41
+non 41: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 41
+ succip: unnamed label
+ succfr: non 27
+non 27: ordinary, 13 words
+ redoip: unnamed label
+ redofr: non 27
+ succip: unnamed label
+ succfr: non 10
+non 14: temp
+ redoip: unnamed label
+ redofr: non 10
+ detfr: det 14
+non 10: ordinary, 6 words
+ redoip: label global_fail
+ redofr: non 10
+ succip: label wrapper_not_reached
+ succfr: non 4
+mdb> stack_regs
+sp = det 14
+curfr = non 143
+maxfr = non 143
+mdb> nondet_stack -d
+non 143: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;>
+ redoip: unnamed label
+ redofr: non 143
+ succip: unnamed label
+ succfr: non 109
+ on main nondet branch non 143
+ HeadVar__1 [4, 5]
+ TypeInfo_for_T int
+non 129: temp
+ redoip: label UNKNOWN
+ redofr: non 123
+non 126: temp
+ redoip: unnamed label
+ redofr: non 123
+non 123: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 123
+ succip: unnamed label
+ succfr: non 109
+ top frame of a nondet side branch non 123
+ HeadVar__2 [3, 4, 5]
+ TypeInfo_for_T int
+non 109: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 109
+ succip: unnamed label
+ succfr: non 75
+ on main nondet branch non 143
+ HeadVar__1 [3, 4, 5]
+ TypeInfo_for_T int
+ U 3
+ Z [4, 5]
+non 95: temp
+ redoip: label UNKNOWN
+ redofr: non 89
+non 92: temp
+ redoip: unnamed label
+ redofr: non 89
+non 89: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 89
+ succip: unnamed label
+ succfr: non 75
+ top frame of a nondet side branch non 89
+ HeadVar__2 [2, 3, 4, 5]
+ TypeInfo_for_T int
+non 75: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 75
+ succip: unnamed label
+ succfr: non 41
+ on main nondet branch non 143
+ HeadVar__1 [2, 3, 4, 5]
+ TypeInfo_for_T int
+ U 2
+ Z [3, 4, 5]
+non 61: temp
+ redoip: label UNKNOWN
+ redofr: non 55
+non 58: temp
+ redoip: unnamed label
+ redofr: non 55
+non 55: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 55
+ succip: unnamed label
+ succfr: non 41
+ top frame of a nondet side branch non 55
+ HeadVar__2 [1, 2, 3, 4, 5]
+ TypeInfo_for_T int
+non 41: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 41
+ succip: unnamed label
+ succfr: non 27
+ on main nondet branch non 143
+ HeadVar__1 [1, 2, 3, 4, 5]
+ TypeInfo_for_T int
+ U 1
+ Z [2, 3, 4, 5]
+non 27: ordinary, 13 words, pred nondet_stack.queen/2-0 (nondet) <c2;>
+ redoip: unnamed label
+ redofr: non 27
+ succip: unnamed label
+ succfr: non 10
+ on main nondet branch non 143
+ Data (arg 1) [1, 2, 3, 4, 5]
+ TypeCtorInfo_5 int
+non 14: temp
+ redoip: unnamed label
+ redofr: non 10
+ detfr: det 14
+non 10: ordinary, 6 words
+ redoip: label global_fail
+ redofr: non 10
+ succip: label wrapper_not_reached
+ succfr: non 4
+mdb> goto 39
+ E3: C3 CALL pred nondet_stack.safe/1-0 (semidet)
+mdb> nondet_stack
+non 229: temp
+ redoip: label UNKNOWN
+ redofr: non 41
+non 226: temp
+ redoip: label UNKNOWN
+ redofr: non 75
+non 223: temp
+ redoip: label UNKNOWN
+ redofr: non 109
+non 220: temp
+ redoip: label UNKNOWN
+ redofr: non 143
+non 217: temp
+ redoip: label UNKNOWN
+ redofr: non 177
+non 214: temp
+ redoip: label UNKNOWN
+ redofr: non 211
+non 211: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 211
+ succip: unnamed label
+ succfr: non 177
+non 197: temp
+ redoip: label UNKNOWN
+ redofr: non 191
+non 194: temp
+ redoip: unnamed label
+ redofr: non 191
+non 191: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 191
+ succip: unnamed label
+ succfr: non 177
+non 177: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 177
+ succip: unnamed label
+ succfr: non 143
+non 163: temp
+ redoip: label UNKNOWN
+ redofr: non 157
+non 160: temp
+ redoip: unnamed label
+ redofr: non 157
+non 157: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 157
+ succip: unnamed label
+ succfr: non 143
+non 143: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 143
+ succip: unnamed label
+ succfr: non 109
+non 129: temp
+ redoip: label UNKNOWN
+ redofr: non 123
+non 126: temp
+ redoip: unnamed label
+ redofr: non 123
+non 123: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 123
+ succip: unnamed label
+ succfr: non 109
+non 109: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 109
+ succip: unnamed label
+ succfr: non 75
+non 95: temp
+ redoip: label UNKNOWN
+ redofr: non 89
+non 92: temp
+ redoip: unnamed label
+ redofr: non 89
+non 89: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 89
+ succip: unnamed label
+ succfr: non 75
+non 75: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 75
+ succip: unnamed label
+ succfr: non 41
+non 61: temp
+ redoip: label UNKNOWN
+ redofr: non 55
+non 58: temp
+ redoip: unnamed label
+ redofr: non 55
+non 55: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 55
+ succip: unnamed label
+ succfr: non 41
+non 41: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 41
+ succip: unnamed label
+ succfr: non 27
+non 27: ordinary, 13 words
+ redoip: unnamed label
+ redofr: non 27
+ succip: unnamed label
+ succfr: non 10
+non 14: temp
+ redoip: unnamed label
+ redofr: non 10
+ detfr: det 14
+non 10: ordinary, 6 words
+ redoip: label global_fail
+ redofr: non 10
+ succip: label wrapper_not_reached
+ succfr: non 4
+mdb> stack_regs
+sp = det 22
+curfr = non 27
+maxfr = non 229
+mdb> nondet_stack -d
+non 229: temp
+ redoip: label UNKNOWN
+ redofr: non 41
+non 226: temp
+ redoip: label UNKNOWN
+ redofr: non 75
+non 223: temp
+ redoip: label UNKNOWN
+ redofr: non 109
+non 220: temp
+ redoip: label UNKNOWN
+ redofr: non 143
+non 217: temp
+ redoip: label UNKNOWN
+ redofr: non 177
+non 214: temp
+ redoip: label UNKNOWN
+ redofr: non 211
+non 211: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 211
+ succip: unnamed label
+ succfr: non 177
+ top frame of a nondet side branch non 211
+ HeadVar__1 []
+ TypeInfo_for_T int
+non 197: temp
+ redoip: label UNKNOWN
+ redofr: non 191
+non 194: temp
+ redoip: unnamed label
+ redofr: non 191
+non 191: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 191
+ succip: unnamed label
+ succfr: non 177
+ top frame of a nondet side branch non 191
+ HeadVar__2 [5]
+ TypeInfo_for_T int
+non 177: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 177
+ succip: unnamed label
+ succfr: non 143
+ internal frame on nondet side branch non 211
+ HeadVar__1 [5]
+ TypeInfo_for_T int
+ U 5
+ Z []
+non 163: temp
+ redoip: label UNKNOWN
+ redofr: non 157
+non 160: temp
+ redoip: unnamed label
+ redofr: non 157
+non 157: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 157
+ succip: unnamed label
+ succfr: non 143
+ top frame of a nondet side branch non 157
+ HeadVar__2 [4, 5]
+ TypeInfo_for_T int
+non 143: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 143
+ succip: unnamed label
+ succfr: non 109
+ internal frame on nondet side branch non 211
+ HeadVar__1 [4, 5]
+ TypeInfo_for_T int
+ U 4
+ Z [5]
+non 129: temp
+ redoip: label UNKNOWN
+ redofr: non 123
+non 126: temp
+ redoip: unnamed label
+ redofr: non 123
+non 123: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 123
+ succip: unnamed label
+ succfr: non 109
+ top frame of a nondet side branch non 123
+ HeadVar__2 [3, 4, 5]
+ TypeInfo_for_T int
+non 109: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 109
+ succip: unnamed label
+ succfr: non 75
+ internal frame on nondet side branch non 211
+ HeadVar__1 [3, 4, 5]
+ TypeInfo_for_T int
+ U 3
+ Z [4, 5]
+non 95: temp
+ redoip: label UNKNOWN
+ redofr: non 89
+non 92: temp
+ redoip: unnamed label
+ redofr: non 89
+non 89: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 89
+ succip: unnamed label
+ succfr: non 75
+ top frame of a nondet side branch non 89
+ HeadVar__2 [2, 3, 4, 5]
+ TypeInfo_for_T int
+non 75: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 75
+ succip: unnamed label
+ succfr: non 41
+ internal frame on nondet side branch non 211
+ HeadVar__1 [2, 3, 4, 5]
+ TypeInfo_for_T int
+ U 2
+ Z [3, 4, 5]
+non 61: temp
+ redoip: label UNKNOWN
+ redofr: non 55
+non 58: temp
+ redoip: unnamed label
+ redofr: non 55
+non 55: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 55
+ succip: unnamed label
+ succfr: non 41
+ top frame of a nondet side branch non 55
+ HeadVar__2 [1, 2, 3, 4, 5]
+ TypeInfo_for_T int
+non 41: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 41
+ succip: unnamed label
+ succfr: non 27
+ internal frame on nondet side branch non 211
+ HeadVar__1 [1, 2, 3, 4, 5]
+ TypeInfo_for_T int
+ U 1
+ Z [2, 3, 4, 5]
+non 27: ordinary, 13 words, pred nondet_stack.queen/2-0 (nondet) <c3;>
+ redoip: unnamed label
+ redofr: non 27
+ succip: unnamed label
+ succfr: non 10
+ on main nondet branch non 27
+ Data (arg 1) [1, 2, 3, 4, 5]
+ Out (arg 2) [1, 2, 3, 4, 5]
+ TypeCtorInfo_5 int
+non 14: temp
+ redoip: unnamed label
+ redofr: non 10
+ detfr: det 14
+non 10: ordinary, 6 words
+ redoip: label global_fail
+ redofr: non 10
+ succip: label wrapper_not_reached
+ succfr: non 4
+mdb> break nondet_stack__test
+ 0: + stop interface pred nondet_stack.test/2-0 (nondet)
+mdb> continue
+ E4: C4 CALL pred nondet_stack.test/2-0 (nondet)
+mdb> nondet_stack
+non 300: ordinary, 13 words
+ redoip: unnamed label
+ redofr: non 300
+ succip: unnamed label
+ succfr: non 10
+non 287: temp
+ redoip: unnamed label
+ redofr: non 10
+ detfr: det 14
+non 283: temp
+ redoip: label UNKNOWN
+ redofr: non 27
+non 280: temp
+ redoip: label UNKNOWN
+ redofr: non 41
+non 277: temp
+ redoip: label UNKNOWN
+ redofr: non 75
+non 274: temp
+ redoip: label UNKNOWN
+ redofr: non 126
+non 271: temp
+ redoip: label UNKNOWN
+ redofr: non 194
+non 268: temp
+ redoip: label UNKNOWN
+ redofr: non 228
+non 265: temp
+ redoip: label UNKNOWN
+ redofr: non 262
+non 262: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 262
+ succip: unnamed label
+ succfr: non 228
+non 248: temp
+ redoip: label UNKNOWN
+ redofr: non 242
+non 245: temp
+ redoip: unnamed label
+ redofr: non 242
+non 242: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 242
+ succip: unnamed label
+ succfr: non 228
+non 228: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 228
+ succip: unnamed label
+ succfr: non 194
+non 214: temp
+ redoip: label UNKNOWN
+ redofr: non 208
+non 211: temp
+ redoip: unnamed label
+ redofr: non 208
+non 208: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 208
+ succip: unnamed label
+ succfr: non 194
+non 194: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 194
+ succip: unnamed label
+ succfr: non 126
+non 180: temp
+ redoip: label UNKNOWN
+ redofr: non 140
+non 177: temp
+ redoip: label UNKNOWN
+ redofr: non 154
+non 174: temp
+ redoip: label UNKNOWN
+ redofr: non 168
+non 171: temp
+ redoip: unnamed label
+ redofr: non 168
+non 168: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 168
+ succip: unnamed label
+ succfr: non 154
+non 154: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 154
+ succip: unnamed label
+ succfr: non 140
+non 140: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 140
+ succip: unnamed label
+ succfr: non 126
+non 126: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 126
+ succip: unnamed label
+ succfr: non 75
+non 112: temp
+ redoip: label UNKNOWN
+ redofr: non 89
+non 109: temp
+ redoip: label UNKNOWN
+ redofr: non 103
+non 106: temp
+ redoip: unnamed label
+ redofr: non 103
+non 103: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 103
+ succip: unnamed label
+ succfr: non 89
+non 89: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 89
+ succip: unnamed label
+ succfr: non 75
+non 75: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 75
+ succip: unnamed label
+ succfr: non 41
+non 61: temp
+ redoip: label UNKNOWN
+ redofr: non 55
+non 58: temp
+ redoip: unnamed label
+ redofr: non 55
+non 55: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 55
+ succip: unnamed label
+ succfr: non 41
+non 41: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 41
+ succip: unnamed label
+ succfr: non 27
+non 27: ordinary, 13 words
+ redoip: unnamed label
+ redofr: non 27
+ succip: unnamed label
+ succfr: non 10
+non 14: temp
+ redoip: unnamed label
+ redofr: non 10
+ detfr: det 14
+non 10: ordinary, 6 words
+ redoip: label global_fail
+ redofr: non 10
+ succip: label wrapper_not_reached
+ succfr: non 4
+mdb> stack_regs
+sp = det 14
+curfr = non 300
+maxfr = non 300
+mdb> nondet_stack -d
+non 300: ordinary, 13 words, pred nondet_stack.test/2-0 (nondet) <>
+ redoip: unnamed label
+ redofr: non 300
+ succip: unnamed label
+ succfr: non 10
+ on main nondet branch non 300
+ HeadVar__1 [1, 3, 5, 2, 4]
+non 287: temp
+ redoip: unnamed label
+ redofr: non 10
+ detfr: det 14
+non 283: temp
+ redoip: label UNKNOWN
+ redofr: non 27
+non 280: temp
+ redoip: label UNKNOWN
+ redofr: non 41
+non 277: temp
+ redoip: label UNKNOWN
+ redofr: non 75
+non 274: temp
+ redoip: label UNKNOWN
+ redofr: non 126
+non 271: temp
+ redoip: label UNKNOWN
+ redofr: non 194
+non 268: temp
+ redoip: label UNKNOWN
+ redofr: non 228
+non 265: temp
+ redoip: label UNKNOWN
+ redofr: non 262
+non 262: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 262
+ succip: unnamed label
+ succfr: non 228
+ top frame of a nondet side branch non 262
+ HeadVar__1 []
+ TypeInfo_for_T int
+non 248: temp
+ redoip: label UNKNOWN
+ redofr: non 242
+non 245: temp
+ redoip: unnamed label
+ redofr: non 242
+non 242: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 242
+ succip: unnamed label
+ succfr: non 228
+ top frame of a nondet side branch non 242
+ HeadVar__2 [4]
+ TypeInfo_for_T int
+non 228: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 228
+ succip: unnamed label
+ succfr: non 194
+ internal frame on nondet side branch non 262
+ HeadVar__1 [4]
+ TypeInfo_for_T int
+ U 4
+ Z []
+non 214: temp
+ redoip: label UNKNOWN
+ redofr: non 208
+non 211: temp
+ redoip: unnamed label
+ redofr: non 208
+non 208: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 208
+ succip: unnamed label
+ succfr: non 194
+ top frame of a nondet side branch non 208
+ HeadVar__2 [2, 4]
+ TypeInfo_for_T int
+non 194: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 194
+ succip: unnamed label
+ succfr: non 126
+ internal frame on nondet side branch non 262
+ HeadVar__1 [2, 4]
+ TypeInfo_for_T int
+ U 2
+ Z [4]
+non 180: temp
+ redoip: label UNKNOWN
+ redofr: non 140
+non 177: temp
+ redoip: label UNKNOWN
+ redofr: non 154
+non 174: temp
+ redoip: label UNKNOWN
+ redofr: non 168
+non 171: temp
+ redoip: unnamed label
+ redofr: non 168
+non 168: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 168
+ succip: unnamed label
+ succfr: non 154
+ top frame of a nondet side branch non 168
+ HeadVar__2 [5]
+ TypeInfo_for_T int
+non 154: ordinary, 14 words, pred nondet_stack.qdelete/3-0 (nondet) <c2;d2;c3;>
+ redoip: unnamed label
+ redofr: non 154
+ succip: unnamed label
+ succfr: non 140
+ internal frame on nondet side branch non 168
+ HeadVar__2 [4, 5]
+ A 4
+ TypeInfo_for_T int
+ Z [5]
+non 140: ordinary, 14 words, pred nondet_stack.qdelete/3-0 (nondet) <c2;d2;c3;>
+ redoip: unnamed label
+ redofr: non 140
+ succip: unnamed label
+ succfr: non 126
+ internal frame on nondet side branch non 168
+ HeadVar__2 [2, 4, 5]
+ A 2
+ TypeInfo_for_T int
+ Z [4, 5]
+non 126: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 126
+ succip: unnamed label
+ succfr: non 75
+ internal frame on nondet side branch non 262
+ HeadVar__1 [2, 4, 5]
+ TypeInfo_for_T int
+ U 5
+ Z [2, 4]
+non 112: temp
+ redoip: label UNKNOWN
+ redofr: non 89
+non 109: temp
+ redoip: label UNKNOWN
+ redofr: non 103
+non 106: temp
+ redoip: unnamed label
+ redofr: non 103
+non 103: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 103
+ succip: unnamed label
+ succfr: non 89
+ top frame of a nondet side branch non 103
+ HeadVar__2 [3, 4, 5]
+ TypeInfo_for_T int
+non 89: ordinary, 14 words, pred nondet_stack.qdelete/3-0 (nondet) <c2;d2;c3;>
+ redoip: unnamed label
+ redofr: non 89
+ succip: unnamed label
+ succfr: non 75
+ internal frame on nondet side branch non 103
+ HeadVar__2 [2, 3, 4, 5]
+ A 2
+ TypeInfo_for_T int
+ Z [3, 4, 5]
+non 75: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 75
+ succip: unnamed label
+ succfr: non 41
+ internal frame on nondet side branch non 262
+ HeadVar__1 [2, 3, 4, 5]
+ TypeInfo_for_T int
+ U 3
+ Z [2, 4, 5]
+non 61: temp
+ redoip: label UNKNOWN
+ redofr: non 55
+non 58: temp
+ redoip: unnamed label
+ redofr: non 55
+non 55: ordinary, 14 words
+ redoip: unnamed label
+ redofr: non 55
+ succip: unnamed label
+ succfr: non 41
+ top frame of a nondet side branch non 55
+ HeadVar__2 [1, 2, 3, 4, 5]
+ TypeInfo_for_T int
+non 41: ordinary, 14 words, pred nondet_stack.qperm/2-0 (nondet) <s2;c2;>
+ redoip: unnamed label
+ redofr: non 41
+ succip: unnamed label
+ succfr: non 27
+ internal frame on nondet side branch non 262
+ HeadVar__1 [1, 2, 3, 4, 5]
+ TypeInfo_for_T int
+ U 1
+ Z [2, 3, 4, 5]
+non 27: ordinary, 13 words, pred nondet_stack.queen/2-0 (nondet) <c2;>
+ redoip: unnamed label
+ redofr: non 27
+ succip: unnamed label
+ succfr: non 10
+ internal frame on nondet side branch non 262
+ Data (arg 1) [1, 2, 3, 4, 5]
+ TypeCtorInfo_5 int
+non 14: temp
+ redoip: unnamed label
+ redofr: non 10
+ detfr: det 14
+non 10: ordinary, 6 words
+ redoip: label global_fail
+ redofr: non 10
+ succip: label wrapper_not_reached
+ succfr: non 4
+mdb> continue -S
+[2, 5, 3, 1, 4]
Index: tests/debugger/declarative/catch.exp3
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/catch.exp3,v
retrieving revision 1.3
diff -u -r1.3 catch.exp3
--- tests/debugger/declarative/catch.exp3 20 May 2005 05:40:21 -0000 1.3
+++ tests/debugger/declarative/catch.exp3 21 Jul 2005 05:41:33 -0000
@@ -1,41 +1,40 @@
- 1: 1 1 CALL pred catch.main/2-0 (cc_multi) catch.m:8
+ E1: C1 CALL pred catch.main/2-0 (cc_multi) catch.m:8
mdb> echo on
Command echo enabled.
mdb> register --quiet
-mdb> untrust 0
mdb> break p
0: + stop interface pred catch.p/2-0 (cc_multi)
mdb> continue
- 2: 2 2 CALL pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:9)
+ E2: C2 CALL pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:9)
mdb> finish
-mdb: warning: reached label with no stack layout info
-This may result in some exception events
-being omitted from the trace.
- 7: 2 2 EXIT pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:9)
+ E3: C2 EXIT pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:9)
mdb> dd -d 3 -n 7
-mdb: warning: reached label with no stack layout info
-This may result in some exception events
-being omitted from the trace.
p(1, exception(univ_cons("q: bad input")))
Valid? no
-Sorry, the diagnosis cannot continue because it requires support for
-the following: code that catches exceptions.
-The debugger is a work in progress, and this is not supported in the
-current version.
- 7: 2 2 EXIT pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:9)
+Call q(1, _)
+Throws "q: bad input"
+Expected? no
+Found unhandled or incorrect exception:
+q(1, _)
+"q: bad input"
+Is this a bug? yes
+ E4: C3 EXCP pred catch.q/2-0 (det) e;c3; catch.m:29 (exception.m:NNNN)
+mdb> continue
+ E3: C2 EXIT pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:9)
mdb> continue
exception(univ_cons("q: bad input"))
- 8: 4 2 CALL pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:12)
+ E5: C4 CALL pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:12)
mdb> finish
- 13: 4 2 EXIT pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:12)
+ E6: C4 EXIT pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:12)
mdb> dd -d 3 -n 7
p(2, succeeded(2))
Valid? no
q(2, 2)
Valid? yes
Found incorrect contour:
+try(q(2), succeeded(2))
p(2, succeeded(2))
Is this a bug? yes
- 13: 4 2 EXIT pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:12)
+ E6: C4 EXIT pred catch.p/2-0 (cc_multi) catch.m:18 (catch.m:12)
mdb> continue
succeeded(2)
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list