Added more debugging output.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7440

diff --git a/exp-drd/drd_segment.c b/exp-drd/drd_segment.c
index 9d54dbb14450a5b2b39921783c4d51923843d34c..9983e601519ca90dc207ca694488c87d3d432518 100644 (file)
--- a/exp-drd/drd_segment.c
+++ b/exp-drd/drd_segment.c
@@ -114,6 +114,18 @@ Segment* sg_new(ThreadId const creator, ThreadId const created)
 
 void sg_delete(Segment* const sg)
 {
+#if 1
+   if (sg_get_trace())
+   {
+      char msg[256];
+      VG_(snprintf)(msg, sizeof(msg),
+                    "Discarding the segment with vector clock ");
+      vc_snprint(msg + VG_(strlen)(msg), sizeof(msg) - VG_(strlen)(msg),
+                 &sg->vc);
+      VG_(message)(Vg_DebugMsg, "%s", msg);
+   }
+#endif
+
   s_segments_alive_count--;
 
   tl_assert(sg);