commit 68edad5537c37b3ee872a400e3f23eef870d94b9
author bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> Sun Feb 24 18:21:12 2008 +0000
committer bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> Sun Feb 24 18:21:12 2008 +0000
tree 464220b666db32146c64c7035ee924461b7adaa2
parent 08762a344c58e8b97a7355520c6df7b5c2acea30

Added more debugging output.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7440 a5019735-40e9-0310-863c-91ae7b9d1cf9

exp-drd/drd_segment.c

diff --git a/exp-drd/drd_segment.c b/exp-drd/drd_segment.c
index 9d54dbb..9983e60 100644
--- a/exp-drd/drd_segment.c
+++ b/exp-drd/drd_segment.c
@@ -114,6 +114,18 @@
 
 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);