From e33a9f9046c46177ef07f304fc8a5468a3897def Mon Sep 17 00:00:00 2001 From: Bart Van Assche Date: Sun, 24 Feb 2008 18:21:12 +0000 Subject: [PATCH] Added more debugging output. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7440 --- exp-drd/drd_segment.c | 12 ++++++++++++ 1 file changed, 12 insertions(+) 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); -- 2.47.3