[m-rev.] diff: minor fix for trail_details cmd

[Julien Fischer]

Estimated hours taken: 1
Branches: main

trace/mercury_trace_cmd_developer.c:
 	The trail_details command should be looking at the saved
 	version of the trail state, since the actual version may
 	have been modified by Mercury code called by the debugger.
 	(Well, the ticket counter and high water mark will be,
 	the trail pointer shouldn't be.)

Julien.

Index: trace/mercury_trace_cmd_developer.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/trace/mercury_trace_cmd_developer.c,v
retrieving revision 1.10
diff -u -r1.10 mercury_trace_cmd_developer.c
--- trace/mercury_trace_cmd_developer.c	10 Jun 2008 04:05:01 -0000	1.10
+++ trace/mercury_trace_cmd_developer.c	13 Jun 2008 15:18:30 -0000
@@ -1352,12 +1352,17 @@

  #if defined(MR_USE_TRAIL)

+    MR_Word *saved_regs;
+
+    saved_regs = event_info->MR_saved_regs;
+
      fprintf(MR_mdb_out, "trail pointer    : %ld (%lx)\n",
-        (long) MR_trail_ptr, (long) MR_trail_ptr);
+        (long) MR_saved_trail_ptr(saved_regs),
+        (long) MR_saved_trail_ptr(saved_regs));
      fprintf(MR_mdb_out, "ticket counter   : %lu\n",
-        (unsigned long) MR_ticket_counter);
+        (unsigned long) MR_saved_ticket_counter(saved_regs));
      fprintf(MR_mdb_out, "ticket high water: %lu\n",
-        (unsigned long) MR_ticket_high_water);
+        (unsigned long) MR_saved_ticket_high_water(saved_regs));
      fprintf(MR_mdb_out, "number of trail entries: %lu\n",
          (unsigned long) MR_num_trail_entries());
  #else

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------