From 99a8d401fc1fd37d4a2dd42cde21a0a9f15c2a35 Mon Sep 17 00:00:00 2001
From: Bart Van Assche <bvanassche@acm.org>
Date: Wed, 26 Nov 2014 12:47:19 +0000
Subject: [PATCH] drd: Add a consistency check

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14790
---
 drd/drd_vc.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/drd/drd_vc.c b/drd/drd_vc.c
index d3cf567c3e..0da3b4eddb 100644
--- a/drd/drd_vc.c
+++ b/drd/drd_vc.c
@@ -58,6 +58,9 @@ void DRD_(vc_init)(VectorClock* const vc,
       VG_(memcpy)(vc->vc, vcelem, size * sizeof(vcelem[0]));
       vc->size = size;
    }
+#ifdef ENABLE_DRD_CONSISTENCY_CHECKS
+   DRD_(vc_check)(vc);
+#endif
 }
 
 /** Reset vc to the empty vector clock. */
@@ -295,11 +298,11 @@ HChar* DRD_(vc_aprint)(const VectorClock* const vc)
 void DRD_(vc_check)(const VectorClock* const vc)
 {
    unsigned i;
+
    tl_assert(vc->size <= vc->capacity);
+
    for (i = 1; i < vc->size; i++)
-   {
       tl_assert(vc->vc[i-1].threadid < vc->vc[i].threadid);
-   }
 }
 
 /**
-- 
2.47.2