From: Bart Van Assche <bvanassche@acm.org>
Date: Wed, 26 Nov 2014 12:47:19 +0000 (+0000)
Subject: drd: Add a consistency check
X-Git-Tag: svn/VALGRIND_3_11_0~796
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=99a8d401fc1fd37d4a2dd42cde21a0a9f15c2a35;p=thirdparty%2Fvalgrind.git

drd: Add a consistency check

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

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);
-   }
 }
 
 /**