From: Bart Van Assche <bvanassche@acm.org>
Date: Sun, 24 Feb 2008 18:21:12 +0000 (+0000)
Subject: Added more debugging output.
X-Git-Tag: svn/VALGRIND_3_4_0~1052
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=e33a9f9046c46177ef07f304fc8a5468a3897def;p=thirdparty%2Fvalgrind.git

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 9d54dbb144..9983e60151 100644
--- 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);